Search Results - "computing"

Documentary Making for Digital Humanists by Reid, Darren

Subjects: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Reconstructions of Gender and Information Technology Women Doing IT for Themselves by Corneliussen, Hilde G.

Subjects: “…computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Artificial Intelligence for a Better Future An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies / by Stahl, Bernd Carsten

Subjects: “…Computers and civilization.…”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

Mathematical Modeling of the Human Brain From Magnetic Resonance Images to Finite Element Simulation / by Mardal, Kent-André, Rognes, Marie E., Thompson, Travis B., Valnes, Lars Magnus

Subjects: “…Mathematical and Computational Biology.…”
Link to Metadata

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA /

Subjects: “…Computer-aided engineering.…”
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

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019 /

Subjects: “…Computer simulation.…”
Link to Metadata

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

Subjects: “…Computer simulation.…”
Link to Metadata

Theory and Applications of Ordered Fuzzy Numbers A Tribute to Professor Witold Kosiński /

Subjects: “…Computational intelligence.…”
Link to Metadata

Attachment Ventilation Theory by Li, Angui

Subjects: “…Computer simulation.…”
Link to Metadata

Internet Daemons Digital Communications Possessed by McKelvey, Fenwick

Subjects: “…Computer networking & communications bicssc…”
DOAB: download the publication
DOAB: description of the publication

Entity-Oriented Search by Balog, Krisztian

Subjects: “…Maths for computer scientists bicssc…”
DOAB: download the publication
DOAB: description of the publication

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency Intelligent Methods for the Factory of the Future

Subjects: “…Computer networking & communications bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 2021 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory

Subjects: “…Maths for computer scientists bicssc…”
DOAB: download the publication
DOAB: description of the publication

Entity-Oriented Search by Balog, Krisztian

Subjects: “…Maths for computer scientists bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency Intelligent Methods for the Factory of the Future

Subjects: “…Computer networking & communications bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 2021 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory

Subjects: “…Maths for computer scientists bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Digital Twin Architectures, Networks, and Applications / by Zhang, Yan

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Digital Twin Models and Networks -- Chapter 3: Artificial Intelligence for Digital Twin -- Chapter 4: Edge Computing for Digital Twin -- Chapter 5: Blockchain for Digital Twin -- Chapter 6: Digital Twin for 6G Networks -- Chapter 7: Digital Twin for Aerial-Ground Networks -- Chapter 8: Digital Twin for Internet of Vehicles.…”
Link to Metadata

Benefit/Cost-Driven Software Development With Benefit Points and Size Points / by Hannay, Jo Erskine

Subjects: “…Computer software.…”
Link to Metadata