Results 121 to 130 of about 945,610 (300)
Symbolic computation: systems and applications
The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references are discussed.
openaire +3 more sources
We present the results of the first four years of the European research project SCIEnce—Symbolic Computation Infrastructure in Europe (http://www.symbolic-computing.org), which aims to provide key infrastructure for symbolic computation research.
K. Hammond +24 more
core +1 more source
Operando Tracking of Oxygen‐Vacancy Dynamics and Negative Capacitance in Ca‐Doped BiFeO3
Operando electrochemical impedance spectroscopy, combined with electrocoloration, enables a direct correlation between real‐space ionic redistribution and the corresponding frequency‐domain electrical response. In lateral Ca‐doped BiFeO3 devices, time‐resolved impedance snapshots capture the evolution from bulk‐dominated mixed conduction to an ...
Jeonghun Suh +3 more
wiley +1 more source
Higher-order and symbolic computation: editorial
[No abstract ...
Danvy, O +4 more
core +1 more source
Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2
A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko +7 more
wiley +1 more source
Sequence-based analysis and prediction form a cornerstone of bioinformatics investigations of the sequence-structure-function paradigm across DNA, RNA, and proteins.
Xin Feng +10 more
doaj +1 more source
An Edible Chitosan‐Based Acoustic Sensor for Sound‐Responsive Actuation in Edible Robots
This study introduces an edible acoustic sensor for robotic food and edible robotics. Built from a chitosan piezoelectric film between gold electrodes, the sensor enables acoustic communication through ON/OFF keying. Integrated into an edible robot with pneumatically actuated arms and neck, it responds to high‐frequency tones.
Valerio Francesco Annese +8 more
wiley +1 more source
Memristive‐Gated RC‐Delay Synaptic Transistors for Time‐Encoded Analog in‐Memory Computing
A Memristive‐Gated Transistor for Time‐Encoded Analog In‐Memory Computing — By exploiting the RC delay of a self‐rectifying interface‐type memristor, nonlinear I–V distortion is structurally bypassed, enabling 3‐bit nonvolatile memory, spike‐timing‐based analog encoding, and hardware‐calibrated reservoir‐computing validation within a unified device ...
Yun‐Seo Shin +7 more
wiley +1 more source
Merging Sub-symbolic and Symbolic Computation
. In a recent short paper and a report (see [Neto et al. 98] and [Neto and Costa 99]) it was shown that programming languages can be translated efficiently on recurrent (analog, rational weighted) neural nets, using bounded resources.
J. Félix Costa +2 more
core
Polarity‐matched Zr–MOFs program Nafion's nanoscale morphology during solution casting. Hydrophilic UiO‐66 preserves hydrated pathways, while hydrophobic UiO‐67 increases the proton hopping sites by densifying ionic clusters. Combining both fillers yields a membrane that delivers 176 mS cm−1 conductivity, reaches 1.46 W cm−2 under 200 kPa, and triples ...
Yonghwi Cho +13 more
wiley +1 more source

