„algebraic framework“
Suchergebnisse
1.000+ Treffer
-
DNA Framework‐Mediated Geometric Renormalization of Gold Nanoparticles on a Two‐Dimensional Fluidic Membrane Interface
-
Applied Logic for Computer Scientists – Computational Deduction and Formal Proofs
-
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact)
-
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)
-
Event handling in ET++ – a case study in algebraic specificatio of object oriented application frameworks
-
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
-
An Alternative Algebraic Framework for the Simplification of Coupled Cluster Type Expectation Values
-
An Alternative Algebraic Framework for the Simplification of Coupled Cluster Type Expectation Values
-
The Common Ground of DAE Approaches – An overview of diverse DAE frameworks emphasizing their commonalities
-
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
-
An Algebraic Framework to Reason About Concurrency (Invited Talk)
-
Graph Pattern Polynomials
-
A Formal Framework for Precise Parametric WCET Formulas
-
A framework of parallel algebraic multilevel preconditioning iterations
-
C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians
-
Rigidity and polarity – II: Weaving lines and tensegrity frameworks
-
A flexible PageRank-based graph embedding framework closely related to spectral eigenvector embeddings
-
Elements of a Computational Framework for Coupled Simulations
-
A Comprehensive Framework for Saturation Theorem Proving
-
Elements of a Computational Framework for Coupled Simulations