1
Publicat 2014
Taula de continguts: ...Computational Study of Blood Flow through Elastic Arteries with Porous Effects -- A Modified...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... and Inflation under the Fuzzy Environment -- Assessing the Soft Computing Approach for Problem Solving...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... -- Complementation Constructions for Nondeterministic Automata on Infinite Words -- Using BDDs to Decide CTL...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... -- Timed Automata and Duration Calculus -- Deciding an Interval Logic with Accumulated Durations -- From...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... and Chemical Networks -- Speed Faults in Computation by Chemical Reaction Networks -- Fault-Tolerant ANTS...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... Redundancy -- 5B Computational Biology -- Minkowski Sum Selection and Finding -- Constructing the Simplest...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... 70th birthday), by G. Nawratil -- Direct Geometrico-Static Problem of Underconstrained Cable-Driven...
Obtenir text complet
Electrònic eBook
11
Publicat 2006
Taula de continguts: ... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ... for Bottleneck Routing Games -- A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns...
Obtenir text complet
Electrònic eBook
13
Publicat 2006
Taula de continguts: ... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
Obtenir text complet
Electrònic eBook
15
Publicat 2007
Taula de continguts: ... Optimization Problems -- A Multi-Objective Genetic Algorithm Based on Density -- Interplanetary Trajectory...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... Five⁵ -- Exact Cover Problem in Milton Babbitt’s All-Partition Array -- Constructing Geometrical Spaces...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
Obtenir text complet
Electrònic eBook