| 1. |
- Abbasi, Rasha, et al.
(författare)
-
IceCube search for neutrinos from GRB 221009A
- 2023
-
Ingår i: Proceedings of 38th International Cosmic Ray Conference (ICRC 2023). - : Sissa Medialab Srl.
-
Konferensbidrag (refereegranskat)abstract
- GRB 221009A is the brightest Gamma Ray Burst (GRB) ever observed. The observed extremelyhigh flux of high and very-high-energy photons provide a unique opportunity to probe the predictedneutrino counterpart to the electromagnetic emission. We have used a variety of methods to searchfor neutrinos in coincidence with the GRB over several time windows during the precursor, promptand afterglow phases of the GRB. MeV scale neutrinos are studied using photo-multiplier ratescalers which are normally used to search for galactic core-collapse supernovae neutrinos. GeVneutrinos are searched starting with DeepCore triggers. These events don’t have directionallocalization, but instead can indicate an excess in the rate of events. 10 GeV - 1 TeV and >TeVneutrinos are searched using traditional neutrino point source methods which take into accountthe direction and time of events with DeepCore and the entire IceCube detector respectively. The>TeV results include both a fast-response analysis conducted by IceCube in real-time with timewindows of T0 − 1 to T0 + 2 hours and T0 ± 1 day around the time of GRB 221009A, as well asan offline analysis with 3 new time windows up to a time window of T0 − 1 to T0 + 14 days, thelongest time period we consider. The combination of observations by IceCube covers 9 ordersof magnitude in neutrino energy, from MeV to PeV, placing upper limits across the range forpredicted neutrino emission.
|
|
| 2. |
- Adams, Robin, et al.
(författare)
-
What is the word for 'Engineering' in Swedish : Swedish students conceptions of their discipline
- 2007
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Engineering education in Sweden – as in the rest of the world – is experiencing a decline in student interest. There are concerns about the ways in which students think about engineering education, why they join an academic programme in engineering, and why they persist in their studies. In this context the aims of the Nationellt ämnesdidaktiskt Centrum för Teknikutbildning i Studenternas Sammanhang project (CeTUSS) is to investigate the student experience and to identify and support a continuing network of interested researchers, as well as in building capacity for disciplinary pedagogic investigation. The Stepping Stones project brings together these interests in a multi-researcher, multi-institutional study that investigates how tudents and academic staff perceive engineering in Sweden and in Swedish education. The first results of that project are reported here. As this study is situated uniquely in Swedish education, it allows for exploration of “a Swedish perspective” on conceptions of engineering. The Stepping Stones project was based on a model of research capacity-building previously instantiated in the USA and Australia (Fincher & Tenenberg, 2006).
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Heyer, Tim, 1967-
(författare)
-
Semantic Inspection of Software Artifacts From Theory to Practice
- 2001
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. The approach is based on conventional inspection in the style of Fagan, but extended with elements of formal verification in the style of Hoare. In Hoare’s approach a program is annotated with assertions. Assertions express conditions on program variables and are used to specify the intended behavior of the program. Hoare introduced a logic for formally proving the correctness of a program with respect to the assertions.Our main contribution concerns the predicates used to expressassertions. In contrast to Hoare, we allow an incomplete axiomatization of those predicates beyond the point where a formal proof of the correctness of the program may no longer be possible. In our approach predicates may be defined in a completely informal manner (e.g. using natural language). Our hypothesis is, that relaxing the requirements on formal rigor makes it easier for the average developer to express and reason about software artifacts while still allowing the automatic generation of relevant, focused questions that help in finding defects. The questions are addressed in the inspection, thus filling the somewhat loosely defined steps of conventional inspection with a very concrete content. As a side-effect our approach facilitates a novel systematic, asynchronous inspection process based on collecting and assessing the answers to the questions.We have adapted the method to the inspection of code as well as the inspection of early designs. More precisely, we developed prototype tools for the inspection of programs written in a subset of Java and early designs expressed in a subset of UML. We claim that the method can be adapted to other notations and (intermediate) steps of the software process. Technically, our approach is working and has successfully been applied to small but non-trivial code (up to 1000 lines) and designs (up to five objects and ten messages). An in-depth industrial evaluation requires an investment of substantial resources over many years and has not been conducted. Despite this lack of extensive assessment, our experience shows that our approach indeed makes it easier to express and reason about assertions at a high level of abstraction.
|
|
