Results 11 to 20 of about 185,172 (275)
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2014 The best-in-class companies are able to retrieve 64 per cent of the original value of reverse flows, whereas it is only 12.5 per cent in average companies. Thus, reverse logistics is a challenge that may bring additional benefits.
Radoslav Škapa
doaj +1 more source
A Formal Executable Semantics of Verilog [PDF]
, 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +1 more source
EXTENDING LEAN CELLULAR AUTOMATA FRAMEWORK – BOUNDARY CONDITIONS AND PROPERTIES OF CANONICAL FORMS [PDF]
Acta Electrotechnica et Informatica, 2020 We present several extensions to our Lean–based formal mechanized framework for computing with cellular automata (CA). First we extend the definition of CAs to allow for specification of arbitrary boundary conditions.
Frantisek SILVASI, Martin TOMASEK
doaj +1 more source
FIQH KEINDONESIAAN: Transformasi Hukum Islam Dalam Sistem Tata Hukum Di Indonesia
Analisis, 2017 INDONESIAN JURISPRUDENCE: ISLAMIC LAW TRANSFORMATION IN LAW SYSTEM OF INDONESIA.: This study discusses about the idea of Islamic law renewal in Indonesia, as well as the figures, and it makes the term of Indonesian Jurisprudence ...
Chamim Tohari
doaj +1 more source
The effect of insurance industry deregulation on insurance companies' organizational structure [PDF]
Iranian Journal of Insurance Research, 2013 The current research is based on the hypothesis that deregulation as a change factor or independent variable has an effect on the organizational structure of insurance companies as a dependent variable.
A.R. Shirani, S. Sehat, F. Tomzar
doaj +1 more source
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire +1 more source
Microthermodynamic formalism [PDF]
Physical Review E, 2001 We consider the microcanonical ensemble of a classical Hamiltonian dynamical system, the Hamiltonian being parameter dependent and in the possible presence of other first integrals. We describe a thermodynamic formalism in which a first law of thermodynamics, or fundamental relation, is based upon the bulk-entropy, S(Omega). Under an ergodic hypothesis,
openaire +2 more sources
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source
Template for a Hypothesis Description paper [PDF]
Research Ideas and OutcomesHypothesis Descriptions are a type of manuscript dedicated to the formal description of a hypothesis, as introduced in an accompanying editorial and an examplary Hypothesis Description for the Enemy Release Hypothesis that is used in invasion biology ...
Tina Heger +2 more
doaj +3 more sources
Advances in Mathematics, 2018 We show that Willwacher's cyclic formality theorem can be extended to preserve natural Gravity operations on cyclic multivector fields and cyclic multidifferential operators. We express this in terms of a homotopy Gravity quasi-isomorphism with explicit local formulas.
Campos, Ricardo, Ward, Benjamin
openaire +5 more sources