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