UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Methods to locate saddle points in complex landscapes

The Journal of chemical physics, 2017-11, Vol.147 (20), p.204104-204104

2017

Volltextzugriff (PDF)

Automatic design of mechanical metamaterial actuators

Nature communications, 2020-08, Vol.11 (1), p.4162-4162, Article 4162

2020

Volltextzugriff (PDF)

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

1st Edition 2023, 2023

Volltextzugriff (PDF)

Density scaling in the mechanics of a disordered mechanical meta-material

Applied physics letters, 2019-03, Vol.114 (11)

2019

Volltextzugriff (PDF)

Predicting the failure of two-dimensional silica glasses

Nature communications, 2022-05, Vol.13 (1), p.2820-11, Article 2820

2022

Volltextzugriff (PDF)

Digital strategies for structured and architected materials design

APL materials, 2021-02, Vol.9 (2), p.020904-020904-12

2021

Volltextzugriff (PDF)

Elementary plastic events in amorphous silica

Physical review. E, 2019-12, Vol.100 (6), p.060602-060602, Article 060602

2019

Volltextzugriff (PDF)

The glassy state — Magnetically viewed from the frozen end

Journal of non-crystalline solids, 2014-10, Vol.401, p.66-72

2014

Volltextzugriff (PDF)

Improving the mechanical properties of Cantor-like alloys with Bayesian optimization

APL machine learning, 2024-03, Vol.2 (1), p.016119-016119-9

2024

Volltextzugriff (PDF)

Quasilocalized modes in crystalline and partially crystalline high-entropy alloys

Physical review research, 2024-02, Vol.6 (1), Article 013146

2024

Volltextzugriff (PDF)

Automatic design of chiral mechanical metamaterials

APL materials, 2021-10, Vol.9 (10), p.101112-101112-7

2021

Volltextzugriff (PDF)

Universal Low-Frequency Vibrational Modes in Silica Glasses

Physical review letters, 2020-08, Vol.125 (8), p.1-085501, Article 085501

2020

Volltextzugriff (PDF)

A component framework for the runtime enforcement of safety properties

The Journal of systems and software, 2023-04, Vol.198, p.111605, Article 111605

2023

Volltextzugriff (PDF)

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

1, 2024

Volltextzugriff (PDF)

Testing Software and Systems: 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

2024th edition, 2024

Volltextzugriff (PDF)

Design and validation of a C++ code generator from Abstract State Machines specifications

Journal of software : evolution and process, 2020-02, Vol.32 (2), p.n/a

2020

Volltextzugriff (PDF)

On the Paramagnetic Impurity Concentration of Silicate Glasses from Low-Temperature Physics

Journal of low temperature physics, 2015-08, Vol.180 (3-4), p.214-237

2015

Volltextzugriff (PDF)

The Mechanical Lung Ventilator Case Study

Rigorous State-Based Methods, p.281-288

Volltextzugriff (PDF)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.379-401

2024

Volltextzugriff (PDF)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems

IEEE transactions on software engineering, 2024-04, Vol.50 (4), p.995-1014

2024

Volltextzugriff (PDF)

A compositional simulation framework for Abstract State Machine models of Discrete Event Systems

Formal aspects of computing, 2024-03

2024

Volltextzugriff (PDF)

Realistic tunnelling states for the magnetic effects in non-metallic real glasses

Philosophical magazine (Abingdon, England), 2016-03, Vol.96 (7-9), p.648-703

2016

Volltextzugriff (PDF)

Integrating formal methods into medical software development: The ASM approach

Science of computer programming, 2018-06, Vol.158, p.148-167

2018

Volltextzugriff (PDF)

Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach

Testing Software and Systems, p.274-288

Volltextzugriff (PDF)

1 – 25 von 346

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(277)
Mit Volltextzugriff
(307)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(240)
Technology
(118)
Computer Science
(111)
Life Sciences & Biomedicine
(107)
Computer Science, Theory & Methods
(98)
Humans
(80)
Computer Science, Software Engineering
(73)
Male
(44)
Female
(40)
Computer Science, Hardware & Architecture
(30)
Adult
(28)
Endocrinology & Metabolism
(26)
Middle Aged
(23)
Child
(21)
Medicine
(20)
Medicine & Public Health
(20)
Adolescent
(19)
Diabetes
(19)
Infectious Diseases
(18)
Hematology
(17)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

Methods to locate saddle points in complex landscapes

Automatic design of mechanical metamaterial actuators

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Density scaling in the mechanics of a disordered mechanical meta-material

Predicting the failure of two-dimensional silica glasses

Digital strategies for structured and architected materials design

Elementary plastic events in amorphous silica

The glassy state — Magnetically viewed from the frozen end

Improving the mechanical properties of Cantor-like alloys with Bayesian optimization

Quasilocalized modes in crystalline and partially crystalline high-entropy alloys

Automatic design of chiral mechanical metamaterials

Universal Low-Frequency Vibrational Modes in Silica Glasses

A component framework for the runtime enforcement of safety properties

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Testing Software and Systems: 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Design and validation of a C++ code generator from Abstract State Machines specifications

On the Paramagnetic Impurity Concentration of Silicate Glasses from Low-Temperature Physics

The Mechanical Lung Ventilator Case Study

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems

A compositional simulation framework for Abstract State Machine models of Discrete Event Systems

Realistic tunnelling states for the magnetic effects in non-metallic real glasses

Integrating formal methods into medical software development: The ASM approach

Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach

Suchergebnisse filtern