Results 81 to 90 of about 3,411 (291)

A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source

Safety and Liveness of Quantitative Properties and Automata [PDF]

Logical Methods in Computer Science
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç   +3 more
doaj   +1 more source

Unifying B\"uchi Complementation Constructions [PDF]

Logical Methods in Computer Science, 2013
Complementation of B\"uchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation.
Seth J. Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi   +3 more
doaj   +1 more source

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source

Graph Logics with Rational Relations [PDF]

Logical Methods in Computer Science, 2013
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications.
Pablo Barcelo, Diego Figueira, Leonid Libkin   +2 more
doaj   +1 more source

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]

Logical Methods in Computer Science, 2013
The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj   +1 more source

VisA: A Tool for Visualizing and Animating Automata and Formal Languages [PDF]

, 1998
The use of multimedia tools in education has gained a lot of interest during the last decade (see, e.g., [1]). Free standing multimedia as well as tutorials distributed via the Internet provide the potential for students to learn on their own, at their own pace, and in their own sequence, whereas textbooks or instructors usually impose a sequence how ...
Markus Holzer 0001, Muriel Quenzer
openaire   +2 more sources

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source