1
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2007
İçindekiler: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2008
İçindekiler: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2014
İçindekiler: ... -- Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees -- A Fast Branching...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2005
İçindekiler: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2015
İçindekiler: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2015
İçindekiler: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2005
İçindekiler: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Computing; J.Kim, et al -- An Efficient Algorithm for High Utility Sequential Pattern Mining; J.-Z. Wang, et...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2013
İçindekiler: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Evolution -- A Fuzzy-GA Decision Support System for Enhancing Postponement Strategies in Supply Chain...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
Tam Metin Erişim
Elektronik Ekitap