Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programming implementation » programme implementation, program implementation, programs implementation
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
programming implementation » programme implementation, program implementation, programs implementation
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
1
Foilsithe 2010
Clár Ábhair:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2008
Clár Ábhair:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2005
Clár Ábhair:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2007
Clár Ábhair:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
le Othman, Muhammad Murtadha
Foilsithe 2000
Ábhair:
“...SaberBASIC (Computer program language)...”Foilsithe 2000
Faigh an téacs iomlán
Thesis
6
Foilsithe 2008
Clár Ábhair:
“... Implementations of a Molecular Modeling Application -- OpenMP Implementation of SPICE3 Circuit Simulator...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Ábhair:
“...SaberBASIC (Computer program language)...”
Thesis
Leabhar
8
Foilsithe 2005
Clár Ábhair:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Clár Ábhair:
“... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2013
Clár Ábhair:
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2006
Clár Ábhair:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2005
Clár Ábhair:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2013
Clár Ábhair:
“...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2005
Clár Ábhair:
“... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2005
Clár Ábhair:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2015
Clár Ábhair:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2006
Clár Ábhair:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2007
Clár Ábhair:
“... -- Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming -- Automatic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2008
Clár Ábhair:
“... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair:
“... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar



