Results 111 to 120 of about 268,099 (291)

Sequent calculi with an efficient loop-check for BDI logics

Lietuvos matematikos rinkinys, 2010
Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals.
openaire   +7 more sources

Analysis of a planetary gear modelled with a contour graph considering the decision making complexity of game-tree structures

ITM Web of Conferences, 2017
Analysis and synthesis of mechanisms is one of the fundamental tasks of engineering. Mechanisms can suffer from errors due to versatile reasons. Graph-based methods of analysis and synthesis of planetary gears constitute an alternative method for ...
Deptuła Adam, Drewniak Józef, Partyka Marian A.   +2 more
doaj   +1 more source

Loop-check elimination for non-transitive distributed knowledge logic

Lietuvos matematikos rinkinys, 2008
A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed. Termination of derivations in proposed calculus is justified.
openaire   +3 more sources

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

Ultrasmall Platinum Nanoparticles for Radiation‐Enhanced Cancer Therapy

Advanced Functional Materials, EarlyView.
This work proposes a nanomedicine‐based strategy to enhance X‐ray radiotherapy for cancer treatment. Ultrasmall Pt‐NPs exhibit catalase‐like activity that may contribute to modulation of the tumor microenvironment and amplify interactions between radiation and biological matter, leading to increased DNA damage.
Miguel Encinas‐Gimenez, Jose I. Garcia‐Peiro, Jose L. Hueso, Eduardo Caleiras, Laura Notario, Felipe Hornos, Pilar Martin‐Duque, Antonio De la Vieja, Jesus Santamaria   +8 more
wiley   +1 more source

Achieving High ON State Current through Ferroelectric Polarization‐Dependent Interfacial Resistance Switching in Undoped Orthorhombic HfO2 Films

Advanced Functional Materials, EarlyView.
Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand, Nuno Estrócio, Ji S. Kim, Babak Bakhit, Marian C. Istrate, Corneliu Ghica, Tiago Rebelo, Nives Strkalj, Abin Varghese, Bernardo Almeida, Luís S. Marques, Bipin Rajendran, Judith L. MacManus‐Driscoll, José P. B. Silva   +13 more
wiley   +1 more source

Quantified bodies in the checking loop

Human Technology, 2016
Biomonitoring digital devices have become popular in physical activities and are receiving intensive focus as motivational and support vehicles for health. The aim of this article is to develop a new theoretical framework to analyze biomonitoring from the two perspectives constituting the opposite ends of the big data spectrum: individual (micro) and ...
openaire   +1 more source

Coacervates Made of Elastin‐Like Polypeptides Fused with Melanocyte‐Stimulating Hormone and Monocyte Chemoattractant Protein Enhance Skin Wound Healing in Spinal Cord‐Injured Mice

Advanced Healthcare Materials, EarlyView.
Pressure skin wounds are frequent complications after spinal cord injury (SCI), with impaired healing due to vascular and immune deficits. Elastin‐like polypeptides (ELP) fused to α‐MSH (MSH‐ELP) or MCP‐1 (MCP‐ELP) are developed and tested on these wounds. The resulting nanoparticles are non‐toxic and bioactive, and they enhance macrophage recruitment,
Suneel Kumar, Dhruv Patel, Greeshma Manjunath, Shashank Madhavan, Ashley Mathew, Dnyaneshwari Rananavare, Jahnavi Shah, Francois Berthiaume   +7 more
wiley   +1 more source

Observer‐Based Sampled‐Data Controller in Saturated Systems via Composite Nonlinear Feedback

Engineering Reports
Employing composite nonlinear feedback idea, an observer‐based digital controller is addressed for continuous‐time systems with input nonlinearity and disturbance. To achieve the regulation purpose, the equivalent discrete‐time equations are obtained via
Valiollah Ghaffari, Ali Vazani, Saleh Mobayen, Amin Torabi Jahromi   +3 more
doaj   +1 more source

Human-in-the-Loop Semantic Rule Base Generation and Dynamic Updating for Automated BIM Compliance Checking: A Knowledge Graph Approach

Buildings
Objective: This paper seeks to provide an effective and automated method for the creation and updating of building information modeling compliance rules using the integration of human-in-the-loop collaboration with advanced natural language processing ...
Zhuoqun Zhang, Chunhui Zhao, Danli Li, Peijie Li, Yulong Chen, Hao Zhu, Daguang Han   +6 more
doaj   +1 more source