Results 141 to 150 of about 3,320,198 (344)

Abstract Interpretation of Unstructured Imperative Languages on Unbounded Domains

, 2011
In this thesis we present a novel program analysis technique that applies abstract interpretation to low-level intermediate languages with unbounded abstract domains.
Subotic, Pavle
core  

High‐Performance Transparent, Deformable, and Recoverable Biomimetic Stevia–PVA Hydrogel Triboelectric Nanogenerator with Machine Learning‐Assisted Motion Recognition

Advanced Materials, EarlyView.
A transparent, deformable stevia–PVA hydrogel triboelectric nanogenerator delivers significantly enhanced mechanical strength and electrical output through biomimetic hydrogen‐bonded networks. Coupled with machine learning–assisted signal recognition, the self‐powered hydrogel enables accurate human‐motion sensing for intelligent wearable and IoT ...
Thien Trung Luu, Bui Minh Quang, Toan Minh Pham, Jinsoo Kim, Kyungwho Choi, Dukhyun Choi   +5 more
wiley   +1 more source

Ultrathin Li Metal Anodes: Quantitative Design Principles and Manufacturability Across Liquid and Solid‐State Batteries

Advanced Materials, EarlyView.
Ultrathin lithium metal anodes (≤15 µm) offer a promising route to high‐energy‐density batteries due to their high capacity and low potential. This review presents design principles for ultrathin Li, evaluates fabrication strategies, and discusses challenges in liquid and solid‐state cells.
Cheng Wang, Caoyu Wang, Shuixin Xia, Jodie A. Yuwono, Mingnan Li, Yanqiu Lyu, Ruizhi Zhang, Jun Wang, Jianfeng Mao, Zaiping Guo   +9 more
wiley   +1 more source

Multiple Positive Solutions of Nonhomogeneous Elliptic Equations in Unbounded Domains

Abstract and Applied Analysis, 2007
We will show that under suitable conditions on f and h, there exists a positive number λ∗ such that the nonhomogeneous elliptic equation −Δu+u=λ(f(x,u)+h(x)) in Ω, u∈H01(Ω), N≥2, has at least two positive solutions if λ∈(0,λ∗), a unique positive ...
Tsing-San Hsu
doaj   +1 more source

Compactness of Orlicz-Sobolev space imbeddings for unbounded domains

, 1975
In this thesis we are concerned with the compactness of im-beddings, for unbounded domains, of Orlicz-Sobolev spaces. Donaldson and Trudinger [6] have given a generalization of the Sobolev imbedding theorem and the Rellich-Kondrachov compactness theorem ...
Cahill, Ian Graham
core  

Numerical Approximation of Second-Order Elliptic Problems in Unbounded Domains

, 2014
This paper deals with the numerical resolution of elliptic problems in unbounded domains using inverted finite elements. In opposition to conventional approaches which are based on the truncation of the domain, the suggested method keeps the domain ...
Boulmezaoud, Tahar Z., Mziou, Samy, Boudjedaa, Tahar, Tahar Boudjedaa, Tahar Z. Boulmezaoud, Samy Mziou   +5 more
core   +1 more source

Label‐Free Detection of a Neurotransmitter Using an Aptamer‐Functionalized Amorphous IGZO Transistor

Advanced Materials Interfaces, EarlyView.
An aptamer‐functionalized amorphous IGZO thin‐film transistor enables label‐free electrical detection of the neurotransmitter serotonin under liquid‐gated operation. Stepwise surface functionalization ensures stable biomolecule integration and efficient electrostatic coupling.
Ngoc Thanh Ho, Sina Jamali, Nam‐Trung Nguyen, Tuan‐Khoa Nguyen   +3 more
wiley   +1 more source

Explicit iteration of an unbounded solution of turbulent flow model involving ψ-Riemann–Liouville fractional derivatives

Alexandria Engineering Journal
This paper is concerned for the first time an explicit iteration of an unbounded solution for a turbulent flow model involving ψ-Riemann–Liouville fractional derivatives with the p-Laplacian operator on the infinite interval [a,∞),a≥0.
Sabri T.M. Thabet, Imed Kedim, Bahaaeldin Abdalla, Thabet Abdeljawad   +3 more
doaj   +1 more source

Sensitive and Spatially‐Resolved Electrochemiluminescence via Micropatterning

Advanced Materials Interfaces, EarlyView.
The use of a simple silica nanoparticle surface coating and patterning process can transform ordinary gold electrodes into multiplexed ECL sensing electrodes. Through spatially confined droplet formation and local ECL emission, it is possible to perform multiple analyses simultaneously from individual locations as well as intensify the ECL signal by as
Yuliang Shao, Tatiana Starikova, Mengzhen Xi, Maria Vittoria Balli, Emanuele Luigi Sciuto, Gabriele Giagu, Vincenzo Paratore, Carmelo Corsaro, Enza Fazio, Sabrina Conoci, Luca Prodi, Giovanni Valenti, Pavel A. Levkin   +12 more
wiley   +1 more source

Asymptotic behavior of positive harmonic functions in certain unbounded domains

, 2014
We derive asymptotic estimates at infinity for positive harmonic functions in a large class of non-smooth unbounded domains. These include domains whose sections, after rescaling, resemble a Lipschitz cylinder or a Lipschitz cone, e.g., various ...
Ramachandran, Koushik
core