Results 11 to 20 of about 441,303 (257)
Reduction and Refinement [PDF]
Electronic Notes in Theoretical Computer Science, 2008 In this paper we explore the relation between refinement and reduction, especially as it is used in the context of cryptography. We show how refinement is a special case of reduction, and more interestingly, how reduction is an instance of a novel generalisation, ''refinement with context''.
Eerke A. Boiten, Dan Grundy
openaire +1 more source
State space c-reductions for concurrent systems in rewriting logic [PDF]
, 2011 We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system.
Lluch-Lafuente, Alberto +8 more
core +1 more source
Facilitations in Paying Social Security Contributions – Terminological Issues
Prawo Budżetowe Państwa i Samorządu, 2014 The provides an analysis of the term “reductions” in reference to paying contributions. It has been indicated that social insurance debt write offs are not recognized as reductions. Moreover, the author proposes a modification of the term “the mechanisms
Jacek Wantoch-Rekowski
doaj +1 more source
Frontiers in Sustainability, 2021 This paper compares the carbon footprint effects of a voluntary real lab with those of the involuntary “real lab” provided by the lockdowns during the recent Corona crisis.
Fritz Reusswig +3 more
doaj +1 more source
Science of Computer Programming, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Doornbos, H., Backhouse, R.C.
openaire +3 more sources
Approximate symmetries of the perturbed KdV-KS equation [PDF]
Iranian Journal of Numerical Analysis and OptimizationThe analysis of approximate symmetries in perturbed nonlinear partial differential equations $(PDEs)$ stands as a cornerstone for unraveling complex physical behaviors and solution patterns.
A. Mohammadpouri +3 more
doaj +1 more source
Reductions for Entrepreneurs in Health Insurance Contributions
Prawo Budżetowe Państwa i Samorządu, 2014 This paper describes the reductions for entrepreneurs in health insurance contributions. Only entrepreneurs from specific social groups can take advantage of said reductions. They apply only to people retired, on pensions or handicapped.
Paweł Lenio
doaj +1 more source
Polytypic Functions Over Nested Datatypes [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed.
Ralf Hinze
doaj +1 more source
Abbreviated appelatives as independent modifications of abbreviations
Russian Language Studies, 2020 The paper is devoted to compound abbreviated appellatives, i.e. non-initial common abbreviations, related to the collocations by means of “spontaneous” formation (in diachrony) and/or motivation (in synchrony).The relevance of the investigation is ...
Vyacheslav I. Terkulov
doaj +1 more source
Engenharia Agrícola, 2010 Objetivou-se avaliar a adição de inóculo na biodigestão anaeróbia de dejetos de vacas leiteiras reciclados em biodigestores bateladas pela quantidade de biogás produzida, pela redução dos sólidos voláteis e pelos potenciais de produção de biogás para ...
Cristiane de A. N Xavier +1 more
doaj +1 more source