Results 91 to 100 of about 1,174,960 (285)
A formal proof and simple explanation of the QuickXplain algorithm. [PDF]
Artif Intell Rev, 2022 Rodler P.
europepmc +1 more source
Advanced Healthcare Materials, EarlyView.A tunable bifunctional surface is developed by combining Fc‐binding peptides and RGD motifs to present oriented antibodies alongside integrin‐mediated signaling. The platform selectively captures endothelial colony‐forming cells while promoting their adhesion and proliferation.
Hugo A. Level +5 more
wiley +1 more source
Strategi Pembuktian Matematis Mahasiswa Pada Soal Geometri
JTAM (Jurnal Teori dan Aplikasi Matematika), 2017 Abstrak: Penelitian kualitatif ini bertujuan untuk mengungkap strategi yang digunakan mahasiswa dalam melakukan pembuktian soal Geometri. Subjek dalam penelitian ini adalah mahasiswa yang telah menempuh mata kuliah Geometri.
Sofyan Mahfudy
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Wound closure is governed by geometry‐orientation coupling: aligned fibers speed migration along their axis but hinder perpendicular advance. In vivo diabetic wound experiments with composition‐matched fibrin, combined with an anisotropic diffusion (biased random‐walk) model, quantify this trade‐off and generate a healing landscape.
Yin‐Yuan Huang +13 more
wiley +1 more source
Formal proof for delayed finite field arithmetic using floating point operators [PDF]
, 2008 Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie +2 more
core +3 more sources
CORE: Cholesterol Altered Lipid Nanoparticles for Splenic Expression of mRNA Payloads
Advanced Healthcare Materials, EarlyView.In this paper researchers introduce CORE LNPs, a new class of lipid nanoparticles engineered to redirect mRNA expression away from the liver and into the spleen, a key immune organ. By combining chemical design with computational tools, they created cholesterol analogs that enable precise spleen‐targeted expression, providing greater applications for ...
Eshan A. Narasipura +4 more
wiley +1 more source
Controllable Dynamic Mechanical Cell Stimulation using Magnetically Actuated Artificial Cilia
Advanced Healthcare Materials, EarlyView.This paper introduces a platform based on magnetic artificial cilia for providing controllable dynamic mechanical stimulation to single cells, suitable for investigating large cell populations and enabling live cell imaging. Proof‐of‐principle experiments show that cell morphology is strongly influenced by the artificial cilia, that cellular forces can
Roel Kooi +5 more
wiley +1 more source
Proof in dynamic geometry contexts
, 1998 Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students.
Hoyles, Celia, Jones, Keith
core
Formalization and proof of secrecy properties
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 2003 After looking at the security literature, you will find secrecy is formalized in different ways, depending on the application. Applications have threat models that influence our choice of secrecy properties. A property may be reasonable in one context and completely unsatisfactory in another if other threats exist.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.A human microfluidic blood‐brain barrier (mBBB) model enables spatially resolved comparison of nanoparticle trafficking. Extracellular vesicles (EVs), liposomes, and nanoplastics exhibit distinct transport and disruption behaviors, revealing that membrane composition and uptake pathways govern BBB interaction.
Bryan B. Nguyen +9 more
wiley +1 more source