Search Results - "computation"

Divine Name Verification: An Essay on Anti-Darwinism, Intelligent Design, and the Computational Nature of Reality by Horwitz, Noah

DOAB: download the publication
DOAB: description of the publication

Computer assisted optimisation on non-pharmacological treatment of congestive heart failure and supraventricular arrhythmia by Reumann, Matthias

DOAB: download the publication
DOAB: description of the publication

Criticality as a signature of healthy neural systems: multi-scale experimental and computational studies by Dietmar Plenz

Subjects: “…Computational models…”
DOAB: download the publication
DOAB: description of the publication

New Industry 4.0 Advances in Industrial IoT and Visual Computing for Manufacturing Processes by Posada, Jorge

Subjects: “…computer vision…”
DOAB: download the publication
DOAB: description of the publication

Recent insights into perceptual and motor skill learning (The computational and neural substrates of skill learning) by Lior Shmuelof

DOAB: download the publication
DOAB: description of the publication

Trusted Computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation by Glas, Benjamin

Subjects: “…Trusted Computing…”
DOAB: download the publication
DOAB: description of the publication

Women's Under-Representation in the Engineering and Computing Professions: Fresh Perspectives on a Complex Problem by Catherine Hill

Subjects: “…Computing…”
DOAB: download the publication
DOAB: description of the publication

Chapter MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications - Volume 2 by Font-Bach, Oriol

DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

Neuromechanics and Control of Physical Behavior: From Experimental and Computational Formulations to Bio-inspired Technologies

DOAB: download the publication
DOAB: description of the publication

Recent Advances in Understanding the Basic Mechanisms of Atrial Fibrillation Using Novel Computational Approaches

Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication

Parsing Psychology: Statistical and Computational Methods using Physiological, Behavioral, Social, and Cognitive Data

Subjects: “…computational methods…”
DOAB: download the publication
DOAB: description of the publication

Advanced Computational Intelligence for Object Detection, Feature Extraction and Recognition in Smart Sensor Environments

Subjects: “…computer vision…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Efficient fast Fourier transform-based solvers for computing the thermomechanical behavior of applied materials by Wicht, Daniel

Subjects: “…Mikromechanik; Homogenisierung; Rechnergestützte Mechanik; Nichtlineare Optimierung; Themomechanik; Micromechanics; homogenization; computational mechanics; nonlinear optimization; thermomechanics…”
DOAB: download the publication
DOAB: description of the publication

Chapter Computational BIM design approach supporting Spatial Analysis: the case of healthcare facilities by Ugliotti, Francesca Maria

DOAB: download the publication
DOAB: description of the publication

Early Computer Science Education - Goals and Success Criteria for Pre-Primary and Primary Education by Bergner, Nadine

DOAB: download the publication
DOAB: description of the publication

Practice toward standardized performance testing of computer-aided detection algorithms for pulmonary nodule by Hao Wang, Na Tang, Chao Zhang, Ye Hao, Xiangfeng Meng, Jiage Li

Connect to this object online.

Chemical, computational and functional insights into the chemical stability of the Hedgehog pathway inhibitor GANT61 by Andrea Calcaterra, Valentina Iovine, Bruno Botta, Deborah Quaglio, Ilaria D'Acquarica, Alessia Ciogli, Antonia Iazzetti, Romina Alfonsi, Ludovica Lospinoso Severini, Paola Infante, Lucia Di Marcotullio, Mattia Mori, Francesca Ghirga

Connect to this object online.