Search for dissertations about: "Philipp"

Showing result 1 - 5 of 53 swedish dissertations containing the word Philipp.

  1. 1. Spin Torque and Spin Hall Nano-Oscillators with Single Magnetic Layers

    Author : Philipp Dürrenfeld; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : Spintronics; Spin Torque Oscillators; Spin Hall Effect; Synchronization;

    Abstract : Spin-torque oscillators (STOs) are capable of producing tunable broadband high-frequency signals within a nanometer-sized region. In this thesis, novel designs for STOs will be discussed; the common theme of these designs will be their use of only one ferromagnetic (FM) material. READ MORE

  2. 2. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Author : Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

    Abstract : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. READ MORE

  3. 3. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Author : Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE

  4. 4. Enhancing Censorship Resistance in the Tor Anonymity Network

    Author : Philipp Winter; Stefan Lindskog; Simone Fischer-Hübner; Steven Murdoch; Karlstads universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; tor; censorship; anonymity; network; Computer Science; Datavetenskap;

    Abstract : BaksidestextThe Tor network was originally designed as low-latency anonymity network.However, as the years progressed, Tor earned a reputation as also being a useful tool to circumvent Internet censorship. At times, the network counted 30,000 users only from China. READ MORE

  5. 5. Measuring and circumventing Internet censorship

    Author : Philipp Winter; Stefan Lindskog; Joss Wright; Karlstads universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; tor; censorship; circumvention; anonymity; Computer Science; Datavetenskap;

    Abstract : An ever increasing amount of governments, organisations, and companies employ Internet censorship in order to filter the free flow of information.  These efforts are supported by an equally increasing number of companies focusing on the development of filtering equipment.Only what these entities consider right can pass the filters. READ MORE