226 research outputs found
Data for Thermodynamics of proton insertion across the perovskite-brownmillerite transition in La0.5Sr0.5CoO3-δ
No full textThe `protonation-of-lsco` zip includes the plots which appear in our manuscript, along with the data and scripts used to generate them. In addition to the structures, energies, and other data related to host, oxygen vacancy, and hydrogen interstitial structures of La0.5Sr0.5CoO3-δ (and SrCoO2.5), metadata (e.g., INCAR settings) related to the first-principle calculations is included in the data files. Each subfolder (`scripts`, `figures`, `dos_data`, and `data`) contains a detailed README.md file that provides additional information related to the files contained within.This repository exists to share the data and scripts used in the paper "Thermodynamics of proton insertion across the perovskite-brownmillerite transition in La0.5Sr0.5CoO3-δ" by Armand J. Lannerd, Nathan J. Szymanski, and Christopher J. Bartel. The files are contained in the folder `protonation-of-lsco` with additional detailed information presented in the `README.md` files of each subfolder (`scripts`, `figures`, `dos_data`, and `data`).This work was supported primarily by the National Science Foundation through the University of Minnesota MRSEC under Award Number DMR-2011401. This material is based upon work partially supported by the National Science Foundation Graduate Research Fellowship Program under Grant No. 2237827. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. The authors acknowledge the Minnesota Supercomputing Institute (MSI) at the University of Minnesota for providing resources that contributed to the research results reported within this paper.Lannerd, Armand J; Szymanski, Nathan J; Bartel, Christopher J. (2026). Data for Thermodynamics of proton insertion across the perovskite-brownmillerite transition in La0.5Sr0.5CoO3-δ. Retrieved from the Data Repository for the University of Minnesota (DRUM), https://doi.org/10.13020/5etj-a120
Kazimierz Bartel 1882–1941
No full text Kazimierz Bartel 1882–1941The article is devoted to the life of Kazimierz Bartel, a scholar and a politician. The author presents all stages of his biography: from school and university days, through the story of a young scholar from the Lviv University of Technology and soldier taking part in three wars First World War, Polish-Ukrainian, Polish-Bolshevik War, to that of asocial and political activist in independent Poland a career crowned with premiership, which he held several times. The biography ends with the tragedy of the occupation. Kazimierz Bartel was one of the best known victims of the Massacre on the Wulka Hills, perpetrated by the Germans in July 1941. The description of the story of Kazimierz Bartel is accompanied by references to the stories of members of his family.Translated by Anna Kijak Kazimierz Bartel 1882–1941The article is devoted to the life of Kazimierz Bartel, a scholar and a politician. The author presents all stages of his biography: from school and university days, through the story of a young scholar from the Lviv University of Technology and soldier taking part in three wars First World War, Polish-Ukrainian, Polish-Bolshevik War, to that of asocial and political activist in independent Poland a career crowned with premiership, which he held several times. The biography ends with the tragedy of the occupation. Kazimierz Bartel was one of the best known victims of the Massacre on the Wulka Hills, perpetrated by the Germans in July 1941. The description of the story of Kazimierz Bartel is accompanied by references to the stories of members of his family.Translated by Anna Kija
Factor equivalence of Galois modules and regulator constants
No full textWe compare two approaches to the study of Galois module structures: on the one hand, factor equivalence, a technique that has been used by Fröhlich and others to investigate the Galois module structure of rings of integers of number fields and of their unit groups, and on the other hand, regulator constants, a set of invariants attached to integral group representations by Dokchitser and Dokchitser, and used by the author, among others, to study Galois module structures. We show that the two approaches are in fact closely related, and interpret results arising from these two approaches in terms of each other. We then use this comparison to derive a factorizability result on higher K-groups of rings of integers, which is a direct analogue of a theorem of de Smit on S-units
The Gdańsk Builder Bartel Ranisch (1648–1710?): New Research on His Biography and Architectural Activity
No full textThis essay presents the builder Bartel Ranisch, who is the author of one of the most exceptional books on architecture to appear in Europe in the 17th century. Titled Beschreibung Aller Kirchen-Gebäude der Stadt Dantzig and published in 1695, it was an illustrated description of Gdańsk’s churches. According to the author, it aimed to reestablish the skills needed to build complex architectural structures, particularly rib vaults, in order to stimulate the development of architecture in the city. The aim of this essay is to analyse Ranisch’s work and contextualise his biography by describing his background, education and position in the local architectural milieu. This approach will allow for a better understanding of the context in which his book was written. Furthermore, it will provide a better understanding of the Gdańsk architectural milieu in the second half of the 17th and early 18th centuries, which has so far remained largely removed from the interest of researchers
Ethics of Early Talent and Identity Formation with Music
No full textThis is slightly edited, informal email dialogue that took place between August 1999 and March 2000 among Lee Bartel, (the moderator) University of Toronto, Joyce Bellous, McMaster University, Wayne Bowman, Brandon University, and Ken Peglar, Peel Regional School Board.
Lee Bartel teaches in the music education division at the Faculty of Music, University of Toronto. His interests include music response, social psychology of music, and conditions of music learning. He is the Director of the Canadian Music Education Research Centre and co-editor of the Canadian Music Educator.
Joyce Bellous teaches at the McMaster Divinity College in Hamilton Ontario. Her specialty is philosophy of education which she has taught at the University of Alberta and The University of Calgary. Her research interests having to do with children focus on character formation and the role that identity plays in the formation of character.
Wayne Bowman teaches at Brandon University in Manitoba His specialty is music education and music philosophy. He is the author of the book, Philosophical Perspectives on Music, published by Oxford University Press. He has three grown children, two of whom make their living playing violin.
Ken Peglar, has taught high school for 22 years and currently teaches visual art and OAC philosophy at Turner Fenton Secondary in Brampton. For 13 years he was a music and history teacher. He is a founding member of Ontario Philosophy Teachers Association (OPTA)
Ethics of Early Talent and Identity Formation with Music
No full textThis is slightly edited, informal email dialogue that took place between August 1999 and March 2000 among Lee Bartel, (the moderator) University of Toronto, Joyce Bellous, McMaster University, Wayne Bowman, Brandon University, and Ken Peglar, Peel Regional School Board.
Lee Bartel teaches in the music education division at the Faculty of Music, University of Toronto. His interests include music response, social psychology of music, and conditions of music learning. He is the Director of the Canadian Music Education Research Centre and co-editor of the Canadian Music Educator.
Joyce Bellous teaches at the McMaster Divinity College in Hamilton Ontario. Her specialty is philosophy of education which she has taught at the University of Alberta and The University of Calgary. Her research interests having to do with children focus on character formation and the role that identity plays in the formation of character.
Wayne Bowman teaches at Brandon University in Manitoba His specialty is music education and music philosophy. He is the author of the book, Philosophical Perspectives on Music, published by Oxford University Press. He has three grown children, two of whom make their living playing violin.
Ken Peglar, has taught high school for 22 years and currently teaches visual art and OAC philosophy at Turner Fenton Secondary in Brampton. For 13 years he was a music and history teacher. He is a founding member of Ontario Philosophy Teachers Association (OPTA)
Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack
No full textIn recent years, mobile devices, such as smart phones, have spread at an exponential rate. The most used system running on these devices, accounting for almost 80% of market share for smart phones world-wide, is the Android software stack. This system runs Android applications that users download from an application market. The system is called a permission-based system since it limits access to protected resources by checking that applications have the required permission(s). Users store and manipulate personal information such as contact lists or pictures using applications on their devices and trust that their data is safe. Analyzing applications and the system on top of which they are running would be an objective method to evaluate if the data is well-protected.In this thesis we aim at analyzing Android applications from the security point of view and answering to the following challenging questions: How can Android applications be analyzed? Are permissions well-defined for Android applications? Can applications leak protected data? How can dynamic analysis complement static analysis? To answer these questions we structure the thesis around four objectives. The first objective is to analyze Android applications with static analysis tools. The challenge is that Android applications are packaged with Dalvik bytecode, different in many aspects from the Java bytecode. We developed Dexpler, a tool to transform Dalvik bytecode into Jimple, an understandable format for Soot, one of the most used static analysis framework for Java-based programs. With Dexpler we can now analyze Android applications.The second objective is to check that developers do not give too many permissions to the Android applications they develop. Reducing the number of permission reduces the attack surface of an malicious user exploiting an application. We analyze the code of applications to check which permissions they really require. This requires to deeply analyze the Android framework to extract a mapping between API methods (that Android application call) and required permissions. We present an Andersen-like field-sensitive approach using novel domain-specific
optimizations to extract the mapping from the Android framework. Permissions protect sensitive data. Nevertheless, applications having the right permission(s) to access the data
could leak the data. This is for instance the case with malware or application packaged with aggressive advertisement libraries. The third objective is to statically analyze Android applications to detect such leaks. Android applications are different from traditional Java applications. One of the most important differences is that Android applications are
made of components. Analyzing Android applications to find leaks requires to link components that communicate together and to model every component. We developed IccTA to detect privacy leaks. It connects components at the code level to perform inter-component and inter-application data-flow analysis.Analyzing Android applications statically enables to find security issues such as the GPS coordinates leaking out of the device. However, static analyses do not run directly on users’ devices and thus do not take the device’s context into account. The last objective of this thesis is to have an insight of how dynamic approaches can complement static
analyses. We are the first to present a tool-chain to dynamically instrument Android applications in vivo, i.e. directly on the device. We present two use cases instrumenting applications to show that dynamic approaches are feasible, that they can leverage results from static analyses, and that they are beneficial for the user from the point of view of security or privacy. One of the use case is a fine-grained permission system prototype enabling the user to disable or enable application permissions at will. The four contributions have been validated through rigorous experiments as complete as possible. Through this thesis we provide solutions to analyze Android applications using static analysis, to check the permission set of applications, to find private data leaks in Android applications and to analyze permission-based frameworks. By analyzing what goes wrong, we can improve the security and privacy of mobile applications
Pornography, Ethics, and Video Games
No full textIn a recent and provocative essay, Christopher Bartel attempts to resolve the gamer\u27s dilemma. The dilemma, formulated by Morgan Luck, goes as follows: there is no principled distinction between virtual murder and virtual pedophilia. So, we\u27ll have to give up either our intuition that virtual murder is morally permissible-seemingly leaving us over-moralizing our gameplay-or our intuition that acts of virtual pedophilia are morally troubling-seemingly leaving us under-moralizing our game play. Bartel\u27s attempted resolution relies on establishing the following three theses: (1) virtual pedophilia is child pornography, (2) the consumption of child pornography is morally wrong, and (3) virtual murder is not murder. Relying on Michael Rea\u27s definition of pornography, I argue that we should reject thesis one, but since Bartel\u27s moral argument in thesis two does not actually rely thesis one that his resolution is not thereby undermined. Still, even if we grant that there are adequate resources internal to Bartel\u27s account to technically resolve the gamer\u27s dilemma his reasoning is still unsatisfying. This is so because Bartel follows Neil Levy in arguing that virtual pedophilia is wrong because it harms women. While I grant Levy\u27s account, I argue that this is the wrong kind of reason to resolve the gamer\u27s dilemma because it is indirect. What we want is to know what is wrong with virtual child pornography itself. Finally, I suggest alternate moral resources for resolving the gamer\u27s dilemma that are direct in a way that Bartel\u27s resources are not. [ABSTRACT FROM AUTHOR
- …
