Results 131 to 140 of about 236,217 (313)

A Spectrum of Applications of Automated Reasoning

, 2002
The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core   +2 more sources

Unleashing the Power of Machine Learning in Nanomedicine Formulation Development

Advanced Functional Materials, EarlyView.
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore, Cristiano Pesce, Antonietta Greco, Claudia Pisante, Greta Avancini, Valentina Di Francesco, Yosi Shamay, Paolo Decuzzi   +7 more
wiley   +1 more source

From P ≟ NP to Practice: Description Complexity and Certificate-First Algorithm Discovery for Hard Problems

Mathematics
The celebrated question of whether P=NP continues to define the boundary between the feasible and the intractable in computer science. In this paper, we revisit the problem from two complementary angles: Time-Relative Description Complexity and automated
John Abela, Ernest Cachia, Colin Layfield   +2 more
doaj   +1 more source

A Vascular Microphysiological Model of Lung Fibrosis Reveals That Myofibroblasts and IPF Patient‐Derived Fibroblasts Impair Angiogenesis and Vasculogenesis

Advanced Functional Materials, EarlyView.
A microphysiological lung fibrosis model recapitulates myofibroblast–vascular interactions. Induced myofibroblasts and patient‐derived IPF fibroblasts impair angiogenesis and increase vascular permeability via TGF‐β1–driven signaling. Pharmacological interventions with SB 431542 and VEGF supplementation restore vascular morphology and barrier function.
Elena Cambria, Adriana Blazeski, Eunkyung Clare Ko, Tran Thai, Shania Dantes, David A. Barbie, Sarah E. Shelton, Roger D. Kamm   +7 more
wiley   +1 more source

Proof complexity of intuitionistic implicational formulas

Annals of Pure and Applied Logic, 2017
47 pages, 1 figure; to appear in Annals of Pure and Applied ...
openaire   +4 more sources

Chemoselective Sequential Polymerization: An Approach Toward Mixed Plastic Waste Recycling

Advanced Functional Materials, EarlyView.
Inspired by biological protein metabolism, this study demonstrates the closed‐loop recycling of mixed synthetic polymers via ring‐closing depolymerization followed by a chemoselective sequential polymerizations process. The approach recovers pure polymers from mixed feedstocks, even in multilayer formats, highlighting a promising strategy to overcome a
Gadi Slor, Youwei Ma, Hyunwoo Park, Tae‐Lim Choi, Damien Guironnet, Francesco Stellacci   +5 more
wiley   +1 more source

An All‐Optical Driven Bio‐Photovoltaic Interface for Active Control of Live Cells

Advanced Functional Materials, EarlyView.
Bio‐photovoltaic Interface (BIO‐PV‐I) for live cell manipulation is presented. BIO‐PV‐I can be activated non‐invasively and remotely to control the spatial motility, adhesion, and morphology of cells adhering to it. BIO‐PV‐I uses a patterned light‐induced electric potential in iron‐doped lithium niobate crystals whose light‐driven and reversible nature,
Lisa Miccio, Martina Mugnano, Valentina Marchesano, Alejandro Calabuig, Zhe Wang, Gennaro Giordano, Francesca Borrelli, Simonetta Grilli, Pietro Ferraro   +8 more
wiley   +1 more source

Proof Complexity of Propositional Model Counting

Journal on Satisfiability, Boolean Modeling and Computation
Recently, the proof system MICE for the model counting problem #SAT was introduced by Fichte, Hecher and Roland (SAT’22). As demonstrated by Fichte et al., the system MICE can be used for proof logging for state-of-the-art #SAT solvers. We perform a proof-complexity study of MICE. For this we first simplify the rules of MICE and obtain a calculus MIC E
Beyersdorff, Olaf, Hoffmann, Tim, Spachmann, Luc Nicolas   +2 more
openaire   +3 more sources

Formation of Stable Amorphous Calcium Phosphate and Collagen Assemblies by a Versatile Spray‐Drying Approach

Advanced Functional Materials, EarlyView.
Amorphous calcium phosphate (ACP) microparticles with long‐term and thermal stability are prepared with or without collagen using a scalable one‐pot spray‐drying process. Under simulated physiological conditions, they crystallize into biomimetic bone mineral and, when combined with collagen, form extrudable, fibrillar bone‐like 3D constructs.
Camila Bussola Tovani, Nessma Bennaceur, Celina Benkhellat, Tristan Georges, Clara Doisneau, Vaskar Sardhalia, Thierry Azaïs, Flora Lemaire, Halima Kerdjoudj, Mohamed Selmane, Capucine Sassoye, Marie Albéric, Cédric Boissière, Nadine Nassif   +13 more
wiley   +1 more source

DNA‐Templated 2D Heterostructures as Phototriggered Dynamic Nanohybrids: From Releasing Molecular Loads to Controlling Enzyme Biocatalytic Function

Advanced Functional Materials, EarlyView.
DNA strands are employed both as dynamic linkers and nanoscale templates for the integration of Ag2S nanoparticles on MoS2, which in turn imparted photothermal responsiveness; this feature permits the selective cargo (fluorophore, quantum dots or an enzyme) release from the MoS2 surface in response to local heat induced by light irradiation.
Kai Chen, Haosen Miao, Weiying Hong, Matteo Palma   +3 more
wiley   +1 more source