Results 71 to 80 of about 3,012,120 (253)

Some design issues in the visualization of constraint logic program execution [PDF]

, 1998
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of expectations or are altogether inadequate for new programming paradigms ...
Hermenegildo, Manuel V., Carro Liñares, Manuel, Manuel Hermenegildo, Manuel Carro   +3 more
core  

Proving theorems by program transformation [PDF]

, 2013
In this paper we present an overview of the unfold/fold proof method, a method for proving theorems about programs, based on program transformation. As a metalanguage for specifying programs and program properties we adopt constraint logic programming ...
Fioravanti, Fabio, Pettorossi, Alberto, Senni, Valerio, Proietti, Maurizio   +3 more
core   +1 more source

Bulk‐Like Spin Cycloid and Fast Switching in Freestanding BiFeO3

Advanced Functional Materials, EarlyView.
Freestanding BiFeO3 membranes overcome substrate‐induced constraints by simultaneously restoring the intrinsic bulk‐like spin cycloid and enabling ≈50% faster ferroelectric switching than substrate‐clamped epitaxial thin films. This combination of robust noncollinear antiferromagnetic order and efficient electric‐field switching establishes ...
Pratap Pal, Xiaoxi Deng, Gi‐Yeop Kim, Kyoungjun Lee, Jheng‐Cyuan Lin, Prithwijit Mandal, Jiangfeng Yang, Paul Steadman, Pascal Manuel, Roger D. Johnson, Si‐Young Choi, Paolo G. Radaelli, Chang‐Beom Eom   +12 more
wiley   +1 more source

Lower-bound Time-Complexity Analysis of Logic Programs [PDF]

, 1997
The paper proposes a technique for inferring conditions on goals that, when satisfied, ensure that a goal is sufficiently coarse-grained to warrant parallel evaluation. The method is powerful enough to reason about divide-and-conquer programs, and in the
Benoy, Florence, Andy King, Florence Benoy, Shen, Kish, King, Andy, Kish Shen   +5 more
core  

Multistage, Self‐Sensing Artificial Muscles With Coordination From Liquid Crystal Elastomer‐Graphene Composite Fibers

Advanced Functional Materials, EarlyView.
Inspired by skeletal muscles’ precision and endurance, CoilLCE integrates a self‐sensing liquid crystal elastomer/graphene artificial muscle with an embedded Joule‐heating copper coil, enabling closed‐loop multistage actuation with programmable intermediate states (strain accuracy of 2%), and antagonistic coordination (32% total strain). These features
Ziyun Zhang, Xuelin Wu, Yinding Chi, Qingya Huang, Yaoye Hong, Antonio Proctor Martinez, Jingxian Wu, Bingzhi He, Cynthia Sung, Shu Yang   +9 more
wiley   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites

Advanced Functional Materials, EarlyView.
Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto, Javier Zamudio‐García, Abraham Sánchez‐Caballero, David Marrero‐López, Vincenzo Esposito   +4 more
wiley   +1 more source

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems [PDF]

, 1996
CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles.
Cabeza Gras, Daniel, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Carro Liñares, Manuel, López García, Pedro, García de la Banda, M., Puebla Sánchez, Alvaro Germán   +6 more
core  

Tools for Search Tree Visualization: The APT Tool [PDF]

, 2000
The control part of the execution of a constraint logic program can be conceptually shown as a search-tree, where nodes correspond to calis, and whose branches represent conjunctions and disjunctions.
Hermenegildo, Manuel V., Carro Liñares, Manuel, Manuel Hermenegildo, Manuel Carro   +3 more
core   +1 more source

Structure‐Guided Balancing of Ambipolar Transport Enables Symmetric Switching in Heterojunction Bilayer Organic Transistor Inverters

Advanced Functional Materials, EarlyView.
Balancing the spatially separated p‐ and n‐type transport pathways in heterojunction‐bilayer OTFTs enables symmetric inverter switching (VM ≈ 0.5VDD), whereas discrete integration of unipolar OTFTs gives polarity‐dependent and resistive responses. ABSTRACT High inverter performance in ambipolar organic electronics requires balanced channel strengths ...
Sohyun Choi, Young Yong Kim, Ji Ho Youk, Hoichang Yang   +3 more
wiley   +1 more source