Results 31 to 40 of about 93,838 (246)
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties.
Jagtap, Pushpak +2 more
core +1 more source
Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles
Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung +9 more
wiley +1 more source
New Technologies for Sustainable Urban Transport in Europe [PDF]
In the past few years, the European Commission has financed several projects to examine how new technologies could improve the sustainability of European cities. These technologies concern new public transportation modes such as guided buses to form high
Parent, Michel
core +3 more sources
Leveraging Personal Navigation Assistant Systems Using Automated Social Media Traffic Reporting
Modern urbanization is demanding smarter technologies to improve a variety of applications in intelligent transportation systems to relieve the increasing amount of vehicular traffic congestion and incidents.
Ghazzai, Hakim +2 more
core +1 more source
The article overviews past and current efforts on caloric materials and systems, highlighting the contributions of Ames National Laboratory to the field. Solid‐state caloric heat pumping is an innovative method that can be implemented in a wide range of cooling and heating applications.
Agata Czernuszewicz +5 more
wiley +1 more source
Alternative line delivery strategies support a forklift free transition in a high product variety environment [PDF]
Forklift transport fails when it comes to efficiency. As a result, more and more attention is going to alternative transport systems that automate or further structure the material flow; such as line deliveries by train and conveyor technology.
Cottyn, Johannes +2 more
core +1 more source
Optofluidic Raman Analysis and Capacity Recovery in Li‐ion Cells
Operando Raman spectroscopy is used to monitor the degradation of commercial Li‐ion cells. Using a microfluidic access port, small amounts of electrolyte are sampled into a hollow‐core optical fibre, where fibre‐enhanced Raman analysis reveals Li+ solvation changes and solvent evolution.
Ermanno Miele +9 more
wiley +1 more source
Scheduling vehicles in automated transportation systems : algorithms and case study [PDF]
One of the major planning issues in large scale automated transportation systems is so-called empty vehicle management, the timely supply of vehicles to terminals in order to reduce cargo waiting times.
Ebben, Mark +3 more
core +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Facility Layout for an Automated Guided Vehicle System
AbstractThe facility layout problem (FLP) aims to minimize the material handling costs by determining the most efficient arrangement of facilities within a space. Among several types of layout structure, bay layout is used in a wide variety of manufacturing contexts of which the workstations are assigned to several parallel bays.
Hsiao-Fan Wang, Ching-Min Chang
openaire +1 more source

