Results 31 to 40 of about 178,207 (183)
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
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
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
Onto4MAT: A Swarm Shepherding Ontology for Generalised Multi-Agent Teaming [PDF]
, 2022 Research in multi-agent teaming has increased substantially over recent years, with knowledge-based systems to support teaming processes typically focused on delivering functional (communicative) solutions for a team to act meaningfully in response to direction.
arxiv +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
TagTeam: Towards Wearable-Assisted, Implicit Guidance for Human--Drone Teams [PDF]
, 2022 The availability of sensor-rich smart wearables and tiny, yet capable, unmanned vehicles such as nano quadcopters, opens up opportunities for a novel class of highly interactive, attention-shared human--machine teams. Reliable, lightweight, yet passive exchange of intent, data and inferences within such human--machine teams make them suitable for ...
arxiv +1 more source
Team semantics for the specification and verification of hyperproperties [PDF]
, 2017 Minor ...
Krebs, Andreas +3 more
openaire +6 more sources
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
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