Sökning: "filippo"
Visar resultat 6 - 10 av 13 avhandlingar innehållade ordet filippo.
6. An Information Flow Approach to Fault-Tolerant Security and Information Erasure
Sammanfattning : Sensitive information is a crucial asset for both individuals and companies. Since it is processed in a largely automated way, it is important that the computational infrastructures are equipped with methods for reasoning about and enforcing security policies. Information flow security has been proposed for this purpose in many contexts. LÄS MER
7. Information Erasure: An Information-Flow Approach to Semantics and Enforcement
Sammanfattning : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. LÄS MER
8. Towards understanding the fatigue behaviour of Alloy 718 manufactured by Powder Bed Fusion processes
Sammanfattning : Additive Manufacturing (AM) is a disruptive modern manufacturing process in which parts are manufactured in a layer-wise fashion. Among the metal AM processes, Powder Bed Fusion (PBF) technology — comprised of Electron Beam Powder Bed Fusion (EB-PBF) and Laser Beam Powder Bed Fusion (LB-PBF) —has opened up a design space that was formerly unavailable with conventionalmanufacturing processes. LÄS MER
9. Jura Novit Curia : En rättsgenetisk undersökning av den juridiska metodlärans utveckling under 1800-talet
Sammanfattning : Under Swedish law, the courts must clearly, independently of the parties’ legal arguments, both define and resolve any legal questions raised in the case in accordance with the applicable law. This is the general meaning of the principle, jura novit curia, a principle common to most European jurisdictions. LÄS MER
10. Diving into the zebrafish locomotor network : A study on dI6 interneurons
Sammanfattning : The generation and coordination of locomotion comprise of inhibitory and excitatory interneurons that govern motor neuron output to muscles. This neuronal network is known as the central pattern generator (CPG). Spinal inhibitory interneurons that originate from the dI6 population play a crucial role in the coordination of locomotor output. LÄS MER