Sökning: "mixes"

Visar resultat 21 - 25 av 79 avhandlingar innehållade ordet mixes.

1. 21. Hardening concrete : measurments and evaluation of non-elastic deformation and associated restraint stresses

   Författare :Hans Hedlund; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Structural Engineering; Konstruktionsteknik;

   Sammanfattning : If a structural member of hardening concrete is restrained to some degree against expansion and contraction during the heating phase of the hydration process and the subsequent contraction phase, stresses will be induced. The issue of primary interest is whether or not these induced stresses will lead to cracking. LÄS MER

3. 22. Integration of Mobile Technologies with Routine Healthcare Services in Mozambique

   Författare :José António Nhavoto; Åke Grönlund; Gunnar Klein; Yunkap Kwankam; Örebro universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; mobile technologies; mobile health; mHealth; Least Developed Countries; Mozambique; mobile phones; information systems artefact; design science research;

   Sammanfattning : Mobile technologies are emerging as one way to help address health challenges in many countries, including in Least Developed Countries. Mobile technology can reach a large share of the population but in order to provide effective support to healthcare services, technology, information collection and dissemination, and work processes need to be well aligned. LÄS MER

4. 23. Logics of Knowledge and Cryptography : Completeness and Expressiveness

   Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

   Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

5. 24. Optimization of low-cost integration of wind and solar power in multi-node electricity systems: Mathematical modelling and dual solution approaches

   Författare :Caroline Granfeldt; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; variable renewable electricity; Lagrangian relaxation; ADMM; electricity system modelling; variable splitting; capacity expansion; cost optimization; variation management; consensus algorithm; subgradient algorithm;

   Sammanfattning : The global production of electricity contributes significantly to the release of CO2 emissions. Therefore, a transformation of the electricity system is of vital importance in order to restrict global warming. LÄS MER

7. 25. On Modeling and Control of Network Queue Dynamics

   Författare :Frida Gunnarsson; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Network flow control; Queue management;

   Sammanfattning : Internet flow control algorithms used today are separately designed and tuned for outdated setups and traffic mixes. Differnet algorithms exist in both end nodes an core routers of a network. This work presents improved techniques for network flow control. LÄS MER