„Invariant Synthesis“
Suchergebnisse
1.000+ Treffer
-
Nonglycosidic Agonists of Invariant NKT Cells for Use as Vaccine Adjuvants
-
Inductive Predicate Synthesis Modulo Programs
-
Applications of automata learning in verification and synthesis
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
-
Invariant-based strategy synthesis for nondeterministic probabilistic programs
-
Semantics and loop invariant synthesis for probabilistic programs
-
Applying the Cayley–Hamilton Theorem to the Analytical Synthesis of Modal Control by Output for Linear Time-Invariant Systems Having the Order Equal to the Product of Inputs and Outputs
-
Linear Loop Synthesis for Quadratic Invariants
-
Decidability and Synthesis of Abstract Inductive Invariants
-
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
-
Visual Texture – Accurate Material Appearance Measurement, Representation and Modeling
-
2D notch generator algorithm for GNSS space–time anti-jamming based on frequency-invariant-shaped beampattern synthesis
-
Synthesis of Radiological Models and Radiological Invariants (Constants). Part 1
-
Regulation of MHC class II invariant chain expression: induction of synthesis in human and murine plasmocytoma cells by arresting replication.
-
Synthesis and expression of MHC class II molecules in the absence of attached invariant chains by recombinant interferon‐γ‐activated bone marrow‐derived macrophages
-
On a synthesis of stability of an invariant control system with an astatic gauge
-
Evolution of the Concept of Synthesis Strategy in the COSYMA System: Introduction of the Synthesis Invariant
-
Design of Wide‐Beam Leaky‐Wave Antenna Arrays Based on the Bilinear Transformation of IIR Digital Filters and the Z Transform
-
Modified Method of Invariant Immersion in the Synthesis of Measurement Procedures for Estimating the Motion Parameters of a Maneuvering Target
-
A least square generative network based on invariant contrastive feature pair learning for multimodal MR image synthesis