970 research outputs found
Picard - an electrostatic particle in cell simulation code
No full textThis is a particle-in-cell plasma code 'picard' that was developed
by Jesper Lindkvist and Herbert Gunell with start in 2016 using
resources provided by the Swedish National Infrastructure for
Computing (SNIC) at the High Performance Computing Center North
(HPC2N), Umeå University, Sweden. Jesper Lindkvist was funded by
the Swedish National Space Board (SNSB project 201/15) and
Herbert Gunell by the Swedish National Space Agency (SNSA
project 108/18).
A paper based on the first version was published in A&A .
The present version has been updated to include ionisation as a source of cometary ions, and hdf5 files are used for writing the output. The changes in this version were made by Herbert Gunell.
The files included are:
picard.tgz Package containing all source file, some matlab m-files
that can be used for plotting of the results, and an input
file that was used for a simulation that will be used in an
upcoming publication by Herbert Gunell and Charlotte Götz.
fig-cur.mp4 Videoclip showing results from the simulation defined by the input file, specifically
three-dimensional current paths from different angles.
@author : Jesper Lindkvist
Email : [email protected]
@author : Herbert Gunell
Email : [email protected]
Nietzsche and Jung (A call from a modern world)
No full textThis project contains a comparative analysis of the German psychologist C. G. Jung´s The Red Book - Liber Novus (2009) and philosopher Friedrich Nietzsche's Thus Spoke Zarathustra. We read these great books thoroughly with assistance from other authors whose work have helped our understanding. This includes, among others, Rüdiger Safranski´s work with Nietzsche's philosophy, Aksel Haaning´s in depth work with and introduction of Jung´s authorship and Sanford L. Drob´s reading of Liber Novus. We read and interpret these great books in search of answers to whether a diagnosis of their time can be found in the texts. After this we hope that a comparative analysis can open up for an understand of a potential cure. Our approach opens up for a discussion of certain themes that are present in the books separately, but also joined. It is exciting work. Liber Novus has been in a safe vault in a Swiss bank for more than forty years. Released in 2009 this is a work of enormous interest for scholars, especially Jungian academics around the world. We know that Jung read Thus Spoke Zarathustra in depth in the period up to and doing the making of Liber Novus. Therefore, we want to see how his reading has influenced Liber Novus. Both works are monumental and we hope that they can give us an insight into the modern European man and time doing the period 1880-1920
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules
No full textDependently typed languages such as Coq and Agda can statically guarantee the correctness of our proofs and programs. To provide this guarantee, they restrict users to certain schemes a- such as strictly positive datatypes, complete case analysis, and well-founded induction a- that are known to be safe. However, these restrictions can be too strict, making programs and proofs harder to write than necessary. On a higher level, they also prevent us from imagining the different ways the language could be extended. In this paper I show how to extend a dependently typed language with user-defined higher-order non-linear rewrite rules. Rewrite rules are a form of equality reflection that is applied automatically by the typechecker. I have implemented rewrite rules as an extension to Agda, and I give six examples how to use them both to make proofs easier and to experiment with extensions of type theory. I also show how to make rewrite rules interact well with other features of Agda such as-equality, implicit arguments, data and record types, irrelevance, and universe level polymorphism. Thus rewrite rules break the chains on computation and put its power back into the hands of its rightful owner: Yours.Programming Language
sj-pdf-1-inc-10.1177_17511437211050789 – Supplemental Material for The clinical frailty scale – does it predict outcome of the very-old in UK ICUs?
No full textSupplemental Material, sj-pdf-1-inc-10.1177_17511437211050789 for The clinical frailty scale – does it predict outcome of the very-old in UK ICUs? by Dagan O Lonsdale, Liting Tong, Helen Farrah, Sarah Farnell-Ward, Chris Ryan, Ximena Watson, Maurizio Cecconi, Hans Flaatten, Jesper Fjølner, Christian Jung, Bertrand Guidet, Dylan de Lange, Wojciech Szczeklik, Johanna M Muessig and Susannah K Leaver in Journal of the Intensive Care Society</p
35 frågor och svar inför en edering av Jesper Swedbergs Swensk Ordabok
No full textIn this paper, the author accounts for his work on editing an early 18th centurydictionary manuscript, bishop Jesper Swedberg’s Swensk Ordabok. A similar project– i.e. editing an old, hitherto unpublished dictionary manuscript – has beenperformed in Sweden only once before. This means that there is no tradition onwhich the solution of many problems concerning the edition of Swedberg'sdictionary could be based. For instance, there are no less than five manuscriptversions. Which of them should be selected as the basis manuscript of the edition,and to what extent should the differences between the manuscripts be accounted forin the edition? As argued by the author, none of the manuscripts written bySwedberg himself can serve as the basis manuscript, since they are all incomplete.Also, a relatively restricted account of the differences between the manuscripts issuggested; otherwise, the readability of the edition would be too low
QED theory for small-hole diffraction:Young diffraction from two Bethe holes
No full textBased on a recently developed quantum theory for a two-level quantum well screen with a mesoscopic hole [J. Jung and O. Keller, Phys. Rev. A 98, 053825 (2018)2469-992610.1103/PhysRevA.98.053825] a quantum electrodynamical (QED) theory for diffraction of light from mesoscopic holes is presented. A propagator formalism is used to calculate the super S matrix, relating the scattered field operators to the incident field operators in the Heisenberg picture. The developed QED formalism accounts for electric dipole (ED), magnetic dipole (MD), and electric quadrupole (EQ) diffraction and it opens up for the analysis of mesoscopic hole diffraction of, e.g., squeezed, entangled, and coherent quantum states of light. The theory is exemplified via a study of Young diffraction from two mesoscopic holes paying particular attention to MD and EQ scattering. The scattering of a single-photon state composed of just two plane-wave components both with wave vectors directed perpendicular to the screen is obtained. It is shown from a detailed calculation of the polarization selection rules that the relative importance of the MD and EQ scattering varies with the scattering angle. The single-photon counting signal is determined as a function of one of the two incoming frequencies, keeping the other fixed near the two-level quantum well (Bohr) resonance.</p
Exploration and reflection in interactive art: Glass pond
No full textGlass Pond is an interactive artwork designed to engender exploration and reflection through an intuitive, tangible interface and a simulation agent. It is being developed using iterative methods. A study has been conducted with the aim of illuminating user experience, interface, design, and performance issues.The paper describes the study methodology and process of data analysis including coding schemes for cognitive states and movements. Analysis reveals that exploration and reflection occurred as well as composing behaviours (unexpected). Results also show that participants interacted to varying degrees. Design discussion includes the artwork's (novel) interface and configuration. Copyright the author(s) and CHISIG
Surface plasmaritons:Wave-mechanical and second-quantized theories
No full textIn the wake of recently established quantum theories for bulk and surface plasmons, and for bulk plasmaritons [Jung and Keller, Phys. Rev. A 103, 063501 (2021)2469-992610.1103/PhysRevA.103.063501; Phys. Rev. A 104, 053508 (2021)2469-992610.1103/PhysRevA.104.053508] wave-mechanical and second-quantized (QED) theories for surface plasmaritons are developed. Our photon wave-mechanical theory is based on the covariant four-potential in the Lorenz gauge, where dynamical equations for surface plasmariton quantum particles consisting of scalar (S), longitudinal (L), and transverse (T1, T2) photons and driven by a surface current density sheet are obtained. The second quantized QED theory of surface plasmaritons is formulated on the basis of the Heisenberg equations of motion for the contravariant four-potential annihilation operators. The connection of the surface plasmariton quantum theory to the quasiparticle picture of bulk plasmaritons is elucidated by studying the T-photon exponential decay lengths appearing in the description. The shortest decay length (equal on both sides of the surface) characterizes the one-dimensional spatial confinement of the T-photon source. Starting from a reexamination (and correction) of the dynamic boundary conditions for a flat jellium-vacuum interface carrying a surface current density, the dispersion relation for surface plasmaritons is obtained. The explicit form of the dispersion relation is derived upon a study of the local field in the selvedge region of the boundary. Fundamental aspects of the dispersion relation are pointed out, modeling the electron dynamics by the microscopic electrodynamics of a quantum well. Remarks on (i) our covariant surface plasmariton quantum theory seen in a broader perspective, (ii) suggestions for applications of the theory, and (iii) a comparison of the key ingredients in our trio of papers on plasmon and plasmariton quantum physics are presented.</p
Real Estate Agent as a profession : A study regarding the occupation´s professional categorization
No full textTitel: Fastighetsmäklare som profession - En studie om yrkets professionskategorisering Nivå: Kandidatuppsats i ämnet Fastighetsvetenskap Författare: Jesper Arnshed Handledare: Karin Staffansson Pauli Datum: Maj 2021 Syfte: Med utgångspunkt i de fördelar som tillkommer av att nå en högre profession, är syftet med denna studie att undersöka fastighetsmäklarbranschens syn på kategoriseringen av mäklarprofessionen Metod: Denna studie har applicerat en kvalitativ forskningsmetodik. Med hjälp av semistrukturerade intervjuer har empirisk data kopplats till den teoretiska bakgrunden, om de bakomliggande aspekterna som bidrar till fastighetsmäklarens professionskategorisering. Resultat & Slutsats: Resultatet visar att mäklarens strävan mot högre profession delvis försvåras till följd av glappet mellan teori och praktik, samt de odefinierade regel- och ramverk som mäklare har att förhålla sig till. Om den nya lagändringen istället hade varit förankrad i de reella utmaningar och faktorer som påverkar förtroendet och yrkesintegriteten för mäklaren, finns där stora möjligheter för yrkesgruppen att nå en högre profession. Uppsatsens bidrag till ämnet: Studien har bidragit med ytterligare förståelse för mäklarens profession och vad som förhindrar en högre kategorisering. Förslag till framtida forskning: Efterhand som lagändringen har blivit implementerad vore det intressant att studera vilka förändringar som fått genomslag i branschen och för mäklaren.Title: Real Estate Agent as a profession - A study about the occupation´s professional categorization Level: Bachelor's thesis within Real Estate Science Author: Jesper Arnshed Supervisor: Karin Staffansson Pauli Date: May 2021 Aim: Based on the benefits of reaching a higher profession, the aim of this study is to examine the real estate industry's view on the categorization of the broker´s profession. Method: This study has applied a qualitative research methodology. With the help of semi-structured interviews, additional dimensions have supplemented the theoretical background, about the underlying aspects that are derived from the real estate agent's professional classification. Result & Conclusions: The result shows that the brokers´ aim towards a higher profession is partly prevented due to the gap between theory and practice, and the undefined rules and regulations that brokers must deal with. If the new law change had instead been rooted in the real challenges and aspects that affect the trust and professional integrity among brokers, there are great opportunities for the occupational group to reach a higher profession. Contribution of the thesis: The study contributed with additional understanding to the broker´s profession and what prevents a higher categorization. Suggestions for future research: As the changes in the law are implemented, it would be interesting to study what changes have had an impact in the industry and for the broker.
Dependently Typed Languages in Statix
No full textStatic type systems can greatly enhance the quality of programs, but implementing a type checker that is both expressive and user-friendly is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make this task easier by automatically deriving a type checker from a declarative specification of a type system. However, so far Statix has not been used to implement dependent types, which is a class of type systems which require evaluation of terms during type checking. In this paper, we present an implementation of a simple dependently typed language in Statix, and discuss how to extend it with several common features such as inductive data types, universes, and inference of implicit arguments. While we encountered some challenges in the implementation, our conclusion is that Statix is already usable as a tool for implementing dependent types
- …
