Sökning: "Juan Carlos Nieves"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Juan Carlos Nieves.

  1. 1. Through the coding-lens : community detection and beyond

    Författare :Christopher Blöcker; Martin Rosvall; Juan Carlos Nieves; Jari Saramäki; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; community detection; map equation; Huffman coding; network centrality; link prediction;

    Sammanfattning : We live in a highly-connected world and find networks wherever we look: social networks, public transport networks, telecommunication networks, financial networks, and more. These networks can be immensely complex, comprising potentially millions or even billions of inter-connected objects. LÄS MER

  3. 2. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach

    Författare :Esteban Guerrero Rosero; Helena Lindgren; Juan Carlos Nieves; Chris Reed; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Complex activity; Argumentation Theory; Activity Theory; Logic programming; Knowledge representation; Common-sense reasoning; Artificial Intelligence; business data processing; administrativ databehandling;

    Sammanfattning : The aim of this thesis is to develop theories and formal methods to endow a computing machinery with capabilities to identify, represent, reason and evaluate complex activities that are directed by an individual’s needs, goals, motives, preferences and environment, information which can be inconsistent and incomplete.Current methods for formalising and reasoning about human activity are typically limited to basic actions, e. LÄS MER

  4. 3. Formal models of bounded rationality for autonomous agents

    Författare :Timotheus Kampik; Helena Lindgren; Juan Carlos Nieves; Guillermo Simari; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

    Sammanfattning : A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a social and "common-sense" perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple, often one-dimensional metrics. LÄS MER

  5. 4. Principle-based non-monotonic reasoning - from humans to machines

    Författare :Timotheus Kampik; Helena Lindgren; Juan Carlos Nieves; Anthony Hunter; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Non-monotonic reasoning; formal argumentation; Computer Science; datalogi;

    Sammanfattning : A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a common-sense perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple and often one-dimensional metrics. LÄS MER

  7. 5. Plasma spray coatings as catalysts for water splitting : exploring novel materials and strategies

    Författare :Xiuyu Wu; Eduardo Gracia-Espino; Juan Carlos Nieves Sanchez; Björn Wickman; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Plasma spray; water splitting; coatings; electrocatalyst; hydrogen evolution reaction; oxygen evolution reaction; Physical Chemistry; fysikalisk kemi;

    Sammanfattning : Today, fossil fuels still play a dominant role in the global energy systems. However, they are depleting quickly and the combustion of them causes many environmental concerns, including global warming, air pollution, ozone layer depletion, and acid rain. LÄS MER