Results 51 to 60 of about 1,530,272 (312)
Team semantics for the specification and verification of hyperproperties [PDF]
, 2018 Minor ...
Andreas Krebs +3 more
openalex +6 more sources
Quantum Team Logic and Bell's Inequalities [PDF]
, 2015 A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4].
Hyttinen, Tapani +2 more
core +2 more sources
Steerable-Discrete-Cosine-Transform (SDCT): Hardware Implementation and Performance Analysis
Sensors, 2020 In the last years, the need for new efficient video compression methods grown rapidly as frame resolution has increased dramatically. The Joint Collaborative Team on Video Coding (JCT-VC) effort produced in 2013 the H.265/High Efficiency Video Coding ...
Riccardo Peloso +5 more
doaj +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 +4 more
doaj +1 more source
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 +6 more
doaj +1 more source
https://www.sav.sk/journals/uploads/01181443slov_lit_Zumr%C3%ADk_06-20-07.pdf [PDF]
Slovenska Literatura, 2021 The paper reflects on a freely accessible program to annote, analyze and visualize literary texts called CATMA, which is developed by the narratological team led by Jan Christoph Meister in Hamburg, which follows the tradition of the German research into
Miroslav Zumrík
doaj +1 more source
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 +5 more
doaj +1 more source
The power of the filtration technique for modal logics with team semantics
Annual Conference for Computer Science Logic, 2017 Martin Lück
openalex +3 more sources
Two strong undefinability results in inquisitive and team semantics [PDF]
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) we show the undefinability of global disjunction in extended propositional dependence logic.
Fausto Barbero
openalex +3 more sources
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 +2 more
doaj +1 more source