Results 41 to 50 of about 67,921 (260)
A Mechanically Verified Theory of Contracts [PDF]
, 2021 Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challenging to model correctly. Since CPSs often have critical functions, it is however of utmost importance to formally verify them ...
Kastenbaum, Stéphane +2 more
openaire +3 more sources
Developmental and Epileptic Encephalopathy due to Biallelic Pathogenic Variants in PIGM
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective PIGM encodes a critical enzyme in the glycosylphosphatidylinositol (GPI)‐anchor biosynthesis pathway. While promoter‐region mutations in PIGM have been associated with a relatively mild phenotype characterized by portal vein thrombosis and absence seizures, recent evidence suggests that coding‐region mutations result in a more severe
Júlia Sala‐Coromina +11 more
wiley +1 more source
SOCIAL CONTRACT, CONFLICT AND GAME THEORY
Revista Eletrônica do Curso de Direito da UFSM, 2017 The dominant philosophical conception in Western political thought about the emergence of political societies known is the contractualism. Despite this, such conceptions are strongly ahistorical and continue to be strongly criticized by different chains ...
Geziela Iensue, Luis Fernando Sgarbossa
doaj +1 more source
Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce +72 more
wiley +1 more source
Early Clinical, Imaging, and Pathological Characteristics of SRPK3/TTN‐Digenic Myopathy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective SRPK3/TTN‐digenic myopathy was recently established as a skeletal muscle myopathy caused by digenic inheritance. This study characterizes the early clinical presentation of SRPK3/TTN‐digenic myopathy in one previously reported and seven newly identified pediatric patients.
Rotem Orbach +23 more
wiley +1 more source
Caring for Whom? Racial Practices of Care and Liberal Constructivism
Philosophies, 2022 Inequalities in expectations to receive care permeate social structures, reinforcing racialized and gendered hierarchies. Harming the people who are overburdened and disadvantaged as caregivers, these inequalities also shape the subjectivities and ...
Asha Leena Bhandary
doaj +1 more source
Recurrent Hypothermia and Autonomic Dysfunction Secondary to Shapiro Syndrome
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT A 44‐year‐old man presented with recurrent hypothermia, diaphoresis and hypertension. Extensive investigation for infectious, inflammatory, metabolic and endocrine aetiologies was negative. MR scan of the brain demonstrated no lesions but revealed callosal dysgenesis, consistent with Shapiro syndrome.
Naveen Kumar +3 more
wiley +1 more source
Designing an Incentive Mechanism to Reward Users for Advertising Content Usage Considering Network Effects [PDF]
مجله مدل سازی در مهندسیData rewarding is a novel business model that leads to an economic trend in mobile networks. In this scheme, the advertiser incentivizes users to watch ads and, in return, receive a reward in the form of mobile data.
Hamed Kebriaei +2 more
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective We examined whether 18 months of strength training in individuals with knee varus alignment and medial tibiofemoral osteoarthritis (OA) reduced knee joint loads during walking compared to an attention control group. Methods This study was a secondary analysis of a randomized clinical trial that compared the effects of strength training to a ...
Stephen P. Messier +12 more
wiley +1 more source
Immunosuppressive Drug Use in Limited Systemic Sclerosis: An International Survey
Arthritis Care &Research, EarlyView.Objective Current guidelines recommend immunosuppressive treatment for diffuse cutaneous systemic sclerosis but are less clear on their use in limited cutaneous systemic sclerosis (lcSSc) in the absence of internal organ complications. We conducted an international survey to understand current immunosuppressive drug prescribing patterns in lcSSc ...
Sabrina Hoa +3 more
wiley +1 more source