1
Cyhoeddwyd 2013
Tabl Cynhwysion: ...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2010
Tabl Cynhwysion: ...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Standings on the Basis of Self-organizing Maps -- A New Computing Method for Greeks Using Stochastic...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Orchestration -- Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2014
Tabl Cynhwysion: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Summarization -- Modeling and Evaluating Summaries Using Complex Networks -- SABio: An Automatic...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Cael y testun llawn
Electronig eLyfr
20