Results 121 to 130 of about 2,046,692 (239)

Bioprinted Stiffness‑Tunable Pancreatic Microniches to Decode Early Tumor Initiation Mechanisms

Advanced Healthcare Materials, EarlyView.
Stiffness‐tunable GelMA microniches generated by microvalve bioprinting preserve wild‐type acinar identity while revealing a nonlinear, Kras‐dependent response to matrix mechanics. Intermediate stiffness promotes acinar‐to‐ductal metaplasia and proliferation, defining a permissive mechanical window.
Aurelien Mazet, Charles Handschin, Theo Desigaux, Nathalie Dusserre, Marie‐Laure Stachowicz, Shane Fennell, Malou Lea, Silvia Arcucci, Benoît Thibault, Jean‐Christophe Fricain, Julie Guillermet‐Guibert, Hugo Oliveira   +11 more
wiley   +1 more source

Artemisinin‐Loaded Core‐Shell Microspheres Modulate Histone Lactylation to Remodel the Microenvironment for Cartilage Protection in Rheumatoid Arthritis

Advanced Healthcare Materials, EarlyView.
ART@PLGA@GH‐A microspheres are developed via microfluidic technology for intra‐articular delivery of artemisinin. The system remodels rheumatoid arthritis microenvironments by regulating metabolic and inflammatory disorders, reducing lactate‐driven histone lactylation and cellular senescence, while restoring cartilage homeostasis and protecting joint ...
Shijie Meng, Jianxin Li, Yuyang Luo, Yisi Liu, Feng Xing, Yingchen Ni, Fengyuan Zhang, Zhicheng Fan, Hua Xu, Weidong Zhang, Youhua Wang   +10 more
wiley   +1 more source

FORTEST: Formal methods and testing [PDF]

, 2002
Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP, Krause, P, Bogdanov, K, Clark, JA, Harman, M, Hierons, RM   +5 more
core   +2 more sources

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source

Malebranche’s approach to God’s existence

Principia: An International Journal of Epistemology
In this paper, the author reproduces one of Nicolas Malebranche’s arguments for God’s existence. The text offers (I) a logical formalization of the argument, (II) a formal proof of validity of the argument and, finally, some philosophical reflections ...
Juan Diego M. Moya Bedoya
doaj   +1 more source

Large‐Scale Determination of Frontier Orbital Energies of Disordered Small‐Molecule Organic Semiconductors Using Exciplex Emission Spectra

Advanced Materials, EarlyView.
ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald, Hiroki Tomita, Giacomo Cotelli, Louka L. Brüll, Nanno G. de Rooij, Lucas R.L. Norg, Milo Clément, Reinder Coehoorn   +7 more
wiley   +1 more source

Foundational Proof Certificates

, 2015
International audienceConsider a world where exporting proof evidence into a well defined,universal, and permanent format is taken as "feature zero" forcomputational logic systems.
Miller, Dale
core   +2 more sources

The Formal Proof Sketch Challenge

, 2007
A formal proof sketch is a way to present a formal proof in a style that is close to an informal proof, but which also is a skeleton of the full formal proof (this makes it easy to relate the presentation to the detailed formalization.) Recently to us ...
Freek Wiedijk
core  

The design of textbooks and their influence on students’ understanding of ‘proof’ in lower secondary school

, 2009
In this paper we report on our analysis of textbooks commonly used for teaching students about proof in geometry in lower secondary school in Japan. From our analysis we found that, as expected from the curriculum specification, deductive reasoning is ...
Kunimune, Susumu, Fujita, Taro, Jones, Keith   +2 more
core   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source