Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
developing complex » developing people, developing college, developing context
interval methods » internal methods, interval method, integral methods
methods programs » methods program, method programs, methods progress
complex https » complexity https, complex atoms, complex atp
programs developing » projects developing, program development, process developing
developing complex » developing people, developing college, developing context
interval methods » internal methods, interval method, integral methods
methods programs » methods program, method programs, methods progress
complex https » complexity https, complex atoms, complex atp
1
Published 2010
Table of Contents:
“... in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Hollow Sphere Structures -- Dielectric Spectra Analysis: Reliable Parameter Estimation Using Interval...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... regression models: using ensembles, interval arithmetic and pareto fronts to develop robust and trust-aware...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Constraint Retraction for Dynamic Constraint Satisfaction Problems over Disjoint Real Intervals...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- The Interval Forecasting Method Based on Non-Equidistant GM(1,1) with Application to Regional Grain Production...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”View full text
Electronic
eBook
9
Table of Contents:
“... Method -- Boundary Conditions -- Unequal Intervals -- The Commonly Used Implicit Methods -- Other Methods...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Reservoirs Using the TSVD Method -- An Efficient Hardware Architecture from C Program with Memory Access...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Towards Large Scale Programming for Symbolic and Certified Numeric Computations -- Complex Inclusion...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Problems -- Chapter 25. A Linear Goal Programming Method for Solving Chance Constrained Multi objective...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Methods for Ant Colony Paintings -- Evolutionary Search for Musical Parallelism -- Developing Fitness...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Bounded Lattice T-Norms as an Interval Category -- Towards Systematic Analysis of Theorem Provers Search...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Approach to Relational Data Mining -- Multi-interval Discretization of Continuous Attributes for Label...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...-Driven Unsupervised Synaptic Pruning in Large Neural Networks -- Inverse First Passage Time Method...”View full text
Electronic
eBook