Results 31 to 40 of about 9,171 (262)

Real-Time Animation for Formal Specification

, 2010
International audienceA formal specification is a mathematical description of a given system. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods.
Méry, Dominique, Singh, Neeraj Kumar, Neeraj Kumar Singh, Dominique Méry   +3 more
core   +1 more source

Flexible Dielectric Acoustic Resonator Patch for Tissue Regeneration

Advanced Materials, EarlyView.
A flexible dielectric acoustic resonator patch enables MHz‐range ultrasound generation through resonance amplification without using piezoelectric materials. Conformal integration on a curved substrate allows efficient acoustic delivery to tissue‐mimicking environments.
Donyoung Kang, Byeongseok Ryu, Sujeong Ahn, Junhyub Kim, Myeonghun Jang, Jeong Ho Cho, Won‐Gun Koh, Hyungsuk Lee   +7 more
wiley   +1 more source

Positively Charged Polymer‐Brush MOFs for Large‐Area, Pressure‐Resistant Gas Separation Membranes

Advanced Materials, EarlyView.
A universal POPA strategy enables positively charged polymer‐brush MOFs with self‐adaptive interfacial interlocking to resist aggregation under fast processing. This design ensures seamless dispersion within large‐area selective layers, achieving 1 m‐wide roll‐to‐roll fabrication of pressure‐resistant MMCMs with tunable CO2 separation performance ...
Yi Yang, Ye Yuan, Yuxiu Sun, Fei Shi, Chenyang Song, Weifan Wang, Qinghua Li, Menglong Sheng, Zhihua Qiao, Jingwei Hou, Anthony K. Cheetham, Zhi Wang   +11 more
wiley   +1 more source

Time-Controlled Validation of Security-Oriented Android Apps in Z

IEEE Access
Design-time validation of Android Apps security is challenging because permission usage intertwines with temporal context and inter-component communication (ICC). Existing access, risk, and formal analyses are often post hoc or siloed, and typically lack
Xinwen Hu
doaj   +1 more source

From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures

Advanced Robotics Research, EarlyView.
This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley   +1 more source

Developing serious games for cultural heritage: a state-of-the-art review [PDF]

, 2010
Although the widespread use of gaming for leisure purposes has been well documented, the use of games to support cultural heritage purposes, such as historical teaching and learning, or for enhancing museum visits, has been less well considered.
McLoughlin, L., Peters, C., Sara de Freitas, de Freitas, S., Anderson, E.F., Liarokapis, F., Leigh McLoughlin, Panagiotis Petridis, Anderson, Eike F., Eike Falk Anderson, Petridis, P., Christopher Peters, Fotis Liarokapis   +12 more
core   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Supplemental Material: Explanations of seismic data acquisition, processing, and interpretation. Time-thickness map and seismic cross-sections of Lower Cretaceous Mississippi Salt Basin. Methodology of salt tectonics physical models, landscape, and stratigraphic numerical models. Table with input parameters for landscape and stratigraphic numerical model. Figure illustrating uplift and subsidence rates of the sink domain. Explanations for animations.

, 2023
<p> Explanations of seismic data acquisition, processing, and interpretation. Time-thickness map and seismic cross-sections of Lower Cretaceous Mississippi Salt Basin. Methodology of salt tectonics physical models, landscape, and stratigraphic numerical models. Table with input parameters for landscape and stratigraphic numerical model.
et al., Jinyu Zhang
openaire   +1 more source

Time-Domain Parallelization for Accelerating Cloth Simulation

, 2018
Cloth simulations, widely used in computer animation and apparel design, can be computationally expensive for real-time applications. Some parallelization techniques have been proposed for visual simulation of cloth using CPU or GPU clusters and often ...
Liang, Junbang, Lin, Ming C.
core   +1 more source

Fluid animation with dynamic meshes [PDF]

, 2006
Figure 1: Top: A paddle mixes smoke in a tank. Bottom: A cross-section of the simulation meshes used for each frame. This paper presents a method for animating fluid using un-structured tetrahedral meshes that change at each time step.
Bryan M. Klingner, Klingner, Bryan M, Feldman, Bryan E, O'Brien, James F, James F. O'Brien, Bryan E. Feldman, James F. O’brien, Chentanez, Nuttapong, Nuttapong Chentanez   +8 more
core   +1 more source