Results 81 to 90 of about 524,182 (299)

Tree Buffers [PDF]

, 2015
In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
A Bauer, B Finkbeiner, C Amit, E Gündüzhan, G Rosu, H Barringer, H Björklund, JE Smith, K Havelund, K Rustan, L Pike, N Tzevelekos, Q Luo, R Grigore, SD Stoller   +14 more
core   +2 more sources

Valosin‐containing protein counteracts ATP‐driven dissolution of FUS condensates through its ATPase activity in vitro

FEBS Letters, EarlyView.
Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura, Shin‐ichi Tate, Kyota Yasuda   +2 more
wiley   +1 more source

Optimal Buffer Allocation in Flexible Manufacturing Systems Using Genetic Algorithm and Simulation

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2012
Over the past few decades, buffer allocation problems have been investigated extensively. It is widely known that buffers play important roles in the manufacturing system, including preparing disruption and improving efficiency.
Suk-Jae JEONG, Hosang JUNG
doaj   +1 more source

The effective bandwidth problem revisited [PDF]

, 2008
The paper studies a single-server queueing system with autonomous service and $\ell$ priority classes. Arrival and departure processes are governed by marked point processes.
Abramov V.M., Anulova S.V., Borovkov A.A., Borovkov A.A., Elwalid A.I., Filippov A.F., Gelenbe E., Gnedenko B.V., Himmelblau D.M., Kella O., Kelly F.P., Kumaran K., Ramanan K., Subhankulov M.A., Takács L., Takács L., Tanaka H., Vyacheslav M. Abramov   +17 more
core   +1 more source

Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation

FEBS Letters, EarlyView.
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Randomized longest-queue-first scheduling for large-scale buffered systems [PDF]

, 2014
We develop diffusion approximations for parallel-queueing systems with the randomized longest-queue-first scheduling algorithm by establishing new mean-field limit theorems as the number of buffers $n\to\infty$.
Dieker, A. B., Suk, Tonghoon
core  

An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane

FEBS Letters, EarlyView.
Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa, Akira Hattori, Masafumi Tsujimoto, Toshihide Kobayashi   +3 more
wiley   +1 more source

Do residents’ perceptions of being well-placed and objective presence of local amenities match? A case study in West Central Scotland, UK [PDF]

, 2013
Background:<p></p> Recently there has been growing interest in how neighbourhood features, such as the provision of local facilities and amenities, influence residents’ health and well-being.
A Crompton, A Ellaway, A Ellaway, A Ellaway, A Ellaway, A Gatrell, A Kearns, A Okabe, Ade Kearns, AG Scotland, Anne Ellaway, AP McGinn, D Altman, D Canter, D Fone, D Ogilvie, Department of Health, DJ Walmsley, E Coombes, E Leslie, EK Sadalla, F Li, G McCormack, G McCormack, J Pearce, J Tilt, K Ball, K Ball, K Donaldson, K Gebel, K Gebel, K Kirtland, K Smoyer-Tomic, L Lin, L Macdonald, L McNeill, L Moore, L Wood, Laura Macdonald, LK Williams, MA Jones, N Humpel, Office of Population Censuses and Surveys, P Apparicio, P Seaman, PM Hurvitz, R Briggs, R Cohen, R Harrison, R Hiscock, R Hiscock, S Lotfi, S Macintyre, S Macintyre, S Macintyre, S Macintyre, S Macintyre, S Macintyre, S Macintyre, TL Hawthorne, W Poortinga   +60 more
core   +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, Toshiki Takahashi, Akiko Kuma, Hiroyuki Kawahara   +3 more
wiley   +1 more source

Protecting Shoreland and Riparian Buffers Workshop (2007) [PDF]

, 2008
The New Hampshire Estuaries Project (NHEP) organized and implemented a workshop on protecting shoreland and riparian buffers. A number of other organizations, including three regional planning commissions, NH Fish and Game Department, NH Department of ...
Hunter, Jennifer
core   +1 more source