Results 81 to 90 of about 29,683 (252)
An endorsement-based approach to student modeling for planner-controlled intelligent tutoring systems [PDF]
An approach is described to student modeling for intelligent tutoring systems based on an explicit representation of the tutor's beliefs about the student and the arguments for and against those beliefs (called endorsements).
Murray, William R.
core +1 more source
Conductance‐Dependent Photoresponse in a Dynamic SrTiO3 Memristor for Biorealistic Computing
A nanoscale SrTiO3 memristor is shown to exhibit dynamic synaptic behavior through the interaction of local electrical and global optical signals. Its photoresponse depends quantitatively on the conductance state, which evolves and decays over tunable timescales, enabling ultralow‐power, biorealistic learning mechanisms for advanced in‐memory and ...
Christoph Weilenmann +8 more
wiley +1 more source
Dicarboxylate‐modified anionic hairy cellulose nanocrystals exhibit a high selectivity for dysprosium(III) over neodymium(III). This selectivity arises from disordered dicarboxylate cellulose “hairs” that enable cooperative ionic coordination, hydrogen bonding, and strain‐induced conformational shrinkage.
Roya Koshani +6 more
wiley +1 more source
Research in computer science [PDF]
Several short summaries of the work performed during this reporting period are presented. Topics discussed in this document include: (1) resilient seeded errors via simple techniques; (2) knowledge representation for engineering design; (3) analysis of ...
Ortega, J. M.
core +1 more source
Towards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part
We have designed a new symbolic-numeric strategy to compute efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field. In essence, computations modulo a well chosen prime $p$ are used to obtain the exact information required to guide floating point computations.
Poteaux, Adrien, Rybowicz, Marc
openaire +2 more sources
Applying a high electric field to a doped organic semiconductor heats up the charge carrier distribution beyond the lattice temperature, enhancing conductivity. It is shown that the associated effective temperature can be used to extract the effective localization length, which is a characteristic length scale of charge transport and provides ...
Morteza Shokrani +4 more
wiley +1 more source
Gourd‐Inspired Design of Unit Cell with Multiple Gradients for Physiological‐Range Pressure Sensing
Gourd‐shaped micro‐dome arrays with coordinated modulus, conductivity, and geometric gradients co‐optimize sensitivity and linearity in piezoresistive tactile sensors. Under pressure, a solid upper dome embeds into a porous lower dome, triggering rapid contact‐area growth and series‐to‐parallel conduction, enabling unsaturated, intensity‐resolved ...
Jiayi Xu +6 more
wiley +1 more source
A dual‐layer living hydrogel, ProΦGel, integrates bacteriophages and probiotics for synergistic wound infection therapy. The outer gelatin‐based matrix releases phages on demand in response to P. aeruginosa infections, while inner alginate beads sustain probiotic delivery.
Siyuan Tao +6 more
wiley +1 more source
AgCrP2S6 reveals a momentum‐indirect band edge (≈1.35 eV) and chain‐locked linear dichroism: the first direct transitions emerge at 1.6–1.8 eV for E||a. Resonant Raman and photoemission corroborate this assignment. In ACPS/graphene heterostructures, photocurrent turns on above ≈1.5 eV and follows the same polarization selection rules (anisotropy ≈0.53),
Oleksandr Volochanskyi +9 more
wiley +1 more source
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation
In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid ...
Yang, Zhengfeng, Wu, Min, Lin, Wang
openaire +2 more sources

