Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
interval computing » intervals comparing, internet computing, interval counting
programming forms » programming formal, programming farm, programming norm
forms computer » arts computer, fortran computer
computer https » computers https, computing https, computer arts
computing programming » computer programming, computers programming
interval computing » intervals comparing, internet computing, interval counting
programming forms » programming formal, programming farm, programming norm
forms computer » arts computer, fortran computer
computer https » computers https, computing https, computer arts
1
Published 2006
Table of Contents:
“... -- The Interval Liar Game -- How Much Independent Should Individual Contacts Be to Form a Small–World? -- Faster...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...? -- Properties Complementary to Program Self-reference -- Algorithms I -- Dobrushin Conditions for Systematic...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
9
by Szabó, Péter Gábor., Szabó, Péter Gábor., Markót, Mihaly Csaba., Csendes, Tibor., Specht, Eckard., Casado, Leocadio G., García, Inmaculada.
Published 2007
Table of Contents:
“... Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based...”Published 2007
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Parallel/Distributed Architectures and Mobile Computing -- Evaluating Performance of New Quad-Core...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Applications -- Fast OVSF Code Assignment Scheme for WCDMA Wireless Networks -- A Closed Form Slew Evaluation...”View full text
Electronic
eBook
14
Table of Contents:
“... Tests, Confidence Intervals and Simulation to Infer Population Characteristics and Differences...”
View full text
View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Equivalence of Synchronous Schemes -- Prime Normal Form and Equivalence of Simple Grammars -- An Incremental...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Estimators -- Bootstrap Confidence Intervals for Periodic Preventive Replacement Policies -- Statistics...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Interactions -- Design of Neuro-fuzzy Controller Based on Dynamic Weights Updating -- Interval Computing...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Hypothesis Tests, Confidence Intervals, and Simulation to Infer Population Characteristics and Differences...”
View full text
View full text
Electronic
eBook