Results 41 to 50 of about 178,207 (183)
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
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
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
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
Logics with Probabilistic Team Semantics and the Boolean Negation
, 2023 We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic FOPT.
Miika Hannula +5 more
openaire +3 more sources
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions [PDF]
Journal of Philosophical Logic, 2020 AbstractTeam semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the (in)dependencies considered in this context are properties of sets of configurations or data records.
Fausto Barbero, Gabriel Sandu
openaire +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
Intermediate logics in the setting of team semantics [PDF]
arXiv, 2022 Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one.
arxiv
Propositional Team Logics [PDF]
Annals of Pure and Applied Logic. Volume 168, Issue 7, July 2017,
pp. 1406-1441, 2016 We consider team semantics for propositional logic, continuing our previous work (Yang & V\"a\"an\"anen 2016). In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation.
arxiv +1 more source