Results 21 to 30 of about 587,398 (223)
The effect of atomic-scale defects and dopants on graphene electronic structure [PDF]
, 2011 Graphene, being one-atom thick, is extremely sensitive to the presence of adsorbed atoms and molecules and, more generally, to defects such as vacancies, holes and/or substitutional dopants.
Casolo, Simone +2 more
core +3 more sources
Health and Social Care Delivery Research, 2023 Background Interorganisational collaboration is currently being promoted to improve the performance of NHS providers. However, up to now, there has, to the best of our knowledge, been no systematic attempt to assess the effect of different approaches to ...
Millar Ross +6 more
doaj +1 more source
The Computational Complexity of Propositional Cirquent Calculus [PDF]
, 2015 Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive system with a more explicit ability to reason about resources.
Bauer, Matthew Steven
core +1 more source
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages [PDF]
, 2001 It is well known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of logic programs to be improved. In this paper, we present a novel combination
Bagnara, R., Hill, P.M., Zaffanella, E.
core +10 more sources
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Автоматизация технологических и бизнес-процессов. Background. Computer circuits enable almost every piece of electronics to function. An opportunity for their optimization was found in one of the ways to implement a circuit, which involves a decoder.
M. Onai, H. Skopyk
doaj +3 more sources
Brazilian Journal of Medical and Biological Research, 2006 Coronary artery disease (CAD) is a worldwide leading cause of death. The standard method for evaluating critical partial occlusions is coronary arteriography, a catheterization technique which is invasive, time consuming, and costly.
P.S. Duarte +7 more
doaj +1 more source
, 2020 We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation.
Fritz, Tobias
core +1 more source
A formal foundation for ontology alignment interaction models [PDF]
, 2007 Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice makes it difficult to capture it in a universal formal foundation.
attencia, Manuel +2 more
core +2 more sources