Results 31 to 40 of about 53,255 (147)

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

, 2017
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave) when composed in
Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten   +3 more
core   +1 more source

Understanding Nurses' Intention to Use Artificial Intelligence Technologies in Their Clinical Practice: A Survey‐Based Configurational Analysis

Journal of Advanced Nursing, EarlyView.
ABSTRACT Aims The study focused on nurses' familiarity with, beliefs about, and attitudes towards artificial intelligence, aiming to identify configurations of necessary and sufficient conditions associated with strong intentions to use artificial intelligence‐based health technologies in their clinical practice. Design Cross‐sectional survey conducted
Louis Raymond, Guy Paré, Odette Doyon, Gerit Wagner   +3 more
wiley   +1 more source

Information completeness in Nelson algebras of rough sets induced by quasiorders

, 2012
In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski, A.H. Stone, D. Nelson, D. Vakarelov, D.M. Gabbay, G. Kreisel, H. Rasiowa, J. Barwise, J. Järvinen, J. Järvinen, J.-Y. Girard, Jouni Järvinen, P. Miglioli, P. Miglioli, P. Pagliani, P. Pagliani, P. Pagliani, Piero Pagliani, R. Cignoli, S. Vickers, Sándor Radeleczki, T.S. Blyth, Z. Pawlak   +22 more
core   +1 more source

Difference‐Makers for Robust Implementation of a Nursing Home Advance Care Planning Embedded Pragmatic Clinical Trial

Journal of the American Geriatrics Society, EarlyView.
ABSTRACT Introduction Embedded pragmatic clinical trials are an ideal way to develop and evaluate evidence‐based interventions in the nursing home (NH) environment to facilitate streamlining implementation after study completion. However, there is minimal information available about the necessary and sufficient conditions of “difference makers” for ...
Susan E. Hickman, Edward J. Miech, Timothy E. Stump, Wanzhu Tu, Kathleen T. Unroe   +4 more
wiley   +1 more source

Free three-valued Closure Lukasiewicz Algebras [PDF]

, 2007
In this paper, the structure of finitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.Fil: Abad, Manuel.
Abad, Manuel, Díaz Varela, José Patricio, Rueda, Laura Alicia, Suardíaz, Ana María   +3 more
core   +1 more source

Topos theory and `neo-realist' quantum theory

, 2007
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects.
A. Döring, B. Banaschewski, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, F. W. Lawvere, G. Birkhoff, J. L. Bell, J. Lambek, M. H. Stone, M. P. Olson, P. T. Johnstone, P. T. Johnstone, R. Goldblatt, R. V. Kadison, S. Kochen, S. M. Lane, S. M. Lane   +20 more
core   +2 more sources

What Are Asset Price Bubbles? A Survey on Definitions of Financial Bubbles

Journal of Economic Surveys, EarlyView.
ABSTRACT Financial bubbles and crashes have repeatedly caused economic turmoil notably but not just during the 2008 financial crisis. However, both in the popular press as well as scientific publications, the meaning of bubble is sometimes unspecified.
Michael Heinrich Baumann, Anja Janischewski   +1 more
wiley   +1 more source

Complexity of equivalence relations and preorders from computability theory

, 2013
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy \lra f(x) Sf(y)]
Ianovski, Egor, Miller, Russell, Ng, Keng Meng, Nies, Andre   +3 more
core   +1 more source

A Collapse Result in the Mereology of Properties

Ratio, EarlyView.
ABSTRACT I examine five principles about the metaphysics of properties, each of which has been defended in the literature: (1) the sum of properties is their corresponding conjunctive property, (2) the mereology of properties is classical, (3) properties are individuated by necessary co‐instantiation, (4) sums of objects belonging to different ...
Alejandro G. Di Rienzo
wiley   +1 more source

Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures [PDF]

, 2011
It is a well-known fact, that the greatest ambit for a topological group $G$ is the Samuel compactification of $G$ with respect to the right uniformity on $G.$ We apply the original destription by Samuel from 1948 to give a simple computation of the ...
Bartošová, Dana
core   +1 more source