Zoekresultaten - "computation"

Android on x86 An Introduction to Optimizing for Intel® Architecture door Krajci, Iggy

Onderwerpen: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Android Application Development for the Intel Platform door Cohen, Ryan

Onderwerpen: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Diachrony of Definiteness in North Germanic door Skrzypek, Dominika

Onderwerpen: “…Computational linguistics bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Cybersecurity als Unternehmensleitungsaufgabe (Volume 2)

Onderwerpen: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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,...

Onderwerpen: “…Computer science.…”
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,...

Inhoudsopgave: “…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

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings /

Onderwerpen: “…Expert systems (Computer science).…”
Link to Metadata

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /

Inhoudsopgave: “…Session I - File Systems, Storage and Communication -- A BeeGFS-based Caching File System for Data-intensive Parallel Computing -- Multiple HPC Environments-Aware Container Image Configuration Workflow for Large-Scale All-to-All Protein-Protein Docking Calculations -- DAOS: A Scale-out High Performance Storage Stack for Storage Class Memory -- Cloud Platform Optimization for HPC -- Session II - Applications and Scheduling -- swGBDT: Efficient Gradient Boosted Decision Tree on Sunway Many-core Processor -- Numerical Simulations of Serrated Propellers to Reduce Noise -- High-performance Computing in Maritime and Offshore Applications -- Correcting Job Walltime in a Resource-Constrained Environment.…”
Link to Metadata

Solving Ordinary Differential Equations in Python door Sundnes, Joakim

Onderwerpen: “…Computer science.…”
Link to Metadata

Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /

Onderwerpen: “…Computer networks .…”
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,...

Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

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,...

Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The DYD-RCT protocol: an on-line randomised controlled trial of an interactive computer-based intervention compared with a standard information website to reduce alcohol consumption among hazardous drinkers door Godfrey Christine, Thompson Simon G, White Ian R, Khadjesari Zarnie, McCambridge Jim, Murray Elizabeth, Linke Stuart, Wallace Paul

Connect to this object online.

Using the Computer-based Health Evaluation System (CHES) to Support Self-management of Symptoms and Functional Health: Evaluation of Hematological Patient Use of a Web-Based Patient Portal door Lehmann, Jens, Buhl, Petra, Giesinger, Johannes M, Wintner, Lisa M, Sztankay, Monika, Neppl, Lucia, Willenbacher, Wolfgang, Weger, Roman, Weyrer, Walpurga, Rumpold, Gerhard, Holzner, Bernhard

Connect to this object online.

Comparative evaluation of peri-implant soft and hard tissue with and without application of bisphosphonate on implant surface and osteotomy site - A clinico-radiographic, cone-beam computed tomographic study door Shabnam Jahan, Mayur Kaushik, Amit Wadhawan

Connect to this object online.

The effect of Active Plus, a computer-tailored physical activity intervention, on cognitive functioning of elderly people with chronic illness(es) - study protocol for a randomized controlled trial door Esmee Volders, Catherine A. W. Bolman, Renate H. M. de Groot, Lilian Lechner

Connect to this object online.

Da Edison a Berlinguer. Cinema, Radio, Televisione, Computer, Internet: la traiettoria parabolica educativa del Novecento, "secolo dei media" e "secolo della scuola" door Luciano Galliani

Connect to this object online.

Evaluation of long-term stability of secondary alveolar bone grafts in cleft palate patients using multislice computed tomography and three-dimensional printed models: A prospective study door Venkatesh Palankar, Atul Sattur, Aditi Palankar, S Raja Rajeswari, Srinath Thakur, Anil Kumar Desai

Connect to this object online.

Use of Cone Beam Computed Tomography for Identification of a Distant Causative Tooth: An Unusual Case of an Apical Lesion from a Maxillary Premolar Mimicking That from Maxillary Incisors door Shu Abe, Takashi Muramatsu

Connect to this object online.

A comprehensive assessment of bone losses in the postoperative phase of single implant placed in mandibular first molar regions: A cone-beam computed tomography-based clinical study door Shruti Vishal Dev, Sonali Perti, Kalinga Keshari Sahoo, Arun Mohanty, Sourav Kumar Pati, A Nivya Sri

Connect to this object online.