Browsing by Subject
Showing results 954 to 973 of 2605
< previous
next >
- Cinderella | matematika | vizuelizacija | animacija | popularizacija 1
- Circle homeomorphisms | Hyperspaces | Induced maps | Interval homeomorphisms | Polynomial entropy 1
- Circle packing | Global optimization | Metaheuristics | Minos | Reformulation descent 1
- Circuit breakers | Crisp probability | Influence diagrams | Interval probability | Uncertainty 1
- Circuit synthesis | Decision diagrams | Fibonacci sequences | Fibonacci transforms | Spectral transforms | Switching functions 1
- Circulant graphs | Cyclotomic polynomials | Graph eigenvalues 1
- Circulant graphs | Diameter | Integral graphs | Perfect state transfer 1
- Circulant graphs | Energy of a graph | Hyperenergetic graphs | Spectrum of a graph 1
- circular economy | composite indicators | performance | decision-making | aggregation 1
- Circular plates | Hybrid sandwich non-linear system | Multi-frequency | Mutual interaction | Resonance | Resonant jumps | Stability | Trigger | Visco-non-linear elastic layer 1
- Circularity measure | Hu moment invariants | Image processing | Moments | Shape 1
- Circularity measure | Image processing | Moment invariant | Pattern recognition | Shape 1
- Circularity measure | Moments | Shape 1
- Circularity | Elongation | Image analysis | Superparamagnetism (SPION) | Surface effects | Synthesis 1
- Classes of groups | Lattice of subgroups | Lattice of weak congruences | Special elements in lattices 1
- Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category 1
- Classical logic | Continuations | Functional programming | Intersection type 1
- Classical logic | Curry-Howard correspondence | Intersection types | Union types | λ̄μμ̃-calculus 1
- Classical logic | Intersection-types | Sequent calculus 1
- classical logic | natural deduction | sequent calculus | normalisation | cut elimination 1