Search results for "Formal"
showing 10 items of 1654 documents
DNA combinatorial messages and Epigenomics: The case of chromatin organization and nucleosome occupancy in eukaryotic genomes
2019
Abstract Epigenomics is the study of modifications on the genetic material of a cell that do not depend on changes in the DNA sequence, since those latter involve specific proteins around which DNA wraps. The end result is that Epigenomic changes have a fundamental role in the proper working of each cell in Eukaryotic organisms. A particularly important part of Epigenomics concentrates on the study of chromatin, that is, a fiber composed of a DNA-protein complex and very characterizing of Eukaryotes. Understanding how chromatin is assembled and how it changes is fundamental for Biology. In more than thirty years of research in this area, Mathematics and Theoretical Computer Science have gai…
Sense Equivalence in plWordNet to Princeton WordNet Mapping
2019
Abstract Though the interest in use of wordnets for lexicography is (gradually) growing, no research has been conducted so far on equivalence between lexical units (or senses) in inter-linked wordnets. In this paper, we present and validate a procedure of sense-linking between plWordNet and Princeton WordNet. The proposed procedure employs a continuum of three equivalence types: strong, regular and weak, distinguished by a custom-designed set of formal, semantic and translational features. To validate the procedure, three independent samples of 120 sense pairs were manually analysed with respect to the features. The results show that synsets from the two wordnets linked by interlingual syno…
Eventual Consistency Formalized
2019
Distribution of computation is well-known, and there are several frameworks, including some formal frameworks, that capture distributed computation. As yet, however, models of distributed computation are based on the idea that data is conceptually centralized. That is, they assume that data, even if it is distributed, is consistent. This assumption is not valid for many of the database systems in use today, where consistency is compromised to ensure availability and partition tolerance. Starting with an informal definition of eventual consistency, this paper explores several measures of inconsistency that quantify how far from consistency a system is. These measures capture key aspects of e…
A Note on Laws of Motion for Aggregate Distributions
2020
I derive the law of motion for the aggregate distribution directly from the laws of motion for the individuals’ states. By relying on concepts from measure theory, the derivation is concise and intuitive. I address random shocks both at the micro level and at the macro level. Micro-level shocks completely cancel at the aggregate level provided that a law of large numbers applies. Therefore, the law of motion for the aggregate distribution is a deterministic process in the absence of macro-level uncertainty. If there are macro-level risks, the law of motion for the aggregate distribution exhibits a stochastic component additionally. I illustrate the formalism in a model of wealth accumulatio…
"In der Mathematik ist ein Streit mit Sicherheit zu entscheiden". Perspektiven einer Soziologie der Mathematik
2000
Die Mathematik wird in diesem Aufsatz als ein empirisches Beispiel präsentiert, an dem sich die Voraussetzungen eines "rationalen Dissenses" exemplarisch untersuchen lassen. Denn im Gegensatz zu anderen epistemischen Kulturen gibt es in der Mathematik weder interpretative Flexibilität noch unentscheidbare Kontroversen. Auf der Basis einer medientheoretischen Perspektive und einer Feldstudie in einem internationalen Mathematikinstitut geht der Aufsatz der Frage nach, ob die Soziologie im Falle der Mathematik nicht auf eine prinzipielle Grenze stößt. In einem ersten Teil wird die These einer epistemischen Besonderheit der Mathematik präzisiert und in Auseinandersetzung mit zwei programmatisch…
The Loss of Grammatical Gender and Case Features Between Old and Early Middle English: Its Impact on Simple Demonstratives and Topic Shift
2017
AbstractIn this paper we examine the relation between the loss of formal gender and Case features on simple demonstratives and the topic shifting property they manifest. The examination period spans between Old English and Early Middle English. While we argue that this loss has important discourse-pragmatic and derivational effects on demonstratives, we also employ the Strong Minimalist Hypothesis approach (Chomsky 2001) and feature valuation, as defined in Pesetsky & Torrego (2007), to display how their syntactic computation and pragmatic properties have come about. To account for the above innovations yielding the Early Middle Englishϸe(‘the’), we first discuss the formal properties o…
Lie Algebras Generated by Extremal Elements
1999
We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of L) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite dimensional. The minimal number of extremal generators for the Lie algebras of type An, Bn (n>2), Cn (n>1), Dn (n>3), En (n=6,7,8), F4 and G2 are shown to be n+1, n+1, 2n, n, 5, 5, and 4 in the respective cases. These results are related to group theoretic ones for the corresponding Chevalley groups.
"Heittäydy vapauteen" : avantgarde ja Kauko Lehtisen taiteen murros 1961-1965
2007
Ulla Huhtamäki tarkastelee tutkimuksessaan taidemaalari Kauko Lehtisen (s.1925) taiteen murrosta vuosina 1961-1965. Lehtinen lähti Pariisiin kevättalvella 1961 etsimään uusia vaikutteita muuttaakseen omaa työskentelytapaansa, joka oli alkanut tuntua ”nyppimiseltä”. Lehtinen näki Pariisissa mm. uusrealistien ja uusdadaistien taidetta. Hän näki esim. Robert Rauschenbergin ja Alberto Burrin näyttelyt. Impasse Ronsin taiteilijakorttelissa Lehtinen näki Jean Tinguylen ateljeen edessä isot romukasat ja Niki de Saint Phallen ampumassa rikki väripusseja. Lehtinen tunsi olevansa ajan hermolla. Tämän matkan aikana Lehtisen työskentelyssä tapahtui syvällinen muutos. Hän hylkäsi visuaalisen mallin käyt…
Sharp capacity estimates for annuli in weighted R^n and in metric spaces
2017
We obtain estimates for the nonlinear variational capacity of annuli in weighted R^n and in metric spaces. We introduce four different (pointwise) exponent sets, show that they all play fundamental roles for capacity estimates, and also demonstrate that whether an end point of an exponent set is attained or not is important. As a consequence of our estimates we obtain, for instance, criteria for points to have zero (resp. positive) capacity. Our discussion holds in rather general metric spaces, including Carnot groups and many manifolds, but it is just as relevant on weighted R^n. Indeed, to illustrate the sharpness of our estimates, we give several examples of radially weighted R^n, which …
Adaptive Number Knowledge in Secondary School Students: Profiles and Antecedents
2019
Cited By :1 Export Date: 10 February 2021 Correspondence Address: McMullen, J.; Department of Teacher EducationFinland; email: jake.mcmullen@utu.fi The present study aims to examine inter-individual differences in adaptive number knowledge in secondary school students. Adaptive number knowledge is defined as a well-connected network of knowledge of numerical characteristics and arithmetic relations. Substantial and relevant qualitative differences in the strategies and expression of adaptive number knowledge have been found in primary school students still in the process of learning arithmetic. We present a study involving 879 seventh-grade students that examines the structure of individual…