Reflections of universal algebras into semilattices, their Galois theories, and related factorization systems

Estabelecemos uma condição suficiente para a preservação dos produtos finitos, pelo reflector de uma variedade de álgebras universais numa subvariedade, que é, também, condição necessária se a subvariedade for idempotente. Esta condição é estabelecida, seguidamente, num contexto mais geral e caracteriza reflexões para as quais a propriedade de ser semi-exacta à esquerda e a propriedade, mais forte, de ter unidades estáveis, coincidem. Prova-se que reflexões simples e semi-exactas à esquerda coincidem, no contexto das variedades de álgebras universais e caracterizam-se as classes do sistema de factorização derivado da reflexão. Estabelecem-se resultados que ajudam a caracterizar morfismos de cobertura e verticais-estáveis em álgebras universais e no contexto mais geral já referido. Caracterizam-se as classes de morfismos separáveis, puramente inseparáveis e normais. O estudo dos morfismos de descida de Galois conduz a condições suficientes para que o seu par kernel seja preservado pelo reflector.

Characterization of pro- and anti-angiogenic factors in models of diabetic retinopathy

Dissertação de mestrado, Ciências Biomédicas, Departamento de Ciências Biomédicas e Medicina, Universidade do Algarve, 2015

Associations between Belief in Conspiracy Theories and the Maladaptive Personality Traits of the Personality Inventory for DSM-5

Conspiracy theories can be treated as both rational narratives of the world as well as outcomes of underlying maladaptive traits. Here, we examined associations between belief in conspiracy theories and individual differences in personality disorders. An Internet-based sample (N=259) completed measures of belief in conspiracy theories and the 25 facets of the Personality Inventory for DSM-5 (PID-5). Preliminary analyses showed no significant differences in belief in conspiracy theories across participant sex, ethnicity, and education. Regression analyses showed that the PID-5 facets of Unusual Beliefs and Experiences and, to a lesser extent, Suspiciousness, significantly predicted belief in conspiracy theories. These findings highlight a role for maladaptive personality traits in understanding belief in conspiracy theories, but require further investigation.

Behavioral and synaptic circuit analysis in models of neuropsychiatric disorders: Dissecting the in vivo role of the postsynaptic density proteins nArgBP2 and Shank3 using genetic engineered mice

Dissertation presented to obtain the Ph.D degree in Biology

Investigation of business models of free zones and possible implications in South East Finland

Tutkielma tarkastelee vapaa alue konseptia osana yritysten kansainvälistä toimitusketjua. Tarkoituksena on löytää keinoja, millä tavoin vapaa alueen houkuttelevuutta voidaan lisätä yritysten näkökulmasta ja millaista liiketoimintaa yritysten on vapaa alueella mahdollista harjoittaa. Tutkielmassa etsitään tekijöitä, jotka vaikuttavat vapaa alueen menestykseen ja jotka voisivat olla sovellettavissa Kaakkois-Suomen ja Venäjän raja-alueelle ottaen huomioon vallitsevat olosuhteet ja lainsäädäntö rajoittavina tekijöinä. Menestystekijöitä ja liiketoimintamalleja haetaan tutkimalla ja analysoimalla lyhyesti muutamia olemassa olevia ja toimivia vapaa alueita. EU tullilain harmonisointi ja kansainvälisen kaupan vapautuminen vähentää vapaa alueen perinteistä merkitystä tullivapaana alueena. Sen sijaan vapaa alueet toimivat yhä enenevissä määrin logistisina keskuksina kansainvälisessä kaupassa ja tarjoavat palveluita, joiden avulla yritykset voivat parantaa logistista kilpailukykyään. Verkostoituminen, satelliitti-ratkaisut ja yhteistoiminta ovat keinoja, millä Kaakkois-Suomen alueen eri logistiikkapalvelujen tarjoajat voivat parantaa suorituskykyään ja joustavuutta kansainvälisessä toimitusketjussa.

Differential associations of personal and general just-world beliefs with the Five-Factor and HEXACO models of personality.

Recent literature evidences differential associations of personal and general just-world beliefs with constructs in the interpersonal domain. In line with this research, we examine the respective relationships of each just-world belief with the Five-Factor and the HEXACO models of personality in one representative sample of the working population of Switzerland and one sample of the general US population, respectively. One suppressor effect was observed in both samples: Neuroticism and emotionality was positively associated with general just-world belief, but only after controlling for personal just-world belief. In addition, agreeableness was positively and honesty-humility negatively associated with general just-world belief but unrelated to personal just-world belief. Conscientiousness was consistently unrelated to any of the just-world belief and extraversion and openness to experience revealed unstable coefficients across studies. We discuss these points in light of just-world theory and their implications for future research taking both dimensions into account.

Comparative electron impact and fast atom bombardment mass spectrometric studies of some HMPA adducts of phenyltin and phenyllead halides and studies of strong hydrogen bonding by FAB-MS

The fragmentation patterns and mass spectra of some phenyl tin and -lead halide adducts with hexamethylphosphoramide are compared by subjecting them t~ electron impact and fast atom bombardment ionization in a mass spectrometer. This comparison is restricted to the metal-containing ions. Ligand-exchange mechanisms of some of the metal-containing species are explored by FAB-MS. Several moisturesensitive organo-metallics and H-bonded systems have been examined by FAB for attempted characterization, but without any success. Scavenging and trapping of water molecules by complex aggregates in solutions of quaternary ammonium fluorides and hydroxides are investigated by FAB to complement previous NMR-studies.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

Investigation of Theories Supporting Engagement of Resistant Learners in Formal Academic Settings and Curriculum

This study sought to explore ways to work with a group of young people through an arts-based approach to the teaching of literacy. Through the research, the author integrated her own reflexivity applying arts methods over the past decade. The author’s past experiences were strongly informed by theories such as caring theory and maternal pedagogy, which also informed the research design. The study incorporated qualitative data collection instruments comprising interviews, journals, sketches, artifacts, and teacher field notes. Data were collected by 3 student participants for the duration of the research. Study results provide educators with data on the impact of creating informal and alternative ways to teach literacy and maintain student engagement with resistant learners.

Two models of constitutionalism and the legitimacy of law : Dicey or Marshall ?

The article was first published in the Oxford University Commonwealth Law Journal.

Studies on magnetic monopole solutions of non-abelian gauge theories and related problems

In 1931 Dirac studied the motion of an electron in the field of a magnetic monopole and found that the quantization of electric charge can be explained by postulating the mere existence of a magnetic monopole. Since 1974 there has been a resurgence of interest in magnetic monopole due to the work of ‘t’ Hooft and Polyakov who independently observed that monopoles can exist as finite energy topologically stable solutions to certain spontaneously broken gauge theories. The thesis, “Studies on Magnetic Monopole Solutions of Non-abelian Gauge Theories and Related Problems”, reports a systematic investigation of classical solutions of non-abelian gauge theories with special emphasis on magnetic monopoles and dyons which possess both electric and magnetic charges. The formation of bound states of a dyon with fermions and bosons is also studied in detail. The thesis opens with an account of a new derivation of a relationship between the magnetic charge of a dyon and the topology of the gauge fields associated with it. Although this formula has been reported earlier in the literature, the present method has two distinct advantages. In the first place, it does not depend either on the mechanism of symmetry breaking or on the nature of the residual symmetry group. Secondly, the results can be generalized to finite temperature monopoles.