Results 111 to 120 of about 1,803,631 (274)

Folding Transformation Rules for Constraint Logic Programs [PDF]

, 2008
We consider the folding transformation rule for constraint logic programs. We propose an algorithm for applying the folding rule in the case where the constraints are linear equations and inequations over the rational or the real numbers. Basically, our
Senni, Valerio, Pettorossi, Alberto, Proietti, Maurizio   +2 more
core  

Fast Hydrogel Micro‐Actuators Driven by Electric Fields

Advanced Materials, EarlyView.
We report the fabrication of chemically programmable electroactuating microstructures through the first integration of two‐photon polymerization with electrically actuated gelatin methacrylate‐based hydrogels. By tailoring the charge of the polymer network, we demonstrate programmable polarity‐dependent bending, enabling microstructures that ...
Annaël Sort‐Montenegro, Jason M. Delente, Žiga Roblek, Yekaterina Tskhe, Luke Dowling, Colm Delaney, Larisa Florea   +6 more
wiley   +1 more source

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  

Logic programming in the context of multiparadigm programming: the Oz experience

, 2003
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P, Duchier, D, Schulte, Christian,, Brand, P., Van Roy, P., International Conference on Logic Programming, Van Roy, Peter, Haridi, S., Henz, M, Haridi, Seif,, Henz, M., Schulte, C, Duchier, D.   +12 more
core   +1 more source

Toward Pore‐Engineered 3D‐Printed Materials for Sorption Water Harvesting, Interfacial Evaporation, and Radiative Cooling

Advanced Materials, EarlyView.
Water harvesting, radiative cooling, and interfacial solar evaporation are fundamentally governed by coupled heat, mass, and light transport processes. These processes are mediated by pore architecture, including pore size, connectivity, and hierarchical organization.
Dejan J. Trajkovski, Higgins M. Wilson, Abdallah Y. M. Ali, Jiaxing Xu, Ruzhu Wang, Primož Poredoš   +5 more
wiley   +1 more source

VMD-LSTM-Based Model Predictive Control for Hybrid Energy Storage Systems with Auto-Tuning Weights and Constraints

Energies
Enhancing ultra-capacitor (UC) utilization and mitigating battery stress are pivotal for improving the energy management efficiency and service life of hybrid energy storage systems (HESSs). Conventional energy management strategies (EMSs), however, rely
Yi Yang, Bin Ma, Peng-Hui Li
doaj   +1 more source

Descriptors to Dynamics: A Materials and Device Perspective on in‐Materio Physical Reservoir Computing for Neuromorphic Edge Intelligence

Advanced Materials, EarlyView.
Intrinsic material dynamics are harnessed as computational resources for neuromorphic in‐materio physical reservoir computing. Defects, ionic motion, interfaces, percolation, geometry, and biasing shape transient states that provide fading memory, nonlinearity, and high‐dimensional projection for simple readout. A descriptor‐to‐dynamics framework links
Kshitij RB Singh, Alif Syafiq Kamarol Zaman, Muzhen Xu, Yuki Usami, Saptarshi Das, Hirofumi Tanaka   +5 more
wiley   +1 more source

Automated Generation of Business Process Models using Constraint Logic Programming in Python [PDF]

Annals of computer science and information systems, 2019
Tymoteusz Paszun, Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza   +3 more
doaj   +1 more source

Pseudo-class distribution guided multi-view unsupervised domain adaptation for hyperspectral image classification

International Journal of Applied Earth Observations and Geoinformation
Unsupervised domain adaptation (UDA) has made great progress in cross-scene hyperspectral image (HSI) classification. Existing methods focus on aligning the distribution of source domain (SD) and target domain (TD).
Jingpeng Gao, Xiangyu Ji, Geng Chen, Yuhang Huang, Fang Ye   +4 more
doaj   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source