Results 31 to 40 of about 3,425 (184)

The Two Variable Per Inequality Abstract Domain [PDF]

, 2010
This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables.
Howe, Jacob M., Simon, Axel, King, Andy
core   +1 more source

Stability Evaluation and Parametric Optimization of Coal‐Concrete Composite Bearing Systems Under Mine‐Water‐Induced Deterioration: Experiments and FEINN Analysis

Energy Science &Engineering, EarlyView.
Mine‐water immersion tests reveal pronounced coal weakening (vs. minor concrete degradation), identifying coal pillars as the stability‐limiting component in composite dams. A coupled FEINN framework quantifies extreme‐pressure stability and ranks multi‐parameter designs via a normalized multi‐indicator scheme, enabling optimized dam configuration for ...
He Wen, Hongchuan Dai, Guixin Zhang, Pengzhe Li, Tong Yang, Cang Gong, Renbo Gao   +6 more
wiley   +1 more source

Exact Computation of the Color Function for Triangular Element Interfaces

International Journal for Numerical Methods in Fluids, EarlyView.
We propose a robust algorithm, the Front2VOF algorithm, to compute the color function for triangular element interfaces in Front‐Tracking methods on a Cartesian mesh. ABSTRACT The calculation of the volume enclosed by curved surfaces discretized into triangular elements and a cube is of great importance in different domains, such as computer graphics ...
Jieyun Pan, Désir‐André Koffi Bi, Ahmed Basil Kottilingal, Serena Costanzo, Jiacai Lu, Yue Ling, Ruben Scardovelli, Grétar Tryggvason, Stéphane Zaleski   +8 more
wiley   +1 more source

Forecasting Volatility of Commodity, Currency, and Stock Markets: Evidence From Markov‐Switching Multifractal Models

Journal of Forecasting, EarlyView.
ABSTRACT This paper adopts a bivariate Markov‐switching multifractal (BMSM) model to reexamine comovement in SV between commodity, foreign exchange (FX), and stock markets. After the 2007–2008 global financial crisis understanding volatility linkages and the correlation structure between these markets becomes very important for risk analysts, portfolio
Ruipeng Liu, Mawuli Segnon, Oguzhan Cepni, Rangan Gupta   +3 more
wiley   +1 more source

From LIDL(m) to Timed Automata [PDF]

, 2009
LIDL(m) is a decidable fragment of Interval Duration Logic with Located Constraints, an expressive subset of dense-time Duration Calculus. It has been claimed that, for any LIDL(m) formula D, a timed automaton can be constructed which accepts the models ...
Gomez, Rodolfo
core  

Impact of hamstring versus quadriceps tendon graft on thigh muscle strength and surface electromyography activity after anterior cruciate ligament reconstruction

Knee Surgery, Sports Traumatology, Arthroscopy, EarlyView.
Abstract Purpose To compare quadriceps tendon (QT) and hamstring tendon (HT) autografts regarding isometric thigh muscle strength, surface electromyography (sEMG) activity and clinical outcomes following anterior cruciate ligament reconstruction (ACLR).
Benjamin Forquignon, Tobias Drenck, Matthias Krause, Ralph Akoto, Karl‐Heinz Frosch, Götz Welsch, Alexander Korthaus, Grégoire Thürig, Dimitris Dalos   +8 more
wiley   +1 more source

Simple and effective sign consistency using interval arithmetic [PDF]

, 2019
Polynomial constraints over finite domains are expressed as equalities, inequalities, and disequalities of polynomials with integer coefficients whose variables take values from finite subsets of the integers.
Monica S., Bergenti F.
core  

A Review of Advances in Composite Materials, Structural Optimization, and Machine Learning for Wind Turbine Blades: Challenges and Future Perspectives

Polymer Composites, EarlyView.
Overview of the holistic engineering lifecycle and core research pillars for wind turbine blades. ABSTRACT This paper reviews recent advancements across the lifecycle of wind turbine blades, focusing on three interconnected areas: advanced composites, structural optimization, and machine learning (ML) diagnostics. In materials, we highlight progress in
Kemal Hasirci, Denizhan Yavas, Alaeddin Burak Irez   +2 more
wiley   +1 more source

LOGICAL ARITHMETIC

, 1999
In the past, implementations of real arithmetic within logic programming have been non-logical. Difficulties include an inability to alter the order of execution of statements and incorrect handling of the different results caused by finite precision ...
Cleary, John G.
core   +1 more source

The role of identification in data‐driven policy iteration: A system theoretic study

International Journal of Robust and Nonlinear Control, EarlyView.
Abstract The goal of this article is to study fundamental mechanisms behind so‐called indirect and direct data‐driven control for unknown systems. Specifically, we consider policy iteration applied to the linear quadratic regulator problem. Two iterative procedures, where data collected from the system are repeatedly used to compute new estimates of ...
Bowen Song, Andrea Iannelli
wiley   +1 more source