Results 71 to 80 of about 1,803,631 (274)

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

Route Optimization of Electric Vehicles Based on Dynamic Wireless Charging

IEEE Access, 2018
One of the barriers for the adoption of electric vehicles (EVs) is the anxiety around the limited driving range. Recent proposals have explored charging EVs on the move, using dynamic wireless charging which enables power exchange between the vehicle and
Dimitrios Kosmanos, Leandros A. Maglaras, Michalis Mavrovouniotis, Sotiris Moschoyiannis, Antonios Argyriou, Athanasios Maglaras, Helge Janicke   +6 more
doaj   +1 more source

A logical denotational semantics for constraint logic programming [PDF]

, 1994
The process interpretation of constraint logic programming (clp) leads to a model which is similar for many aspects to (an unsynchronized version of) concurrent constraint programming (ccp). However, it differs from the latter because it supports the notion of consistency: an action can be performed only if it does not lead to an inconsistent store. We
Alessandra Di Pierro, Catuscia Palamidessi   +1 more
openaire   +3 more sources

Visualization designs for constraint logic programming [PDF]

, 2001
We address the design and implementation of visual paradigms for observing the execution of constraint logic programs, aiming at debugging, tuning and optimization, and teaching. We focus on the display of data in CLP executions, where representation for
Hermenegildo, Manuel V., Carro Liñares, Manuel   +1 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

Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language [PDF]

, 2013
The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values.
Huntbach, Matthew
core   +4 more sources

A Study on Disrupted Flight Recovery Based on Logic-Based Benders Decomposition Method

Aerospace
Aiming at the disrupted flight recovery problem, this paper established a mixed-integer programming model based on the resource assignment model to minimize the recovery cost.
Yunfang Peng, Xuechun Hu, Beixin Xia
doaj   +1 more source

A Versatile-Designable Framework for Active and Programmable Shape-Morphing Soft Matter Systems: From Inverse Design to Closed-Loop Control. [PDF]

Adv Sci (Weinh)
A versatile framework integrates addressable electrothermal actuation and strain‐constraint mechanisms to construct programmable shape‐morphing soft matter systems. By combining an analytical inverse design strategy for high‐fidelity 3D surface reconstruction with deep learning‐based closed‐loop control, this approach enables zero‐energy shape locking,
Liu K, Xie P, Song R, Liu B, Guo R, Lv JA.   +5 more
europepmc   +2 more sources

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

Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog

Axioms
The management of time is essential in most AI-related applications. In addition, we know that temporal information is often not precise. In fact, in most cases, it is necessary to deal with imprecision and/or uncertainty. On the other hand, there is the
María-Antonia Cárdenas-Viedma
doaj   +1 more source