Results 31 to 40 of about 462,160 (174)

Algebraic theories for contextual pre-nets

, 2003
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out.
Meseguer, J., Roberto Bruni, Bruni, R., Ugo Montanari, Vladimiro Sassone, Montanari, U., Sassone, V., José Meseguer   +7 more
core   +2 more sources

Explainable Machine Learning for Predicting Time‐to‐Failure of Horizontal Pressurized Storage Tanks in Fire Scenarios

Safety Science and Technology, EarlyView.
An interpretable machine learning framework with SHAP analysis achieves accurate time‐to‐failure prediction for horizontal pressurized tanks under pool fires while identifying fire intensity, filling level, and wall thickness as dominant drivers of model explanation and uncertainty explanation, providing transparent and actionable insights for ...
Yubin Mu, Mingshu Bi, Zilong Deng, Di Yu, Jingjing Yang, Jingjie Ren   +5 more
wiley   +1 more source

Characterizing Behavioural Congruences for Petri Nets

, 1995
We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L., Nielsen, M., Lutz Priese, Vladimiro Sassone, Sassone, V., Mogens Nielsen   +5 more
core   +2 more sources

Reading Dürer in Late Sixteenth‐Century Padua: Matteo Macigni (ca. 1510–1582), His Library and the Annotated Institutionum geometricarum (Paris, 1535)

Renaissance Studies, EarlyView.
ABSTRACT This article contributes to the history of material culture and intellectual biography by definitively identifying the Paduan scholar Matteo Macigni (ca. 1510–1582) as the author of the annotations found in a 1535 copy of Albrecht Dürer’s Institutionum geometricarum currently preserved in Vicenza.
Laura Moretti
wiley   +1 more source

The Box Algebra=Petri Nets+Process Expressions

Information and Computation, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best E, Devillers R, Koutny M
openaire   +5 more sources

Long Run Non‐Transitivity of Win Ratio and How to Rule It Out

Statistics in Medicine, Volume 45, Issue 18-19, August 2026.
ABSTRACT The win ratio (WR) has emerged as an increasingly used method for analyzing composite endpoints in randomized controlled trials (RCTs). Its growing popularity stems from its ability to accommodate a hierarchy of event types within a composite primary endpoint in an RCT.
Olga V. Demler, Anna Győrffy‐Kerekes
wiley   +1 more source

General Principles of Application of Temporal Petri Nets in Intelligent Real-Time Decision Support Systems of Railway Automation of Uzbekistan

Proceedings of the International Conference on Applied Innovations in IT
The relevance of this study lies in the need for modern scientific and technological advancements to enhance railway transportation management, ensuring efficiency and safety amid increasing train traffic and freight turnover.
Asadulla Azizov, Elnara Ametova
doaj   +1 more source

Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method

Advanced Science, Volume 13, Issue 42, 28 July 2026.
A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas, Daniëlle C. A. Duffhues, Pim van den Bersselaar, Sarah Pragnere, Bart G. W. Groenen, Mariana Azevedo Gonzalez Oliva, Giuseppe Ciccone, Manuel Salmeron‐Sanchez, Carlijn V. C. Bouten, Jose J. Muñoz, Vito Conte   +10 more
wiley   +1 more source

Timed Mobility in process algebra and Petri nets

The Journal of Logic and Algebraic Programming, 2011
A process algebra called TiMo (timed mobility) is presented. It can express both explicit locations in a distributed environment and various timed constraints (timeouts of interactions, i.e., inputs and outputs and migrations from one location to another). The model of time is based on local clocks (visible only to local processes).
Gabriel Ciobanu, Maciej Koutny
openaire   +2 more sources

Modeling the Thermal Properties of Hydrogen‐Based Direct Reduced Iron Using Computational Thermodynamics and Machine Learning

steel research international, Volume 97, Issue 7, Page 3851-3869, July 2026.
Hydrogen‐based direct reduced iron (H‐DRI) melts differently from scrap and carbon‐bearing DRI. This work combines differential scanning calorimetry experiments, FactSage thermodynamics, and simple composition‐based regression to predict solidus, liquidus, heat capacity, and enthalpy for H‐DRI.
Ankur Agnihotri, Petri Sulasalmi, Pasquale Cavaliere, Ville‐Valtteri Visuri   +3 more
wiley   +1 more source