Results 61 to 70 of about 446,349 (194)

Homeomorphic Embedding for Online Termination of Symbolic Methods

, 2002
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of
Leuschel, Michael
core   +2 more sources

Termination of violated contract

, 2020
I have choose the termination of a violated contract as a topic of my thesis. I decided to disclose the theoretical and practical problems arising in connection with the functioning of the institution of termination of a violated contract in German ...
Konnova, Kristina
core  

Impact of low-Z impurity injection on the post-disruption runaway electron current in the J-TEXT tokamak

Nuclear Fusion
Major disruptions in tokamak plasmas pose a severe threat to the safe and stable operation of the device, and the runaway current formed by high-energy runaway electrons is one of the hazardous consequences. Massive impurity injection serves as a primary
Wei Yan, Zhongyong Chen, Xun Zhou, Yuan Sheng, Yuwei Sun, Kaiyin Peng, You Li, Zhifang Lin, Nengchao Wang, Zhoujun Yang, Zhipeng Chen, Yonghua Ding, J-TEXT Team   +12 more
doaj   +1 more source

Fetal intrapericardial teratomas

The Turkish Journal of Pediatrics, 2019
Fetal intrapericardial teratomas are rare and benign. However, they can be life-threatening owing to the complicated massive pericardial effusions, tamponade, or cardiorespiratory distress.
Shi-Min Yuan, Hong Lin
doaj   +1 more source

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems [PDF]

, 2001
This paper explores how to extend the dependency pair technique for proving termination of higher-order rewrite systems. We show that the termination property of higher-order rewrite systems can be checked by the non-exsistence of an infinite R-chain ...
SAKAI, Masahiko, WATANABE, Yoshitsugu, SAKABE, Toshiki   +2 more
core  

Termination-Property Coupling via Reversible Oxygen Functionalization of MXenes

, 2022
MXenes are a growing family of 2D transition-metal carbides and nitrides, which display excellent performance in myriad of applications. Theoretical calculations suggest that manipulation of the MXene surface termination (such as O or −F) could strongly ...
Mitra L. Taheri, Yury Gogotsi, Kanit Hantanasirisakul (5743202), James L. Hart, James L. Hart (1794547), Yury Gogotsi (1280355), Mitra L. Taheri (1794550), Kanit Hantanasirisakul   +7 more
core   +1 more source

Active Surveillance of Small Renal Masses in a Large Danish Cohort: Assessing Proficiency in Patient Selection

Journal of Kidney Cancer and VHL
Small renal masses (SRMs) are often benign or early-stage cancers with low metastatic potential. The risk of overtreating SRMs is a particular concern in elderly or comorbid patients, for whom the risks associated with active surveillance (AS) are lower
Rasmine Bak, Jørgen Bjerregaard Jensen, Tau Pelant, Rikke Nørresø Haase, Tommy Kjærgaard Nielsen   +4 more
doaj   +1 more source

Mobile termination, network externalities, and consumer expectations [PDF]

We re-examine the literature on mobile termination in the presence of network externalities. Externalities arise when firms discriminate between on- and off-net calls or when subscription demand is elastic.
Hurkens, Sjaak, Lopez, Angel
core  

An upper pressure limit for low-Z benign termination of runaway electron beams in TCV

Plasma Physics and Controlled Fusion
Abstract We present a model for the particle balance in the post-disruption runaway electron plateau phase of a tokamak discharge. The model is constructed with the help of, and applied to, experimental data from TCV discharges investigating the so-called ‘low-Z benign termination’ runaway electron mitigation scheme.
Hoppe, M, Decker, J, Sheikh, U, Coda, S, Colandrea, C, Duval, B, Ficker, O, Halldestam, P, Jachmich, S, Lehnen, M, Reimerdes, H, Paz-Soldan, C, Pedrini, M, Reux, C, Simons, L, Vincent, B, Wijkamp, T, Zurita, M, team, the TCV, Team, the EUROfusion Tokamak Exploitation   +19 more
openaire   +3 more sources

Translation Initiation Factors eIF3 and HCR1 Control Translation Termination and Stop Codon Read-Through in Yeast Cells [PDF]

, 2013
Translation is divided into initiation, elongation, termination and ribosome recycling. Earlier work implicated several eukaryotic initiation factors (eIFs) in ribosomal recycling in vitro.
Lucie Cuchalová, Lucie Cuchalová (153753), Wagner, Susan, Valasek, Leos S, Cuchalova, Lucie, Petra Beznosková (488568), Susan Wagner, Shoemaker, Christopher J, von der Haar, Tobias, Christopher J Shoemaker, Stanislava Gunišová (153731), Susan Wagner (488569), Beznoskova, Petra, Christopher J. Shoemaker (259606), Leoš Shivaya Valášek (153772), Gunisova, Stanislava, Stanislava Gunišová, Tobias von der Haar, Tobias von der Haar (80575), Petra Beznosková, Leoš Shivaya Valášek   +20 more
core   +2 more sources