Sökning: "Rise."

Visar resultat 26 - 30 av 2384 avhandlingar innehållade ordet Rise..

1. 26. A framework for reasoning about Erlang code

   Författare :Lars-Åke Fredlund; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER

3. 27. Task-based Information Seeking and Retrieval in the Patent Domain: Processes and Relationships

   Författare :Preben Hansen; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Information-intensive work tasks in professional settings usually involve dynamic and increasingly complex information handling tasks that include the gathering, assessment, assimilation, and creation of information. Understanding the factors affecting information handling processes, and their interaction, is important and forms the objective of this thesis. LÄS MER

4. 28. High volumetric machining strategies for superalloy gasturbine components : Comparing conventional and nonconventional machining methods for efficient manufacturing

   Författare :Jonas Holmberg; Johan Berglund; Anders Wretland; Tomas Beno; Joel Andersson; Sten Johansson; RISE; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Alloy 718; High volumetric machining; Conventional and Nonconventional machining; Material removal rate; Post processing; surface integrity; Residual stress; Microstructure; Deformation; Manufacturing; Surface and Joining Technology; Bearbetnings-; yt- och fogningsteknik; Production Technology;

   Sammanfattning : There is a strong industrial driving force to find alternative manufacturing technologies in order to make the production of aero engine components of superalloys even more efficient than it is today. Introducing new and nonconventional machining technologies, as well as enhanced utilisation of today's high volumetric manufacturing, allows taking a leap to increase the material removal rate and the productivity. LÄS MER

5. 29. Surface integrity on post processed alloy 718 after nonconventional machining

   Författare :Jonas Holmberg; Tomas Beno; Anders Wretland; Johan Berglund; Mikael Olsson; RISE; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Alloy 718; Non-conventional machining; post processing; surface integrity; Microstructure; Residual stress; Electron back scattering diffraction; Material removal rate; Manufacturing; Surface and Joining Technology; Bearbetnings-; yt- och fogningsteknik; Production Technology; Manufacturing and materials engineering;

   Sammanfattning : There is a strong industrial driving force to find alternative production technologies in order to make the production of aero engine components of superalloys even more efficient than it is today. Introducing new and nonconventional machining technologies allows taking a giant leap to increase the material removal rate and thereby drastically increase the productivity. LÄS MER

7. 30. Digitalization Dynamics : User Interface Innovation in an Automotive Setting

   Författare :Lena Hylving; Ola Henfridsson; Lisen Selander; Tina Blegind Jensen; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER