Results 111 to 120 of about 29,356 (295)
Abstract Electrification of distillation offers a promising route to reducing scope‐1 emissions from one of the chemical industry's most energy‐intensive unit operations. However, conventional adiabatic columns are dynamically inflexible: Long, energy‐intensive start‐ups make shutdown and restart impractical under variable electricity prices and ...
Samuel Mercer, Michael Baldea
wiley +1 more source
JACK: A process algebra implementation in Java [PDF]
The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it di±cult to repeat test scenarios.
Freitas, Leonardo
core
ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho +4 more
wiley +1 more source
TAPAs: A Tool for the Analysis of Process Algebras
Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent ...
Calzolai, Francesco +11 more
core +1 more source
A new drag and lift correlation for spherocylinders from fully resolved Immersed Boundary Method
Abstract Many industrial processes deal with non‐spherical particles, e.g., mineral mining and biomass conversion. It is crucial to understand the particles' hydrodynamics to control and optimize these processes. To extend the current state‐of‐the‐art from arrays of spherical particles to spherocylindrical particles, we performed extensive particle ...
A. H. Huijgen +4 more
wiley +1 more source
This paper surveys the history and the current state of tool supportfor modelling with the PEPA stochastic process algebra and the PEPAnets modelling language.
Hillston, Jane +1 more
core
Abstract In cryogenic CO2 desublimation systems where phase change dominates both heat transfer and separation, conventional lumped thermal‐resistance treatments embed interfacial latent heat into an overall heat‐transfer coefficient, obscuring how phase‐change heat is partitioned between the gas phase and the coolant and limiting diagnostic insight ...
Shengwen Xiao +2 more
wiley +1 more source
A conceptual approach to the early learning of Algebra using a computer [PDF]
This thesis describes an investigation into the conceptual understanding of algebra by early learners (age 11-13 years) and how a computer-based approach may be used to improve such, without any consequent loss of manipulative skills.
Thomas, Michael O. J.
core
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source

