Sökning: "Second-order functions"

Visar resultat 1 - 5 av 49 avhandlingar innehållade orden Second-order functions.

  1. 1. Semantic Web Queries over Scientific Data

    Författare :Andrej Andrejev; Tore Risch; Kjell Orsborn; Ruslan Fomkin; Gerhard Weikum; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; RDF; SPARQL; Arrays; Query optimization; Second-order functions; Scientific workflows; Datavetenskap med inriktning mot databasteknik; Computer Science with specialization in Database Technology;

    Sammanfattning : Semantic Web and Linked Open Data provide a potential platform for interoperability of scientific data, offering a flexible model for providing machine-readable and queryable metadata. However, RDF and SPARQL gained limited adoption within the scientific community, mainly due to the lack of support for managing massive numeric data, along with certain other important features – such as extensibility with user-defined functions, query modularity, and integration with existing environments and workflows. LÄS MER

  2. 2. På AI-teknikens axlar : om kunskapssociologin och stark artificiell intelligens

    Författare :Peter Kåhre; Gunnar Andersson; Tom Ziemke; Lunds universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Gregory Bateson; James Wertsch.; Yrjö Engeström; Katherine N. Hayles; Lucy Suchman; Hubert Dreyfus; John Searle; David Bloor; Lev Vygotsky; Niklas Luhmann; Chinese room; Turing test; socionics; darwinism; emergence; relativism; posthumanism; environmentalism; situationism; social communication; second order cybernetics; systems theory; sociology of knowledge; connectionism; Strong artificial intelligence; distributed artificial intelligence; Sociology; Sociologi; Library and Information Science; Biblioteks- och informationsvetenskap; Filosofi; Practical Philosophy;

    Sammanfattning : This dissertation is concerned with Sociology’s stance in the debate on Strong Artificial Intelligence, i.e. such AI that is able to shape new knowledge without human interference. There is a need for sociologists to realize the difference between two approaches to constructing AI systems: Symbolic AI (or Classic AI) and Distributed AI – DAI. LÄS MER

  3. 3. På AI-teknikens axlar : Om kunskapssociologin och stark artificiell intelligens

    Författare :Peter Kåhre; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; James Wertsch.; Gregory Bateson; Yrjö Engeström; Katherine N. Hayles; Lucy Suchman; Hubert Dreyfus; John Searle; David Bloor; Lev Vygotsky; Niklas Luhmann; Chinese room; Turing test; socionics; darwinism; emergence; relativism; posthumanism; environmentalism; situationism; social communication; second order cybernetics; systems theory; sociology of knowledge; connectionism; Strong artificial intelligence; distributed artificial intelligence;

    Sammanfattning : This dissertation is concerned with Sociology’s stance in the debate on Strong Artificial Intelligence, i.e. such AI that is able to shape new knowledge without human interference. There is a need for sociologists to realize the difference between two approaches to constructing AI systems: Symbolic AI (or Classic AI) and Distributed AI – DAI. LÄS MER

  4. 4. Perspectives on Modeling and Simulation of Urban Systems with Multiple Actors and Subsystems

    Författare :Elhabib Moustaid; Sebastiaan Meijer; Gunnar Flötteröd; S Rajagopalan; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation Modeling; Urban Systems; Expert Knowledge; Complexity Science; Mathematical Modeling; Second Order Effects.; Simulering och modellering; urbana system; expertkunskap; Komplexitetsvetenskap; matematisk modellering; andra graden effekt; Teknik och hälsa; Technology and Health;

    Sammanfattning : Cities are the spaces of the interaction between social, physical, political, and economic entities, which makes planning and intervening in such systems difficult. Urban systems are complex adaptive systems in that their behaviours are often the result of the interaction of their components. LÄS MER

  5. 5. Obstacle Problems for Green Potentials and for Parabolic Quasiminima

    Författare :Catarina Petersson; Matematik (naturvetenskapliga fakulteten); []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functions; differential equations; Funktioner; differentialekvationer; Matematik; degenerate parabolic operators; Mathematics; quasiminima; obstacle problems; Green potentials;

    Sammanfattning : The thesis consists of two parts. In the first part pure potential theoretic methods are employed to study the obstacle problem connected with a uniformly elliptic second-order differential operator in divergence form. Regular points of the obstacles are characterized by the classical Wiener criterion. LÄS MER