Results 31 to 40 of about 30,070,977 (302)
In memoriam of Yurii Rogozhin [PDF]
Computer Science Journal of Moldova, 2019 November 13, 2019 would be the 70th birthday of Prof. Yurii Rogozhin. Dr. hab.~Yurii Rogozhin (November 13, 1949 $\dagger$ March 10, 2014) was a worldwide known computer scientist with diverse interests, ranged from finding small universal Turing ...
The staff of the Vladimir Andrunachievici Institute of Mathematics and Computer Science
doaj
Pure Nash Equilibria in Concurrent Deterministic Games [PDF]
Logical Methods in Computer Science, 2015 We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a two-player turn-
Patricia Bouyer +3 more
doaj +1 more source
Telematics and Informatics Reports, 2023 Computer gameplay and social media are the two most common forms of entertainment in the digital age. Many scholars share the assumption that leisure-time digital consumption is associated with computer science (CS) affinity, but there is a dearth of ...
Zohal Shah +3 more
doaj +1 more source
Summary of Research 2001, Department of Computer Science [PDF]
, 2001 The views expressed in this report are those of the author and do not reflect the official policy or position of the Department of Defense or U.S. Government.This report contains project summaries of the research projects in the Department of Computer ...
Faculty of the Naval Postgraduate School, Department of Computer Science
core +2 more sources
Querying the Guarded Fragment [PDF]
Logical Methods in Computer Science, 2014 Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the areas of database theory and description logic.
Vince Bárány +2 more
doaj +1 more source
Approximability in the GPAC [PDF]
Logical Methods in Computer Science, 2019 Most of the physical processes arising in nature are modeled by either ordinary or partial differential equations. From the point of view of analog computability, the existence of an effective way to obtain solutions of these systems is essential.
Diogo Poças, Jeffery Zucker
doaj +1 more source
Theory of higher order interpretations and application to Basic Feasible Functions [PDF]
Logical Methods in Computer Science, 2020 Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional language.
Emmanuel Hainry, Romain Péchoux
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
Pediatric Blood &Cancer, EarlyView.ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
Summary of Research 2000, Department of Computer Science [PDF]
, 2000 The views expressed in this report are those of the author and do not reflect the official policy or position of the Department of Defense or U.S. Government.This report contains project summaries of the research projects in the Department of Computer ...
Faculty of the Naval Postgraduate School, Department of Computer Science
core +2 more sources