1
Udgivet 2006
Indholdsfortegnelse: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Få fuldtekst
Electronisk eBog
3
Udgivet 2015
Indholdsfortegnelse: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... with Principal Direction Divisive Partitioning -- Clustering with Entropy-Like k-Means Algorithms -- Sampling...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...
Få fuldtekst
Electronisk eBog
7
Udgivet 2008
Indholdsfortegnelse: ...-Processing Functions for a Biased Physical Random Number Generator -- Entropy of the Internal State...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... Contingency Tables -- Estimating Entropy over Data Streams -- Necklaces, Convolutions, and X + Y -- Purely...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... Scheduling to Simultaneously Minimize All Convex Functions -- Shrinking Maxima, Decreasing Costs: New Online...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... -- Cardinality and Entropy for Bifuzzy Sets -- Some Remarks on the Solutions to the Functional Equation I(x,y...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ...An Overview of Language Processing -- Corpus Processing Tools -- Encoding, Entropy, and Annotation...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... of Calculation of Reliability Index of Engineering Structures -- Inverse Eigenvalue Problem for Real Symmetric...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Få fuldtekst
Electronisk eBog