Results 91 to 100 of about 10,239,526 (271)

Operational Game Semantics for Generative Algebraic Effects and Handlers

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming
We present a sound operational game semantics model (w.r.t. contextual equivalence) of a typed language with algebraic effects and handlers and dynamic generation of effect instances à la [5, 11]. We exhibit the interactive aspect of effect propagation, and to address it precisely, we identify the adequate granularity of the operational semantics (akin
Hamza Jaafar, Guilhem Jaber
openaire   +2 more sources

Generalized quadraticity of linear combination of two generalized quadratic matrices

, 2015
It is investigated the necessary and sufficient conditions for the generalized quadraticity of a linear combination of any two generalized quadratic matrices.
Petik, Tuğba, Özdemir, Halim
core   +1 more source

Automated Data‐Efficient Symbolic Regression for Interpretable Bioprocess Model Development

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Bioprocessing is central to the sustainable manufacture of pharmaceuticals, food products, and renewable chemicals. Consequently, developing high‐fidelity kinetic models to facilitate accurate process prediction, optimisation, and scale‐up is a top research priority.
Luca Riezzo, Alexander Rogers, Harry Kay, Dongda Zhang   +3 more
wiley   +1 more source

Data‐Driven Analysis of Green Logistics Strategies for the Logistics and Transportation Companies: A Bipolar Fuzzy Methodology

Business Strategy and the Environment, EarlyView.
ABSTRACT Global imperatives, such as climate change, environmental concerns, and carbon emissions, make green transformation an inevitability in the logistics sector. Green logistics strategy formulation is an economic choice problem, but it also turns out to be a multicriteria decision‐making (MCDM) process that encompasses the triple bottom line (TBL)
Ömer Faruk Görçün, Abhijit Saha, Fatih Ecer   +2 more
wiley   +1 more source

Diagnostic Agreement and Threshold Correspondence Between Resting Full‐Cycle Ratio and Nicorandil‐Based Fractional Flow Reserve in Intermediate Coronary Stenosis: A Prospective Single‐Center Registry

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background RFR has shown good aggregate agreement with FFR, including in prior Asian cohorts using intracoronary nicorandil. Where RFR‐FFR disagreement is concentrated relative to the FFR 0.80 decision boundary, and how the two binary thresholds correspond, remain incompletely characterized. Methods In a prospective single‐center registry, 300
Yonghoon Shin, Onyou Kim, Gi Won Yu, Yun Won Lee, Jung‐Joon Cha, Hyung Joon Joo, Jae Hyoung Park, Soon Jun Hong, Cheol Woong Yu   +8 more
wiley   +1 more source

Laminar Burning Velocity of Ammonia‐Hydrogen Mixtures Predicted by Machine Learning

Chemie Ingenieur Technik, EarlyView.
Ammonia–hydrogen blends aid defossilization, but slow combustion kinetics require complex modeling. Although chemical kinetic modeling is computationally expensive, machine learning surrogates offer fast predictions. This study trained GPR, DT, and ANN models on 1445 experimental points.
Georg Klepp, Aditya Sharma, Helene Dörksen   +2 more
wiley   +1 more source

Some cognitive difficulties that standard six and seven pupils at a typical Cape Flats school experience with the generalized number pattern approach to algebra

, 1996
Magister Educationis - MEdMathematics teaching in South African schools is currently in a state of ferment. The recent political transformation in the country has had a ripple effect on the curriculum in the form of a more "pupi1 centered approach.
Felix, C.B.A
core  

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, Sálvio Lima de Carvalho Neto, Silvio Edegar Weschenfelder, Glaucia Rodrigues Vieira de Almeida da Fonseca, Maria de Fátima Rodrigues da Cunha, Selene Maria Arruda Guelli Ulson de Souza, Evandro Balestrin, Adriano da Silva   +7 more
wiley   +1 more source

Large parameter asymptotic analysis for homogeneous normalized random measures with independent increments

Canadian Journal of Statistics, EarlyView.
Abstract Homogeneous normalized random measures with independent increments represent a broad class of Bayesian nonparametric priors and thus are widely used. In this article, we obtain the strong law of large numbers, the central limit theorem (CLT), and the functional central limit theorem (fCLT) of such measures when the concentration parameter a ...
Junxi Zhang, Shui Feng, Yaozhong Hu
wiley   +1 more source

Simplified Small‐Signal Modeling Method for Non‐Isolated High Step‐Up Converters

International Journal of Circuit Theory and Applications, EarlyView.
A generalized small‐signal modeling methodology for a family of non‐isolated high step‐up DC‐DC converters is proposed. ABSTRACT This work presents a generalized small‐signal modeling methodology for a family of DC–DC converters based on the four‐state switching cell with a wide conversion range (WCR‐4SSC) operating in continuous conduction mode (CCM).
Samuel Antonio Macedo de Oliveira, Pedro Herysson Almeida da Silva, Fernando Lessa Tofoli, Dalton de Araújo Honório   +3 more
wiley   +1 more source