Sökning: "Process algebra"

Visar resultat 1 - 5 av 35 avhandlingar innehållade orden Process algebra.

  1. 1. N-complexes and Categorification

    Författare :Djalal Mirmohades; Volodymyr Mazorchuk; Steffen Oppermann; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Homological algebra; Category theory; Triangulated categories; K-theory; Hopfological algebra; Mathematics; Matematik;

    Sammanfattning : This thesis consists of three papers about N-complexes and their uses in categorification. N-complexes are generalizations of chain complexes having a differential d satisfying dN = 0 rather than d2 = 0. Categorification is the process of finding a higher category analog of a given mathematical structure. LÄS MER

  3. 2. Decision Algebra : A General Approach to Learning and Using Classifiers

    Författare :Antonina Danylenko; Welf Löwe; Jonas Lundberg; Uwe Assmann; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; classification; decision model; classifier; Decision Algebra; decision function; Computer Science; Datavetenskap;

    Sammanfattning : Processing decision information is a vital part of Computer Science fields in which pattern recognition problems arise. Decision information can be generalized as alternative decisions (or classes), attributes and attribute values, which are the basis for classification. LÄS MER

  4. 3. The Noncommutative Geometry of Real Calculi

    Författare :Axel Tiger Norkvist; Joakim Arnlind; Vladimir Tkatjev; Stefan Wagner; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Noncommutative geometry extends the traditional connections between algebra and geometry beyond the realm of commutative algebras, allowing for a broader exploration of geometric concepts in noncommutative settings. The geometric perspective facilitates the study and understanding of various mathematical structures, including operator algebras, quantum groups, and noncommutative spaces. LÄS MER

  5. 4. Decisions : Algebra and Implementation

    Författare :Antonina Danylenko; Welf Löwe; Jonas Lundberg; Wolf Zimmermann; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Classification; decision algebra; decision function; decision information; learning; Computer Science; Datavetenskap;

    Sammanfattning : Processing decision information is a constitutive part in a number of applicationsin Computer Science fields. In general, decision information can be used to deduce the relationship between a certain context and a certain decision. Decision information is represented by a decision model that captures this information. LÄS MER

  7. 5. International large-scale assessments and mathematics textbooks in a curriculum reform process : Changes in lower secondary school algebra in Sweden 1995–2015

    Författare :Kristina Palm Kaplan; Johan Prytz; Kajsa Bråting; Astrid Pettersson; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; curriculum reform; algebra; textbooks; international assessment; TIMSS; secondary school; test validity; student achievement.; Curriculum Studies; Didaktik;

    Sammanfattning : Reforming a curriculum entails more than simply launching new steering documents: it includes the development of new materials, evaluation of reform and identification of needs for further action. Drawing from algebra material surrounding the 2011 Swedish curriculum reform, this thesis contributes to understanding the process of curriculum reform concerning mathematics textbooks and international large-scale assessments. LÄS MER