Torthaí Cuardaigh - integrals computing proceedings program interactive https

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Foilsithe 2013

Clár Ábhair: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

Foilsithe 2014

Clár Ábhair: “...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Human-Computer Interaction: Users and Contexts of Use 15th International Conference, HCI...

Foilsithe 2013

Clár Ábhair: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Foilsithe 2015

Clár Ábhair: “... -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Engineering Interactive Systems 2008 Second Conference on Human-Centered Software Engineering, HCSE...

Foilsithe 2008

Clár Ábhair: “... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Foilsithe 2014

Clár Ábhair: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Foilsithe 2008

Clár Ábhair: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Foilsithe 2012

Clár Ábhair: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Foilsithe 2010

Clár Ábhair: “...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Technologies for Interactive Digital Storytelling and Entertainment Third International Conference...

Foilsithe 2006

Clár Ábhair: “... Interactive Drama -- Integrating VR-Authoring and Context Sensing: Towards the Creation of Context-Aware...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Foilsithe 2008

Clár Ábhair: “... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Data Integration in the Life Sciences 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... Datasets Using DescribeX -- Search Computing: Integrating Ranked Data in the Life Sciences....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Invited Lectures -- Full Completeness: Interactive and Geometric Characterizations of the Space...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng