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.

Editorial: Facing the Other: Novel Theories and Methods in Face Perception Research

The Editorial on the Research Topic: Facing the Other: Novel Theories and Methods in Face Perception Research

The role of implicit theories in the formation of expert opinion in portuguese criminal law

Tese de doutoramento, Ciências e Tecnologias da Saúde (Medicina Legal e Ciências Forenses), Universidade de Lisboa, Faculdade de Medicina, 2014

Questioning the Universality of Institutional Transformation Theories in Spatial Planning: Shopping Mall Developments in Palermo

Theories about institutional transformation in spatial planning, although mainly based on the Anglo-Saxon context, have assumed a dominant role in planning research and theory as means to understand the transformations that have been restructuring planning systems in recent decades in the Western world and beyond. The article, looking at transformations of planning practice through the lenses of the concept of planning cultures, debates the utility of building ‘universal’ theories for spatial planning and advocates for the need for a de-provincialization of planning theories. This is done through a case-study approach applied to the history of the transformation of the retail system in a context characterized by the specificities of the Italian planning context and Southern European cities, namely: the planning processes for, and power relationships underlying, the first shopping malls opened in Palermo, Italy, since 2009 — some decades later than most of Western cities.

From "Spaces of Fear" to "Fearscapes": Mapping for Reframing Theories About the Spatialization of Fear in Urban Space

The article engages with theory about the processes of spatialization of fear in contemporary Western urban space (fortification, privatization, exclusion/seclusion, fragmentation, polarization) and their relation to fear of crime and violence. A threefold taxonomy is outlined (Enclosure, Post-Public Space, Barrier), and “spaces of fear” in the city of Palermo are mapped with the aim of exploring the cumulative large-scale effects of the spatialization of fear on a concrete urban territory. Building on empirical evidence, the author suggests that mainstream theories be reframed as part of a less hegemonic and more discursive approach and that theories mainly based on the analyses of global cities be deprovincialized. The author argues for the deconstruction of the concept of “spaces of fear” in favor of the more discursive concept of “fearscapes” to describe the growing landscapes of fear in contemporary Western cities.

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.

Mode III interlaminar fracture of carbon/epoxy laminates using the edge crack torsion (ECT) test

The mode III interlaminar fracture of carbon/epoxy laminates was evaluated with the edge crack torsion (ECT) test. Three-dimensional finite element analyses were performed in order to select two specimen geometries and an experimental data reduction scheme. Test results showed considerable non-linearity before the maximum load point and a significant R-curve effect. These features prevented an accurate definition of the initiation point. Nevertheless, analyses of non-linearity zones showed two likely initiation points corresponding to GIIIc values between 850 and 1100 J/m2 for both specimen geometries. Although any of these values is realistic, the range is too broad, thus showing the limitations of the ECT test and the need for further research.

Implicit self-theories of shyness : predictors and correlates in preadolescence /

Implicit theories of shyness refer to a beUef that shyness is a fixed trait versus the belief that shyness is changeable and controllable. In this study, I explored the association between overall shyness and children's implicit self-theories of shyness, as well as between implicit self-theories of shyness and children's other shyness-related beliefs (perceptions of others' theories of shyness, shyness as a perceived problem, and ideas about treatment for shyness). Forty-six 10-12- year- old children (M = 10.74, SD = .88) were interviewed individually, filled out a set of questionnaires, and completed a computer-presented task. ' "^ As was expected, in ambiguous social situations, children perceived others' theories of shyness in a way that confirmed their own theories. The hypothesized curvilinear relation between shy and implicit self-theories of shyness was not found; instead, a linear positive relationship between these two variables emerged. Although implicit self-theories of shyness were not effective in predicting either the children's views of shyness as a perceived problem or children's ideas about treatment for shyness, some interesting results were found. Specifically, children's motivation to change their shyness correlated with their views of shyness as a problem for children in general and their perceptions of others' theories of shyness. Specific agents and strategies were regarded by children as having different effectiveness in their potential to change shyness. The theoretical and practical implications of these findings were discussed. Suggestions for future research were provided.

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.

Mesure du Progres Technique: Theories et Methodes

Ce Texte Constitue un Survol des Differentes Approches Destines a Mesurer le Progres Technique. Nous Utilisons une Notation Uniforme Tout au Long des Demonstrations Mathematiques et Nous Faisons Ressortir les Hypotheses Qui Rendent L'application des Methodes Proposees Envisageable et Qui En Limitent la Portee. les Diverses Approches Sont Regroupees D'apres une Classification Suggeree Par Diewert (1981) Selon Laquelle Deux Groupes Sont a Distinguer. le Premier Groupe Contient Toutes les Methodes Definissant le Progres Technique Comme le Taux de Croissance D'un Indice des Outputs Divise Par un Indice des Inputs (Approche de Divisia). L'autre Groupe Inclut Toutes les Methodes Definissant le Progres Technique Comme Etant le Deplacement D'une Fonction Representant la Technologie (Production, Cout, Distance). Ce Second Groupe Est Subdivise Entre L'approche Econometrique,La Theorie des Nombres Indices et L 'Approche Non Parametrique. une Liste des Pricipaux Economistes a Qui L'on Doit les Diverses Approches Est Fournie. Cependant Ce Survol Est Suffisamment Detaille Pour Etre Lu Sans Se Referer aux Articles Originaux.