Results 31 to 40 of about 40,356,300 (290)

Action semantics in retrospect [PDF]

, 2009
This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
Watt, D.A., David A. Watt
core   +1 more source

A Descriptive Quantitative Analysis on the Extent of Polypharmacy in Recipients of Ontario Primary Care Team Pharmacist-Led Medication Reviews

Pharmacy, 2020
Pharmacist-led medication reviews have been shown to improve medication management, reducing the adverse effects of polypharmacy among older adults. This paper quantitatively examines the medications, medication discrepancies and drug therapy problems of
Nichelle Benny Gerard, Annalise Mathers, Christoph Laeer, Eric Lui, Tom Kontio, Payal Patel, Lisa Dolovich   +6 more
doaj   +1 more source

Application of the Team Emergency Assessment Measure Scale in undergraduate medical students and interprofessional clinical teams: validity evidence of a Spanish version applied in Chile

Frontiers in Medicine, 2023
BackgroundTeamwork is one of the competencies necessary for physicians to work effectively in health systems and is a competency that can be developed with simulation in professionals and medicine students. The Team Emergency Assessment Measurement (TEAM)
Soledad Armijo-Rivera, Sandra Ferrada-Rivera, Sandra Ferrada-Rivera, Marcela Aliaga-Toledo, Leonardo A. Pérez, Leonardo A. Pérez   +5 more
doaj   +1 more source

Functional Big-step Semantics [PDF]

, 2016
When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R.,, Magnus O. Myreen, Tan, Yong Kiam, Myreen, Magnus O., Owens, S., Kumar, Ramana, Owens, S.,, Myreen, Magnus,, Yong Kiam Tan, Myreen, Magnus, Ramana Kumar, Kumar, R., Owens, Scott, Scott Owens, Tan, Yong Kiam,   +14 more
core   +1 more source

Sparse SAR Imaging and Quantitative Evaluation Based on Nonconvex and TV Regularization

Remote Sensing, 2021
Sparse signal processing has been used in synthetic aperture radar (SAR) imaging due to the maturity of compressed sensing theory. As a typical sparse reconstruction method, L1 regularization generally causes bias effects as well as ignoring region-based
Zhongqiu Xu, Bingchen Zhang, Guoru Zhou, Lihua Zhong, Yirong Wu   +4 more
doaj   +1 more source

A trajectory-based strict semantics for program slicing [PDF]

, 2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate ...
Kiss, A, Laurence, Mike, Lahcen Ouarbya, Laurence, MR, Mike Laurence, Harman, Mark, Robert M. Hierons, Sebastian Danicic, Harman, M, Hierons, Robert M., Kiss, Ákos, Binkley, D, Laurence, Michael, Danicic, S, Hierons, Robert, David Binkley, Barraclough, RW, Mark Harman, Barraclough, Richard W., Barraclough, Richard, Ouarbya, Lahcen, Hierons, RM, Ouarbya, L, Richard W. Barraclough, Ákos Kiss, Danicic, Sebastian, Binkley, David   +26 more
core   +1 more source

Negotiating the semantics of agent communication languages [PDF]

, 2002
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time.
Norman, TJ, Norman, Timothy J., Jennings, N. R., Reed, C., Jennings, Nicholas R., Reed, C, Reed, Chris; id_orcid, Chris Reed, Jennings, NR, Norman, Timothy, Timothy J Norman, Nicholas R Jennings   +11 more
core   +1 more source

Digital Approaches to Historical Semantics: new research directions at Frankfurt University

Storicamente, 2015
In the past few years a multidisciplinary team of scholars based at Goethe Universität Frankfurt has been involved in the development of three projects: the research project "Political language in the Middle Ages: Semantic Approaches", and two online ...
Roberta Cimino, Tim Geelhaar, Silke Schwandt   +2 more
doaj   +1 more source

The expressive power of modal logic with inclusion atoms [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Lauri Hella, Johanna Stumpf
doaj   +1 more source

Comparing Measured Agile Software Development Metrics Using an Agile Model-Based Software Engineering Approach versus Scrum Only

Software, 2023
This study compares the reliability of estimation, productivity, and defect rate metrics for sprints driven by a specific instance of the agile approach (i.e., scrum) and an agile model-Bbased software engineering (MBSE) approach called the integrated ...
Moe Huss, Daniel R. Herber, John M. Borky   +2 more
doaj   +1 more source