Results 81 to 90 of about 533,253 (261)
Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu +110 more
wiley +1 more source
Beta-Testing the “Particular Machine”: The Machine-or-Transformation Test in Peril and Its Impact on Cloud Computing [PDF]
This Issue Brief examines recent cases addressing the patent eligibility of computer-implemented method claims and their implications for the development of cloud computing technologies.
Lee, Richard M.
core +1 more source
Objectives This study aimed to investigate hand function trajectories over 5 years in primary hand osteoarthritis. Additionally, determinants of baseline and longitudinal hand function were assessed. Methods 538 patients with both baseline and 5‐year study visits were analyzed.
Annemiek V.E.M. Olde Meule +4 more
wiley +1 more source
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec [PDF]
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct ...
Schmidt-Schauß, Manfred
core +2 more sources
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos +2 more
wiley +1 more source
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
A New Approach to Probabilistic Programming Inference [PDF]
We introduce and demonstrate a new approach to inference in expressive probabilistic programming languages based on particle Markov chain Monte Carlo. Our approach is simple to implement and easy to parallelize.
Mansinghka, Vikash +2 more
core
Generating reversible circuits from higher-order functional programs
Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function.
A Ambainis +15 more
core +3 more sources
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
SI‐bioATRP in Mesoporous Silica for Size‐Exclusion Driven Local Polymer Placement
An enzyme‐catalyzed surface‐initiated atom transfer radical polymerization (SI‐bioATRP) of an anionic monomer within mesoporous silica particles, using hemoglobin as a catalyst, allows for controlling the location of the formed polymer via size‐exclusion effects between the nanopores and the biomacromolecules, thereby opening routes to functional ...
Oleksandr Wondra +8 more
wiley +1 more source

