Results 41 to 50 of about 1,530,272 (312)
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
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
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
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
Computers, 2022 This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance before expending ...
Seyed Hossein Haeri +5 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
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
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
Weight Illusion Caused by Sinusoidal Vibration Correlates with Grip Force Adjustment
Applied Sciences, 2023 Our research team previously identified a weight illusion in which a lifted object feels heavy when it continuously presents a sinusoidal vibration to the fingertips. However, the mechanism underlying this illusion remains unknown.
Giryeon Kim +2 more
doaj +1 more source