A Mathematical Apparatus for Domain Ontology Simulation. Logical Relationship Systems

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

Mathematical Models of Domain Ontologies

* This paper was made according to the program No 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project "Intellectual Systems Based on Multilevel Domain Models".

Piaget segundo seus próprios argumentos

Neste artigo tivemos a intenção de oferecer ao leitor o resumo de um dos aspectos mais importantes da análise estrutural que realizamos, durante décadas, do texto de Jean Piaget, sobretudo as estreitas relações entre a Biologia e a Lógica na construção e na explicação do conhecimento científico. Nesse sentido, procuramos demonstrar que, a partir dos conceitos de implicação significante e de imagem mental criados por Piaget, um novo campo de investigações se abre, a saber, aquele que denominamos como o dos sistemas de significação não lógica, campo de suma relevância e que vem preencher uma secular lacuna entre a razão e a emoção até hoje presente nas pesquisas sobre os fenômenos normais e patológicos do psiquismo.

An Analysis of Some Relations Among Domain Ontologies

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

Development of appropriateness criteria for the surgical treatment of symptomatic lumbar degenerative spondylolisthesis (LDS).

PURPOSE: Spine surgery rates are increasing worldwide. Treatment failures are often attributed to poor patient selection and inappropriate treatment, but for many spinal disorders there is little consensus on the precise indications for surgery. With an aging population, more patients with lumbar degenerative spondylolisthesis (LDS) will present for surgery. The aim of this study was to develop criteria for the appropriateness of surgery in symptomatic LDS. METHODS: A systematic review was carried out to summarize the current level of evidence for the treatment of LDS. Clinical scenarios were generated comprising combinations of signs and symptoms in LDS and other relevant variables. Based on the systematic review and their own clinical experience, twelve multidisciplinary international experts rated each scenario on a 9-point scale (1 highly inappropriate, 9 highly appropriate) with respect to performing decompression only, fusion, and instrumented fusion. Surgery for each theoretical scenario was classified as appropriate, inappropriate, or uncertain based on the median ratings and disagreement in the ratings. RESULTS: 744 hypothetical scenarios were generated; overall, surgery (of some type) was rated appropriate in 27 %, uncertain in 41 % and inappropriate in 31 %. Frank panel disagreement was low (7 % scenarios). Face validity was shown by the logical relationship between each variable's subcategories and the appropriateness ratings, e.g., no/mild disability had a mean appropriateness rating of 2.3 ± 1.5, whereas the rating for moderate disability was 5.0 ± 1.6 and for severe disability, 6.6 ± 1.6. Similarly, the average rating for no/minimal neurological abnormality was 2.3 ± 1.5, increasing to 4.3 ± 2.4 for moderate and 5.9 ± 1.7 for severe abnormality. The three variables most likely (p < 0.0001) to be components of scenarios rated "appropriate" were: severe disability, no yellow flags, and severe neurological deficit. CONCLUSION: This is the first study to report criteria for determining candidacy for surgery in LDS developed by a multidisciplinary international panel using a validated method (RAM). The panel ratings followed logical clinical rationale, indicating good face validity. The work refines clinical classification and the phenotype of degenerative spondylolisthesis. The predictive validity of the criteria should be evaluated prospectively to examine whether patients treated "appropriately" have better clinical outcomes.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

SAFE: A Declarative Trust-Agile System with Linked Credentials

Secure Access For Everyone (SAFE), is an integrated system for managing trust

using a logic-based declarative language. Logical trust systems authorize each

request by constructing a proof from a context---a set of authenticated logic

statements representing credentials and policies issued by various principals

in a networked system. A key barrier to practical use of logical trust systems

is the problem of managing proof contexts: identifying, validating, and

assembling the credentials and policies that are relevant to each trust

decision.

SAFE addresses this challenge by (i) proposing a distributed authenticated data

repository for storing the credentials and policies; (ii) introducing a

programmable credential discovery and assembly layer that generates the

appropriate tailored context for a given request. The authenticated data

repository is built upon a scalable key-value store with its contents named by

secure identifiers and certified by the issuing principal. The SAFE language

provides scripting primitives to generate and organize logic sets representing

credentials and policies, materialize the logic sets as certificates, and link

them to reflect delegation patterns in the application. The authorizer fetches

the logic sets on demand, then validates and caches them locally for further

use. Upon each request, the authorizer constructs the tailored proof context

and provides it to the SAFE inference for certified validation.

Delegation-driven credential linking with certified data distribution provides

flexible and dynamic policy control enabling security and trust infrastructure

to be agile, while addressing the perennial problems related to today's

certificate infrastructure: automated credential discovery, scalable

revocation, and issuing credentials without relying on centralized authority.

We envision SAFE as a new foundation for building secure network systems. We

used SAFE to build secure services based on case studies drawn from practice:

(i) a secure name service resolver similar to DNS that resolves a name across

multi-domain federated systems; (ii) a secure proxy shim to delegate access

control decisions in a key-value store; (iii) an authorization module for a

networked infrastructure-as-a-service system with a federated trust structure

