অনুসন্ধান ফলাফলগুলি - "computation"

New Digital Media and Learning as an Emerging Area and "Worked Examples" as One Way Forward অনুযায়ী Gee, James Paul

বিষয়গুলি: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: download the publication
DOAB: description of the publication

We Used to Wait Music Videos and Creative Literacy অনুযায়ী Kinskey, Rebecca

বিষয়গুলি: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: download the publication
DOAB: description of the publication

The State of Open Data Histories and Horizons

বিষয়গুলি: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Security Infrastructure Technology for Integrated Utilization of Big Data Applied to the Living Safety and Medical Fields

বিষয়গুলি: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers

বিষয়গুলি: “…Computer Applications…”
DOAB: download the publication
DOAB: description of the publication

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers

বিষয়গুলি: “…Computer Applications…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Mathematical Aspects of Logic Programming Semantics অনুযায়ী Hitzler, Pascal

বিষয়গুলি: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

A clinical investigation to assess the regenerative potential of Biostite® (hydroxyapatite, type-I collagen and chondroitin-sulphate) with or without Paroguide® type-I collagen and chondroitin sulphate) membrane in the treatment of periodontal intrabony defects appraised with surgical re-entry and computer-assisted densitometric image analysis অনুযায়ী Srinivasa Tenkasale Siddeshappa, Gayathri Gunjiganur Vemanaradhya, Nagur Karibasappa Sowmya

Connect to this object online.

Informática em enfermagem: facilitador na comunicação e apoio para a prática Informática en enfermería: medio que facilita la comunicación y el apoyo en la práctica Computer science in nursing as a resource of communication and help in the practice of nursing অনুযায়ী Eliana Ofelia Llapa Rodríguez, María Elena Echevarría Guanilo, Luciana Magnani Fernandes, Guedes Candundo

Connect to this object online.

Medidas lineares dos estágios de desenvolvimento da dentição permanente humana usando Tomografia Computadorizada de Feixe Cônico: um estudo preliminar Linear measurements of human permanent dental development stages using Cone-Beam Computed Tomography: a preliminary study অনুযায়ী Carlos Estrela, José Valladares Neto, Mike Reis Bueno, Orlando Aguirre Guedes, Olavo Cesar Lyra Porto, Jesus Djalma Pécora

Connect to this object online.

Reprodutibilidade das mensurações da espessura das tábuas ósseas na tomografia computadorizada Cone-Beam utilizando diferentes protocolos de aquisição de imagem Reproducibility of bone plate thickness measurements with Cone-Beam Computed Tomography using different image acquisition protocols অনুযায়ী Carolina Carmo de Menezes, Guilherme Janson, Camila da Silveira Massaro, Lucas Cambiaghi, Daniela G. Garib

Connect to this object online.

Artificial Intelligence for a Better Future An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies / অনুযায়ী Stahl, Bernd Carsten

বিষয়গুলি: “…Computers and civilization.…”
Link to Metadata

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

সূচিপত্রের সারণি: “…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 / অনুযায়ী Mardal, Kent-André, Rognes, Marie E., Thompson, Travis B., Valnes, Lars Magnus

বিষয়গুলি: “…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 /

বিষয়গুলি: “…Computer-aided engineering.…”
Link to Metadata

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

সূচিপত্রের সারণি: “…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 /

বিষয়গুলি: “…Computer simulation.…”
Link to Metadata

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

বিষয়গুলি: “…Computer simulation.…”
Link to Metadata

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

বিষয়গুলি: “…Computational intelligence.…”
Link to Metadata

Spectral Geometry of Graphs অনুযায়ী Kurasov, Pavel

বিষয়গুলি: “…Quantum computers.…”
Link to Metadata