Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
developing computing » developing competent, developing computer, developing coping
programs developing » projects developing, program development, process developing
base programs » based programs, basic programs, abuse programs
integer base » integer based, integer bases, integer basic
https » http
developing computing » developing competent, developing computer, developing coping
programs developing » projects developing, program development, process developing
base programs » based programs, basic programs, abuse programs
integer base » integer based, integer bases, integer basic
https » http
1
Argitaratua 2013
Aurkibidea:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Testu osoa
Baliabide elektronikoa
eBook
2
Aurkibidea:
“...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2007
Aurkibidea:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2011
Aurkibidea:
“... Programs -- Simulation-Based Optimality Tests for Stochastic Programs -- Stochastic Decomposition...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP...”Testu osoa
Baliabide elektronikoa
eBook
9
nork Conejo, Antonio J., Conejo, Antonio J., Castillo, Enrique., Minguez, Roberto., Garcia-Bertrand, Raquel.
Argitaratua 2006
Aurkibidea:
“... -- Decomposition in Mixed-Integer Programming -- Other Decomposition Techniques -- Local Sensitivity Analysis...”Argitaratua 2006
Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2007
Aurkibidea:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... and Emotions -- Computational Models for Incongruity Detection in Humour -- Emotions in Words: Developing a...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... in Autonomic Computing -- Track 2: Trust Models and Trustworthy Systems/Services -- A Social Network-Based...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2015
Aurkibidea:
“... Scores -- Genetic Algorithms Based on the Principles of Grundgestalt and Developing Variation...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... -- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“...A Hyper-heuristic with a Round Robin Neighbourhood -- A Multiobjective Approach Based on the Law...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... of Creating Models for Finite Element Analysis Based on CT Scanning Images -- Accelerating Computation of DNA...”Testu osoa
Baliabide elektronikoa
eBook
17
Human-Inspired Computing and its Applications 13th Mexican International Conference on Artificial...
Argitaratua 2014
Aurkibidea:
“... Programming Framework -- Whole-Part Relations Rule-Based Automatic Identification: Issues from Fine-Grained...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]