Results 81 to 90 of about 1,092,525 (253)

ECOLE: a pedagogical environment for non procedural languages

Journal of Computer Science and Technology, 2007
The work described in this paper is related to three areas in the programming world : logic, functional and object programming. The main objective is essentially pedagogical since it is question here to make a synthesis on non procedural languages.
D. E. Zegour, W. K. Hidouci
doaj  

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

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

Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity

Advanced Science, EarlyView.
This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley   +1 more source

Analyzing students’ errors and misconceptions in proof construction in abstract algebra course

Primatika
This study aimed to identify and describe the types of errors and misconceptions made by students in the process of constructing proofs. Using a qualitative approach with a case study design, the subjects were fifth-semester students enrolled in the ...
Ridwan Ridwan, Haeruddin Haeruddin
doaj   +1 more source

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

Pholidota‐Inspired Electronic Skin Possessing Terahertz‐Wave Reflection–Absorption–Transmission Switchability

Advanced Science, EarlyView.
The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li, Jiangsong Hou, Yifeng Ruan, Jiang Du, Jun Qiu   +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

Desafios teóricos da pesquisa com sujeitos comunicantes: a contribuição da noção de cidadania comunicativa

Chasqui, 2016
In this paper, we seek to discuss theoretical and epistemological issues that pervade the research with connecting subjects. Thus, through deep reflection strategies, logic and research procedures of several authors of reference on the subject of ...
Rafael Foletto
doaj