- What the Func? Multiple Realizability Need not be Vague
2026/04/02 by Olivia Guest, Mark Blokpoel, Iris van Rooij · 3 voices
Computer Science · Neuroscience · Psychology · #Algebra over a field #Calculus (dental) #Cognition #Constraint Satisfaction and Optimization #Embodied and Extended Cognition #Function (biology) #Philosophy and Theoretical Science #Realizability #Rotation formalisms in three dimensions #Semantics (computer science)
- Physics-informed Machine Learning for Modeling Turbulence in Supernovae
2022/05/17 by Platon I. Karpov, Platon Karpov, Chengkun Huang +5 · 1 voice · 1 citation
Physics and Astronomy · #Algorithm #Astrophysics #Classical mechanics #Closure (psychology) #Computer science #Gamma-ray bursts and supernovae #K-epsilon turbulence model #K-omega turbulence model #Magnetic field #Magnetohydrodynamic turbulence #Magnetohydrodynamics #Mechanics #Physics #Pulsars and Gravitational Waves Research #Realizability #Reynolds stress #Statistical physics #Stellar, planetary, and galactic studies #Supernova #Theoretical physics #Turbulence #Turbulence modeling
- DG Structure on Length 3 Trimming Complexes and Applications to Tor Algebras
2020/11/24 by Keller VandeBogert, VandeBogert, Keller · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algebraic structure #Algorithm #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #Computer science #Discrete mathematics #FOS: Mathematics #Homological algebra #Homotopy and Cohomology in Algebraic Topology #Ideal (ethics) #Iterated function #Mathematics #Pure mathematics #Realizability #Topological and Geometric Data Analysis #Trimming #math.AC
- Chiral Astral Realizations of Cyclic 3-Configurations
2020/04/27 by Leah Wrenn Berman, Philip DeOrsey, Jill R. Faudree +2 · 1 citation
Computer Science · Engineering · Mathematics · #Algorithm #Automorphism #Coding theory and cryptography #Combinatorics #Configuration space #Cyclic group #Discrete mathematics #Finite Group Theory Research #Mathematics #Permutation (music) #Permutation group #Physics #Quantum mechanics #Realizability #Realization (probability) #graph theory and CDMA systems
- Realizability of Graphs and Linkages
2012/10/29 by Marcus Schaefer · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithm #Combinatorics #Computational Geometry and Mesh Generation #Discrete mathematics #Existential quantification #Graph #Graph Theory and Algorithms #Linkage (software) #Mathematics #Realizability #Realization (probability) #Topological graph
- Alternating-time temporal logic
2002/09/01 by Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · 58 citations
Computer Science · #Asynchronous communication #Computation tree logic #Computer science #Concurrency #Formal Methods in Verification #Interval temporal logic #Linear temporal logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Model checking #Path (computing) #Programming language #Realizability #Temporal logic #Temporal logic of actions #Theoretical computer science