Results 111 to 120 of about 6,513,935 (304)

Correctness kernels of abstract interpretations

Information and Computation, 2014
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They provide systematic guidelines for designing abstract semantic functions that approximate some concrete system behaviors under analysis. It may happen that an abstract domain contains redundant information for the specific purpose of approximating a ...
Roberto Giacobazzi, RANZATO, FRANCESCO
openaire   +5 more sources

Microbiome‐blood–brain barrier interactions in aging — mechanisms and therapeutic potential

FEBS Letters, EarlyView.
Aging reshapes the gut microbiome (↓SCFA‐producing commensals; ↑pro‐inflammatory outputs), shifting circulating metabolites (↓SCFAs; ↑LPS, ↑TMAO, ↑PAA) that act at the BBB to increase nonspecific transcytosis, alter transport, and promote astrocyte reactivity, heightening brain vulnerability.
Daniel Cuervo‐Zanatta, Hari Baskar Balasubramanian, Amir Pasokh, Marietta Zille   +3 more
wiley   +1 more source

A Quantum Formalism for Abstract Dynamical Systems

Mathematics
This paper presents a quantum formulation for classical abstract dynamical systems (ADS), defined by coupled sets of first-order differential equations. They are referred to as “abstract” because their dynamical variables can be of different interrelated
Joan C. Micó
doaj   +1 more source

On abstract interpretation of Mobile Ambients

Information and Computation, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LEVI, FRANCESCA, MAFFEIS S.
openaire   +4 more sources

ABSTRACT [PDF]

, 2011
ABSTRAC
ABSTRACT ABSTRACT, ABSTRACT, ABSTRACT
core   +1 more source

Liver organoids: modelling complexity in homeostasis and disease

FEBS Letters, EarlyView.
Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley   +1 more source

Osmanlı Müfessirlerinden Şihabuddin es-Sivasi 860-1455 ve Tesiri

Dini Araştırmalar, 2015
Şihabuddin es-Sivasi is an interpreter of Anatolian. He lived in Sivas . and Ayasluğ (known as Selçuk) during the autonomy of the states in Anatolia and in the establishment of the Ottoman Empire. He is one of the rationalistic interpreters of that time.
Bahattin Dartma
doaj  

A Semantic Approximation Technique for Automated Detection of Illicit Information Flows in Web-Based Systems

IEEE Access
Security in software systems ultimately seeks to safeguard the confidentiality, integrity, and availability of information. Of these, ensuring confidentiality is extremely difficult as sensitive information can leak due to unauthorized information flows ...
Anwesha Kashyap, Angshuman Jana
doaj   +1 more source

Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network

FEBS Letters, EarlyView.
Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley   +1 more source

PARAPHRASICAL INTERTEXTUALITY: INTERPRETATION MARKS IN THE SCIENTIFIC ABSTRACT GENRE

Travessias, 2010
This article aims to analyze a production of the scientific abstract genre, written by a student of 1st year of Arts, at Universidade Estadual de Maring, with the purpose of investigate the existence of marks of paraphrasical intertextuality which leads ...
Rubia Mara Bragagnollo
doaj