1
Published 2005
Table of Contents: ... into Existential Types -- On the Degeneracy of ?-Types in Presence of Computational Classical Logic -- Semantic Cut...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...: An Architecture for Flexible Interaction with Electronic Devices -- Exo-Leasing: Escrow Synchronization for Mobile...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ...Search Computing: Addressing Complex Search on the Web -- Hypergraph-Theoretic Partitioning Models...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... the Developer in-the-Loop: An Interactive GA for Software Re-modularization -- Optimizing Threads Schedule...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... on Mobile Devices -- CloudSVM: Training an SVM Classifier in Cloud Computing Systems -- A Document-Based...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...Model-Based Security -- Detecting Code Reuse Attacks with a Model of Conformant Program Execution...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... -- Class-Based OSPF Traffic Engineering Inspired on Evolutionary Computation -- Audio/Video over IP...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Parallelization Related Methods for Various Packet Losses -- The Interaction Between Window Adjustment Strategies...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... --  Computation through Neuronal Oscillations -- Local properties, Growth and Transport of Entanglement...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...CONSTRAINTS OF GROUND-BASED OBSERVATIONS: THE ATMOSPHERE -- INTERFERENCES -- A BRIEF HISTORY...
View full text
Electronic eBook
15
Published 2012
Table of Contents: .... Cell-to-cell Communication in the Tip Growth of Mycelial Fungi -- 7. Programmed Cell Death...
View full text
Electronic eBook
16
Published 2015
Table of Contents: .... Spoken Word Mediated Interference in a Visual Task: Eye Tracking Evidence from Bilinguals -- Section 4...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... by RNA Interference – The Roles of miRNA and siRNA -- Beneficial Role of Taurine Against Myocardial...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Negative Interactions -- Genomic Approaches to Understanding Allelochemical Effects on Plants...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Mast Cell Interactions With Other Cell Types -- Endothelial Cell Activation by Mast Cell Mediators...
View full text
Electronic eBook
20
Published 1999
Table of Contents: ... Embryos -- Whole Embryo Assays for Programmed Cell Death -- Gene Interference Using Antisense...
View full text
Electronic eBook