Results 61 to 70 of about 22,226,095 (257)

A Practical Noise2Noise Denoising Pipeline for High‐Throughput Raman Spectroscopy

Advanced Engineering Materials, EarlyView.
A lightweight and reproducible denoising pipeline for high‐throughput Raman spectroscopy is introduced, based on a 1D convolutional autoencoder trained with a Noise2Noise strategy. Using only repeated short‐exposure acquisitions, the method suppresses stochastic noise without reference spectra, enabling reliable spectral reconstruction while preserving
David Martin‐Calle, Cesar Alvarez‐Llamas, Vincent Motto‐Ros, Christophe Dujardin, Jérémie Margueritat, David Rodney   +5 more
wiley   +1 more source

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

Polynomial Path Orders [PDF]

Logical Methods in Computer Science, 2013
This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP*, that is applicable in two ...
Martin Avanzini, Georg Moser
doaj   +1 more source

Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs

Advanced Engineering Materials, EarlyView.
The connection of conceptual workflow design, portable execution, and ontology‐based semantics leading to provenance‐rich knowledge graphs are main contributors to interoperability in materials science and a prerequisite to AI‐assisted orchestration and for interoperable Materials Acceleration Platforms.
Jan Janssen, Osamu Waseda, Bernd Bayerlein, Simon Stier, Steffen Brinckmann, Abril Azócar Guzmán, Sarath Menon, Matthias A. Popp, Jesper R. Pedersen, Ivano E. Castelli, Jörg Waitelonis, Wolfgang Wenzel, Jörg Neugebauer, Jörg Schaarschmidt, Tilmann Hickel   +14 more
wiley   +1 more source

CutLang v2: Advances in a Runtime-Interpreted Analysis Description Language for HEP Data

Frontiers in Big Data, 2021
We will present the latest developments in CutLang, the runtime interpreter of a recently-developed analysis description language (ADL) for collider data analysis.
G. Unel, S. Sekmen, A. M. Toon, B. Gokturk, B. Orgen, A. Paul, N. Ravel, J. Setpal   +7 more
doaj   +1 more source

Supporting AI Readiness Through Digital Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns, Lateef Abdul, Stephan Barth, Martin Glauer, Manuel Günther, Fabian Neuhaus, Jan‐Ole Perschewski, Thomas Bjarsch, Henrik Abel, Johannes Bosch, Niklas Meyer, Peter Hofmann, Marc Drechsler, Alexander Dyck, Dhanunjaya Kumar Nerella, Marvin Tegeler, Oleg Shchyglo, Ingo Steinbach, Timo Klecker, Henk Birkholz, Ehsan Borzabadi Farahani, Bernard Fedelich, Cetin Haftaoglu, Tarakeshwar Lakshmipathy, Elena Garcia Trelles, Christoph Schweizer, Reza Darvishi Kamachali, Lukas Koschmieder, Janin Eiken, Markus Apel, Sung‐Min Wi, Jiangdong Zhao, Andreas Fezer, Nicolas Christ, Patrick Schneider, Eldor Urinov, Veit Königer, Volker Knoblauch, Janik Harter, Thomas Seifert, Thitichai Janpheng, Florian Fuchs, Fabian Teichert, Jörg Schuster, Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann, Felix Wentzien, Heike Wittek, Benjamin Klie, Alexander Röhrs, Ludger Overmeyer, Achraf Atila, Marcel Sadowski, Leopold Talirz, Jan Janssen, Jesper R. Pedersen, Peter Beck, Tejs Vegge, Ivano E. Castelli, Wolfgang Wenzel, Tilmann Hickel, Jörg Schaarschmidt   +67 more
wiley   +1 more source

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Semantics and Algorithms for Parametric Monitoring [PDF]

Logical Methods in Computer Science, 2012
Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj   +1 more source

Artificial Intelligence Meets Micro/Nanorobotics

Advanced Materials, EarlyView.
Artificial intelligence is transforming micro‐ and nanorobots from externally controlled, task‐specific machines into adaptive, autonomous systems. Machine learning, multimodal perception, digital twins, AI‐guided materials and geometry design enhance propulsion, localization, decision‐making, whichaccelerates clinical and environmental applications ...
Fatma M. Yurtsever, Minitha Cherukutty Ramakrishnan, Ian Kuula Ross, Ivan Zelinka, Hamed Shahsavan, Michal Otyepka, Martin Pumera   +6 more
wiley   +1 more source

Runtime safety assurance methods for cyber physical systems based on simplex architecture

Shenzhen Daxue xuebao. Ligong ban
Runtime safety assurance is a method that can ensure security attributes being satisfied during system operation. The simplex architecture-based runtime safety assurance methods are able to provide the safety guarantees even in the presence of unverified
WANG Qiang, CHEN Qiang, CAO Weipeng, HE Wenfeng   +3 more
doaj   +1 more source