Regularity of the One-phase Free Boundaries by Velichkov, Bozhidar

Link to Metadata

Nuel Belnap on Indeterminism and Free Action

Table of Contents: “…Introduction: The many branches of Belnap's knowledge; Müller, Thomas -- Decisions in branching time; Bartha; Paul -- Internalizing case-relative truth in CIFOL+; Belnap, Nuel -- A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes; Broersen, Jan -- Worlds Enough, and Time: Musings on Foundations; Brown, Mark -- Open Futures in the Foundations of Propositional Logic; Garson, James W -- On Saying What Will Be; Green, Mitchell -- The Intelligibility Question For Free Will: Agency, Choice And Branching Time; Kane, Robert -- What William of Ockham and Luis de Molina would have said to Nuel Belnap: A Discussion of some Arguments Against "The Thin Red Line"; Øhrstrøm, Peter -- Branching for general relativists; Placek, Tomasz -- Some examples formulated in a `seeing to it that' logic: Illustrations, observations, problems; Sergot, Marek -- In Retrospect: Can BST models be reinterpreted for what decisions, speciation events and ontogeny might have in common?…”
Link to Metadata

Debating European Citizenship

Table of Contents: “…Latent Limits and Potentials of EU Freedom of Movement: Julija Sardelić -- What to Say to Those Who Stay? Free Movement Is a Human Right of Universal Value: Kieran Oberman -- Union Citizenship for UK Citizens: Glyn Morgan -- UK Citizens as Former EU Citizens: Predicament and Remedies: Reuven (Ruvi) Ziegler -- 'Migrants', 'Mobile Citizens' and the Borders of Exclusion in the European Union: Martin Ruhs -- EU Citizenship, Free Movement and Emancipation: A Rejoinder: Floris de Witte -- Part III: Should EU Citizenship Be Duty-Free?…”
Link to Metadata

Social Theory of Fear Terror, Torture, and Death in a Post-Capitalist World / by Skoll, G.

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-Regular Language Learning Library -- Symbolic Regex Matcher -- COMPASS 3.0 -- Debugging of Behavioural Models with CLEAR -- Machine Learning -- Omega-Regular Objectives in Model-Free Reinforcement Learning -- Verifiably Safe Off-Model Reinforcement Learning. .…”
Link to Metadata

Your Post has been Removed Tech Giants and Freedom of Speech / by Stjernfelt, Frederik, Lauritzen, Anne Mette

Table of Contents: “…What is Freedom of Speech? -- Chapter 2. The Free Networks of the Enlightenment -- Chapter 3. …”
Link to Metadata

Droplet Dynamics Under Extreme Ambient Conditions

Table of Contents: “…Introduction and Overview about the Collaborative Research Center SFB-TRR75 -- Methods and Fundamentals -- Free Droplets -- Droplets with Wall Interactions.…”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Thermodynamics and Equilibria in Earth System Sciences: An Introduction by Middelburg, Jack J.

Table of Contents: “…Introduction -- The First Law: Work, Heat and Thermochemistry -- Entropy and the Second Law -- The Gibbs Free Energy -- Introduction to Equilibrium -- Acid-base Equilibria -- Redox Equilibria.…”
Link to Metadata

All-Optical Methods to Study Neuronal Function

Table of Contents: “…Optical Manipulation and Recording of Neural Activity with Wavefront Engineering -- Balancing the Fluorescence Imaging Budget for All-Optical Neurophysiology Experiments -- Light-Based Neuronal Circuit Probing in Living Brains at High-Resolution: Constraints and Layouts for Integrating Neuronal Activity Recording and Modulation in Three Dimensions -- High Speed All-Optical Neural Interfaces with 3D Temporally Focused Holography -- An All-Optical Physiology Pipeline towards Highly Specific and Artefact-Free Circuit Mapping -- Spatial and Temporal Considerations of Optogenetic Tools in an All-Optical Single-Beam Experiment -- Miniature Multiphoton Microscopes for Recording Neural Activity in Freely Moving Animals -- Optogenetics and Light Sheet Microscopy -- Widefield Multiphoton Imaging at Depth with Temporal Focusing -- High-Speed Neural Imaging with Synaptic Resolution: Bessel Focus Scanning Two-Photon Microscopy and Optical-Sectioning Widefield Microscopy -- Optical and Analytical Methods to Visualize and Manipulate Contrical Ensembles and Behavior -- Illuminating Neural Computation using Precision Optogenetics-Controlled Synthetic Perception -- Spectrally-Focused Stimulated Raman Scattering (sf-SRS) Microscopy for Label-Free Investigations of Molecular Mechanisms in Living Organisms.…”
Link to Metadata

Agency and Causal Explanation in Economics

Table of Contents: “…Preface -- Introduction -- Part I Theory -- Nadine Elzein: Free Will and Empirical Arguments for Epiphenomenalism -- Stephen Pratten: Causality, Agency and Change -- Jason Blakely: How Economics Becomes Ideology: The Uses and Abuses of Rational Choice Theory -- William Child: Economics, Agency, and Causal Explanation -- Part II Praxis -- Richard Conrad and Peter Hunter: Why Aquinas Would Agree That Human Economic Behaviour Is Largely Predictable -- Paul Clough: Agency, Time and Morality: An Argument from Social and Economic Anthropology -- Scott Meikle: The Switch from Agency to Causation in Marx -- Margaret S. …”
Link to Metadata

Quest for Good Money Past, Present and Future / by Kitamura, Yukinobu

Link to Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Making Ammonia Fritz Haber, Walther Nernst, and the Nature of Scientific Discovery / by Johnson, Benjamin

Table of Contents: “…Further Reflections on Scientific Discovery and The Haze -- Appendix A. Approximations of Free Energy Fitting Functions -- Appendix B. Theoretical Determinations of the Free Energy: Hermann von Helmholtz and Walther Nernst -- Part III: The Haze -- Chapter 15. …”
Link to Metadata

Networks in the Russian Market Economy by Lonkila, M.

Link to Metadata

Cyborgs in Latin America by Brown, J.

Link to Metadata

Accountability in Public Policy Partnerships by Steets, J.

Link to Metadata

Determinants of Financial Development by Huang, Y.

Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata