Results 101 to 110 of about 842,701 (337)

n‐Type Polymer Radio Frequency Rectifiers Operating at 18.5 GHz

Advanced Materials, EarlyView.
Combining an n‐doped polymer semiconductor with wafer‐scale asymmetric planar electrodes featuring work function‐engineered contacts yields radio‐frequency diodes and rectifying circuits operating at up to 18.5 GHz. The devices combine scalable manufacturing with an operating frequency previously unattainable by large‐area organic electronics ...
Lazaros Panagiotidis, Filip Aniés, Yiyang Yu, Mohammed Ghadiyali, Hendrik Faber, Zhanibek Bizak, Youssef Kabri, Pavlos Tzourmpakis, Suman Mandal, Linqu Luo, Temur Maksudov, Mohamad Insan Nugraha, Harold F. Mazo‐Mantilla, Patrice Vanelle, Julie Broggi, Khaled N. Salama, Udo Schwingenschlögl, Martin Heeney, Atif Shamim, Thomas D. Anthopoulos   +19 more
wiley   +1 more source

A Symbolic Execution Framework for JavaScript [PDF]

2010 IEEE Symposium on Security and Privacy, 2010
As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In this paper, we describe the first system for exploring the execution space of JavaScript code using symbolic execution.
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song   +5 more
openaire   +1 more source

Higher-order Symbolic Execution [PDF]

, 2019
There are multiple challenges in designing a static verification system for an existing programming language. There is the technical challenge of achieving soundness and precision in the presence of expressive language features such as dynamic typing ...
Nguyen, Phuc
core   +1 more source

Deep Learning Inverse Design of Phase‐Change Reconfigurable Terahertz Metadevices for Multidimensional Secure Communication

Advanced Materials, EarlyView.
A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong, Xieyu Chen, Aarthy Nagarajan, Yi Yang, Zhihao Wang, Rui Yu, Chuang Zheng, Chunmei Ouyang, Xueqian Zhang, Tun Cao, Ranjan Singh, Zhen Tian   +11 more
wiley   +1 more source

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source

Enhancing symbolic execution using memoization and incremental techniques

, 2013
textThe last few years have seen a resurgence of interest in the use of symbolic execution--program analysis technique developed more than three decades ago to analyze program execution paths.
Yang, Guowei, active 2013
core  

Targeted program transformations for symbolic execution [PDF]

, 2015
Semantics-preserving program transformations, such as refactorings and optimisations, can have a significant impact on the effectiveness of symbolic execution testing and analysis.
Cadar, C, Cristian Cadar
core   +1 more source

Formation Control of Multi‐Agent System with Local Interaction and Artificial Potential Field

Advanced Robotics Research, EarlyView.
This article proposes a local interaction‐based formation control method for Multi‐Agent system, integrating consensus and leader‐follower strategies with a stress response mechanism—artificial potential field to reduce communication overhead and enable obstacle avoidance. Experimental results on triangular, square, and hexagonal formations confirm its
Luoyin Zhao, Zheping Yan, Yuqing Wang, Raye Chen‐Hua Yeow   +3 more
wiley   +1 more source

Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution

, 2014
Symbolic execution of a language is traditionally achieved by replacing the language s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of the existing interpret ...
Near, Joseph P., Jackson, Daniel
core  

The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?

Advanced Robotics Research, EarlyView.
Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley   +1 more source