Results 101 to 110 of about 349,803 (277)
Anatomical Sciences Education, Volume 18, Issue 3, Page 241-253, March 2025.Abstract This study describes the process of developing a high‐impact, low‐cost, and low‐maintenance air ventilation system for anatomy facilities. It employed the strategic application of Value Engineering (VE), assuring that the air ventilation system meets contemporary threshold limit values (TLVs) for formaldehyde in the working zone of dissection ...
Jürgen Russ, Niels Hammer
wiley +1 more source
Asian Journal of Control, EarlyView.Abstract This paper tackles the problem of robust and accurate fixed‐time tracking in human–robot interaction and deals with uncertainties. This work introduces a control approach for a wearable exoskeleton designed specifically for rehabilitation tasks.
Mahmoud Abdallah +4 more
wiley +1 more source
Formal Proof of a Machine Closed Theorem in Coq
Journal of Applied Mathematics, 2014 The paper presents a formal proof of a machine closed theorem of TLA+ in the theorem proving system Coq. A shallow embedding scheme is employed for the proof which is independent of concrete syntax.
Hai Wan +3 more
doaj +1 more source
An answer to a question of herings et al [PDF]
One answers to an open question of Herings et al. (2008), by proving that their fixed point theorem for discontinuous functions works for mappings defined on convex compact subset of $\R^n$, and not only polytopes. This fixed point theorem can be applied
Philippe Bich
core
Modeling and parameter estimation for fractional large‐scale interconnected Hammerstein systems
Asian Journal of Control, EarlyView.Abstract This paper addresses the challenge of modeling and identifying large‐scale interconnected systems exhibiting memory effects, hereditary properties, and non‐local interactions. We propose a fractional‐order extension of the Hammerstein architecture that incorporates Grünwald–Letnikov operators to capture complex dynamics through multiple ...
Mourad Elloumi +2 more
wiley +1 more source
Prosocial behaviour in primary and secondary school students. Effects of the CYBUPRE intervention
British Educational Research Journal, EarlyView.Abstract Prosocial behaviour is regarded as a critical factor in reducing aggressive behaviours among peers, both in physical settings and virtual spaces. This variable facilitates the enhancement of social relationships, promoting empathy, deep listening, physical and verbal service, and even solidarity, among other benefits.
Mercedes Chicote‐Beato +3 more
wiley +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Restricted Tweedie stochastic block models
Canadian Journal of Statistics, EarlyView.Abstract The stochastic block model (SBM) is a widely used framework for community detection in networks, where the network structure is typically represented by an adjacency matrix. However, conventional SBMs are not directly applicable to an adjacency matrix that consists of nonnegative zero‐inflated continuous edge weights.
Jie Jian, Mu Zhu, Peijun Sang
wiley +1 more source
Rank‐based estimation of propensity score weights via subclassification
Canadian Journal of Statistics, EarlyView.Abstract Propensity score (PS) weighting estimators are widely used for causal effect estimation and enjoy desirable theoretical properties, such as consistency and potential efficiency under correct model specification. However, their performance can degrade in practice due to sensitivity to PS model misspecification.
Linbo Wang +3 more
wiley +1 more source
Canadian Journal of Statistics, EarlyView.Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne +2 more
wiley +1 more source