Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs constructing » program constructing, programs constructive, program construction
interval computing » intervals comparing, internet computing, interval counting
computing problems » compounding problems, routing problems, computers problems
constructing https » construction https, consulting https, constructing better
problems programs » problems progress, problems problems, programs program
programs constructing » program constructing, programs constructive, program construction
interval computing » intervals comparing, internet computing, interval counting
computing problems » compounding problems, routing problems, computers problems
constructing https » construction https, consulting https, constructing better
problems programs » problems progress, problems problems, programs program
1
Argitaratua 2013
Aurkibidea:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2014
Aurkibidea:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2006
Aurkibidea:
“... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2014
Aurkibidea:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2012
Aurkibidea:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2014
Aurkibidea:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]