Search Results - "inference"

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Causality in Policy Studies a Pluralist Toolbox /

Table of Contents: “…Proof by Testing Joint Sufficiency Twice: Explanatory Qualitative Comparative Analysis -- 8. Causal Inference and Policy Evaluation from Case Studies using Bayesian Process Tracing -- 9. …”
Link to Metadata

Physical (A)Causality Determinism, Randomness and Uncaused Events / by Svozil, Karl

Table of Contents: “…Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode -- Embedded observers and self-expression -- Reflexive measurement -- Intrinsic self-representation -- Part II Provable unknowns: On what is entirely hopeless -- Forecasting and unpredictability -- Induction by rule inference -- Other types of recursion theoretic unknowables -- What if there are no laws? …”
Link to Metadata

Entity Alignment Concepts, Recent Advances and Novel Approaches / by Zhao, Xiang, Zeng, Weixin, Tang, Jiuyang

Table of Contents: “…Recent Advance in Alignment Inference -- Chapter 5. Experimental Survey and Evaluation -- Chapter 6. …”
Link to Metadata

Computational Mathematics and Applied Statistics

DOAB: download the publication
DOAB: description of the publication

Time and Causality by Marc J. Buehner

DOAB: download the publication
DOAB: description of the publication

Machine Learning Advanced Dynamic Omics Data Analysis for Precision Medicine

DOAB: download the publication
DOAB: description of the publication

Semiconductor Memory Devices for Hardware-Driven Neuromorphic Systems

DOAB: download the publication
DOAB: description of the publication

The Road to General Intelligence by Swan, Jerry

DOAB: download the publication
DOAB: description of the publication

Celebrated Econometricians: Katarina Juselius and Søren Johansen

DOAB: download the publication
DOAB: description of the publication

Does job control contribute to differences in physician-certified sickness absence across office concepts? A mediation analysis in a nationally representative sample by Randi Hovden Borge, Håkon A Johannessen, Knut Inge Fostervold, Morten Birkeland Nielsen

Connect to this object online.

Proteomic analysis of exosomes secreted during the epithelial-mesenchymal transition and potential biomarkers of mesenchymal high-grade serous ovarian carcinoma by Germano Aguiar Ferreira, Carolina Hassibe Thomé, Clarice Izumi, Mariana Lopes Grassi, Guilherme Pauperio Lanfredi, Marcus Smolka, Vitor Marcel Faça, Francisco José Candido dos Reis

Connect to this object online.

Trend in 167 cases of minors witnessing violence: The role played by COVID-19 pandemic by Martina Focardi, Simone Grassi, Silvia Raddi, Maria Elena Rosati, Francesca Cazzato, Paola D'Onofrio, Vittoria Doretti, Ilenia Bianchi, Ilenia Bianchi, Giuseppe Vetrugno, Antonio Oliva, Vilma Pinchi

Connect to this object online.

Causal Effects of Body Mass Index and Maternal Age on Oocyte Maturation in Assisted Reproductive Technology: Model-Average Causal Effect and Bayesian LASSO Method by Ahad ALIZADEH, Reza OMANI-SAMANI, Mohammad Ali MANSOURNIA, Azadeh AKBARI SENE, Abbas RAHIMI FOROUSHANI

Connect to this object online.

Spatiotemporal bayesian modelling of scorpionism and its risk factors in the state of São Paulo, Brazil. by Francisco Chiaravalloti-Neto, Camila Lorenz, Alec Brian Lacerda, Thiago Salomão de Azevedo, Denise Maria Cândido, Luciano José Eloy, Fan Hui Wen, Marta Blangiardo, Monica Pirani

Connect to this object online.

G.I.S. Surveillance of Chronic Non-occupational Exposure to Heavy Metals as Oncogenic Risk by Mariana Vlad, Cecilia Roman, Ioana Brie, Ioan Stelian Bocşan, Irina Brumboiu, Tudor Călinici, Mihaela Lucia Ponta

Connect to this object online.

Uncovering the Complexity Mechanism of Different Formulas Treatment for Rheumatoid Arthritis Based on a Novel Network Pharmacology Model by Ke-xin Wang, Ke-xin Wang, Yao Gao, Yao Gao, Cheng Lu, Yao Li, Bo-ya Zhou, Xue-mei Qin, Guan-hua Du, Guan-hua Du, Li Gao, Dao-gang Guan, Dao-gang Guan, Ai-ping Lu

Connect to this object online.

Smoking, alcohol consumption and risk of Dupuytren's disease: a Mendelian randomization study by Zifeng Wang, Zhenyu Wang, Zijian Yan, Zhujie Xu, Aiguo Gao

Connect to this object online.