Results 81 to 90 of about 24,130 (303)

Programming with global analysis

, 1997
Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.
Hermenegildo, Manuel V.
core  

Surface‐Functionalized LLZO‐Incorporated Multilayer Composite Solid Electrolytes for Dendrite Suppression and Efficient Ionic Conduction in Lithium–Metal Batteries

Advanced Materials, EarlyView.
A soft–hard tri‐layer composite electrolyte that couples fast Li+ transport with reinforced interfacial stability to enable high‐conductivity, mechanically robust, dendrite‐free lithium‐metal batteries. ABSTRACT The development of solid polymer electrolytes is central to safe, high‐energy lithium‐metal batteries (LMBs); however, persistent challenges ...
Fazal Ur Rehman, Minhong Woo, Hyesoo Choi, Jihwan Kim, Yujin Kim, Sanghee Park, Serim Ahn, Jinsub Lim, Minyoung Kim, Mincheol Chang   +9 more
wiley   +1 more source

Using a Zero‐Strain Reference Electrode to Distinguish Anode and Cathode Volume Changes in a Solid‐State Battery

Advanced Materials Interfaces, EarlyView.
Volume changes of a solid‐state battery cell are separated into the individual contributions of anode and cathode. Simultaneously determining the “reaction volumes” of both electrodes requires a reference electrode with a pressure‐independent potential.
Mervyn Soans, Benedikt Huber, Marcel Drüschler, Dominic Bresser, Alberto Varzi, Christoffer Karlsson   +5 more
wiley   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

TEACHING ALGORITHMIZATION AND PROGRAMMING USING PYTHON LANGUAGE

Ìнформаційні технології в освіті, 2014
The article describes requirements to educational programming languages and considers the use of Python as the first programming language. The issues of introduction of this programming language into teaching and replacing Pascal by Python are examined ...
M. Lvov, V. Kruglyk
doaj  

Three‐Dimensional Printed Microarchitected Hierarchically Porous Biodegradable PLA/S/CNT Nanocomposite Electrodes for High‐Performance Lithium–Sulfur Batteries

Advanced Materials Technologies, EarlyView.
Hierarchically microarchitected PLA/S/CNT cathodes are fabricated via scalable fused filament 3D printing as high‐sulfur‐loading hosts for rechargeable lithium–sulfur batteries. The assembled Li–S cells with sulfur loadings up to 17 mg cm−2 deliver an areal capacity of 9.2 mAh cm−2 and retain 96% of their discharge capacity after 100 charge–discharge ...
Vinay Gupta, Pawan Verma, Fahad Alam, Krishnaiahnahundi Manjunathaswamy Mohan, Shanumgam Kumar   +4 more
wiley   +1 more source

A Comparative Study of Morphological and Semantic Features in Selected Human and Programming Languages

ABUAD Journal of the Humanities-AGIDIGBO
This study investigates the morphological and semantic relationships between human language and programming language through a comparative linguistic analysis.
J.O AYODABO, Esther Olajumoke ADEAGBO, Stephen James OLUWOLE   +2 more
doaj   +1 more source

Finitism, Imperative Programs and Primitive Recursion

Journal of Logic and Computation, 2019
Abstract Following the Crisis of Foundations Hilbert proposed to consider a finitistic form of arithmetic as mathematics’ safe core. This approach to finitism has often admitted primitive recursive function definitions as obviously finitistic, but some have advocated the inclusion of additional variants of recurrence, while others argued
openaire   +1 more source

An AI‐Enabled All‐In‐One Visual, Proximity, and Tactile Perception Multimodal Sensor

Advanced Robotics Research, EarlyView.
Targeting integrated multimodal perception of robots, an AI‐enabled all‐in‐one multimodal sensor is proposed. This sensor is capable of perceiving three types of modalities, including vision, proximity, and tactility. By toggling an ultraviolet light and adjusting the camera focus, it switches smoothly between multiple perceptual modalities, enabling ...
Menghao Pu, Tiyong Zhao, Lingxi Zhang, Chaoqun Han, Zhiping Chai, Yifan Zhou, Han Ding, Zhigang Wu   +7 more
wiley   +1 more source

Hard‐Magnetic Soft Millirobots in Underactuated Systems

Advanced Robotics Research, EarlyView.
This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang, Zixuan Zhang, Bingyan Li, Junkai Wang, Hongcheng Gu   +4 more
wiley   +1 more source