Results 91 to 100 of about 41,775 (290)

Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce (Invited talk)

, 2003
In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving.
Lehmann, Helko, Leuschel, Michael
core  

MXene Wrapped Magnetic Mesocrystals for Durable Redox Catalytic Cancer Therapy and Responsive MRI

Advanced Functional Materials, EarlyView.
Conformal wrapping of ultrathin Ti3C2Tx MXene nanosheets on Fe3O4 mesocrystals creates topology‐stabilized Schottky junctions that direct photoinduced electron transfer under NIR irradiation. The unique architecture sustains Fenton catalysis, promotes continuous hydroxyl radical production, and provides photo‐responsive MRI contrast.
Min Jun Ko, Seongchan Kim, Jun‐Hyeok Han, Sanghee Lee, Minji Ahn, Hong En Fu, Young Jun Jang, Yoo Sang Jeon, Weiguo Li, Young Keun Kim, Dong‐Hyun Kim   +10 more
wiley   +1 more source

Coherent inductive communications link for biomedical applications

, 1985
A two-way coherent inductive communications link between an external transceiver and an internal transceiver located in a biologically implanted programmable medical device.
Hogrefe, Arthur F., Radford, Wade E.
core  

Coagulative Granular Hydrogels with an Enzyme Catalyzed Fibrin Network for Endogenous Tissue Regeneration

Advanced Healthcare Materials, EarlyView.
Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng, Camila B. Tovani, Simona Bianco, Gianni Comandini, Aya Elghajiji, Mina Aleemardani, Roxana Moscalu, Jeremie Zappia, Bianca Fernandes, Olivia Annett, Chrissy L. Hammond, Jason Wong, Dave J. Adams, Fabrizio Scarpa, Michael R. Whitehouse, Annela M. Seddon, James P. K. Armstrong   +16 more
wiley   +1 more source

Translational Considerations for Injectable Biomaterials and Bioscaffolds to Repair and Regenerate Brain Tissue

Advanced Healthcare Materials, EarlyView.
The repair and regeneration of brain tissue faces both biological and technical challenges. Injectable bioscaffolds offer new opportunities to stimulate tissue regrowth in the brain by recruiting neural stem cells. Here, the translational issues are reviewed that need to be address to advance this promising new therapeutic approach from the bench to ...
Michel Modo, Alena Kisel
wiley   +1 more source

Entropy: From Thermodynamics to Hydrology

Entropy, 2014
Some known results from statistical thermophysics as well as from hydrology are revisited from a different perspective trying: (a) to unify the notion of entropy in thermodynamic and statistical/stochastic approaches of complex hydrological systems and ...
Demetris Koutsoyiannis
doaj   +1 more source

Natural Biomaterials for Osteochondral Repair: From Source to Strategy

Advanced Healthcare Materials, EarlyView.
Biological origin‐guided overview of natural biomaterials and therapeutic strategies for osteochondral tissue engineering. The circular diagram categorizes representative materials and strategies into plant/algae‐derived, microbial‐derived, animal‐derived, and human‐derived sources, centered on an osteochondral defect repair model.
Hengyu Liu, Hanyang Zhang, Wenbo Yang, Hao Chen, Jincheng Wang, Fei Chang   +5 more
wiley   +1 more source

Resonant Configuration Topology Exploration for Inductive Link Power Transfer [PDF]

, 2018
This paper investigates the performance of circuit topology used in wireless power applications to optimize the level of maximum efficiency. We analyse the series and the parallel resonant topologies for use in an inductive coupling link to derive power ...
Nur Shahida Binti Midi, Jawad Ali Shah, S. Hafiz, Midi, Nur Shahida Binti, Hafiz, S., Zarimin Zaharudin, Abdul Kadir, Kushsairy, Shah, Jawad Ali, Zaharudin, Zarimin, John Tan Teng Hwang, Midi, Nur Shahida, Kadir, Kushsairy Abdul, Sheroz Khan, Hwang, John Tan Teng, Khan, Sheroz, Hafiz, Sabihul, Kushsairy Abdul Kadir   +16 more
core   +1 more source

Mixed‐Metal Promotion in a Manganese‐Molybdenum Oxynitride as Catalyst to Integrate C─C and C─N Coupling Reactions for the Direct Synthesis of Acetonitrile from Syngas and Ammonia

Advanced Materials, EarlyView.
Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje, Wilson Henao, Tania Rodenas, Patricia Concepción, Virginia Pérez Dieste, Alexander Missyul, Giovanni Agostini, Gonzalo Prieto   +7 more
wiley   +1 more source

An Efficient Inductive Coil Link Design for Wireless Power Transfer to Visual Prostheses

, 2017
Powering therapeutic devices plays a crucial role in the design phase of implantable electronic units. Batteries could not provide sufficient charge storage, used for the lifetime of the device, considering the space available for them.
Celik, M. E. and Aydin, E.
core   +2 more sources