Results 61 to 70 of about 96,976 (366)

Concurrency and atomicity

Theoretical Computer Science, 1988
AbstractThe overall intention of this work is to investigate the ability to regard a finite computation as a single event, in dealing with the semantics of concurrency. We propose a calculus of concurrent processes that embodies this ability in two respects: the first one is that of execution, the second that of operation.
Gérard Boudol, Ilaria Castellani
openaire   +2 more sources

Concurrent matching logic [PDF]

arXiv, 2021
Abstract. Matching logic cannot handle concurrency. We introduce concurrent matching logic (CML) to reason about fault-free partial correctness of shared-memory concurrent programs. We also present a soundness proof for concurrent matching logic (CML) in terms of operational semantics.
arxiv  

Association between the concurrence of pre-existing chronic liver disease and worse prognosis in patients with an herb- Polygonum multiflorum thunb. induced liver injury: a case-control study from a specialised liver disease center in China

BMJ Open, 2019
Objectives The present study aimed to evaluate the association between the concurrence of pre-existing chronic liver diseases (CLD) and worse prognosis in patients with HILI. Design A case–control study.
Jing Jing, Rui-Lin Wang, Xin-Yan Zhao, Yun Zhu, Ming Niu, Li-fu Wang, Xue-ai Song, Ting-ting He, Yong-qiang Sun, Wen-tao Xu, Si-miao Yu, Li-ping Wang, Yu-ming Guo, Zhaofang Bai, Xiao‐he Xiao, Jia-bo Wang   +15 more
semanticscholar   +1 more source

Postponing the decay of entanglement and quantum coherence for maximally entangled mixed states under the action of correlated noise channels

Frontiers in Quantum Science and Technology, 2023
We investigate the dynamics of a maximally entangled mixed state (MEMS) under the action of correlated noise channels. The channel acts in a way that its successive uses are correlated. We have studied the MEMS properties, including quantum coherence and
Natasha Awasthi, Ashutosh Singh, Dheeraj Kumar Joshi   +2 more
doaj   +1 more source

Concurrency in Timed Automata [PDF]

Theoretical Computer Science, 2001
AbstractWe introduce Concurrent Timed Automata (CTAs) where automata running in parallel are synchronized. We consider the subclasses of CTAs obtained by admitting, or not, diagonal clock constraints and constant updates, and by letting, or not, sequential automata to update the same clocks.
LANOTTE, RUGGERO, MAGGIOLO SCHETTINI A, TINI, SIMONE   +2 more
openaire   +6 more sources

Well‐being on supportive techniques in amyotrophic lateral sclerosis: from neurologists' perspective

Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1874-1883, December 2022., 2022
Abstract Objective To investigate intercultural neurologists' perception of well‐being in patients with amyotrophic lateral sclerosis (ALS) using gastrostomy (PEG), non‐invasive, and/or invasive ventilation (NIV/IV) and to analyse the determinants and impact on the management of the above medical interventions (MIs).
Krzysztof Barć, Dorothée Lulé, Julia Finsel, Olga Helczyk, Susanne Baader, Helena Aho‐Özhan, Albert C. Ludolph, Magdalena Kuźma‐Kozakiewicz   +7 more
wiley   +1 more source

Generalized concurrence in boson sampling [PDF]

Scientific Reports, 2016
A fundamental question in linear optical quantum computing is to understand the origin of the quantum supremacy in the physical system. It is found that the multimode linear optical transition amplitudes are calculated through the permanents of ...
Seungbeom Chin, J. Huh
semanticscholar   +1 more source

Spot‐14 and its paralog Spot‐14R regulate expression of metabolic and thermogenic pathway genes in murine brown and beige adipocytes

FEBS Letters, EarlyView.
Spot‐14 and Spot‐14R play distinct roles in regulating metabolism in brown and beige adipocytes. While both influence lipid and glucose pathways, Spot‐14 uniquely controls thermogenic gene expression. This dual regulation balances energy storage and heat production, highlighting potential therapeutic targets for obesity and metabolic disorders. Spot 14
Lidia Itzel Castro‐Rodríguez, Cristina Velez‐delValle, Claudia Patricia Hernández‐Mosqueira, Walid Kuri‐Harcuch   +3 more
wiley   +1 more source

Harmonizing results of ataxia rating scales: mFARS, SARA, and ICARS

Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 2041-2046, December 2022., 2022
Abstract The ever‐increasing body of ataxia research provides opportunities for large‐scale meta‐analyses, systematic reviews, and data aggregation. Because multiple standardized scales are used to quantify ataxia severity, harmonization of these measures is necessary for quantitative data pooling. We applied the modified Friedreich Ataxia Rating Scale
Christian Rummey, Ian H. Harding, Martin B. Delatycki, Geneieve Tai, Thiago Rezende, Louise A. Corben   +5 more
wiley   +1 more source

Constructions de verbes appartenant à la même classe sémantique

Revista de Lenguas para Fines Específicos, 2022
Les constructions du complément d’objet du français classique connaissent en français contemporain une normalisation notable à travers la fixation de plusieurs verbes dans un seul schéma.
Samah Habachi
doaj