Emnet for dette bidraget er to runeformler fra ulike tidsepoker. De strukturelt nokså likt gjennomført ved enderim og “[v]ekslende initialer med faste repetisjoner” (Nordby 2018: 109). Den ene den velkjente þistill-mistill-kistill-formelen, som først opptrer på danske Gørlevsteinen rundt 800–850 e.Kr., andre yngre horn-þorn-korn-formelen, ristet inn i kalkpuss gotlandske kirker en blyamulett Kæ...

To investigate the effect of intrauterine positions on fetal growth throughout gestation, data from a total of 65 gilts (n = 784 fetuses) that were slaughtered at assigned days of gestation (d 43, 58, 73, 91, 101, and 108) on a project to evaluate fetal mineral deposition were used. Placenta units were removed from the uterus, and position, sex, weight, and crown-rump length (CRL) of each fetus...

Aging of bovine dung for 3-5 years under refrigeration resulted in smaller sizes of horn fly, Haematobia irritans (L.), pupae. Growth of horn fly larvae in mixtures of aged and fresh dung resulted in production of larvae and pupae stunted in proportion to the relative amount of aged dung. Reduction of size of pupae produced in aged dung was because of nutrient limitation, which was partially re...

Two patients with intraventricular hemorrhage (IVH) were treated by direct removal of their intraventricular hematomas via a high occipital transcortical approach with successful results. This approach lies between the parietooccipital transcortical approach and the occipital transcortical approach. The patients were a 90-year-old woman with idiopathic IVH and a 60-year-old man with hemorrhage ...

Unicornuate uterus with a rudimentary horn is the rarest congenital anatomic anomaly of the female genital system, causing many obstetrical and gynecologic complications. The frequency of this pathology is approximately 1/100 000. A rudimentary horn usually develops following insufficient development of mullerian ducts. These patients present with dysmenorrhea, dyspareunia, and chronic pelvic p...

Three cases of a form of focal hydrocephalus are described which the authors term "entrapment of the temporal horn". Obstruction of one lateral ventricle in the region of the trigone isolates the temporal horn. Continued secretion of cerebrospinal fluid within the temporal horn causes it to behave as a mass lesion. In the cases described the causes of the condition were recurrent glioma, previo...

Model-generation based theorem provers such as SATCHMO and MGTP suffer from a combinatorial explosion of the search space caused by clauses irrelevant to the goal (negative clause) to be solved. To avoid this, two typical methods have been proposed. One is relevancy testing implemented in SATCHMORE by Loveland et al., and the other is non-Horn magic sets that are the extension of Horn magic set...

The problem of Horn minimization can be stated as follows: given a Horn CNF representing a Boolean function f , nd a CNF representation of f which consists of a minimum possible number of clauses. This problem is the formalization of the problem of knowledge compression for speeding up queries to propositional Horn expert systems, and it is known to be NP-hard. In this paper we present a linear...

The class of q-Horn Boolean expressions, generalizing the important classes of quadratic, Horn, and disguised Horn formulae, has been introduced in Boros et al. (1990). It has been shown there that the satisfiability problem corresponding to a disjunctive normal form CJ is solvable in time, linear in the size of 4, if C$ is known to be q-Horn. However, the recognition of such formulae was based...

This paper presents an approach based on a Horn fragment of Concurrent Transaction Logic ( CT R) for semantic description and execution of programming languages. The Horn notation is used in much the same way that plain Horn logic is used to specify semantics of programming languages. However, CT R extends that framework a deductive database language which provides a declarative, logic programm...