Results 201 to 210 of about 2,084,052 (380)

Wirelessly Powered Ingestible Capsule for Optical Stimulation of the Gastrointestinal Tract in Rodents

Advanced Materials Technologies, EarlyView.
An ingestible electronic capsule, ICOPS, enables non‐invasive optical gut stimulation in rodents. ICOPS features modular LEDs and optimized power transfer for robust, in vivo functionality. This cleanroom‐free, 3D‐printed platform offers a compact, scalable solution for optogenetically interfacing enteric neural circuits, promising advances in ...
Mohamed Elsherif, Rawan Badr El‐Din, Zhansaya Makhambetova, Heba Naser, Maylis Boitet, Rahul Singh, Keonghwan Oh, Revathi Sukesan, Sohmyung Ha, Khalil B. Ramadi   +9 more
wiley   +1 more source

From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach [PDF]

, 2002
Stanislav Chachkov, Didier Buchs
openalex   +1 more source

Tunable Mass Transport and Enhanced Electrochemical Performance of CO2 Laser Engraved Electrodes

Advanced Materials Technologies, EarlyView.
This work introduces vector‐mode CO2 laser engraving as a rapid strategy to fabricate electrochemical sensors with tunable mass transport. Spiral electrodes can behave as disk electrodes, outperforming conventional raster‐engraved devices in current density and sensitivity.
Davi M. De Farias, Gabriel N. Meloni, Thiago R. L. C. Paixão   +2 more
wiley   +1 more source

Rotary 4D Printing of Programmable Metamaterials on Sustainable 4D Mandrel

Advanced Materials Technologies, EarlyView.
The paper introduces open, rotary 4D printing of programmable tubular metamaterials. It presents an open, non‐planar path‐to‐G‐code pipeline and shape‐changing rotary mandrel that enable support‐free fabrication and multi‐stimuli actuation. Experiments and FEA validate the mentioned features and stress redistribution.
Hesam Soleimanzadeh, Mahdi Bodaghi, Marzieh Jamalabadi, Bernard Rolfe, Ali Zolfagharian   +4 more
wiley   +1 more source

Formal specification and verification of control software for cryptographic equipment [PDF]

, 2002
D. Richard Kuhn, James F. Dray
openalex   +1 more source

Unlocking Spin Dynamics: Spin‐Orbit Coupling Driven Spin State Interconversion in Carbazole‐Containing TADF Emitters

Advanced Optical Materials, EarlyView.
This study explores overlapping charge transport mechanisms in TADF materials and identifies spin‐orbit coupling as the dominant mechanism for triplet‐to‐singlet transition in carbazole‐based cyanoarene emitters. Computational investigations reveal a second spin‐orbit‐coupling‐mediated reverse intersystem crossing pathway, significantly enhancing the ...
Annika Morgenstern, Jonas Weiser, Lucas Schreier, Konstantin Gabel, Tom Gabler, Alexander Ehm, Daniel Beer, Nadine Schwierz, Ulrich T. Schwarz, Kirsten Zeitler, Carsten Deibel, Dietrich R. T. Zahn, Christian Wiebeler, Georgeta Salvan   +13 more
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Derivation of formal representations from process-based specification and implementation models [PDF]

, 2002
S. Vercauteren, D. Verkest, G. de Jong, Bin Lin   +3 more
openalex   +1 more source

Generalized Heterodyne Interferometry in Kerr Materials

Advanced Photonics Research, EarlyView.
Interferometry, combined with heterodyne detection, enables simultaneous measurement of light amplitude and phase. This work applies these methods to study nonlinear phase shifts from the optical Kerr effect during laser pulse propagation. Results show the nonlinear index is straightforward to retrieve at low phases, but at higher powers, pulse shape ...
Arnaud Rogemont, Rajath Sawant, Aurélien Coillet, Benoit Cluzel   +3 more
wiley   +1 more source

Applying software metrics to formal specifications: a cognitive approach [PDF]

, 2002
R.J. Vinter, Martin Loomes, Diana Kornbrot   +2 more
openalex   +1 more source