- Certifying localizable quantum properties with constant sample complexity
2025/09/22 by Zhen‐Yu Du, Zhenyu Du, Jinchang Liu +8 · 4 citations
Physics and Astronomy · #Pauli exclusion principle #Quantum #Quantum Mechanics and Applications #Quantum algorithm #Quantum computer #Quantum state #Quantum system #Robustness (evolution) #Scalability #Soundness
- Garbage Collection for Rust: The Finalizer Frontier
2025/04/02 by Jacob Hughes, Hughes, Jacob, Laurence Tratt +1 · 4 voices
Computer Science · #Algorithms and Data Compression #Core (optical fiber) #Correctness #Cryptography and Data Security #Frontier #Garbage collection #Privacy-Preserving Technologies in Data #Rust (programming language) #Soundness
- Correct and Complete Type Checking and Certified Erasure for Coq , in Coq
2024/11/27 by Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand +4 · 7 citations
Computer Science · Mathematics · #Computer science #Correctness #Formal Methods in Verification #Logic, programming, and type systems #Mathematical proof #Mathematics #Programming language #Proof assistant #Security and Verification in Computing #Soundness #Theoretical computer science #Type (biology) #Type theory
- On an extension of a theorem by Ruelle to long-range potentials
2024/04/10 by Aernout C. D. van Enter, Roberto Fernández, van Enter, Aernout C. D. +5 · 3 citations
Chemistry · Mathematics · Physics and Astronomy · #37A60 #37C30 #37D35 #82B20 #82B26 #Advanced Thermodynamics and Statistical Mechanics #Antiferromagnetism #Chemistry #Computer science #Discrete mathematics #Dynamical Systems (math.DS) #Eigenfunction #Eigenvalues and eigenvectors #Extension (predicate logic) #FOS: Mathematics #Integrable system #Materials science #Mathematics #Operator (biology) #Physics #Probability (math.PR) #Pure mathematics #Quantum chaos and dynamical systems #Quantum mechanics #Range (aeronautics) #Soundness #Statistical Mechanics and Entropy #Transfer (computing) #Transfer operator
- Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
2023/11/08 by Thodoris Sotiropoulos, Stefanos Chaliasos, Sotiropoulos, Thodoris +3 · 1 voice
Computer Science · #Artificial intelligence #Compile time #Compiler #Computer science #Exception handling #Implementation #Inference #Machine learning #Programming language #Semantics (computer science) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Soundness #Static analysis #Test case #Test suite #Type inference
- Neural Abstraction-Based Controller Synthesis and Deployment
2023/07/07 by Rupak Majumdar, Majumdar, Rupak, Mahmoud Salamati +3 · 1 citation
Computer Science · Physics and Astronomy · #Abstraction #Adversarial Robustness in Machine Learning #Artificial intelligence #Artificial neural network #Bottleneck #Computer engineering #Computer science #Controller (irrigation) #Embedded system #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Programming language #Representation (politics) #Software deployment #Soundness #Systems and Control (eess.SY) #electronic engineering #information engineering
- High Fidelity Image Counterfactuals with Probabilistic Causal Models
2023/06/27 by Fabio De Sousa Ribeiro, Tian Xia, Ribeiro, Fabio De Sousa +7 · 14 citations
Computer Science · Mathematics · Psychology · #Artificial intelligence #Categorical variable #Causal inference #Causal model #Computer science #Counterfactual conditional #Counterfactual thinking #Econometrics #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Fidelity #Generative grammar #Leverage (statistics) #Machine Learning (cs.LG) #Machine Learning in Healthcare #Machine learning #Mathematics #Methodology (stat.ME) #Programming language #Psychology #Social psychology #Soundness #Statistics #Topic Modeling
- Automated Symbolic Verification of Telegram's MTProto 2.0
2020/12/05 by Marino Miculan, Nicola Vitacolonna · 5 voices
Computer Science · #Advanced Authentication Protocols Security #Authentication (law) #Computer network #Computer science #Computer security #Correctness #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptography and Data Security #Encryption #Forward secrecy #Key management #Mathematical proof #Message authentication code #Programming language #Public-key cryptography #Rekeying #Robustness (evolution) #Secrecy #Server #Soundness #Theoretical computer science #User Authentication and Security Systems #cs.CR
- Reasoning about Parallel Quantum Programs
2018/10/26 by Mingsheng Ying, Ying, Mingsheng, Li Zhou +3 · 1 citation
Computer Science · Physics and Astronomy · #Algorithm #Computer science #Correctness #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Operational semantics #Programming Languages (cs.PL) #Programming language #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #Quantum algorithm #Quantum computer #Quantum mechanics #Semantics (computer science) #Soundness #Theoretical computer science #cs.LO #cs.PL #quant-ph
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
2018/08/29 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja +1 · 16 citations
Computer Science · #Algorithm #Artificial intelligence #Bounding overwatch #Complexity and Algorithms in Graphs #Computer science #Conservative extension #Formal Methods in Verification #Logic, programming, and type systems #Predicate transformer semantics #Programming language #Randomized algorithm #Simple (philosophy) #Soundness #Theoretical computer science
- A Formalization of the LLL Basis Reduction Algorithm
2018/01/01 by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann +1 · 1 citation
Computer Science · Mathematics · #Cryptography and Data Security #Logic, programming, and type systems #Cryptography and Residue Arithmetic #Lattice reduction #Lattice (music) #Algorithm #Computer science #Basis (linear algebra) #Lattice problem #Soundness #HOL #Mathematics #Discrete mathematics #Cryptography
- Safe Pointers in SPARK 2014
2017/10/19 by Georges-Axel Jaloyan, Jaloyan, Georges-Axel · 1 voice · 1 citation
Computer Science · #Artificial intelligence #Assembly language #Compiler #Computer science #Formal Methods in Verification #Logic, programming, and type systems #Pointer (user interface) #Programming language #SPARK (programming language) #Software #Software Testing and Debugging Techniques #Software engineering #Soundness #cs.PL
- Reducing uniformity in Khot-Saket hypergraph coloring hardness reductions
2014/08/01 by Girish Varma, Varma, Girish · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Combinatorics #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Computational Geometry and Mesh Generation #Computer science #Discrete mathematics #FOS: Computer and information sciences #Graph #Hypergraph #Mathematics #Omega #Physics #Soundness #Vertex (graph theory) #cs.CC
- The Use of Bibliometrics to Measure Research Performance in Education Sciences
2012/06/05 by Andrea Diem, Stefan C. Wolter · 1 citation
Computer Science · Decision Sciences · Mathematics · Psychology · #Benchmark (surveying) #Bibliometrics #Citation #Computer science #Data science #Database #Disadvantage #Field (mathematics) #Higher education #Impact factor #Inclusion (mineral) #Library science #MEDLINE #Mathematics #Measure (data warehouse) #Online Learning and Analytics #Political science #Psychology #Scientometrics #Social science #Sociology #Soundness #Web of science #Web visibility and informetrics #scientometrics and bibliometrics research
- A Systematic Review of Health Care Efficiency Measures
2009/01/31 by Peter S. Hussey, Han de Vries, Han De Vries +7 · 27 citations
Economics, Econometrics and Finance · Health Professions · Medicine · #Actuarial science #Business #Computer science #EconLit #Economics #Health Systems, Economic Evaluations, Quality of Life #Health care #Health care quality #Healthcare Policy and Management #MEDLINE #Medicine #Primary Care and Health Outcomes #Quality (philosophy) #Reliability (semiconductor) #Soundness #Systematic review
- Christianity and the Nazi Movement: A Response
2007/03/19 by Richard Steigmann‐Gall · 1 citation
Social Sciences · Psychology · #Religion, Theology, History, Judaism, Christianity #Italian Fascism and Post-war Society #Jewish and Middle Eastern Studies #Scrutiny #Scholarship #Originality #Epistemology #Empiricism #Nazism #Soundness #Movement (music) #Confusion #Sociology #Positive economics #Political science #Law #Philosophy #Psychology #Aesthetics #Psychoanalysis #Politics
- Solving SAT and SAT Modulo Theories
2006/11/01 by Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · 56 citations
Computer Science · Mathematics · #Algorithm #Boolean satisfiability problem #Completeness (order theory) #Computer science #Conjunctive normal form #Constraint Satisfaction and Optimization #DPLL algorithm #Formal Methods in Verification #Logic, programming, and type systems #Mathematics #Phase-locked loop #Programming language #Satisfiability #Satisfiability modulo theories #Solver #Soundness #Theoretical computer science
- 16 The Lazy Argument
2005/06/23 by Tad Brennan · 1 citation
Arts and Humanities · Social Sciences · #Classical Philosophy and Thought #Classical Antiquity Studies #Historical, Religious, and Philosophical Studies #Argument (complex analysis) #Soundness #Argument map #Nonsense #Deliberation #Epistemology #Determinism #Philosophy #Linguistics #Argumentation theory #Political science #Law
- Domain theory for concurrency
2004/02/27 by Mikkel Nygaard, Glynn Winskel · 2 citations
Computer Science · Mathematics · #Algebra over a field #Bisimulation #Computer science #Concurrency #Denotational semantics #Discrete mathematics #Domain theory #Formal Methods in Verification #Linear logic #Logic, programming, and type systems #Mathematical proof #Mathematics #Nondeterministic algorithm #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Soundness #Theoretical computer science #semigroups and automata theory
- N. la. Marr and the National Origins of Soviet Ethnogenetics
1996/01/01 by Yuri Slezkine · 1 citation
Social Sciences · #Soviet and Russian History #Eastern European Communism and Reforms #Central European national history #Nothing #State (computer science) #History #Soundness #Ethnology #Law #Political science #Philosophy #Epistemology #Linguistics
- Rule generation from neural networks
1994/01/01 by LiMin Fu · 10 citations
Computer Science · Engineering · #Artificial intelligence #Artificial neural network #Computer science #Disadvantage #Fault Detection and Control Systems #Fuzzy Logic and Control Systems #Interpretation (philosophy) #Machine learning #Neural Networks and Applications #Programming language #Soundness
- Intrapersonal Communication: A Review and Critique
1992/01/01 by Stanley B. Cunningham · 1 citation
Psychology · #Human Behavior and Motivation #Cognitive and psychological constructs research #Language, Metaphor, and Cognition #Intrapersonal communication #Realm #Epistemology #Soundness #Construct (python library) #Value (mathematics) #Psychology #Interpersonal communication #Communication studies #Sociology #Linguistics #Philosophy #Social psychology #Social science #Computer science #Law #Political science