Search results for "reason"

Learning small programs with additional information

1997

This paper was inspired by [FBW 94]. An arbitrary upper bound on the size of some program for the target function suffices for the learning of some program for this function. In [FBW 94] it was discovered that if “learning” is understood as “identification in the limit,” then in some programming languages it is possible to learn a program of size not exceeding the bound, while in some other programming languages this is not possible.

The power of procrastination in inductive inference: How it depends on used ordinal notations

1995

We consider inductive inference with procrastination. Usually it is defined using constructive ordinals. For constructive ordinals there exist many different systems of notations. In this paper we study how the power of inductive inference depends on used system of notations.

Following the Money: Revenue Stream Constituents in Case of Within-firm Variation

2014

The idea of this paper stems from the perception that the concept of revenue stream requires clarification and further division to be applicable to businesses with high internal variation in their methods of capturing revenue. Current study sets out to investigate the concept of revenue stream through an overview of previous literature and a case study to demonstrate how revenue streams of a b2b (business-to-business) software service firm can be analyzed by elaborating the concept further. The aim is to answer the following research questions: 1) What are the relevant constituents of the revenue stream concept within a b2b software services firm? 2) How revenue stream as part of the busine…

L'interpretazione dei trattati che determinano frontiere

2015

L'articolo intende dimostrare che l'interpretazione dei trattati che determinano frontiere presenta interessanti differenze rispetto alle regole codificate nella Convenzione di Vienna. Più precisamente. per quanto concerne gli effetti giuridici, i trattati in materia di fontiere sono stati interpretati secondo le direttive metodologiche indicate nella Convenzione di Vienna, attribuendo peraltro una certa importanza al principio della "stabilità delle frontiere". Un approccio diverso è generalmente adottato invece per quanto riguarda l'interpretazione delle clausole che definiscono le frontiere dal punto di vista del loro contenuto. In primo luogo, il principio della stabilità delle frontier…

A free plate model can predict guided modes propagating in tubular bone-mimicking phantoms

2014

The goal of this work was to show that a non-absorbing free plate model can predict with a reasonable accuracy guided modes measured in bone-mimicking phantoms that have circular cross-section. Experiments were carried out on uncoated and coated phantoms using a clinical axial transmission setup. Adjustment of the plate model to the experimental data yielded estimates for the waveguide characteristics (thickness, bulk wave velocities). Fair agreement was achieved over a frequency range of 0.4 to 1.6 MHz. A lower accuracy observed for the thinnest bone-mimicking phantoms was caused by limitations in the wave number measurements rather than by the model itself.

Inductive inference of recursive functions: Qualitative theory

2005

This survey contains both old and very recent results in non-quantitative aspects of inductive inference of total recursive functions. The survey is not complete. The paper was written to stress some of the main results in selected directions of research performed at the University of Latvia rather than to exhaust all of the obtained results. We concentrated on the more explored areas such as the inference of indices in non-Goedel computable numberings, the inference of minimal Goedel numbers, and the specifics of inference of minimal indices in Kolmogorov numberings.

Domestic violence against women as a reason to sanctification in Byzantini hagiography

2018

Aportaciones documentales sobre cruces de orfebrería valencianas. Siglos XIV y XV

2020

The article intends to make a contribution of new documentary references, from the notarial funds of the Valencian archives, in which news about parish crosses and Lignum Crucis from the silversmith center of Valencia during the fourteenth and fifteenth centuries are collected. The importance of these typologies lies in being the main elements of Christian worship, so it was an essential piece in each parish that allowed the provision in them of models of varied typology and functionality; for that reason they are conserved from altar crosses, cross-shaped reliquaries ?known as Lignum Crucis or Veracruz ?to processional crosses, larger and representative of the parish community to which it …

Agency in the Space of Reasons. A comment on *The Castle*

2021

The received view regards the agent's experience and the external world as split by an unsurmountable metaphysical gulf; while an agent's desires belong to the inner and motivate her to act in one or another way, the outer is presented as a domain deprived of any evaluative properties. *In the Retrieval of Ethics*, Talbot Brewer argues that we can hardly make sense of our agency if the inner and the outer are thus kept apart, since an agent's motivations must be sensitive to the good and the good must be placed on the outside; it must be experienced as something she confronts. In this paper, I will stress that, in *The Castle*, there is no way in which K. might succeed in separating the inn…

Demonstration of Semantic Web-based Medical Ontologies and Clinical Decision Support Systems

2016

Master's thesis in Information- and communication technology IKT590 - University of Agder 2016 Konfidensiell til / confidential until 01.01.2022