Results 41 to 50 of about 1,485,809 (311)
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Competitive Pokemon is a domain with rich semantics and complex relationships between its elements. Current research in the domain has focused on developing AI agents to select moves within a match, ignoring the problem of team building.
Daniel Verdear, Ubbo Visser
doaj +1 more source
Upwards closed dependencies in team semantics [PDF]
Information and Computation, 2015 We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and that the same remains true if we also add constancy atoms. As a consequence, the negations of functional dependence, conditional independence, inclusion and exclusion atoms can
Pietro Galliani
openalex +7 more sources
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments.
Pietro Galliani
doaj +1 more source
Sensors, 2020 The ecological dynamics approach to interpersonal relationships provides theoretical support to the use of kinematic data, obtained with sensor-based systems, in which players of a team are linked mainly by information from the performance environment ...
Daniel Carrilho +5 more
doaj +1 more source
Revolutionizing Soccer Injury Management: Predicting Muscle Injury Recovery Time Using ML
Applied Sciences, 2023 Predicting the optimal recovery time following a soccer player’s injury is a complex task with heavy implications on team performance. While most current decision-based models rely on the physician’s perspective, this study proposes a machine learning ...
Arian Skoki +4 more
doaj +1 more source
Experimental Validation of Real-Time Ski Jumping Tracking System Based on Wearable Sensors
Sensors, 2021 For sports scientists and coaches, its crucial to have reliable tracking systems to improve athletes. Therefore, this study aimed to examine the validity of a wearable real-time tracking system (WRRTS) for the quantification of ski jumping.
Johannes Link +2 more
doaj +1 more source
Complexity of Propositional Logics in Team Semantic [PDF]
ACM Transactions on Computational Logic, 2018 We classify the computational complexity of the satisfiability, validity, and model-checking problems for propositional independence, inclusion, and team logic. Our main result shows that the satisfiability and validity problems for propositional team logic are complete for alternating exponential-time with polynomially many alternations.
Hannula, Miika +3 more
openaire +3 more sources
Guarded Teams: The Horizontally Guarded Case [PDF]
, 2020 Team semantics admits reasoning about large sets of data, modelled by sets of assignments (called teams), with first-order syntax. This leads to high expressive power and complexity, particularly in the presence of atomic dependency properties for such ...
, Otto, Martin
core +1 more source
Learning Curve of Transperineal MRI/US Fusion Prostate Biopsy: 4-Year Experience
Life, 2023 This study aimed to evaluate the learning curve of transperineal magnetic resonance imaging (MRI)/ultrasound (US) fusion biopsy in a team composed of a single surgeon, a single radiologist, and a single pathologist. We prospectively enrolled 206 patients
Po-Fan Hsieh +9 more
doaj +1 more source
Some Algorithms to Solve a Bi-Objectives Problem for Team Selection
Applied Sciences, 2020 In real life, many problems are instances of combinatorial optimization. Cross-functional team selection is one of the typical issues. The decision-maker has to select solutions among ( k h ) solutions in the decision space, where k
Tung Son Ngo +9 more
doaj +1 more source