Results 91 to 100 of about 5,869 (280)
Almost sure OTM-realizability [PDF]
Combining the approaches made in works with Galeotti and Passmann, we define and study a notion of "almost sure" realizability with parameter-free ordinal Turing machines (OTMs). In particular, we show that, in contrast to the classical case, almost sure
Carl, Merlin
core +1 more source
Sheaf Toposes for Realizability
, 2018 Steve Awodey and Audrej Bauer.
Audrej Bauer (5373497) +1 more
core +1 more source
Review of CFD modelling techniques for single‐phase and multiphase flow in static mixers
The Canadian Journal of Chemical Engineering, EarlyView.This review synthesizes computational fluid dynamics (CFD) approaches for static mixers, linking hydrodynamics to pressure drop, particle/droplet distributions, mixing metrics, and heat‐transfer performance to guide modelling choices and design decisions. Abstract Static mixers enable compact and low‐energy intensification.
Jussan Jaeger +7 more
wiley +1 more source
Realizability Toposes from Specifications [PDF]
, 2015 We investigate a framework of Krivine realizability with I/O effects, and present a method of associating realizability models to specifications on the I/O behavior of processes, by using ad- equate interpretations of the central concepts of pole and ...
Frey, Jonas
core +1 more source
Energy Science &Engineering, EarlyView.TiO2/chlorophyll bio‐hybrid nanofluid achieved the highest PVT performance, increasing thermal efficiency to 38.74% and overall efficiency to 51.35%, compared with 35.96% and 48.45% for Al2O3/water and 27.77% and 40.18% for water. The results demonstrate the potential of bio‐hybrid nanofluids for high‐efficiency solar thermal energy conversion ...
Oluwaseyi Omotayo Alabi +2 more
wiley +1 more source
Nested Selves: Self‐Organization and Shared Markov Blankets in Prenatal Development in Humans
Topics in Cognitive Science, EarlyView., 2023 Abstract The immune system is a central component of organismic function in humans. This paper addresses self‐organization of biological systems in relation to—and nested within—other biological systems in pregnancy. Pregnancy constitutes a fundamental state for human embodiment and a key step in the evolution and conservation of our species. While not
Anna Ciaunica +3 more
wiley +1 more source
A recursive condition for the symmetric nonnegative inverse eigenvalue problem
Revista Integración, 2017 In this paper we present a sufficient ondition and a necessary condition for Symmetri Nonnegative Inverse Eigenvalue Problem. This condition is independent of the existing realizability criteria.
Elvis Ronald Valero +2 more
doaj +1 more source
Energy Science &Engineering, EarlyView.Turbulence intensity from 1% to 25% was parametrically tested on a three‐bladed H‐type Darrieus rotor across five tip speed ratios (TSRs) using two‐dimensional URANS. The optimal TSR proved the most efficient and most robust operating point simultaneously, with Cp losses capped at 5.8% even at TI = 25%. ABSTRACT The effect of inlet turbulence intensity
Aydin Ulus
wiley +1 more source
Antiferroelectric Phase Transitions Under Electric Fields: A Review of Physics and Applications
Interdisciplinary Materials, EarlyView.Field‐induced phase transitions in antiferroelectric materials, driven by electric field, temperature, or stress, enable diverse applications including energy storage, electrocaloric cooling, and negative capacitance. These transitions are regulated through compositional design, strain engineering, heterostructure, and size effect, providing a unified ...
Dingxin Wang +7 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 1999 We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.
openaire +3 more sources