Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.

External brand extensions impact on Diesel's brand image

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

File-based post-processing of DNS results for turbulent flames using MATLAB

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2015

Investigating polyhedra by oracles and analyzing simple extensions of polytopes

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Dissertation, 2016

Stridulatory file and calling song of two populations of the tropical bush cricket Eneoptera surinamensis (Orthoptera, Gryllidae, Eneopterinae)

This study characterizes the calling song and ultramorphology of the stridulatory file of two geographically isolated populations of the tropical bush cricket Eneoptera surinamensis (De Geer, 1773) from city of Foz do Iguaçu, state of Paraná, and town of Rio Claro, state of São Paulo, Brazil, distant 1,000 Km from each other. The teeth are shell-shaped, the larger ones are distributed in the medium region of the file, decreasing gradually in size towards the edges. Specimens from Foz do Iguaçu have a file with 82 ± 9.8 teeth, length=1.89 mm ± 0.15 with 43.76 ± 5.94 teeth per mm (n=15). Specimens from Rio Claro present a file with 87 ± 9.81, length=1.96 ± 0.19 mm with 44.52 ± 4.61 teeth per mm (n=15). Statistical differences found between the two populations are not significant. The calling song is an uninterrupted trill that alternates two sets of notes distinct for its temporal features.

Algebraic extensions in free groups

The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were given. We develop a theory of algebraic extensions for free groups, highlighting the analogies and differences with respect to the corresponding classical fieldt heoretic notions, and we discuss in detail the notion of algebraic closure. We apply that theory to the study and the computation of certain algebraic properties of subgroups (e.g. being malnormal, pure, inert or compressed, being closed in certain profinite topologies) and the corresponding closure operators. We also analyze the closure of a subgroup under the addition of solutions of certain sets of equations.

Galois extension of CP-Graded ring extensions

In this paper, we investigate galois theory of CP-graded ring extensions. In particular, we generalize some galois results given in [1, 2] and, without restriction to nor graded fields nor torsion free of the grade groups, we show that some results of graded field extensions given in [3] hold.

Pure motives, mixed motives and extensions of motives associated to singular surfaces

We first recall the construction of the Chow motive modelling intersection cohomology of a proper surface X and study its fundamental properties. Using Voevodsky's category of effective geometrical motives, we then study the motive of the exceptional divisor D in a non-singular blow-up of X. If all geometric irreducible components of D are of genus zero, then Voevodsky's formalism allows us to construct certain one-extensions of Chow motives, as canonical subquotients of the motive with compact support of the smooth part of X. Specializing to Hilbert-Blumenthal surfaces, we recover a motivic interpretation of a recent construction of A. Caspar.

Orbit decidability and the conjugacy problem for some extensions of groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

Deux extensions de Théorèmes de Hamburger (portant sur l'équation fonctionnelle de la fonction dzêta)

We propose two types of extensions to Hamburger’s theorems on the Dirichlet series with functional equation like the one of the Riemann zeta function, under weaker hypotheses. This builds upon the dictionary betweeen the moderate meromorphic functions with functional equation and the tempered distributions with extended S-support condition.

Accidents and Safety - Ageing in Ireland Fact File No. 14

Accidents and SafetyAlthough the number of deaths caused by accidents has fallen by 37% across all age groups in Ireland over the past twenty years, accidents and falls continue to be relatively common causes of death and injury among older people, often resulting in serious longterm difficulties and even premature death. Consequently, the reduction of accidents in the older population is considered to be an important factor in promoting the general well-being of older people. The 1998 Health Promotion Strategy for Older People, Adding years to life, life to years, which was formulated by the National Council on Ageing and OlderPeople in co-operation with the Department of Health and Children, set a target to reduce the death rate from all accidents and their adverse effects in people aged 65 and over by at least 17% in the year 2005. It also set a target of reducing hospital admissions due to falls in people aged 65 and over by at least 17% in the same year.����