Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs functionality » program functionality, programs functional, properties functionality
functionality entropy » functionality centered, functionality from, functionality harmony
structural programs » structured programs, structures programs, structural problems
entropy https » energy https, entropy bits
structures » structure
programs functionality » program functionality, programs functional, properties functionality
functionality entropy » functionality centered, functionality from, functionality harmony
structural programs » structured programs, structures programs, structural problems
entropy https » energy https, entropy bits
structures » structure
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
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



