Results 21 to 30 of about 394,891 (265)
Transition removal for compositional supervisor synthesis
, 2012 This paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking ...
Fabian, Martin, +7 more
core +1 more source
Arthritis Care &Research, EarlyView.Objective Systemic lupus erythematosus (SLE) is a heterogenous inflammatory condition with widely varying global prevalence estimates. The frequency of SLE in the general population of Australia has been reported to be notably lower than contemporary estimates in countries such as the United States or United Kingdom, at 19 to 39 per 100,000 as opposed ...
Lucinda Roper +7 more
wiley +1 more source
Optimal Synthesis and Balancing of Linkages [PDF]
, 1970 The problems of dimensional synthesis and of balancing of linkages are formulated as multifactor optimization problems. Using the new techniques developed in the thesis to solve these problems, a general computer program has been written to be a ...
Sutherland, George
core
Inversion-based synthesis algorithm of periodic fault detection and isolation filters
, 2013 A numerically reliable lifting-free computational method is proposed to solve fault detection and isolation problems for periodic systems using a model matching approach.
A. Varga, Varga, Andreas
core +1 more source
The Access Pricing Problem: A Synthesis
The Journal of Industrial Economics, 1996 The Baumol-Willig efficient component pricing rule states that it is efficient to set the price of access to an essential facility equal to the direct cost of access plus the opportunity cost to the integrated access provider. The authors analyze the relevant notion of 'opportunity cost' under various assumptions about demand and supply conditions ...
Armstrong, M., Doyle, C., Vickers, J.
openaire +4 more sources
Arthritis Care &Research, EarlyView.Objective Hydroxychloroquine (HCQ) is a cornerstone therapy in systemic lupus erythematosus (SLE), but the weight‐based dosing does not account for clinical factors that can introduce individual variability in drug metabolism and clearance. We leveraged longitudinal data from a prospective SLE cohort to identify clinical factors that predict ...
Jay J. Patel +6 more
wiley +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi +3 more
wiley +1 more source
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Software Synthesis is Hard – and Simple [PDF]
, 2010 While the components of distributed hardware systems can reasonably be assumed to be synchronised, this is not the case for the components of distributed software systems.
Schewe, Sven
core +1 more source