Results 51 to 60 of about 21,799 (256)
Topological and Simplicial Models of Identity Types
, 2011 In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets.
Sub Algebra,Geometry&Mathem. Logic begr. +5 more
core +1 more source
A new drag and lift correlation for spherocylinders from fully resolved Immersed Boundary Method
AIChE Journal, EarlyView.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
AIChE Journal, EarlyView.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
Model‐Theoretic Aspects of Unification
, 1992 Unification is a fundamental operation in various areas of computer science, in particular in automated theorem proving and logic programming. In this paper we establish a relation between unification theory and classical model theory.
Alexander Bockmayr, Bockmayr, A.
core +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.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
Process algebra modelling styles for biomolecular processes [PDF]
, 2009 We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
Calder, M. +3 more
core +1 more source
Advanced Intelligent Discovery, EarlyView.This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley +1 more source
On the Coalgebraic Theory of Kleene Algebra with Tests [PDF]
, 2008 We develop a coalgebraic theory of Kleene algebra with tests (KAT) along the lines of Rutten (1998) for Kleene algebra (KA) and Chen and Pucella (2003) for a limited version of KAT, resolving two open problems of Chen and Pucella. Our treatment includes
Kozen, Dexter, Dexter Kozen
core
Advanced Intelligent Systems, EarlyView.This study proposes a deep learning approach to evaluate the fatigue crack behavior in metals under overload conditions. Using digital image correlation to capture the strain near crack tips, convolutional neural networks classify crack states as normal, overload, or recovery, and accurately predict fatigue parameters.
Seon Du Choi +5 more
wiley +1 more source
The K-theoretic Hall Algebra On Surfaces and Categorifications
, 2021 In the thesis, I made a construction of the K-theoretic Hall algebra on smooth algebraic surfaces and proved that it was associative.
Zhao, Yu
core