529 research outputs found
Retraction Note : New recommendations for reversal of high-dose methotrexate cytotoxicity with folinic acid (Cancer Chemotherapy and Pharmacology, (2025), 95, 1, (41), 10.1007/s00280-025-04749-w)
No full textThe Editor-in-Chief has retracted this article because Fig. 1 and its legend contained data that was published without the owner’s permission or the patient’s consent. Figure 1 has now been removed. Jesper Heldrup, Stefan Schwartz, Etienne Chatelut, Miriam Hwang do not agree to this retraction. Archie Bleyer did not state explicitly whether they agree ot this retraction. Brooke Bernhardt agrees to this retraction. Laura Ramsey, Lauren Schaff, Carolina Ten, Martin Guscott and Scott Howard did not respond to correspondence from the Editor about this retraction
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]
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
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
Assessment Of Chemotherapy-Induced Nausea And Vomiting In Children And Adolescents With Cancer
No full textExploration 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
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.
Insights from a pharmacometric analysis of HDMTX in adults with cancer: Clinically relevant covariates for application in precision dosing
No full textAims: High-dose methotrexate (HDMTX) is an essential part of the treatment of several adult and paediatric malignancies. Despite meticulous supportive care during HDMTX administration, severe toxicities, including acute kidney injury (AKI), may occur contributing to patient morbidity. Population pharmacokinetics provide a powerful tool to predict time to clear HDMTX and adjust subsequent doses. We sought to develop and validate pharmacokinetic models for HDMTX in adults with diverse malignancies and to relate systemic exposure with the occurrence of severe toxicity.Methods: Anonymized, de-identified data were provided from 101 US oncology practices that participate in the Guardian Research Network, a non-profit clinical research consortium. Modelled variables included clinical, laboratory, demographic and pharmacological data. Population pharmacokinetic analysis was performed by means of nonlinear mixed effects modelling using MonolixSuite.Results: A total of 693 HDMTX courses from 243 adults were analysed, of which 62 courses (8.8%) were associated with stage 2/3 acute kidney injury (43 stage 2, 19 stage 3). A three-compartment model adequately fitted the data. Time-dependent serum creatinine, baseline serum albumin and allometrically scaled bodyweight were clinically significant covariates related to methotrexate clearance. External evaluation confirmed a satisfactory predictive performance of the model in adults receiving HDMTX. Dose-normalized methotrexate concentration at 24 and 48 hours correlated with AKI incidence.Conclusion: We developed a population pharmacometric model that considers weight, albumin and time-dependent creatinine that can be used to guide supportive care in adult patients with delayed HDMTX elimination.Fil: Ibarra Viñales, Manuel. Universidad de la República; UruguayFil: Combs, Ryan. No especifíca;Fil: Taylor, Zachary L.. Cincinnati Children's Hospital Medical Center; Estados UnidosFil: Ramsey, Laura B.. Cincinnati Children's Hospital Medical Center; Estados UnidosFil: Mikkelsen, Torben. University Aarhus; DinamarcaFil: Buddington, Randal K.. No especifíca;Fil: Heldrup, Jesper. University Children's Hospital; SueciaFil: Barreto, Jason N.. No especifíca;Fil: Guscott, Martin. Cincinnati Children's Hospital Medical Center; Estados UnidosFil: Lowe, Jennifer. Cincinnati Children's Hospital Medical Center; Estados UnidosFil: Hurmiz, Charles. No especifíca;Fil: Marada. Suresh. No especifíca;Fil: Howard, Scott C.. University of Tennessee; Estados UnidosFil: Schaiquevich, Paula Susana. Gobierno de la Ciudad de Buenos Aires. Hospital de Pediatría "Juan P. Garrahan"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
Assessment Of Chemotherapy-Induced Nausea And Vomiting In Children And Adolescents With Cancer
No full textDependently 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
- …
