1
Έκδοση 2008
Πίνακας περιεχομένων: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2014
Πίνακας περιεχομένων: ... Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2010
Πίνακας περιεχομένων: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2013
Πίνακας περιεχομένων: ... for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2007
Πίνακας περιεχομένων: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Πίνακας περιεχομένων: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2008
Πίνακας περιεχομένων: ... in the IPA Market with RL -- Optimizing Preferences within Groups: A Case Study on Travel Recommendation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων: ... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2008
Πίνακας περιεχομένων: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
ανά Politis, Dimitris N., Politis, Dimitris N.
Έκδοση 2015
Πίνακας περιεχομένων: ... in regression -- Model-free prediction in regression -- Model-free vs. model-based confidence intervals...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2006
Πίνακας περιεχομένων: ...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων: ... Learning Vector Quantization -- Cost Optimization of a Localized Irrigation System Using Genetic Algorithms...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2006
Πίνακας περιεχομένων: ... to Interval Contention -- Optimistic Algorithms for Partial Database Replication -- Optimal Clock...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2005
Πίνακας περιεχομένων: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο