Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Subspace-based DOA estimation using Fractional Lower Order statistics

Direction Of Arrival (DOA) estimation, using a sensor array, in the presence of non-Gaussian noise using Fractional Lower-Order Moments (FLOM)matrices is studied. In this paper, a new FLOM based technique using the Fractional Lower Order Infinity Norm based Covariance (FLIC) Matrix is proposed. The bounded property and the low-rank subspace structure of the FLIC matrix is derived. Performance of FLIC based DOA estimation using MUSIC, ESPRIT, is shown to be better than other FLOM based methods.

Fuzzy Approach to Rank Global Climate Models

Eleven coupled model intercomparison project 3 based global climate models are evaluated for the case study of Upper Malaprabha catchment, India for precipitation rate. Correlation coefficient, normalised root mean square deviation, and skill score are considered as performance indicators for evaluation in fuzzy environment and assumed to have equal impact on the global climate models. Fuzzy technique for order preference by similarity to an ideal solution is used to rank global climate models. Top three positions are occupied by MIROC3, GFDL2.1 and GISS with relative closeness of 0.7867, 0.7070, and 0.7068. IPSL-CM4, NCAR-PCMI occupied the tenth and eleventh positions with relative closeness of 0.4959 and 0.4562.

Low-rank optimization on the cone of positive semidefinite matrices

We propose an algorithm for solving optimization problems defined on a subset of the cone of symmetric positive semidefinite matrices. This algorithm relies on the factorization X = Y Y T , where the number of columns of Y fixes an upper bound on the rank of the positive semidefinite matrix X. It is thus very effective for solving problems that have a low-rank solution. The factorization X = Y Y T leads to a reformulation of the original problem as an optimization on a particular quotient manifold. The present paper discusses the geometry of that manifold and derives a second-order optimization method with guaranteed quadratic convergence. It furthermore provides some conditions on the rank of the factorization to ensure equivalence with the original problem. In contrast to existing methods, the proposed algorithm converges monotonically to the sought solution. Its numerical efficiency is evaluated on two applications: the maximal cut of a graph and the problem of sparse principal component analysis. © 2010 Society for Industrial and Applied Mathematics.

Low-rank optimization with trace norm penalty

The paper addresses the problem of low-rank trace norm minimization. We propose an algorithm that alternates between fixed-rank optimization and rank-one updates. The fixed-rank optimization is characterized by an efficient factorization that makes the trace norm differentiable in the search space and the computation of duality gap numerically tractable. The search space is nonlinear but is equipped with a Riemannian structure that leads to efficient computations. We present a second-order trust-region algorithm with a guaranteed quadratic rate of convergence. Overall, the proposed optimization scheme converges superlinearly to the global solution while maintaining complexity that is linear in the number of rows and columns of the matrix. To compute a set of solutions efficiently for a grid of regularization parameters we propose a predictor-corrector approach that outperforms the naive warm-restart approach on the fixed-rank quotient manifold. The performance of the proposed algorithm is illustrated on problems of low-rank matrix completion and multivariate linear regression. © 2013 Society for Industrial and Applied Mathematics.

Descriptions and validation of the names of some high-rank syntaxa in the European Asplenietea trichomanis and Polypodietea

The paper presents the description of one new order (Asplenietalia septentrionalo-cuneifolii) and two new alliances (Arenarion bertolonii and Physoplexido comosae- Saxifragion petraeae). In addition, the syntaxon Asplenietalia lanceolato-obovati is here formally raised to the order level and the name Hypno-Polypodietalia vulgaris is validated.

Nomenclature and syntaxonomic notes on some high-rank syntaxa of the European grassland vegetation

We present descriptions of a new order (Ranunculo cortusifolii-Geranietalia reuteri and of a new alliance (Stachyo lusitanicae-Cheirolophion sempervirentis) for the herbaceous fringe communities of Macaronesia and of the southwestern Iberian Peninsula, respectively. A new alliance, the Polygalo mediterraneae-Bromion erecti (mesophilous post-cultural grasslands), was introduced for the Peninsular Italy. We further validate and typify the Armerietalia rumelicae (perennial grasslands supported by nutrient-poor on siliceous bedrocks at altitudes characterized by the submediterranean climate of central-southern Balkan Peninsula), the Securigero-Dasypyrion villosae (lawn and fallow-land tall-grass annual vegetation of Italy), and the Cirsio vallis-demoni-Nardion (acidophilous grasslands on siliceous substrates of the Southern Italy). Nomenclatural issues (validity, legitimacy, synonymy, formal corrections) have been discussed and clarified for the following names: Brachypodio-Brometalia, Bromo pannonici-Festucion csikhegyensis, Corynephoro-Plantaginion radicatae, Heleochloion, Hieracio-Plantaginion radicatae, Nardetea strictae, Nardetalia strictae, Nardo-Callunetea, Nardo-Galion saxatilis, Oligo-Bromion, Paspalo-Heleochloetalia, Plantagini-Corynephorion and Scorzoneret alia villosae. 

The Perception of Smile Attractiveness Variations from Esthetic Norms, Photographic Framing and Order of Presentation

Objectives: To evaluate the attractiveness of a smile according to variations from esthetic norms, photographic framing, and the order of the presentation of photographs.Materials and Methods: A photograph of an individual was selected and digitally manipulated to create the following smiles: an ideal control smile (I), a smile with diastema (D1), a smile with midline deviation (LM3), a smile with deviation from the long axes of the lateral incisors (10D), and a smile with an inverted smile arc (LSRV). The manipulated photographs were developed in framings of the face and of the mouth and evaluated by 20 laypeople. For half the evaluators, the presentation started with facial photographs and, for the other half, the presentation began with the mouth shots. Evaluators were asked to rank the photographs from the least to the most attractive; then, each photograph was awarded a mark (scale of 0.0 to 10.0).Results: In both presentations, the smiles I, LM3, 10D, and LSRV received favorable ratings, whereas the D1 smile got poor ratings. The photographic framings used (face vs mouth) and the order of presentation of the photographs did not influence the rankings.Conclusion: The absence of variations from beauty norms of a smile has a positive impact on its esthetic perception, but variations from the norms do not necessarily result in reduced attractiveness. (Angle Orthod. 2009;79:634-639.)

Analysis of various conditions in order to measure electromyography of isometric contractions in water and on air

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Judd-Ofelt analysis of Pr3+ ions in fluoroindate glasses: Influence of odd third order intensity parameters

In this work an analysis of the Judd-Ofelt phenomenological Ωλ intensity parameters for the Pr3+ ion in fluoroindate glass is made. Different Pr3+ concentrations, namely 1, 2, 3 and 4 mol% are used. The experimental oscillator strengths have been determined from the absorption spectra. A consistent set of parameters is obtained only with the inclusion of odd rank third order intensity parameters and if the band at 21 470 cm-1 is assigned to the 3H4 → 3P1 transition and the 1I6 component is incorporated in the 3H4 → 3P2 transition at 22 700 cm-1.

Massive spin-2 particle from a rank-2 tensor

Here we obtain all possible second-order theories for a rank-2 tensor which describe a massive spin-2 particle. We start with a general second-order Lagrangian with ten real parameters. The absence of lower-spin modes and the existence of two local field redefinitions leads us to only one free parameter. The solutions are split into three one-parameter classes according to the local symmetries of the massless limit. In the class which contains the usual massive Fierz-Pauli theory, the subset of spin-1 massless symmetries is maximal. In another class where the subset of spin-0 symmetries is maximal, the massless theory is invariant under Weyl transformations and the mass term does not need to fit into the form of the Fierz-Pauli mass term. In the remaining third class neither the spin-1 nor the spin-0 symmetry is maximal and we have a new family of spin-2 massive theories. © 2013 American Physical Society.

Application of Local Rank Tests for Nonparametric Regression

Let Y_i = f(x_i) + E_i\ (1\le i\le n) with given covariates x_1\lt x_2\lt \cdots\lt x_n , an unknown regression function f and independent random errors E_i with median zero. It is shown how to apply several linear rank test statistics simultaneously in order to test monotonicity of f in various regions and to identify its local extrema.

Higher order elicitability and Osband’s principle

A statistical functional, such as the mean or the median, is called elicitable if there is a scoring function or loss function such that the correct forecast of the functional is the unique minimizer of the expected score. Such scoring functions are called strictly consistent for the functional. The elicitability of a functional opens the possibility to compare competing forecasts and to rank them in terms of their realized scores. In this paper, we explore the notion of elicitability for multi-dimensional functionals and give both necessary and sufficient conditions for strictly consistent scoring functions. We cover the case of functionals with elicitable components, but we also show that one-dimensional functionals that are not elicitable can be a component of a higher order elicitable functional. In the case of the variance, this is a known result. However, an important result of this paper is that spectral risk measures with a spectral measure with finite support are jointly elicitable if one adds the “correct” quantiles. A direct consequence of applied interest is that the pair (Value at Risk, Expected Shortfall) is jointly elicitable under mild conditions that are usually fulfilled in risk management applications.

Hydroxyl functionalities of middle rank british coals

Most of the new processes involving the utilisation of coal are based on hydroliquefaction, and in order to assess the suitability of the various coals for this purpose and to characterise coals in general, it is desirable to have a detailed and accurate knowledge of their chemical constitution and reactivity. Also, in the consumption of coals as chemical feed stocks, as in hydroliquefaction, it is advantageous to classify the coals in terms of chemical parameters as opposed to, or in addition to, carbonisation parameters. In view of this it is important to realise the functional groups on the coal hydrocarbon skeleton. In this research it was attempted to characterise coals of various rank (and subsequently their macerals) via methods involving both microwave-driven and bench top derivatisation of the hydroxyl functionalities present in coal. These hydroxyl groups are predominantly in the form of hindered phenolic groups, with other alcoholic groupings being less important, in the coals studied here. Four different techniques were employed, three of which - stannylation, silylation and methylation - were based on in situ analysis. The fourth technique - acetylation - involved derivatisation followed by analysis of a leaving group. The four different techniques were critically compared and it is concluded that silylation is the most promising technique for the evaluation of the hydroxyl content of middle rank coals and coal macerals. Derivatisation via stannylation using TBTO was impeded due to the large steric demand of the reagent and acetylation did not successfully derivatise the more hindered phenolic groups. Three novel methylation techniques were investigated and two of these show great potential. The information obtained from the techniques was correlated together to give a comprehensive insight into the coals and coal macerals studied.