Results 101 to 110 of about 65,035 (289)
An Approach to Algebraic Semantics of Object-Oriented Languages [PDF]
, 2003 Studying the semantics of programming languages has a long tradition in computer science. Various approaches use various formalisms with various objectives. In the last two decades, algebraic specifications have requently been used to study functional as
Fronk, Alexander
core
On observational equivalence and algebraic specification
Journal of Computer and System Sciences, 1987 See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 308-322 (1985; Zbl 0563.68017).
Donald Sannella, Andrzej Tarlecki
openaire +1 more source
The Curriculum Journal, EarlyView.Abstract This study explored how lecturers in a post‐92 UK university conceptualise and enact decolonial curriculum principles within their teaching and programme design. Drawing on semi‐structured interviews with academic staff across multiple disciplines, the research adopts a qualitative, phenomenologically informed approach to examine the interplay
Reece Sohdi
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
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
On Algebraic Decoding of $q$-ary Reed-Muller and Product-Reed-Solomon Codes
, 2007 We consider a list decoding algorithm recently proposed by Pellikaan-Wu \cite{PW2005} for $q$-ary Reed-Muller codes $\mathcal{RM}_q(\ell, m, n)$ of length $n \leq q^m$ when $\ell \leq q$.
Santhi, Nandakishore
core +1 more source
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
A Process Algebra Software Engineering Environment
, 2008 In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model.
Diertens, B.
core
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
Coherent Forecasting of Realized Volatility
Journal of Forecasting, EarlyView.ABSTRACT The QLIKE loss function is the stylized favorite of the literature on volatility forecasting when it comes to out‐of‐sample evaluation and the state of the art model for realized volatility (RV) forecasting is the HAR model, which minimizes the squared error loss for in‐sample estimation of the parameters.
Marius Puke, Karsten Schweikert
wiley +1 more source