Results 81 to 90 of about 358,372 (241)
Formal Proofs for Nonlinear Optimization [PDF]
We present a formally verified global optimization framework. Given a semialgebraic or transcendental function $f$ and a compact semialgebraic domain $K$, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of
Allamigeon, Xavier +3 more
core +4 more sources
Edible Pneumatic Battery for Sustained and Repeated Robot Actuation
This work presents an edible energy source and valve system to power soft, pneumatically driven edible robots. A chemical reaction between sodium bicarbonate and citric acid generates carbon dioxide gas, and a pressure‐triggered edible valve enables self‐repetitive motion of the edible actuator.
Bokeon Kwak +5 more
wiley +1 more source
Techniques d’animation et recherche-action dans le milieu éducatif québécois
À la suite d’une demande d’évaluation des ressources éducatives d’un système éducatif, les animateurs-chercheurs ont mis de l’avant l’utilisation de techniques efficientes pour procéder à la cueillette de données concernant la vision et la perception de ...
Lyne Legault
doaj +1 more source
La culture de l’éducation de la petite enfance en Italie
This article retraces the milestones which have marked the development of an early childhood culture in Italy over the past decades. It presents the main elements that currently embody this culture. The article highlights the essential part played by pre-
Maria Cristina Picchio, Tullia Musatti
doaj +1 more source
A multi‐technique pump‐probe setup capable of performing both transient reflectivity and time‐resolved Raman spectroscopy after ultrafast excitation, provides a comprehensive understanding of ultrafast electronic and phononic processes. Distinct decay rates for the temperature, frequency, and linewidth of the phonon mode in germanium are observed ...
Grazia Raciti +10 more
wiley +1 more source
RF Wireless Power Transfer: Regreening Future Networks
Green radio communication is an emerging topic since the overall footprint of information and communication technology (ICT) services is predicted to triple between 2007 and 2020.
Kaddoum, Georges, Tran, Ha-Vu
core +1 more source
Scheme illustrating the selective conversion of plastic waste to isomerized C4‐C12 products using RuSZ1 under different reaction conditions. ABSTRACT In recent years, catalytic hydrocracking has emerged as a promising waste‐to‐feedstock solution for processing plastic waste.
Xinbang Wu +8 more
wiley +1 more source
The article begins with a synthesis by Michel Lussault of the cross-cutting questions which emerged from the “One world, one school?” conference workshops.
Michel Lussault +4 more
doaj +1 more source
Dead Matter, Living Machines: Repurposing Crustaceans' Abdomen Exoskeleton for Bio‐Hybrid Robots
Crustacean exoskeletons, repurposed from food waste, are engineered into sustainable bending actuators combining biotic structure with synthetic control. The augmented exoskeletons achieve rapid and robust motion with lightweight body and can be used as part of robotic manipulators, grippers and swimmers.
Sareum Kim, Kieran Gilday, Josie Hughes
wiley +1 more source
Le problème à N-corps : approches non relativistes [PDF]
École ...
Blaizot, Jean-Paul
core +1 more source

