Results 61 to 70 of about 462,160 (174)
Clifford representatives via the uniform algebraic rank
Journal of the London Mathematical Society, Volume 111, Issue 6, June 2025.Abstract In this paper, we introduce the uniform algebraic rank of a divisor class on a finite graph. We show that it lies between Caporaso's algebraic rank and the combinatorial rank of Baker and Norine. We prove the Riemann–Roch theorem for the uniform algebraic rank, and show that both the algebraic and the uniform algebraic rank are realized on ...
Myrla Barbosa +2 more
wiley +1 more source
Do large language models “understand” their knowledge?
AIChE Journal, Volume 71, Issue 3, March 2025.Abstract Large language models (LLMs) are often criticized for lacking true “understanding” and the ability to “reason” with their knowledge, being seen merely as autocomplete engines. I suggest that this assessment might be missing a nuanced insight.
Venkat Venkatasubramanian
wiley +1 more source
Elementary Mathematics Helps to Shed Light on the Transpiration Budget Under Water Stress
Ecohydrology, Volume 18, Issue 2, March 2025.ABSTRACT This paper aims to present a methodology for accurately describing transpiration by employing appropriate physical equations. While some simplifications have been made, including the use of a simplified treatment of turbulence and the neglect of the thermal capacity of transpiring leaves, it is argued that the chosen scheme has general ...
Concetta D'Amato, Riccardo Rigon
wiley +1 more source
From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]
, 2005 The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek +5 more
core +1 more source
A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants. [PDF]
, 2005 This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies
Narciso, Mercedes +2 more
core
An algebraic framework for structured epidemic modelling. [PDF]
Philos Trans A Math Phys Eng Sci, 2022 Libkind S +4 more
europepmc +1 more source
UML and Petri Nets for Design and Analysis of Distributed Systems [PDF]
, 2000 This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems.
Giacomini, Luisa +2 more
core +1 more source
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Towards a Notion of Distributed Time for Petri Nets
, 2001 We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we
Srba, J., Nielsen, M., Sassone, V.
core +2 more sources
Representation Theorems for Petri Nets
, 1997 This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core +1 more source