1
Publicado em 2015
Sumário: ... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2005
Sumário: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Sumário: ...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Sumário: ...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2007
Sumário: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... Annotate Points of Interest in Video and Interactive-TV Programs -- Conclusion (The Mobile Future)....
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2015
Sumário: ... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2005
Sumário: ... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... in Systems of Interacting Agents as a Function of Local and Global Topological Features -- Social Network...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2012
Sumário: ... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
Obter o texto integral
Recurso Electrónico livro electrónico