Results 61 to 70 of about 3,810,567 (377)

Interface Simulation Distances

open access: yes, 2012
The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance.
Chmelík, Martin   +3 more
core   +2 more sources

Experiments on the Richtmyer–Meshkov instability: Small-scale perturbations on a plane interface [PDF]

open access: yes, 1993
This paper reports the results of measurements of the "visual thickness," obtained from flow visualization experiments by the schlieren method, of initially plane interfaces between two gases under impulsive accelerations.
Brouillette, M., Sturtevant, B.
core   +1 more source

Describing Secure Interfaces with Interface Automata

open access: yesElectronic Notes in Theoretical Computer Science, 2010
AbstractInterface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface structure for security (ISS), that allows for the modelling of security. We focus on the property of non interference, more precisely in bisimulation-based non interference
Lee, Matias David   +1 more
openaire   +3 more sources

Identification of novel small molecule inhibitors of ETS transcription factors

open access: yesFEBS Letters, EarlyView.
ETS transcription factors play an essential role in tumourigenesis and are indispensable for sprouting angiogenesis, a hallmark of cancer, which fuels tumour expansion and dissemination. Thus, targeting ETS transcription factor function could represent an effective, multifaceted strategy to block tumour growth. The evolutionarily conserved E‐Twenty‐Six
Shaima Abdalla   +9 more
wiley   +1 more source

Low-level Eschatology: Ruins in Computer Games

open access: yesГалактика медиа: журнал медиа исследований, 2022
The ruins are a well-studied object in the history of culture. The article examines the ruins not only in terms of established approaches, but also from the perspective of media theory, visual ecology and game studies, new humanities oriented on ...
Alexander S. Lenkevich
doaj   +1 more source

miRNA‐29 regulates epidermal and mesenchymal functions in skin repair

open access: yesFEBS Letters, EarlyView.
miRNA‐29 inhibits cell‐to‐cell and cell‐to‐matrix adhesion by silencing mRNA targets. Adhesion is controlled by complex interactions between many types of molecules coded by mRNAs. This is crucial for keeping together the layers of the skin and for regenerating the skin after wounding.
Lalitha Thiagarajan   +10 more
wiley   +1 more source

Generation and motion of interfaces in one-dimensional stochastic Allen-Cahn equation

open access: yes, 2016
In this paper we study a sharp interface limit for a stochastic reaction-diffusion equation. We consider the case that the noise is a space-time white noise multiplied by a small parameter and a smooth function which has a compact support.
Lee, Kai
core   +1 more source

Progress towards omnidirectional transformation optics with lenses [PDF]

open access: yes, 2016
We study, theoretically, omni-directional Euclidean transformation-optics (TO) devices comprising planar, light-ray-direction changing, imaging, interfaces.
Belin, Jakub   +7 more
core   +1 more source

Interaction vesicles as emerging mediators of host‐pathogen molecular crosstalk and their implications for infection dynamics

open access: yesFEBS Letters, EarlyView.
Interaction extracellular vesicles (iEVs) are hybrid vesicles formed through host‐pathogen communication. They facilitate immune evasion, transfer pathogens' molecules, increase host cell uptake, and enhance virulence. This Perspective article illustrates the multifunctional roles of iEVs and highlights their emerging relevance in infection dynamics ...
Bruna Sabatke   +2 more
wiley   +1 more source

Multifunctional molecular modulators for perovskite solar cells with over 20% efficiency and high operational stability

open access: yesNature Communications, 2018
Engineering hybrid perovskites at the molecular level to solve the stability problem remains a challenge. Here Grätzel et al. design a multifunctional molecular modulator that interacts with the perovskite via modes elucidated by solid state NMR ...
Dongqin Bi   +10 more
doaj   +1 more source

Home - About - Disclaimer - Privacy