Results 41 to 50 of about 29,860 (193)
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
Formation and stability of Fe-rich terminations of the Fe3O4(001) surface
Materials Research Express, 2023 Understanding how the structure of iron oxide surfaces varies with their environment is essential for rationalizing their role in (geo-)chemistry and optimizing their application in modern technologies. In this paper, we create Fe-rich terminations of Fe
Oscar Gamba +8 more
doaj +1 more source
Reform of Plan Termination in Suspension of Debt Payment Obligations (PKPU) in Indonesia
Yuridika, 2021 The bankruptcy law exists to ensure justice for both creditors and debtors. This research aims at identifying matters needed to be reformed in bankruptcy law in Indonesia to create justice for creditors and debtors. Specifically, this research focused on
Farih Romdoni Putra
doaj +1 more source
Single-Molecule Imaging Uncovers Rules Governing Nonsense-Mediated mRNA Decay
Molecules and Cells, 2019 Summary Nonsense-mediated decay (NMD) is a surveillance system that degrades mRNAs containing a premature termination codon (PTC) and plays important roles in protein homeostasis and disease.
Tim A. Hoek +7 more
semanticscholar +1 more source
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
A complete rule for equifair termination
Journal of Computer and System Sciences, 1986 The notion of equifairness, strengthening the familiar notion of fairness, is introduced as a scheduling policy of nondeterminism and concurrency. Under this notion, it is infinitely often the case that the number of selections of each of a family of infinitely often jointly enabled processes is equal.
Grumberg, Orna +2 more
openaire +2 more sources
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
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
Employment Termination from the Point of View of Good Morals [PDF]
Societas et Iurisprudentia, 2015 The present paper deals with the issue of invalidity of employment termination, where the employment is terminated on the basis of a legal act, and where the non-compliance with good morals applies.
Andrea Olšovská, Miriam Laclavíková
doaj