Observation and Distinction. Representing Information in Infinite Games [PDF]
, 2020 We compare two approaches for modelling imperfect information in infinite games by using finite-state automata. The first, more standard approach views information as the result of an observation process driven by a sequential Mealy machine. In contrast,
Berwanger, Dietmar, Doyen, Laurent
core +3 more sources
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions [PDF]
, 2010 We present a variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics. The coalition modalities in this logic are based on partial observation of the full history, and incorporate a form of cooperation ...
Angelo Montanari +5 more
core +2 more sources
Warming temperatures and smaller body sizes : synchronous changes in growth of North Sea fishes [PDF]
, 2013 Funded by Marine Scotland SciencePeer ...
Baudron, Alan R. +3 more
core +1 more source
Теорія і практика правознавства, 2016 In this article the specific of synchronous historical comparison is researched at the example of the institution of Justices of the Peace, which was created in 1864. The stipulations of the applying of this method are analyzed.
Д. А. Шигаль
doaj +1 more source
Теорія і практика правознавства, 2011 In this article the specific of synchronous historical comparison is researched at the example of the institution of Justices of the Peace, which was created in 1864. The stipulations of the applying of this method are analyzed.
Д. А. Шигаль
doaj +1 more source
What change history tells us about thread synchronization [PDF]
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015 Multi-threaded programs are pervasive, yet difficult to write. Missing proper synchronization leads to correctness bugs and over synchronization leads to performance problems. To improve the correctness and efficiency of multi-threaded software, we need a better understanding of synchronization challenges faced by real-world developers.
Rui Gu +4 more
openaire +1 more source
Synchronous communication technologies for language learning: Promise and challenges in research and pedagogy [PDF]
, 2017 We propose a definition of synchronous communication based on joint attention, noting that in certain mediated communication settings joint attention is a matter of perception rather than determinable fact.
O'Rourke, Breffni, Stickler, Ursula
core +1 more source
Synchronous adenocarcinoma and mucosa-associated lymphoid tissue lymphoma of the colon
The Saudi Journal of Gastroenterology, 2011 Mucosa-associated lymphoid tissue (MALT) tumors are a distinct subtype of non-Hodgkin′s lymphoma. Synchronous appearance of adenocarcinoma and colonic MALT lymphoma in the same patient is quite rare.
Padmalaya Devi +2 more
doaj +1 more source
Double Trouble – Synchronous Primary Malignant Neoplasms: A Case Report
The Annals of African Surgery, 2022 Synchronous primary malignancy (SPM) is rare. We herein present a case of gastric carcinoma (GC) and renal cell carcinoma (RCC) to highlight the fact that the occurrence of RCC as a synchronous tumor along with GC is rare and that a high index of ...
Amaranathan Anandhi +4 more
doaj +1 more source
Bilateral Synchronous Breast Carcinoma of Different Histomorphology- A Rare Case Report [PDF]
National Journal of Laboratory Medicine, 2016 Primary bilateral synchronous breast carcinomas are defined as those which have different histomorphological types of cancer in both breast and both appear simultaneously or few months apart.
Gopinath Barui +3 more
doaj +1 more source