Results 91 to 100 of about 481,631 (238)
This review explores the transformative role of AI in biosensor technology and provides a holistic interdisciplinary perspective that covers a broader scope of AI‐enabled biosensor technologies across various sectors including healthcare, environmental monitoring, food safety, and agriculture. It also highlights the important role of novel materials in
Tuğba Akkaş+4 more
wiley +1 more source
An Overview of the Mj?lner BETA System
The Mjoner BETA System is an integrated and interactive programming environment with support for industrial object oriented programming. The Mjolner BETA System is a result of the Scandinavian research project Mjolner.
Lars Bak+4 more
semanticscholar +1 more source
4D Bioprinted Self‐Folding Scaffolds Enhance Cartilage Formation in the Engineering of Trachea
A bilayer self‐folding scaffold, triggerable by humidity, is fabricated via 4D bioprinting for trachea engineering. An analytical model is derived to predict its radius of curvature, enabling its scalability. Cartilage progenitor cells seeded on the scaffold perceive scaffold final curvature and react to it, by enhancing the upregulation of pro ...
Irene Chiesa+4 more
wiley +1 more source
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec [PDF]
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct ...
Schmidt-Schauß, Manfred
core +2 more sources
Engineering structural distortion in Dion–Jacobson perovskites allows control over optical properties and electronic band structure, unveiling new structure‐property insights. Crystal microwires act as waveguides with strong light‐matter coupling, explaining the double peak emission.
Annalisa Coriolano+14 more
wiley +1 more source
Rewiring Neuroimmunity: Nanoplatform Innovations for CNS Disease Therapy
This review explores emerging nanoplatform strategies designed to modulate neuroimmune responses for treating central nervous system (CNS) disorders. It examines structural and microenvironmental barriers, advances in multifunctional and targeted nanotechnologies, and highlights clinical progress and translational challenges, offering insights into the
Muhammad Usman Akbar+7 more
wiley +1 more source
On conservativity of concurrent Haskell [PDF]
The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case ...
Sabel, David (Dr.)+1 more
core +1 more source
Emerging Therapeutic Strategies for Hearing Loss
Challenges still exist in treating hearing loss in cases of severe damage to hair cells or spiral ganglion neurons. Here, a schematic diagram of cochlear sensory hair cells and auditory nerves is presented. It is found that in normal Corti organs, hair cells have upright stereocilia at the top and auditory neurons at the base. Ototoxic drugs, noise, or
Shanying Han+9 more
wiley +1 more source
FreqD‐LBM simulates the oscillatory flow at the surface of a QCM‐D resonator in the presence of structured adsorbates. It derives shifts of frequency and bandwidth (equivalent to dissipation) on different overtones. Applications include rough surfaces, adsorbed rigid particles, adsorbed viscoelastic particles, spheres floating freely above the surface,
Diethelm Johannsmann+5 more
wiley +1 more source
AD in Fortran, Part 1: Design [PDF]
We propose extensions to Fortran which integrate forward and reverse Automatic Differentiation (AD) directly into the programming model. Irrespective of implementation technology, embedding AD constructs directly into the language extends the reach and ...
Pearlmutter, Barak A.+2 more
core +1 more source