Results 61 to 70 of about 424,581 (304)
A Cartesian closed category of event structures with quotients
Discrete Mathematics & Theoretical Computer Science, 2006 We introduce a new class of morphisms for event structures. The category obtained is Cartesian closed, and a natural notion of quotient event structure is defined within it.
Samy Abbes
doaj
Yuanzineng kexue jishuThe single-event susceptibility of three silicon carbide (SiC) metal-oxide-semiconductor field-effect transistor (MOSFET) power devices structures (planar, trench and double trench) is researched by the technology computer-aided design (TCAD) simulation.
HU Libin1, 2, FENG Shaohui3, SUI Chenglong3, WANG Chengjie3, CHEN Miao3, LU Peng1, YANG Can1, SHU Lei1, , LU Jiang4, LI Bo1, 2
doaj +1 more source
Concurrency Models with Causality and Events as Psi-calculi [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi.
Håkon Normann +2 more
doaj +1 more source
Decomposition Structures for Event-B [PDF]
, 2009 Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented with additional structuring to support further the management of complex refinements.
openaire +1 more source
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source
Multiple-Event Catastrophe Bond Pricing Based on CIR-Copula-POT Model
Discrete Dynamics in Nature and Society, 2018 Catastrophe events are attracting increased attention because of their devastating consequences. Aimed at the nonlinear dependency and tail characteristics of different triggered indexes of multiple-event catastrophe bonds, this paper applies Copula ...
Wen Chao, Huiwen Zou
doaj +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Studies in Logic, Grammar and Rhetoric, 2015 The aim of this paper is to characterise the manner in which onto- logical structures are created (at the level of text structure and the information layer thereof) in press discourse on the example of French newspaper editorials describing political ...
Topa-Bryniarska Dominika
doaj +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source