Results 121 to 130 of about 1,321,024 (261)
Arthritis Care &Research, EarlyView.Objective This study analyzed longitudinal trajectories of soluble Flt1 (sFlt1) levels, placenta growth factor (PlGF) levels, and sFlt1:PlGF ratios in a cohort of pregnant patients with systemic lupus erythematosus (SLE). Methods Blood samples were collected (14–18, 24–26, 30–32, 34–36, and 38–40 weeks), stored at −80°C, and evaluated for serum levels ...
Nilson R. de Jesús +7 more
wiley +1 more source
An Effective Fixpoint Semantics for Linear Logic Programs [PDF]
arXiv, 2001 In this paper we investigate the theoretical foundation of a new bottom-up semantics for linear logic programs, and more precisely for the fragment of LinLog that consists of the language LO enriched with the constant 1. We use constraints to symbolically and finitely represent possibly infinite collections of provable goals.
arxiv
International Journal of Adaptive Control and Signal Processing, EarlyView.Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez +2 more
wiley +1 more source
Revista Ingenierías Universidad de Medellín, 2007 Las nuevas tecnologías informáticas abren un mundo de posibilidades inagotable en el ámbito de la docencia. En el caso particular de las enseñanzas técnicas, el uso de estas tecnologías se convierte en indispensable por la propia naturaleza de los ...
Myriam Rocío Pallares Muñoz +1 more
doaj
Performance Triggered Adaptive Model Reduction for Soil Moisture Estimation in Precision Irrigation
International Journal of Adaptive Control and Signal Processing, EarlyView.ABSTRACT Accurate soil moisture information is essential for precise irrigation to enhance water use efficiency. Estimating soil moisture based on limited soil moisture sensors is especially critical for obtaining comprehensive soil moisture information when dealing with large‐scale agricultural fields.
Sarupa Debnath +4 more
wiley +1 more source
Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model [PDF]
arXivWe present a semi-automated framework to construct and reason about programs in a deeply-embedded while-language. The while-language we consider is a simple computation model that can simulate (and be simulated by) Turing Machines with a quadratic time and constant space blow-up.
arxiv
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis [PDF]
arXivMany approaches to program synthesis perform a combinatorial search within a large space of programs to find one that satisfies a given specification. To tame the search space blowup, previous works introduced probabilistic and neural approaches to guide this combinatorial search by inducing heuristic cost functions. Best-first search algorithms ensure
arxiv
Positive Almost-Sure Termination of Polynomial Random Walks [PDF]
arXivThe number of steps until termination of a probabilistic program is a random variable. Probabilistic program termination therefore requires qualitative analysis via almost-sure termination (AST), while also providing quantitative answers via positive almost-sure termination (PAST) on the expected number of steps until termination.
arxiv
Elasticity of Diametrically Compressed Microfabricated Woodpile Lattices
Advanced Engineering Materials, EarlyView.Modulus–porosity relationship is derived for woodpile lattices with struts under diametrical compression. The formula presented here that Young's modulus is proportional to the square of the volume fraction E˜ρ2$E \sim \left(\rho\right)^{2}$ is shown to be consistent with computations and laboratory experiments on 3D‐printed samples.
Faezeh Shalchy, Atul Bhaskar
wiley +1 more source