Search Results - modular representation theory
Suggested Topics within your search.
Suggested Topics within your search.
- Architectural structure & design 6
- Art techniques & principles 6
- Engineering graphics & technical drawing 6
- Algebraic geometry 3
- Mathematical physics 3
- Algebra 2
- Mathematics 2
- Nuclear physics 2
- Psychology 2
- Quantum physics (quantum mechanics & quantum field theory) 2
- Algebraic Geometry 1
- Applied mathematics 1
- Associative Rings and Algebras 1
- Associative algebras 1
- Associative rings 1
- Computer Engineering and Networks 1
- Computer engineering 1
- Computer networks 1
- Computer science 1
- Control Structures and Microprogramming 1
- Geometry and Trigonometry 1
- Group Theory and Generalizations 1
- Group theory 1
- Mathematical Physics 1
- Mathematics & science 1
- Microprogramming 1
- Number Theory 1
- Number theory 1
- Public health & preventive medicine 1
- Quantum Physics 1
-
1
Chapter Modulare
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Chapter Modulare
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
Branes and DAHA Representations
Published 2023Subjects: “…Geometric representation theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Branes and DAHA Representations
Published 2023Subjects: “…Geometric representation theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
Moonshine beyond the Monster The Bridge Connecting Algebra, Modular Forms and Physics
Published 2007Subjects: “…modular group representations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Moonshine beyond the Monster The Bridge Connecting Algebra, Modular Forms and Physics
Published 2007Subjects: “…modular group representations…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Evolutionary Theory: Fringe or Central to Psychological Science
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
-
9
-
10
Transizioni = Transitions Attraversare Modulare Procedere = Cross Modulate Develop
Published 2023DOAB: description of the publication
Electronic Book Chapter -
11
Transizioni = Transitions Attraversare Modulare Procedere = Cross Modulate Develop
Published 2023OAPEN Library: description of the publication
Electronic Book Chapter -
12
-
13
Mathematical Analysis and Analytic Number Theory 2019
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Perception-Cognition Interface and Cross-Modal Experiences: Insights into Unified Consciousness
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Quaternion Algebras
Published 2021Table of Contents: “…Brandt Groupoids -- 20. Integral Representation Theory -- 21. Hereditary and Extremal Orders -- 22. …”
Link to Metadata
Electronic eBook -
16
Selected Papers from the pHealth 2021 Conference, Genoa, Italy, 8-10 November 2021
Published 2023Subjects: “…system theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electronic eBook -
18
-
19
Advances in Complex Analysis and Applications
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20