Search results for "Mathematic"
showing 10 items of 24974 documents
The Abelian Kernel of an Inverse Semigroup
2020
The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.
Profit vs morality: how unfair is labor market discrimination? Results from a survey experiment
2019
Using an original survey-experimental protocol, we study the normative acceptability of the trade-off between immoral profit (discrimination) and costly morality (non-discrimination). We test the causal influence of three factors: i) the origin of discrimination, ii) the steepness of the morality/profit trade-off and iii) anti-discriminatory moral injunctions. Contrasting with past experimental and attitudinal studies, we find that a significant minority of respondents believe that labor market discrimination is acceptable when morality results in profit loss. We also find that the three tested factors have significant effects on normative opinions. Respondents are more likely to choose pro…
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
PROPAGATING INTERFACES IN A TWO-LAYER BISTABLE NEURAL NETWORK
2006
The dynamics of propagating interfaces in a bistable neural network is investigated. We consider the network composed of two coupled 1D lattices and assume that they interact in a local spatial point (pin contact). The network unit is modeled by the FitzHugh–Nagumo-like system in a bistable oscillator mode. The interfaces describe the transition of the network units from the rest (unexcited) state to the excited state where each unit exhibits periodic sequences of excitation pulses or action potentials. We show how the localized inter-layer interaction provides an "excitatory" or "inhibitory" action to the oscillatory activity. In particular, we describe the interface propagation failure a…
Pinning of a kink in a nonlinear diffusive medium with a geometrical bifurcation: Theory and experiments
2004
International audience; We study the dynamics of a kink propagating in a Nagumo chain presenting a geometrical bifurcation. In the case of weak couplings, we define analytically and numerically the coupling conditions leading to the pinning of the kink at the bifurcation site. Moreover, real experiments using a nonlinear electrical lattice confirm the theoretical and numerical predictions.
Automorphisms of right-angled Artin groups
2012
The purpose of this thesis is to study the automorphisms of right-angled Artin groups. Given a finite simplicial graph $\Gamma$, the right-angled Artin group $G_\Gamma$ associated to $\Gamma$ is the group defined by the presentation whose generators are the vertices of $\Gamma$, and whose relators are commutators of pairs of adjacent vertices. The first chapter is intended as a general introduction to the theory of right-angled Artin groups and their automorphisms. In a second chapter, we prove that every subnormal subgroup of $p$-power index in a right-angled Artin group is conjugacy $p$-separable. As an application, we prove that every right-angled Artin group is conjugacy separable in th…
Explicit proton transfer in classical molecular dynamics simulations.
2014
We present Hydrogen Dynamics (HYDYN), a method that allows explicit proton transfer in classical force field molecular dynamics simulations at thermodynamic equilibrium. HYDYN reproduces the characteristic properties of the excess proton in water, from the special pair dance, to the continuous fluctuation between the limiting Eigen and Zundel complexes, and the water reorientation beyond the first solvation layer. Advantages of HYDYN with respect to existing methods are computational efficiency, microscopic reversibility, and easy parameterization for any force field peerReviewed
Stat, kyrka och familj: Innehållet i allmogebarns uppfostran i Finland i början av 1900-talet
2020
The article presents a picture of the relationship between the public and private targets of upbringingof Finnish common people’s children in early 20th-century Finland. The statutes focusing on childrencontain the information regarding the expectations of the society. The documents date back to the periodfrom 1442 to 1917, when Finland gained independence. However, the legislation influenced people’sattitudes up to the 20th century. The narrative material consists of life stories, including episodes withproverbial speech and interpretations of proverbs. It is composed of two collections from the FolkloreArchives of Finnish Literature Society, which provide information about the childhood i…
Regional Disparities and Spatial Dependence of Bankruptcy in Spain
2021
Firm survival, bankruptcy, and turnaround are of great interest nowadays. Bankruptcy is the ultimate resource for a company to survive when it is affected by a severe decline. Thus, determinants of firm turnaround and survival in the context of bankruptcy are of interest to researchers, managers, and policy-makers. Prior turnaround literature has broadly studied firm-specific factors for turnaround success. However, location-specific factors remain relatively unstudied despite their increasing relevance. Thus, this paper aims to evaluate the existence of spatial dependence on the outcome of the bankruptcy procedure. Economic geography and business literature suggest that location matters an…
Theoretical and Empirical Description of Phases in the Proving Processes of Undergraduates
2018
International audience; In the presented study we adopt a process-oriented perspective on proving in order to gain further insights into relevant actions and typical obstacles in undergraduates' approaches to proving. The primary aim is to theoretically and empirically describe different phases, understood as bunches of intentionally closely related actions of proving. Therefore, we suggest a theoretical model of the proving process and confirm empirically that it can be used as an analytical tool for proving approaches. Based on this model, several proving processes have been analysed. In this paper we present first findings regarding the contribution of each phase to proof construction as…