Torthaí Cuardaigh - functions conditional programming design based tools*

1

Adaptive Dynamic Programming for Control Algorithms and Stability /

le Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
Foilsithe 2013

Clár Ábhair: “... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

An Anthology of Theories and Models of Design Philosophy, Approaches and Empirical Explorations /

Foilsithe 2014

Clár Ábhair: “... Functionality -- Domain Theory, its Models and Concepts -- Engineering Design: Role of Theory, Models...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Foilsithe 2012

Clár Ábhair: “... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

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

Foilsithe 2008

Clár Ábhair: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Foilsithe 2008

Clár Ábhair: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Java Methods for Financial Engineering Applications in Finance and Investment /

le Barker, Philip., Barker, Philip.
Foilsithe 2007

Clár Ábhair: “... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Advanced Techniques in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Foilsithe 2006

Clár Ábhair: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II /

Foilsithe 2013

Clár Ábhair: “... -- Sparse Signal Recovery by Difference of Convex Functions Algorithms -- DC Programming and DCA Based Cross...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Computational Methods

Foilsithe 2006

Clár Ábhair: “... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

Foilsithe 2013

Clár Ábhair: “...-Point and Nonlinear Calibrations -- Design and Usability Analysis of Gesture-Based Control for Common...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2014

Clár Ábhair: “... based TCSC Controller Design -- Improved Parallelization of an Image Segmentation Bio-inspired Algorithm...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La M...

Foilsithe 2007

Clár Ábhair: “... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /

Foilsithe 2010

Clár Ábhair: “...-Vessel Segmentation in 3D Images Based on a Right Generalized Cylinder Model: Application to Carotid...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng