Results 191 to 200 of about 13,404,605 (326)

Searching in Euclidean Spaces with Predictions. [PDF]

Theory Comput Syst
Cabello S, Giannopoulos P.
europepmc   +1 more source

Proof theory of Nelson's paraconsistent logic: A uniform perspective

Theoretical Computer Science, 2012
N. Kamide, H. Wansing
semanticscholar   +1 more source

Spatial Control of Light‐Responsive Proteins and Optogenetics Within Hydrogels via Volumetric Bioprinting

Advanced Materials, EarlyView.
Spatiotemporal control over cell behavior within bioprinted constructs remains a key challenge in biofabrication. Volumetric bioprinting using multi‐wavelength light sources permits to activate light‐sensitive intracellular proteins as well as optogenetic gene and protein expression circuits in bioprinted cells, in addition to enabling fast printing of
Davide Ribezzi, Pere Català, Gabriel Größbacher, Paulina Nuñez Bernal, Olaf Nijssen, Sammy Florczak, Wilco Nijenhuis, Nuria Crusellas‐Villorbina, Bram Nijhoff, Paul Delrot, Jos Malda, Andreas Hierholzer, Martin Fussenegger, Lukas C. Kapitein, Riccardo Levato   +14 more
wiley   +1 more source

Elastomeric 3D‐Printed Microenvironments Enable Nanonewton Force Measurements in Healthy and Diseased Human Pluripotent Stem Cell‐Derived Neuroepithelial Cells

Advanced Materials, EarlyView.
We present elastomeric three‐dimensional (3D) microstructures fabricated via two‐photon polymerization (2PP) and post‐processed through wet etching, for quantifying nanonewton (nN)‐scale forces applied by healthy and diseased neural cells. The mechanically characterized free‐standing beam architectures enable measurement of traction forces of ...
Pieter F. J. van Altena, Lucia Castillo Ransanz, Ruben H. Guis, Giulia Bergamaschi, Nanne J. Paauw, Urs Staufer, Vivi M. Heine, Angelo Accardo   +7 more
wiley   +1 more source

Globalization of Perturbative Chern-Simons Theory on the Moduli Space of Flat Connections in the BV Formalism. [PDF]

Commun Math Phys
Mnev P, Wernli K.
europepmc   +1 more source

Stateful authorization logic – Proof theory and a case study

Journal of computing and security, 2012
Deepak Garg, F. Pfenning
semanticscholar   +1 more source

A Universal van der Waals Tunneling Injector for Monolayer CMOS

Advanced Materials, EarlyView.
A universal van der Waals injector unlocks polarity‐flexible tunneling contacts for monolayer CMOS. SnSe2, an intrinsically degenerate 2D semiconductor, establishes polarity‐specific band alignments with both WSe2 and MoS2 channels, enabling steep switching, high on/off ratios, and a unified route to low‐power 2D logic.
Hanbin Cho, Jing Huang, Seonguk Yang, Subin Im, Sangwoo Park, Jeongin Yeo, Sungyeon Kim, Gilhwan Do, Wenxuan Zhu, Soobeom Shin, Jongwon Lee, Yongjoon Shin, Do‐Sun Lee, Hu Young Jeong, Tae‐Eon Park, Jun Kang, Kyungmin Ko, Joonki Suh   +17 more
wiley   +1 more source

Large deviations of piecewise-deterministic Markov processes with application to stochastic calcium waves. [PDF]

J Math Biol
Barbet G, MacLaurin J, Silverstein M, Vilanova P.   +3 more
europepmc   +1 more source

Breaking the Surface: Buoyant Metal–Polymer Open–Cell Hybrid Lattice Metamaterials

Advanced Materials, EarlyView.
Open‐cell metal–polymer lattice metamaterials that defy sinking. (a) Injection process of the polyurethane (PU) foam into the titanium (Ti‐6Al‐4V) hollow‐strut lattice creating the open‐cell Ti‐6Al‐4V+PU hybrid lattice, (b) flotation test of a hybrid lattice specimen, and (c) a digital representation and experimental validation of a marine buoy ...
Jordan Noronha, Joey Tallon, Raad Omar, Jason Dash, Andrey Molotnikov, Martin Leary, Milan Brandt, Ma Qian   +7 more
wiley   +1 more source

Fundamental limits incorporating logical reasoning into Shannon's information theory. [PDF]

Proc Natl Acad Sci U S A
Lastras LA, Lenchner J, Trager BM, Szpankowski W, Squillante MS, Wu CW, Fagin R, Gray A.   +7 more
europepmc   +1 more source