Torthaí Cuardaigh - interactive simulation programming problems constraints https

1

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Foilsithe 2014

Clár Ábhair: “... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Foilsithe 2007

Clár Ábhair: “... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Foilsithe 2007

Clár Ábhair: “... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings /

Foilsithe 2008

Clár Ábhair: “... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Foilsithe 2010

Clár Ábhair: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Foilsithe 2014

Clár Ábhair: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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

Foilsithe 2007

Clár Ábhair: “... in Nanowires -- Monte Carlo Numerical Treatment of Large Linear Algebra Problems -- Simulation of Multiphysics...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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

Foilsithe 2007

Clár Ábhair: “... Problem -- Semicomplete Multipartite Digraphs Whose Every Arc Is Contained in a Hamiltonian Path...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Foilsithe 2013

Clár Ábhair: “... with Gap Constraint.- Smoothing Kernel Estimator for the ROC Curve-Simulation Comparative Study...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Foilsithe 2012

Clár Ábhair: “... Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks -- Rule Quality...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Foilsithe 2010

Clár Ábhair: “... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng