Results 61 to 70 of about 6,460,360 (271)

Towards compositional game theory [PDF]

, 2017
PhDI gratefully acknowledge that my PhD studies were funded by EPSRC doctoral training grant EP/K50290X/1.I gratefully acknowledge that my PhD studies were funded by EPSRC doctoral training grant EP/K50290X/1.I gratefully acknowledge that my PhD studies ...
HEDGES, JM
core  

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Enhancing AI interpretation and decision-making: Integrating cognitive computational models with deep learning for advanced uncertain reasoning systems

Alexandria Engineering Journal
Advancements in uncertain reasoning systems within healthcare are crucial for navigating the complexities of patient data, requiring innovative methodologies that integrate AI interpretation capabilities and robust handling of inherent ambiguity ...
Franciskus Antonius Alijoyo, S. Janani, Kathari Santosh, Safa N. Shweihat, Nizal Alshammry, Janjhyam Venkata Naga Ramesh, Yousef A. Baker El-Ebiary   +6 more
doaj   +1 more source

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

Advanced Robotics Research, EarlyView.
This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

Relational Concurrent Refinement: Automata [PDF]

, 2009
Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John, Eerke Boiten, Boiten, Eerke Albert, Boiten, Eerke, John Derrick   +4 more
core   +1 more source

Dual Role of Tamoxifen in Enhancing STING and CEACAM1 Expression to Prime a Favorable Tumor Microenvironment for Anti‐TIM3 Immunotherapy

Advanced Science, EarlyView.
Anti‐PD‐1/PD‐L1 blockade has revolutionized cancer immunotherapy, but is ineffective against endocrine‐treated (i.e., Tamoxifen), relapsed ER+ breast cancer (BC) patients. This study provides insight into the sub‐optimal response of ER+BCs to anti‐PD‐1/PD‐L1 blockade – highlighting the induction of STING and the CEACAM1/TIM3 axis after chronic ...
Marvin Angelo E Aberin, Saurabh Singh, Soumya Chatterjee, Guang‐Zhi Sui, Yi‐Fu Wang, Ya‐Ting Lu, Yu‐Ling Lee, Kun‐Yuan Lin, Joy Khag, Ta‐Yu Liu, Shao‐Han Chang, Wai‐Mui Cheung, Hsiao‐Chin Hong, Ren‐Jun Hsu, Chen‐Yang Shen, Chia‐Wei Li, Weng‐Lang Yang, Yao‐Ming Chang, Shih‐Yu Chen, Chandan Guha, Shu‐Ping Wang   +20 more
wiley   +1 more source

Does Punishment Matter? A Refinement of the Inspection Game [PDF]

We attempt to revise the inspection game used by Tsebelis (1989, 1990, 1993 and Tsebelis in Bianco et al, 1990) to model phenomena in criminal justice. Recent findings from various studies, primarily conducted in the UK, are used to re-construct the game.
Rimawan Pradiptyo
core  

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source

Game theory and institutions [PDF]

, 2009
This short paper begins with a summary of the views of a sympathetic game theorist on the current state of play in what is still called the New Institutional Economics. It continues with a much abbreviated summary of my own attempts to treat justice as
Ken Binmore, Binmore, K.
core   +1 more source