Results 1 to 10 of about 7,178 (134)

On the system CL12 of computability logic [PDF]

Logical Methods in Computer Science, 2015
Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a long-term project for redeveloping logic on the basis of a constructive game semantics, with games seen as abstract models of interactive computational problems.
Giorgi Japaridze
doaj   +1 more source

A new DNA-based model for finite field arithmetic

Heliyon, 2019
A Galois field GF(pn) with p≥2 a prime number and n≥1 is a mathematical structure widely used in Cryptography and Error Correcting Codes Theory. In this paper, we propose a novel DNA-based model for arithmetic over GF(pn).
Iván Jirón, Susana Soto, Sabrina Marín, Mauricio Acosta, Ismael Soto   +4 more
doaj   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

Mesenchymal Stromal Cell‐Mediated Intercellular Communication: Mapping the Interactome for Skeletal Muscle Homeostasis and Regeneration

Advanced Science, EarlyView.
Liu et al. define a systems‐level interactome of fibroadipogenic progenitor (FAP)‐mediated signaling in skeletal muscle by integrating single‐cell transcriptomics with FAP depletion‐based perturbation analysis. Functional interrogation using a conditioned media bioassay links predicted signaling to multicellular outcomes, establishing a framework to ...
Xingyu Liu, Edgar E. Perez Carbajal, Yih‐Chii Hwang, Sahil A. Mapkar, Benjamin W. Gilman, Sarah A. Bliss, Lam B. Tran, Kalgi T. Mehta, Jacob O. Banyasz, Ming Yu, Reynold R. Liu, Matthew N. Ly, Christapher S. Morrissey, Michael N. Wosczyna   +13 more
wiley   +1 more source

Stem Cell Differentiation Disperses Transcriptional Clusters via a Conserved Surface‐Condensate Trajectory

Advanced Science, EarlyView.
Stem cell differentiation follows a conserved surface condensate trajectory: H3K27ac super enhancers nucleate large RNA polymerase II clusters that grow and unfold before transcriptional activity disperses them. This work reveals how biophysical forces at enhancer surfaces dynamically build and dismantle stem cell transcription hubs, reshaping cell ...
Tim Klingberg, Irina Wachter, Agnieszka Pancholi, Matthias Akyel, Yomna Gohar, Priya Kumar, Ana Miguel Fernandes, Yuzhi Bao, Alica Schmidt‐Heydt, Marcel Piepers, Alicia Günthel, Marcel Sobucki, Elisa Kämmer, Süheyla Eroğlu‐Kayıkçı, Stephan Allgeier, Sylvia Erhardt, Vasily Zaburdaev, Carmelo Ferrai, Lennart Hilbert   +18 more
wiley   +1 more source

Multi‐Targeting Carnosic Acid Kills Drug‐Resistant Helicobacter pylori With Narrow‐Spectrum Activity

Advanced Science, EarlyView.
Carnosic acid selectively eradicates drug‐resistant Helicobacter pylori through a multi‐targeted mechanism involving urease inhibition, membrane disruption, and biofilm eradication. It exhibits no detectable resistance, potent in vivo efficacy, and minimal impact on gut microbiota, positioning it as a promising narrow‐spectrum lead compound against ...
Yuefan Bai, Hongming Huang, Xudong Hang, Shanwei Hu, Qian Tong, Jingchen Xu, Jia Jia, Hongkai Bi   +7 more
wiley   +1 more source

Thin‐Film Thermal Sensors on Chitosan Substrates for Sustainable Transient Electronics

Advanced Electronic Materials, EarlyView.
Fully transient thin‐film temperature sensors are realized on pure chitosan substrates using Mo‐based RTDs and a‐IGZO/Mo thermistors. The devices exhibit high sensitivity, mechanical flexibility, humidity‐aware operation, and complete dissolution in natural solvents.
Ahmed Rasheed, Soufiane Krik, Sundus Riaz, Hafiza Faiqa Maqsood, Jacopo Nicoletti, Riccardo Zamboni, Guglielmo Trentini, Pietro Ibba, Franco Cacialli, Andrea Gaiardo, Giuseppe Cantarella, Niko Münzenrieder, Paolo Lugli, Giovanni Antonio Salvatore, Luisa Petti   +14 more
wiley   +1 more source

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

, 2019
La logique du premier ordre est un des formalismes les plus importants à la base des mathématiques et de l'informatique. Il est bien connu que le problème de la satisfaisabilité de la logique du premier ordre n'admet pas de solution algorithmique, et cela représente une limitation fondamentale pour les mécanismes de calcul en général et la déduction ...
openaire   +4 more sources

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source

Exploring the lichenization continuum through the marine tripartite symbiosis of Collemopsidium pelvetiae

American Journal of Botany, EarlyView.
Abstract Premise Symbioses between lichen‐forming fungi and brown algae (phaeophytes) are extremely rare. We investigated the interactions between the marine fungus Collemopsidium pelvetiae and its two photosynthetic partners, the brown alga Pelvetia canaliculata and a cyanobacterial symbiont to address questions on symbiosis biology, lichenization ...
Sergio Pérez‐Ortega, Rúdiger Ortiz‐Álvarez, Jacek Wierzchos, Miguel Blázquez, Alain Gérault, Asunción de los Ríos   +5 more
wiley   +1 more source