Results 41 to 50 of about 479,379 (269)

A Jurisprudential and Legal Study of the Effect of Termination Compared to Previous Contracts [PDF]

open access: yesآموزه‌‌های فقه مدني, 2020
Traditionally, one of the distinguishing features of termination and annulment of a contract is considered to be that annulment makes the contract ineffective from the beginning, and termination has no effect on the past and makes the contract ...
Mahdi Chegeni   +1 more
doaj  

Structural instability impairs function of the UDP‐xylose synthase 1 Ile181Asn variant associated with short‐stature genetic syndrome in humans

open access: yesFEBS Letters, EarlyView.
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li   +2 more
wiley   +1 more source

Alman Federal İş Mahkemesi'nin 2 AZR 596/20 No’lu ve 20 Mayıs 2021 Tarihli Kararı

open access: yesTürk-Alman Üniversitesi Hukuk Fakültesi Dergisi, 2022
Kişinin Kimin Önünde ve Hangi Durumda Kıyafetini Çıkaracağına Karar Verme Hakkını Hiçe Sayarak İşyerinde Cinsel Organının Ortaya Çıkarılmasının Genel Eşit Muamele Kanunu'nun (AGG) 3. Maddesi 4.
Pelin Kurşat
doaj  

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

open access: yesFEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Method of marks for propositional linear temporal logic

open access: yesLietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

Tau acetylation at K331 has limited impact on tau pathology in vivo

open access: yesFEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto   +3 more
wiley   +1 more source

Property rights of creditors of a legal entity that is in the process of termination

open access: yesТеорія і практика правознавства, 2018
The article reveals the problem of protection of the rights of creditors upon termination of a legal entity through its reorganization. Since the contractual relationship is an obligation, the property right of the creditor is the right to demand from ...
O. A. Surzhenko
doaj   +1 more source

Termination for the reason of breach of contract (Primary Termination) [PDF]

open access: yesمطالعات فقه و حقوق اسلامی, 2014
Breach of contract, if it be fundamental, almost in all legal systems of world (national or extra-national), is cause of termination right for the other party.
A. Daroui
doaj   +1 more source

Termination of Palliative Chemotherapy Near the End of Life: A Retrospective Study of Gastrointestinal Cancer Patients

open access: yesPalliative Medicine Reports, 2023
Background: Palliative chemotherapy is commonly used for advanced cancer patients. The timing of chemotherapy termination is crucial for efforts to maintain quality of life.
Yoshifumi Matsumoto   +8 more
doaj   +1 more source

Termination Analysis by Learning Terminating Programs [PDF]

open access: yes, 2014
We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso. The analysis can "learn" a program from a termination proof for the lasso, a program that is terminating by ...
Matthias Heizmann   +2 more
openaire   +3 more sources

Home - About - Disclaimer - Privacy