نتایج جستجو برای: bip

تعداد نتایج: 2004  

Journal: :Journal of cell science 2012
Davide Eletto Avinash Maganty Daniela Eletto Devin Dersh Catherine Makarewich Chhanda Biswas James C Paton Adrienne W Paton Shirin Doroudgar Christopher C Glembotski Yair Argon

ER stress leads to upregulation of multiple folding and quality control components, known as the unfolded protein response (UPR). Glucose Regulated Protein 78 (GRP78) (also known as binding immunoglobulin protein, BiP, and HSPA5) and GRP94 are often upregulated coordinately as part of this homeostatic response. Given that endoplasmic reticulum (ER) chaperones have distinct sets of clients, we a...

2016
Masahiro Ono Hiroyuki Watanabe Ayane Kitada Kenji Matsumura Masafumi Ihara Hideo Saji

Neurofibrillary tangles composed of aggregates of hyperphosphorylated tau proteins are one of the neuropathological hallmarks of Alzheimer's disease (AD) in addition to the deposition of β-amyloid plaques. Since the deposition of tau aggregates is closely associated with the severity of AD, the in vivo detection of tau aggregates may be useful as a biomarker for the diagnosis and progression of...

Journal: :Arteriosclerosis, thrombosis, and vascular biology 2009
Angela C Rutledge Wei Qiu Rianna Zhang Rita Kohen-Avramoglu Nina Nemat-Gorgani Khosrow Adeli

OBJECTIVE In lipid-poor states, the ubiquitin-proteasomal pathway rapidly degrades misfolded apolipoprotein B100 (apoB) cotranslationally, although the mechanism of delivery from the ER to cytosolic proteasomes is poorly understood. Here we demonstrate key roles of BiP, an ER luminal chaperone, and p97, a cytosolic ATPase anchored to the ER membrane, in the targeting of apoB for proteasomal deg...

Journal: :Molecular vision 2002
MinHee K Ko EunDuck P Kay

PURPOSE Procollagen I is synthesized and intracellularly degraded in corneal endothelial cells (CEC), whereas type IV and VIII collagens are secreted into Descemet's membrane. In our previous study, we demonstrated that procollagen I synthesized by CEC is improperly folded and that the molecule was largely colocalized with protein disulfide isomerase (PDI) within the endoplasmic reticulum (ER)....

2010
Vitalice K. Oduol Cemal Ardil

The paper examines the performance of bit-interleaved parity (BIP) methods in error rate monitoring, and in declaration and clearing of alarms in those transport networks that employ automatic protection switching (APS). The BIP-based error rate monitoring is attractive for its simplicity and ease of implementation. The BIP-based results are compared with exact results and are found to declare ...

2016
Eduard Baranov Simon Bliudze

We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms—strong and weak—of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness. In this paper, we show that BIP has the weak form of this notion and provide results ...

Journal: :J. Log. Algebr. Meth. Program. 2017
Kasper Dokter Sung-Shik T. Q. Jongmans Farhad Arbab Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation between exogenous coordination languages comprises the basis for a solid comparison and consolidation of their fundamental concepts. In this p...

2012
Marius Bozga Mohamad Jaber Nikolaos Maris Joseph Sifakis

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component frame...

2014
Mohamad Noureddine Mohamad Jaber Simon Bliudze Fadi A. Zaraket

Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Priority). Given a BIP system consisting of several atomic components, we select two atomic components amenable for reduction and compute their pr...

Journal: :Inf. Process. Lett. 2009
Joanna Bauer Dag Haugland Di Yuan

The Broadcast Incremental Power (BIP) algorithm is the most frequently cited method for the minimum energy broadcast routing problem. A recent survey concluded that BIP has O(|V |3) time complexity, and that its approximation ratio is at least 4.33. We strengthen these results to O(|V |2) and 4.598, respectively.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید