Results 101 to 110 of about 86,663 (296)
Algebraic specifications and refinement for component-based development using RAISE
Journal of Computer Science and Technology, 2002 There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components.
Elsa Clara Estévez +1 more
doaj
Resonance‐induced restoration of rock permeability degraded by heavy components of crude oil
Deep Underground Science and Engineering, EarlyView.Resonance‐induced changes occur in filtration properties of sedimentary rocks in crude paraffin oil flow under acoustic vibrations. Experimental data on (a) pressure drop; (b) permeability; (c) pressure at the rock inlet; and (d) pressure at the rock outlet are presented.
Evgenii Riabokon +6 more
wiley +1 more source
An efficient deep learning model for brain tumour detection with privacy preservation
CAAI Transactions on Intelligence Technology, EarlyView., 2023 Abstract Internet of medical things (IoMT) is becoming more prevalent in healthcare applications as a result of current AI advancements, helping to improve our quality of life and ensure a sustainable health system. IoMT systems with cutting‐edge scientific capabilities are capable of detecting, transmitting, learning and reasoning.
Mujeeb Ur Rehman +8 more
wiley +1 more source
Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease, 2017 BackgroundCardiovascular morbidity and mortality was reduced by 25% when blood pressure (BP) was targeted to 120 mm Hg systolic compared with 140 mm Hg systolic in Systolic Blood Pressure Intervention Trial (SPRINT); however, BP was measured using a ...
Rajiv Agarwal
doaj +1 more source
Estimating multiway error-components models with correlated effects in Stata [PDF]
I derive new estimators and tests of correlated effects for the (possibly) unbalanced multiway error component model (ECM), extending existing results in various aspects. The results by Kang (1985) on specification tests, who extended Hausman and Taylor (
Giovanni Bruno
core
Earthquake Engineering &Structural Dynamics, EarlyView.ABSTRACT Multivariate ground motion models (GMMs) that capture the correlation between different intensity measures (IMs) are essential for seismic risk assessment. Conventional GMMs are often developed using a two‐stage approach, where separate univariate models with predefined functional forms are fitted first, and correlation is addressed in a ...
Sayed Mohammad Sajad Hussaini +2 more
wiley +1 more source
Chinese Journal of Mechanical Engineering, 2019 There are vast constraint equations in conventional dynamics analysis of deployable structures, which lead to differential-algebraic equations (DAEs) solved hard.
Qi’an Peng +3 more
doaj +1 more source
, 2009 Let Q_0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0^{-1}=0. Q_0 can be expanded by a total sign function s that extracts the sign of a rational number.
Bergstra, Jan A., Bethke, I.
core +2 more sources
Irredundant Triangular Decomposition
, 2018 Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the variety it ...
Alvandi P. +6 more
core +1 more source
Earthquake Engineering &Structural Dynamics, EarlyView.ABSTRACT Multi‐supported non‐structural components (NSCs) are prone to seismic damage, yet their response prediction remains challenging when support motions are spatially incoherent. This study proposes an enhanced quasi‐static condensation (EQSC) method for linear, lightweight, dynamically detuned multi‐supported NSCs under the neglect of primary ...
Duozhi Wang +5 more
wiley +1 more source