Cooperative games with size-truncated information

[Eng] We study the marginal worth vectors and their convex hull, the socalled Weber set, from the original coalitional game and the transformed one, which is called the Weber set of level k. We prove that the core of the original game is included in each of the Weber set of level k, for any k, and that the Weber sets of consecutive levels form a chain if and only if the original game is 0-monotone. Even if the game is not 0-monotone, the intersection of the Weber sets for consecutive levels is always not empty, what is not the case for non-consecutive ones. Spanish education system.

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata

Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal μ-calculus extended with backwards modalities. In this paper, we present a very simple proof by way of Wadge games of the strictness of the hierarchy of Motowski indices of two-way alternating automata over trees.

Towards Machine Consciousness: Grounding Abstract Models as pi-Processes

We present a two-level model of concurrent communicating systems (CCS) to serve as a basis formachine consciousness. A language implementing threads within logic programming is ¯rstintroduced. This high-level framework allows for the de¯nition of abstract processes that can beexecuted on a virtual machine. We then look for a possible grounding of these processes into thebrain. Towards this end, we map abstract de¯nitions (including logical expressions representingcompiled knowledge) into a variant of the pi-calculus. We illustrate this approach through aseries of examples extending from a purely reactive behavior to patterns of consciousness.

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.

Cooperative games with size-truncated information

[Eng] We study the marginal worth vectors and their convex hull, the socalled Weber set, from the original coalitional game and the transformed one, which is called the Weber set of level k. We prove that the core of the original game is included in each of the Weber set of level k, for any k, and that the Weber sets of consecutive levels form a chain if and only if the original game is 0-monotone. Even if the game is not 0-monotone, the intersection of the Weber sets for consecutive levels is always not empty, what is not the case for non-consecutive ones. Spanish education system.

Cooperative games with size-truncated information

[Eng] We study the marginal worth vectors and their convex hull, the socalled Weber set, from the original coalitional game and the transformed one, which is called the Weber set of level k. We prove that the core of the original game is included in each of the Weber set of level k, for any k, and that the Weber sets of consecutive levels form a chain if and only if the original game is 0-monotone. Even if the game is not 0-monotone, the intersection of the Weber sets for consecutive levels is always not empty, what is not the case for non-consecutive ones. Spanish education system.

The influence of decision-maker effort and case complexity on appealed rulings subject to multi-categorical selection

This study extends the standard econometric treatment of appellate court outcomes by 1) considering the role of decision-maker effort and case complexity, and 2) adopting a multi-categorical selection process of appealed cases. We find evidence of appellate courts being affected by both the effort made by first-stage decision makers and case complexity. This illustrates the value of widening the narrowly defined focus on heterogeneity in individual-specific preferences that characterises many applied studies on legal decision-making. Further, the majority of appealed cases represent non-random sub-samples and the multi-categorical selection process appears to offer advantages over the more commonly used dichotomous selection models.

Separação de espectros simulados e de luminescência total através do método generalizado de anulação do posto (GRAM)

A multivariate curve resolution method, "GENERALIZED RANK ANNIHILATION METHOD (GRAM)", is discussed and tested with simulated and experimental data. The analysis of simulated data provides general guidelines concerning the condition for uniqueness of a solution for a given problem. The second-order emission-excitation spectra of human and animal dental calculus deposits were used as an experimental data to estimate the performance of the above method. Three porphyrinic spectral profiles, for both human and cat, were obtained by the use of GRAM.

Un análisis comparativo del papel del bucle fonológico versus la agenda visoespacial en el cálculo en niños de 7-8 años = A comparative analysis of the phonological loop versus the visuo-spatial sketchpad in mental arithmetic tasks in 7-8 y.o. children

En esta investigación se ha estudiado la relación entre dos subsistemas de la memoria de trabajo (buclefonológico y agenda viso-espacial) y el rendimiento en cálculo con una muestra de 94 niños españolesde 7-8 años. Hemos administrado dos pruebas de cálculo diseñadas para este estudio y seis medidassimples de memoria de trabajo (de contenido verbal, numérico y espacial) de la «Batería de Testsde Memoria de Treball» de Pickering, Baqués y Gathercole (1999), y dos pruebas visuales complementarias.Los resultados muestran una correlación importante entre las medidas de contenido verbaly numérico y el rendimiento en cálculo. En cambio, no hemos encontrado ninguna relación con las medidasespaciales. Se concluye, por lo tanto, que en escolares españoles existe una relación importanteentre el bucle fonológico y el rendimiento en tareas de cálculo. En cambio, el rol de la agenda viso-espaciales nulo

El papel de la memoria de trabajo en el cálculo mental un cuarto de siglo después de Hitch = The role of working memory in mental arithmetic a quarter of century after Hitch

Desde que Hitch (1978) publicó el primer estudio sobre el rol de la memoria de trabajo en el cálculo han idoaumentando las investigaciones en este campo. Muchos trabajos han estudiado un único subsistema, pero nuestroobjetivo es identificar qué subsistema de la memoria de trabajo (bucle fonológico, agenda viso-espacial o ejecutivocentral) está más implicado en el cálculo mental. Para ello hemos realizado un estudio correlacional en el quehemos administrado dos pruebas aritméticas y nueve pruebas de la “Bateria de Test de Memòria de Treball” dePickering, Baqués y Gathercole (1999) a una muestra de 94 niños españoles de 7-8 años. Nuestros resultadosindican que el bucle fonológico y sobretodo el ejecutivo central inciden de forma estadísticamente significativa enel rendimiento aritmético

Periodontal Diseases in Tanzania

Tutkimuksen tavoitteena oli kuvata hampaiden kiinnityskudossairauksien esiintyvyyttä ja suuhygieniatottumuksia Tansaniassa. Viiden eri tutkimuksen avulla kartoitettiin suuhygieniatottumuksia, kiinnityskudosten tilaa, kiinnityskudossairauksien riskitekijöitä ja hoidon tarvetta (CPITN) sekä ienvetäymiä. Tutkimukset toteutettiin eri paikkakunnilla vuosien 1987 ja 2003 välillä. Tutkittavat valittiin satunnaisesti tai harkitusti; tutkittavien määrä vaihteli 201:stä 1764:ään. Aineistot kerättiin kysymyslomakkeilla ja kliinisten tutkimusten avulla. Kliinisesti mitattiin plakin, hammaskiven ja ienten verenvuodon määrä, ientaskujen syvyys, ienvetäymien laajuus ja puuttuvien hampaiden lukumäärä. Tutkimusvälineinä käytettiin peiliä, Williamsin ja WHO:n ientaskumittareita. Muoviharjaksista hammasharjaa ilmoitti käyttävänsä 51,5-97,8% tutkituista. Ns. harjaustikun käyttö vaihteli paljon: 0,9-32,0 %. Plakkia löydettiin 65-100 %:lla tutkituista. Hammaskiveä oli suurimmalla osalla tutkituista. Myös ienverenvuotoa löytyi valtaosalta (79-100%). Ienverenvuotoa oli enemmän miehillä kuin naisilla sekä alhaisemman koulutustason omaavilla. Neljäkymmentä vuotta täyttäneiltä löydettiin 4–5 mm:n syvyisiä ientaskuja 82,1 %:lta ja ≥ 6 mm:n taskuja 43,8 %:lta. Suun terveystottumusten ohjaamiseen oli tarvetta yli 90 %:lla, hammaskiven poistoon ja juurten pinnan tasoitukseen yli 80%:lla. Yleisimmät riskitekijät kiinnityskudossairauksille olivat ikä (≥ 35 vuotta), miessukupuoli, alhainen koulutustaso, plakin, hammaskiven ja ientulehduksen määrä sekä asuminen maaseudulla. Ienvetäymiä (≥ 4 mm) löytyi noin 54%:lla tutkituista. Ienvetäymiä oli useammin miehillä kuin naisilla ja ne olivat yhteydessä ikään sekä hammaskiven ja ienverenvuodon esiintymiseen. Suuhygieniataso tutkituilla henkilöillä oli huono ja ienvetäymien esiintyvyys korkea. Syviä ientaskuja löytyi kuitenkin harvoilta tutkituilta. Riskitekijät kiinnityskudossairauksille olivat ikä, miessukupuoli, alhainen koulutustaso, plakin, hammaskiven ja ientulehduksen määrä sekä asuminen maaseudulla. Ienvetäymien riskit olivat ikä, miessukupuoli, hammaskivi ja ienverenvuoto

Jocs de càlcul per a nens i nenes de 6 a 12 anys

Es presenten un seguit de coneixements i habilitats que haurien d’adquirir els alumnes de 6 a 12 anys dividits en cicle inicial, mitjà i superior, tot practicant jocs. Es presenten també 7 jocs amb instruccions per dur-los a terme

A quantidade de matéria nas ciências clássicas

The chemical amount values vary in a discrete or continuous form, depending on the approach used to describe the system. In classical sciences, the chemical amount is a property of the macroscopic system and, like any other property of the system, it varies continuously. This is neither inconsistent with the concept of indivisible particles forming the system, nor a mere approximation, but it is a sound concept which enables the use of differential calculus, for instance, in chemical thermodynamics. It is shown that the fundamental laws of chemistry are absolutely compatible to the continuous concept of the chemical amount.

Propriedades eletrônicas, estruturais e constantes elásticas do ZnO

The electronic, structural properties and elastic constants of the wurtzite phase of zinc oxide, ZnO, was investigated using computer simulation at Density Functional Theory level, with B3LYP hybrid functional and Hartree-Fock methodology. The electronic properties as well the band energy was investigated through the analysis of the band structures and density of states (DOS), and the mechanical properties was studied through the calculus of the elastic constants C11, C33, C44, C12 e C13. The results are in good agreement with experimental data found in the literature and in accordance with results obtained by another theoretical methodology.

Uma análise do coeficiente de remoção de poluentes em função do espectro de gotas de chuva em diferentes localidades no Brasil e Alemanha

The pollutant transference among reservoirs atmosphere-hydrosphere, relevant to the atmospheric chemistry, depends upon scavenging coefficient (Λ) calculus, which depends on the raindrop size distribution as well as on the rainfall systems, both different to each locality. In this work, the Λ calculus will be evaluated to gas SO2 and particulate matter fine and coarse among five sites in Germany and two in Brazil. The results show three possible classifications in function of Λ, comparable to literature, however with a greater range due to the differences of rainfall system sites. This preliminary study supports future researches