Results 221 to 230 of about 697,012 (268)

Task‐Oriented Path Planning Towards Autonomous Sensor Network Deployment in Rainforest Canopies

Advanced Robotics Research, EarlyView.
An informative path planner for drone‐based deployment of wireless sensor networks in rainforest canopies is presented, addressing key challenges in large‐scale biodiversity monitoring. By integrating canopy surface detection with connectivity‐aware sampling under strict flight constraints, the approach enables efficient and reliable aerial sensor ...
Rita Santos Raminhos, Salua Hamaza
wiley   +1 more source

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

Oxidation and Chlorination Reaction Characteristics: A Density Functional Theory Perspective toward the Fundamental Understanding of Etching of Ruthenium and Tantalum Surfaces. [PDF]

ACS Omega
Varadwaj PR, Imamura Y, Asahi R.
europepmc   +1 more source

Multimodal Bioactive Approaches in Smart Dressings for Diabetic Foot Ulcers. [PDF]

Int J Nanomedicine
Zhang J, Qin W, Wang X, Yue W, Yan J, Zong J, Xu G.   +6 more
europepmc   +1 more source

From Evidence to Insight: An Umbrella Review of Computational Thinking Research Syntheses. [PDF]

J Intell
Zhang J, Wu Y, Ning Y, Shi Y.
europepmc   +1 more source

Dual targeting of mitochondrial metabolism and Rho GTPase signaling to suppress cancer metastasis (Review). [PDF]

Oncol Rep
Daher A, Assi Z, Kanaan A, Al Khatib A, El Sibai M.   +4 more
europepmc   +1 more source

How Does Perceived Value Influence Functional Snack Consumption Intention? An Empirical Analysis Based on Generational Differences. [PDF]

Foods
Chen X, Zhang XE, Yin J, Chen J, Lin H.
europepmc   +1 more source

On Reversible Combinatory Logic [PDF]

Electronic Notes in Theoretical Computer Science, 2006
The lambda-calculus is destructive: its main computational mechanism - beta reduction - destroys the redex and makes it thus impossible to replay the computational steps.
Chris Hankin, Alessandra di Pierro
exaly   +6 more sources

Typing in reflective combinatory logic [PDF]

Annals of Pure and Applied Logic, 2006
We study Artemov’s Reflective Combinatory Logic RCL→. We provide the explicit definition of types for RCL→ and prove that every well-formed term has a unique type.
Krupski, Nikolai
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Combinatory Logic Synthesizer

Lecture Notes in Computer Science, 2014
We present Combinatory Logic Synthesizer CLS, a type-based tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis.
Boris Dudder, Andrej Dudenhefner, Jakob Rehof   +2 more
exaly   +3 more sources