Results 131 to 140 of about 23,557 (297)

A Template-Based Approach for Industrial Title Block Compliance Check

Algorithms
Title block compliance checking requires interpreting irregular tabular layouts and reporting structural inconsistencies, not only extracting metadata. This paper introduces a user-in-the-loop, template-based method that leverages a graphical annotation ...
Olivier Laurendin, Khwansiri Ninpan, Quentin Robcis, Richard Lehaut, Hélène Danlos, Nicolas Bureau, Robert Plana   +6 more
doaj   +1 more source

Loopy: Programmable and Formally Verified Loop Transformations

, 2016
. This paper presents a system, Loopy, for programming loop transformations. Manual loop transformation can be tedious and errorprone, while fully automated methods do not guarantee improvements.
Kedar S. Namjoshi, Nimit Singhania, Namjoshi, Kedar S., Singhania, Nimit   +3 more
core   +1 more source

Stable Protein‐Based G‐Quadruplex‐Derived Supramolecular Bioinks as Tunable ECM‐Mimetic Constructs Assembled by Combining Non‐Covalent and Covalent Strategies

Advanced Materials, EarlyView.
Harnessing the synergistic interplay of supramolecular self‐assembly, under macromolecular crowding conditions, and enzymatic‐mediated covalent crosslinking toward a stable protein‐based G‐quadruplex‐derived supramolecular bioink. This bioinspired strategy enables the biofabrication of complex and tunable ECM‐mimetic constructs, providing a platform ...
Vera Sousa, Rita Sobreiro‐Almeida, Bart W. L. van den Bersselaar, E. W. Meijer, Ghislaine Vantomme, João Borges, João F. Mano   +6 more
wiley   +1 more source

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

IEEE Open Journal of the Industrial Electronics Society
This article proposes a method for the automatic generation of a plant model and monitoring using process mining algorithms based on recorded event logs.
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin   +3 more
doaj   +1 more source

Transparent Perovskite Light‐Emitting Diodes with Conductive Oxide Top Electrodes

Advanced Materials, EarlyView.
Transparent perovskite light‐emitting diodes (TrPeLEDs) enable simultaneous display and transparency, expanding application possibilities. Using a metal oxide buffer layer and pulsed laser deposition, TrPeLEDs with diverse compositions and architectures are demonstrated.
Michele Forzatti, Sergio Martínez‐Saiz, Morena Cervino, Edoardo Stanzani, Sandra Jenatsch, Qingsen Zeng, Joo Sung Kim, Dong‐Hyeok Kim, Eojin Yoon, Tae‐Woo Lee, Daniel Tordera, Henk J. Bolink   +11 more
wiley   +1 more source

Super Yang-Mills on branched covers and weighted projective spaces

Journal of High Energy Physics
In this work we conjecture the Coulomb branch partition function, including flux and instanton contributions, for the N $$ \mathcal{N} $$ = 2 vector multiplet on weighted projective space CP N 2 $$ {\mathbbm{CP}}_N^2 $$ for equivariant Donaldson-Witten ...
Roman Mauch, Lorenzo Ruggeri
doaj   +1 more source

Modular control-loop detection

, 2006
This paper presents an efficient algorithm to detect control-loops in large finite-state systems. The proposed algorithm exploits the modular structure present in many models of practical relevance, and often successfully avoids the explicit ...
Malik, Robi, Malik, Petra
core   +1 more source

Inverse Design of Amorphous Materials With Targeted Properties

Advanced Materials, EarlyView.
AMDEN is a diffusion model framework for the inverse design of amorphous materials with targeted properties. By incorporating Hamiltonian Monte Carlo refinement into the denoising process, the framework overcomes the challenge of generating thermally relaxed disordered structures.
Jonas A. Finkler, Yan Lin, Tao Du, Jilin Hu, Morten M. Smedskjaer   +4 more
wiley   +1 more source

Automated closed-loop model checking of implantable pacemakers using abstraction trees

, 2017
Autonomous medical devices such as implantable cardiac pacemakers are capable of diagnosing the patient condition and delivering therapy without human intervention.
Houssam Abbas, Zhihao Jiang, Pieter J. Mosterman, Rahul Mangharam   +3 more
core   +1 more source

Measuring the Hall Effect in Hysteretic Materials

Advanced Materials, EarlyView.
The authors highlight common pitfalls in measuring the Hall effect: in hysteretic magnets, improper data processing can create signals that look exotic but are not real. This Perspective explains the origin of these artifacts and presents practical measurement strategies that help researchers identify reliable Hall responses in complex magnetic ...
Jaime M. Moya, Anthony Voyemant, Sudipta Chatterjee, Scott B. Lee, Grigorii Skorupskii, Connor J. Pollak, Leslie M. Schoop   +6 more
wiley   +1 more source