Results 91 to 100 of about 32,620 (305)

2.4. Criteri d’identità e adeguatezza logica

Rivista di Estetica, 2012
Aim of the paper is to make some steps towards a formal characterization of identity criteria. First of all, we analyse some logical requirements identity criteria are supposed to satisfy and observe that some commonly used identity criteria fail to meet
Massimiliano Carrara, Silvia Gaio
doaj   +1 more source

Formal Verification of Flow Equivalence in Desynchronized Designs [PDF]

, 2020
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel   +3 more
openalex   +1 more source

A simple formalization of alpha-equivalence

While teaching untyped $λ$-calculus to undergraduate students, we were wondering why $α$-equivalence is not directly inductively defined. In this paper, we demonstrate that this is indeed feasible. Specifically, we provide a grounded, inductive definition for $α$-equivalence and show that it conforms to the specification provided in the literature. The
Apinis, Kalmer, Ahman, Danel
openaire   +2 more sources

Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang, Chengsong Yue, Zhuang Li, Xiaolei Shi, Haoxuan Zhu, Jie Yang, Linyu Li, Jiaxing Song, Shitao Fan, Gaoming Li, Wenzhe Sun, Zhixian Ye, Jiacheng Huang, Dahong Yang, Jinfu Ma, Xu Xu, Zhixi Wang, Lilan Wang, Guojian Liu, Fengli Li, Changwei Guo, Li Qi, Wenjie Zi   +22 more
wiley   +1 more source

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

Revista Facultad de Ingeniería Universidad de Antioquia, 2012
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez   +2 more
doaj   +1 more source

On the Commutative Equivalence of Algebraic Formal Series and Languages

, 2021
Arturo Carpi, Flavio D’Alessandro
openalex   +2 more sources

​Did a Non‐Medical Biosimilar Switching Policy Cause an Increase in Non‐Biologic/Biosimilar Health Care Resource Utilization or Cost in Patients With Inflammatory Arthritis?

Arthritis Care &Research, EarlyView.
Objective This study aimed to evaluate the impact of a series of policies that mandated switching patients with inflammatory arthritis (IA) from an originator biologic to a biosimilar in British Columbia, Canada, on health care resource use and cost.
HaoHung Dang, Sandra Blitz, Nick Bansback, Michael Law, Mark Harrison   +4 more
wiley   +1 more source

Formalization of the Equivalent Transformation Computation Model

Journal of Advanced Computational Intelligence and Intelligent Informatics, 2006
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain and defines a set of queries of interest. A program is a set of prioritized transformation rules, and computation consists in successive reduction of queries using meaning-preserving transformation with respect to given background ...
Kiyoshi Akama, Ekawit Nantajeewarawat
openaire   +1 more source

Reduction in Renal Relapse and Preservation of Long‐Term Kidney Function After Lupus Low Disease Activity in Patients With Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Lupus low disease activity state (LLDAS) is a validated treatment target in systemic lupus erythematosus (SLE), but limited studies have explored the role of LLDAS in lupus nephritis (LN). This study aims to investigate the frequency and predictors of LLDAS attainment and its benefit on LN relapse and renal function preservation in patients ...
Chak Kwan Cheung, Desmond Y. H. Yap, Ka Lai Lee, Philip H. Li, Iris Y. K. Tang, Chak Sing Lau, Shirley C. W. Chan   +6 more
wiley   +1 more source

Formal Verification of Code Conversion: A Comprehensive Survey

Technologies
Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby    +7 more
doaj   +1 more source