Results 131 to 140 of about 147,987 (297)

Brady's Deep Relevant Logic DR plus the Qualified Factorization Principles Has the Depth Relevant Condition [PDF]

[EN] The 'depth relevance condition' (drc) is a strengthening of the 'variable-sharing property' (vsp). Deep relevant logics are logics fulfilling the drc, and Brady’s DR is a key item in this class.
Robles Vázquez, Gemma, Salto Alemany, Francisco, Méndez Rodríguez, José Manuel   +2 more
core   +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

THE FUNDAMENTALS OF RELEVANT LOGIC

, 2011
Bo овој труд ce изложени концептуачните u формалните основи на т.н. „релевантна логика“ која претставува еден од најзначајните, но и најчесто оспоруваните системи на современите некласични логики.
Dimishkovska, Ana, Димишковска, Ана   +1 more
core  

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

Temporal Relevant Logic as the Logic Basis for Reasoning about Dynamics of Concurrent Systems

, 1998
Specifying, reasoning, and proving desirable properties of a concurrent system are important formal techniques to achieve the reliability of the system. The logic system that is widely used in the current approaches to specifying, reasoning, and proving ...
Jingde Cheng
core  

Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production

Advanced Science, EarlyView.
ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source

CD4+ Tregs Drive Post‐Ischemic Sprouting Angiogenesis via Endothelial YY1/MAML1 Reactivation

Advanced Science, EarlyView.
ABSTRACT Microvascular complications of diabetes are chronic diseases of small vessels. We previously found that CD4+ regulatory T‐cells (Tregs) are markedly reduced in type 2 diabetes (T2D) after ischemic injury in both mice and humans, and that Treg deficiency in immunodeficient mice impairs vascular regeneration.
Hang Qu, Cheng Kiu Ho, Jitao Liu, Lei Cui, Yangfeng Hou, Cai Liang, Wenchu Ye, Randolph H. L. Wong, Shohei Hori, Bin Zhou, Kathy O. Lui   +10 more
wiley   +1 more source

The languages of relevant logic: a model-theoretic perspective

, 2017
A traditional aspect of model theory has been the interplay between formal languages and mathematical structures (hence Chang and Keisler's famous equation "model theory = universal algebra + logic").
Badia Hernandez, Guillermo
core  

Activation of ERBB4 Pathway Inhibits Pathological Transdifferentiation of Lung Epithelial Progenitors into CD66c+ Basal Cells in Severe Lung Injury

Advanced Science, EarlyView.
In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin, Xinran Deng, Haonan Wang, Yamei Jiang, Jian Sun, Hailin Ding, Ming Ye, Xiaoting Wang, Yu Wang, Li Yuan, Zhenju Song, Xinhua Lin, Shenfei Sun, Ning Jiang   +13 more
wiley   +1 more source

Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation

Advanced Science, EarlyView.
ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi, Anna Pasini, Domenico Romanazzi, Margherita Covelli, Vincenzo Romei   +4 more
wiley   +1 more source