Results 71 to 80 of about 130,796 (253)

A Few Considerations on Structural and Logical Composition in Specification Theories

, 2011
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms.
Alexandre David, Andrzej Wąsowski, Axel Legay, Axel Legay, Benoit Caillaud, Benoît Caillaud, Christel Baier, G. Goessler, J-B. Raclet, K. G. Larsen, Kim Guldstrand Larsen, L. de Alfaro, Luca de Alfaro, Luca de Alfaro   +13 more
core   +2 more sources

Anti‐Slip Material‐Based Strategies and Approaches

Advanced Materials Technologies, EarlyView.
This review highlights the principle mechanisms of slipping at the microscale, linking contact mechanics with a friction behavior model for surface interfaces. Main strategies to develop anti‐slip properties to the surfaces are discussed alongside standardized testing approaches.
Sogand Abbaspoor‐Zanjani, Carlo Antonini, Teresa Gatti, Mengjiao Wang   +3 more
wiley   +1 more source

Balance of Power [PDF]

This paper argues that the efficiency distribution of players in a game determines how aggressively these players interact.We formalize the idea of balance of power: players fight very inefficient players but play softly versus equally (or more ...
Boone, J.
core   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Deep Learning Based Energy, Spectrum, and SINR-Margin Tradeoff Enabled Resource Allocation Strategies for 6G

IEEE Access
In the rapidly evolving landscape of wireless communication systems, the forthcoming sixth-generation technology aims to achieve remarkable milestones, including ultra-high data rates and improved Spectrum Efficiency (SE), Energy Efficiency (EE), and ...
Vivek Pathak, R. Chethan, Rahul Jashvantbhai Pandya, Sridhar Iyer, Vimal Bhatia   +4 more
doaj   +1 more source

Passive Shape‐Adaptive Fluidic Interface for Enhanced Skin‐Sensor Coupling in Wearable Devices

Advanced Materials Technologies, EarlyView.
This study presents a passive fluidic interface for wearable biosensors that adapts to static and dynamic body shape changes to maintain consistent skin contact. Flexible, fluid‐filled pouches redistribute pressure from high‐load areas to regions requiring improved contact, enhancing signal quality and comfort in a compact, low‐energy design for ...
Natalia Sanchez‐Tamayo, Andrew Akerson, Ehsan Hajiesmaili, Tianshu Liu, Ryan Stull, Jonathan Stewart, Amirhossein Amini   +6 more
wiley   +1 more source

Non-cooperative Bargaining and the Incomplete Information Core [PDF]

We consider information transmission in the core of an exchange economy with incomplete information by non-cooperative bargaining theory. Reformulating the coalitional voting game by Serrano and Vohra [Information transmission in coalitional voting games,
Okada, Akira
core  

Information Transmission Strategies for Self‐Organized Robotic Aggregation

Advanced Robotics Research, EarlyView.
In this review, we discuss how information transmission influences the neighbor‐based self‐organized aggregation of swarm robots. We focus specifically on local interactions regarding information transfer and categorize previous studies based on the functions of the information exchanged.
Shu Leng, Zihan Li, Yifeng Shao, Jinhao Liu, Li Yu, Shuguang Li   +5 more
wiley   +1 more source

A Note on Permutationally Convex Games [PDF]

In this paper we generalise marginal vectors and permutational convexity.We show that if a game is generalised permutationally convex, then the corresponding generalised marginal vector is a core element.Furthermore we refine the concept of permutational
Hamers, H.J.M., Norde, H.W., Velzen, S. van   +2 more
core   +1 more source

Imperfect-Recall Abstractions with Bounds in Games

, 2016
Imperfect-recall abstraction has emerged as the leading paradigm for practical large-scale equilibrium computation in incomplete-information games. However, imperfect-recall abstractions are poorly understood, and only weak algorithm-specific guarantees ...
Kroer, Christian, Sandholm, Tuomas
core   +1 more source