Results 11 to 20 of about 1,624,256 (334)

Stochastic Invariants for Probabilistic Termination [PDF]

ACM-SIGACT Symposium on Principles of Programming Languages, 2016
Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with ...
Azuma K., Baier C., Barthe G., Chakarov A., Chakarov A., Chen H.-Y., Colón M., Colón M. A., Colón M. A., Durrett R., Farkas J., Howard H., Kaminski B. L., Katoen J.-P., Kemeny J., Kwiatkowska M. Z., McIver A., McIver A., Monniaux D., Paz A., Podelski A., Velroyen H.   +21 more
core   +2 more sources

Effectiveness, safety and acceptability of no‐test medical abortion (termination of pregnancy) provided via telemedicine: a national cohort study

BJOG: an International Journal of Obstetrics and Gynaecology, 2021
To compare outcomes before and after implementation of medical abortion (termination of pregnancy) without ultrasound via telemedicine.
A. Aiken, P. Lohr, J. Lord, Nabanita Ghosh, Jennifer Starling   +4 more
semanticscholar   +1 more source

Simultaneously tuning interlayer spacing and termination of MXenes by Lewis-basic halides

Nature Communications, 2022
The surface and interface chemistry are of significance on controlling the properties of two-dimensional transition metal carbides and nitrides (MXenes).
Tianze Zhang, Libo Chang, Xiaofeng Zhang, H. Wan, Na Liu, Liujiang Zhou, Xu Xiao   +6 more
semanticscholar   +1 more source

Uncivil Rights: The Abuse of Tribal Sovereignty and the Termination of American Indian Tribal Citizenship

IAFOR Journal of Cultural Studies, 2020
Starting in the 1990s, an increasing number of Indigenous people have been removed from tribal rolls, denying them basic citizenship rights, including due process, private property rights, jobs, voting rights, and the like.
Kenneth N. Hansen
doaj   +1 more source

The termination of the late pregnancy in Serbian law and comparative European law [PDF]

Zbornik Radova: Pravni Fakultet u Novom Sadu, 2015
The termination of the late pregnancy causes legal, medical and ethical dilemmas. This is due to the development of fetus if pregnancy is late one and complexity of the needed medical procedures. Legal regime of the termination of late pregnancy contains
Kovaček-Stanić Gordana B.
doaj   +1 more source

Observed Changes in Crop Yield Associated with Droughts Propagation via Natural and Human-Disturbed Agro-Ecological Zones of Pakistan

Remote Sensing, 2022
Pakistan’s agriculture and food production account for 27% of its overall gross domestic product (GDP). Despite ongoing advances in technology and crop varieties, an imbalance between water availability and demand, combined with robust shifts in drought ...
Farhan Saleem, Arfan Arshad, Ali Mirchi, Tasneem Khaliq, Xiaodong Zeng, Md Masudur Rahman, Adil Dilawar, Quoc Bao Pham, Kashif Mahmood   +8 more
doaj   +1 more source

Inhibition of post-termination ribosome recycling at premature termination codons in UPF1 ATPase mutants

eLife, 2020
Recognition and rapid degradation of mRNA harboring premature translation termination codons (PTCs) serves to protect cells from accumulating non-functional and potentially toxic truncated polypeptides. Targeting of PTC-containing transcripts is mediated
Lucas D Serdar, DaJuan L Whiteside, Sarah L Nock, David McGrath, Kristian E Baker   +4 more
doaj   +1 more source

Freedom of Will in Making a Termination Clause in Marriage [PDF]

مطالعات فقه و حقوق اسلامی, 2020
Although the jurisprudents of the Imamiah and consequently the civil code have forged and drived out a termination clause in the marriage contract from the autonomy of the parties’ will but the above view on the Imamiah and Iranian law conflicts with ...
Heydar Bagheri Asl, Saeideh Bagheri Asl
doaj   +1 more source

Control of MXenes’ electronic properties through termination and intercalation

Nature Communications, 2019
MXenes are an emerging family of highly-conductive 2D materials which have demonstrated state-of-the-art performance in electromagnetic interference shielding, chemical sensing, and energy storage.
J. Hart, Kanit Hantanasirisakul, A. Lang, B. Anasori, David Pinto, Y. Pivak, J. T. van Omme, S. May, Y. Gogotsi, M. Taheri   +9 more
semanticscholar   +1 more source

Termination of psychotherapy: The journey of ten psychoanalytic and psychodynamic therapists [PDF]

, 2011
Objectives: Literature on termination originates mainly from clinical and theoretical accounts as well as practitioners' autobiographical reports.
Fragkiadaki, E., Strauss, S. M.
core   +2 more sources