Results 11 to 20 of about 4,890,988 (268)
Due to its deep connection with international law and the requirement to register patents in every country where protection of an invention is sought, patent law requires an immense number of translations every year. Nevertheless, considerable diversity
Мария Викторовна Бумакова
doaj +1 more source
Proofs as Terms, Terms as Graphs
Starting from an encoding of untyped λ-terms with sharing, defined using synthetic inference rules based on a focused proof system for Gentzen's LJ, we introduce the positive λ-calculus, a call-by-value calculus with explicit substitutions. This calculus is closely related to Accattoli and Paolini's value substitution calculus but has a different style
openaire +2 more sources
Despite growing effort to advance materials towards a low fibrotic progression, all implants elicit adverse tissue responses. Pre-clinical biomaterial assessment relies on animals testing, which can be complemented by in vitro tests to address the ...
Maren Jannasch +5 more
doaj +1 more source
Background Equity in medical resource utilization is a crucial concern in countries with national health insurance systems. From the perspective of an active aging framework, public health insurance is one of the pillars of economic security, as ...
Chiao-Lee Chu +6 more
doaj +1 more source
Palliative Care Consultation Reduces Heart Failure Transitions: A Matched Analysis
Background Palliative care supports quality of life, symptom control, and goal setting in heart failure (HF) patients. Unlike hospice, palliative care does not restrict life‐prolonging therapy.
Michelle S. Diop +6 more
doaj +1 more source
Purpose. The objective of the study is to clarify the criminal law issues related to the determination of the terms of deprivation of the right to hold certain positions or engage in certain activities as a special type of punishment.
Popovych O., Tomash L.
doaj +1 more source
Sense and reference in the process of nomination [PDF]
"In the present article, the actual problem of modern linguistics is considered – the process of nomination, through the interaction of such factors as meaning and reference, as well as their influence on the process is under consideration.
Aleshkevich Sergey S.
doaj +1 more source
Distribution Price on Terms In Imamiye Jurisprudence [PDF]
The terms of contract plays an important role in defining, disclosing or limiting rights and obligations of the parties to the contract and the object of condition is effective in increasing and decreasing the value and price of transaction. In the event
Seyed Abolghasem Naghibi +1 more
doaj +1 more source
P-term, D-term and F-term inflation [PDF]
P-term inflation is a version of hybrid inflation which naturally appears in some brane inflation models. It was introduced in the framework of N=2 supersymmetric gauge theory where superconformal SU(2,2|2) symmetry is broken down to N=2 supersymmetry by the vev of the auxiliary triplet field P.
Kallosh, Renata, Linde, Andrei
openaire +2 more sources