(NSF GENI initiative); and (iv) a secure cooperative data analytics service

that adheres to individual secrecy constraints while disclosing the data. We

present empirical evaluation based on these case studies and demonstrate that

SAFE supports a wide range of applications with low overhead.

Relationship between the southern annular mode and southern hemisphere atmospheric systems

Seasonal relationship between the Southern Annular Mode (SAM) and the spatial distribution of the cyclone systems over Southern Hemisphere is investigated for the period 1980 to 1999. In addition, seasonal frontogenesis and rainfall distribution over South America and South Atlantic Ocean during different SAM phases were also analyzed. It is observed that during negative SAM phases the cyclone trajectories move northward when compared to the positive one, and in the South America and South Atlantic sector there is intense frontogenetic activity and positive anomaly precipitation over the Southeast of the South America. In general, SAM positive phase shows opposite signals.

Organizational culture influence on information quality - use of business intelligence systems relationship: portuguese context

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

An explaratory study on the relationship between Employee innovation and the rewards systems supporting innovation ; a case study of Medtronic Galway

The aim of this thesis is to explore the relationship between innovation and reward system supporting innovation. The empirical evidence came from a case study in Medtronic, Galway, a medical device company. This study incorporates the literature surrounding innovation and rewards and will attempt to identify a link both theoretically and practically between both.

Relationship of mating systems and metabolic rate with cycle length of spermatogenesis and sperm production rate in shrews

SUMMARY : The shrews are among the most ancient of living eutherian mammals. They represent an interesting comparative model because of their extreme divergent species. The two shrew subfamilies, Soricinae and Crocidurinae are characterized by fundamental differences concerning their metabolic rates, litter size, period of gestation and different mating pattern. In this study we established and compared the sperm characteristics in four species of different genera of shrews (Sorex araneus, Neomys fodiens, Crocidura russula and Suncus murinus) in the context of the sperm competition hypothesis. The sperm competition concerns the competition between ejaculates of different males for fertilization of ova of a female within a single estrus period. As expected, a greater relative testis size (indicating the importance of polyandry) was associated with a higher number of cauda epididymal spermatozoa, higher level of circulating testosterone and a higher percentage of progressive sperm motility. In addition, we investigated if the basal metabolic rate (BMR) and relative testis size (RTS) may be correlated with the cycle length of spermatogenesis. In this purpose, we determined and compared the cycle length of spermatogenesis in six species of shrews belonging to two subfamilies: Soiricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) and Crocidurinae (Crocidura russula, Sunctes murinus). Our results indicate that sperm competition and metabolic rate may act independently or together reducing cycle length of spermatogenesis and thus increase sperm production. We finally investigated this correlation across 32 mammalian species. After testing the data for phylogenetic independence, our results showed that BMR explained only 21 % of the variation, while the RTS explained 44% of the variation of the cycle length of spermatogenesis. The level of the sperm competition, indicated by RTS, is thus to our knowledge the most important factor influencing the speed of spermatogenesis in mammals. RESUME : Les musaraignes sont parmi les plus anciens mammifères vivants. Grâce à leurs extrêmes divergences, ils sont souvent utilisés comme modèles dans des études comparatives. Les deux sous-familles Soricinae et Crocidurinae sont caractérisées par des différences fondamentales, notamment en termes d'intensité du métabolisme, des stratégies de reproduction et du comportement social. Dans la première partie de cette étude, nous avons établi et comparé certaines "caractéristiques des spermatozoïdes chez quatre espèces de musaraignes appartenant à des genres différents (Sorex araneus, Neomys fodiens, Crocidura russula et Suncus murinus). Les résultats ont été interprétés dans le contexte de la théorie de la compétition spermatique, c'est-à-dire la compétition entre le sperme de deux ou plusieurs mâles pour féconder un maximum d'ovules de la même femelle. Cette compétition spermatique peut amener à certaines adaptations biologiques afin de produire plus de sperme. Comme attendu, une grande taille relative des testicules est associée à un nombre élevé de spermatozoïdes, dont la majorité présente une mobilité progressive. Un taux élévé de testostérone a également été observé. De plus, nous avons étudié l'influence du métabolisme basal ainsi que l'intensité de la compétition spermatique sur la durée du cycle de la spermatogenèse. Dans ce but, nous avons déterminé et comparé les durées de la spermatogenèse chez six espèces de musaraignes appartenant à deux sous-familles : Soricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) et Crocidurinae (Crocidura russula, Suncus murinus). Les résultats obtenus indiquent que ces deux facteurs (l'intensité du métabolisme basal et de la compétition spermatique) agissent d'une manière dépendante ou indépendante dans le même sens. La conséquence de ces actions est une diminution de la durée de la spermatogenèse entraînant une augmentation de la production de spermatozoïdes. Nous avons finalement étudié ce phénomène dans l'ensemble des mammifères. Après avoir testé l'indépendance phylogénétique, nos résultats montrent que l'intensité de la compétition spermatique indiquée par le RTS est mieux corrélée avec la régulation de la durée de la spermatogenèse qu'avec l'intensité du métabolisme.