Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
1
Argitaratua 2007
Aurkibidea:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2014
Aurkibidea:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2014
Aurkibidea:
“... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2012
Aurkibidea:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2006
Aurkibidea:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow...”Testu osoa
Baliabide elektronikoa
eBook