Sökning: "digital logic"

Visar resultat 16 - 20 av 86 avhandlingar innehållade orden digital logic.

1. 16. Blending Politics and New Media : Mediatized Practices of EU Digital Diplomacy

   Författare :Elsa Hedling; Statsvetenskapliga institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; mediatization; public diplomacy; digital diplomacy; EU; EEAS;

   Sammanfattning : This thesis explores the relationship between politics and new media in the context of digital diplomacy at the European External Action Service (EEAS) 2011-2017. In contrast to dominant approaches to the mediatization of politics that consider political logic to be dominated or even replaced by media logic, it gives greater emphasis to the role of the political context, its actors and their practices. LÄS MER

3. 17. Developing digital support for learning and diagnostic reasoning in clinical practice

   Författare :Chunli Yan; Helena Lindgren; Juan Carlos Nieves; Lars-Erik Janlert; Franziska Klügl; Umeå universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Clinical decision-support systems; knowledge representation; possibilistic logic; multi-agent systems; formal argumentation; ontology; automated decision making; inquiry dialogue; end-user development; continuing medical education; dementia;

   Sammanfattning : The two main purposes of clinical decision-support systems (CDSSs) are to provide healthcare professionals decision-making support based on evidence-based medical knowledge, and a continuing medical education. This thesis focuses on both purposes and shows how fundamental theory in the field of artificial intelligence can be developed, adapted and implemented in a CDSS for supporting learning and diagnostic reasoning in clinical practice. LÄS MER

4. 18. Nanoscale spin dynamics in ferromagnetic/normal-metal heterostructures for spin-logic application : Engineering of spin-torque efficiency in Co2FeAl/β-Ta and Ru/FeCo/Ru multi-layers

   Författare :Rahul Gupta; Peter Svedlindh; Danny Thonig; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; spintronics; spin pumping; spin dynamics; ferromagnetic resonance; magnetic thin films; heterostructure; spin-logic; spin-mixing conductance; Engineering Science with specialization in Solid State Physics; Teknisk fysik med inriktning mot fasta tillståndets fysik; Teknisk fysik med inriktning mot materialvetenskap; Engineering Science with specialization in Materials Science; Physics with spec. in Atomic; Molecular and Condensed Matter Physics; Fysik med inriktning mot atom- molekyl- och kondenserande materiens fysik;

   Sammanfattning : In the present information age, people across the globe generate an enormous digital footprint. Therefore, it is necessary to store and process the information in an elegant way. Spin-logic circuits are being considered potential candidates beyond CMOS integrated computing due to high clock speed, non-volatility, and higher logical efficiency. LÄS MER

5. 19. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

   Författare :Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

   Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER

7. 20. Experimental Verification of Superconductor Digital Circuits

   Författare :Henrik Engseth; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; heatload; MCM; high frequency test; RSFQ; Superconductivity;

   Sammanfattning : Superconducting digital technology based on Rapid Single Flux Quantum logic (RSFQ) offers more than 50 times advantages in speed and $100$ times less power consumption than today's mainstream semiconductor electronics. This technology is attractive for many applications and in particular for Digital Signal Processing (DSP) for multi-user detection in a 3G wireless systems being developed at Chalmers University. LÄS MER