Results 61 to 70 of about 45,694 (311)

A logic for reasoning about game strategies

, 2015
This paper introduces a modal logic for reasoning about game strategies. The logic is based on a variant of the well-known game description language for describing game rules and further extends it with two modalities for reasoning about actions and ...
Zhang, Dongmo, Zhang, Dongmo (R9335), Thielscher, Michael   +2 more
core   +1 more source

Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles

Advanced Materials, EarlyView.
Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung, Jiaxiang Yi, Hieu Nguyen‐Duc, Tien Nu Hoang Lo, Weili Zhao, Chaoqun Dong, Fabien Sorin, Baris Caglar, Lei Wei, Tung Nguyen‐Dang   +9 more
wiley   +1 more source

Artificial Intelligence Algorithms Inspired By Life Sciences

Journal of the Turkish Chemical Society, Section A: Chemistry, 2018
Nature and life include many mysterious events, behaviors and format within themselves. There is harmony between the environmental conditions, behavior and forms of all living organism.
Hüseyin Turgut
doaj   +1 more source

A Dual‐Bioresponsive and Programmable Microneedle Matrix as a Bioinspired Coupler for Orchestrating Diabetic Bone Regeneration

Advanced Materials, EarlyView.
This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang, Rui Chen, Yu Chen, Haowen Lu, Yuchen Qian, Zhiheng Gao, Zheming Shen, Xiaofei Zheng, Huilin Yang, Jun Zou, Yusen Qiao   +10 more
wiley   +1 more source

MacroSwarm: A Field-based Compositional Framework for Swarm Programming [PDF]

Logical Methods in Computer Science
Swarm behaviour engineering is an area of research that seeks to investigate methods and techniques for coordinating computation and action within groups of simple agents to achieve complex global goals like pattern formation, collective movement ...
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli   +2 more
doaj   +1 more source

Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine

Advanced Materials Interfaces, EarlyView.
Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee, Mohammad Rabiee, Mohammad Akrami‐Hasan‐Kohal, Sidi A. Bencherif   +3 more
wiley   +1 more source

Unsustainable artificial intelligence and algorithmically facilitated emissions: The case for emissions-reduction-by-design

Big Data & Society
This commentary discusses the role of increasingly artificial intelligence-infused big tech platforms in facilitating and normalising high-emission lifestyles and consumption practices. It introduces the notion of algorithmically facilitated emissions to
Jutta Haider, Malte Rödl, James White
doaj   +1 more source

Experiments with proof plans for induction

, 1991
The technique of proof plans, is outlined. This technique is used to guideautomatic inference in order to avoid a combinatorial explosion. Empirical research to test this technique in the domain of theorem proving by mathematical induction is described ...
Bundy, Alan, Hesketh, J., van Harmelen, F.A.H., Smaill, A, Smaill, A., Hesketh, J, van Harmelen, F., Bundy, A., van Harmelen, F.A.H.; id_orcid, Harmelen, F.A.H. van   +9 more
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

Ethical Decision-Making in Artificial Intelligence: A Logic Programming Approach

AI
This article proposes a framework for integrating ethical reasoning into AI systems through Continuous Logic Programming (CLP), emphasizing the improvement of transparency and accountability in automated decision-making. The study highlights requirements
José Machado, Regina Sousa, Hugo Peixoto, António Abelha   +3 more
doaj   +1 more source