Torthaí Cuardaigh - intersections ((python https) OR (method https)) compositional program https

1

Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology

Foilsithe 2006

Clár Ábhair: “... complex -- 2.8 Representation of $\delta$* in terms of intersection numbers -- 2.9 How to remove...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...

Foilsithe 2010

Clár Ábhair: “...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Foilsithe 2010

Clár Ábhair: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Foilsithe 2007

Clár Ábhair: “... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Foilsithe 2008

Clár Ábhair: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Foilsithe 2013

Clár Ábhair: “... Mathematics -- CMF: a combinatorial tool to find composite motifs -- Hill-climbing Behaviour on Quantized NK...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007...

Foilsithe 2007

Clár Ábhair: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... of Traffic Flow at a Signalised Intersection -- A Novel Method for Simulating Cancer Growth -- Towards...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Foilsithe 2013

Clár Ábhair: “... Toys and Extensions -- Matrix-based Methods for Supporting Logic Planning of IT Projects.-From Three...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I /

Foilsithe 2014

Clár Ábhair: “... Approach for Mining Top-Rank-k Erasable Itemsets -- Intelligent Information Retrieval New Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II /

Foilsithe 2014

Clár Ábhair: “... Approach for Mining Top-Rank-k Erasable Itemsets -- Intelligent Information Retrieval New Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /

Foilsithe 2010

Clár Ábhair: “... Composition -- Fast Intersection Algorithms for Sorted Sequences -- Indexing and Searching a Mass Spectrometry...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Intelligent Technologies and Engineering Systems

Foilsithe 2013

Clár Ábhair: “...-Means Method for Determining Motor’s Quality Types Based on Current Waveforms -- License Plate...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Foilsithe 2014

Clár Ábhair: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng