Results 51 to 60 of about 33,744 (283)
Rescission of Contract and Termination by Notice Concerning Labour Law Relations [PDF]
Societas et Iurisprudentia, 2017 Withdrawal from contract as well as termination by notice is a civil law mechanism, realisation of which leads to termination of the affected contractual relationship.
Andrea Olšovská, Marianna Novotná
doaj
Faithful (meta-)encodings of programmable strategies into term rewriting systems [PDF]
Logical Methods in Computer Science, 2017 Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con ...
Horatiu Cirstea +2 more
doaj +1 more source
GenClass: A parallel tool for data classification based on Grammatical Evolution
SoftwareX, 2021 A genetic programming tool is proposed here for data classification. The tool is based on Grammatical Evolution technique and it is designed to exploit multicore computing systems using the OpenMP library. The tool constructs classification programs in a
Nikolaos Anastasopoulos +2 more
doaj +1 more source
On termination of one rule rewrite systems
Theoretical Computer Science, 1994 AbstractThe undecidability of the termination of rewrite systems is usually proved by reduction to the halting of Turing machines. In particular, Dauchet proves the undecidability of the termination of one rule rewrite systems by coding Turing machines into one rule rewrite systems.
openaire +2 more sources
Is it possible to terminate resuscitation in accordance with the termination of resuscitation rule? [PDF]
Journal of Thoracic Disease, 2016 We appreciate the interests of Bernhard et al . and Yoon et al . regarding our article in Critical Care, which showed a high false-positive rate (FPR) for the termination of resuscitation (TOR) rules in patients with out-of-hospital cardiac arrest (OHCA) with a non-cardiac etiology (1).
openaire +2 more sources
FEBS 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
From nominal to higher-order rewriting and back again [PDF]
Logical Methods in Computer Science, 2015 We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction systems (CRSs), transforming closed nominal rules and ground nominal terms to CRSs rules and terms, respectively, while preserving the rewriting relation. We
Jesús Domínguez, Maribel Fernández
doaj +1 more source
FEBS 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
Improving Termination Analysis of Active Rules with Composite Events
, 2001 . This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph.
Alain Couchot
core +1 more source
Equilibrium and Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuous-time Markov chain presented as a set of Kappa graph-rewriting rules has ...
Nicolas Oury, Vincent Danos
doaj +1 more source