Results 91 to 100 of about 1,803,631 (274)

Constraint Logic Programming

, 2010
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications.
GAVANELLI, Marco, MARCO GAVANELLI, ROSSI, FRANCESCA, Francesca Rossi   +3 more
core   +1 more source

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source

Optimal Control Drives Ultrafast and Energy‐Efficient Magnetization Switching in Van der Waals Magnets

Advanced Materials, EarlyView.
ABSTRACT The accelerating expansion of data‐centric technologies is sharply increasing the energy burden of information storage, placing unprecedented pressure on the efficiency of magnetic switching. Conventional field‐driven reversal, once the foundation of magnetic memory, has become impractical in modern architectures due to its high energy cost ...
Mohammad H. Badarneh, PeiYu Cai, Elton J. G. Santos   +2 more
wiley   +1 more source

Addressing Socioeconomic Challenges through Robust Portfolio Optimization: Integrating the P versus NP Problem, the Markowitz–Capital Asset Pricing Model Framework, Cardinality Constraints, and Black–Scholes Derivative Pricing [PDF]

SocioEconomic Challenges
The growing complexity of financial decision-making under real-world constraints makes addressing socioeconomic challenges related to capital allocation efficiency, financial stability, systemic risk containment, and computational feasibility in ...
Davit GONDAURI
doaj   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

A novel processor for dynamic evolution of constrained SAT problems: The dynamic evolution variant of the discrete Hopfield neural network satisfiability model

Journal of King Saud University: Computer and Information Sciences
The Boolean satisfiability problem, a renowned NP-complete challenge in computer science, has recently garnered interest in the Discrete Hopfield Neural Network - Satisfiability model.
Caicai Feng, Saratha Sathasivam
doaj   +1 more source

Abstract Interpretation for (Constraint) Logic Programming [PDF]

, 1994
The theory of abstract interpretation, initially developed by the Cousot’s for imperative languages has been adapted to logic programming where it has become a very active area of research, illustrated by the list of references in the survey paper (CoC92b).
Bruynooghe, Maurice, Boulanger, Dmitri
openaire   +4 more sources

Biointegrated Battery‐Based Electroceuticals

Advanced Materials, EarlyView.
Biointegrated batteries go beyond passive power to serve as active therapeutic platforms for delivering programmable electrical cues and bioactive agents. This review examines their mechanisms and applications and provides a framework to guide battery‐based therapeutic design and clinical translation.
Yan Zhou, Zhilian Yue, Zhiqi Chen, Danming Chao, Xiaoteng Jia, Gordon Wallace, Caiyun Wang   +6 more
wiley   +1 more source

Optimization Method for Reliability–Redundancy Allocation Problem in Large Hybrid Binary Systems

Mathematics
This paper addresses a well-known research topic in the design of complex systems, specifically within the class of reliability optimization problems (ROPs).
Florin Leon, Petru Cașcaval
doaj   +1 more source

Bioinspired Adaptive Surfaces for Intelligent Liquid Manipulation: Progressing From Passive and Active to Hybrid Strategies

Advanced Materials, EarlyView.
This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao, Yiyuan Zhang, Liqiu Wang, Alan C. H. Tsang   +3 more
wiley   +1 more source