1
Published 2011
Table of Contents: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
View full text
Electronic eBook
2
Table of Contents: ... Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...
View full text
Electronic eBook
4
Table of Contents: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
View full text
Electronic eBook
5
Published 2015
Subjects: ...Computational complexity....
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...
View full text
Electronic eBook
7
Table of Contents: ... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... and Pragmatics in 2020: Position Paper on Designing Complex Cyber-Physical Systems -- View-Based Development of a...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- An Integrated Environment For the Development of Parallel Applications -- Debugging MPI Programs on the Grid...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
15
Table of Contents: ...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
17
Published 2006
Subjects: ...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
View full text
Electronic eBook
20
by Layka, Vishal., Layka, Vishal.
Published 2014
Subjects: ...Mobile Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I29060...
View full text
Electronic eBook