cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Agent simulations on graphics hardware
Creators: name: Johnson, Timothy William
Publisher: name: La Trobe
Year: 2023

description: Submission note: A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Computer Science and Computer Engineering, Faculty of Science, Technology and Engineering, La Trobe University, Bundoora.

Agents have long been an area of interest for researchers in the realm of computing. Recently, due to their ability to exhibit complex and intricate behaviour at a microscopic level, agent-based simulations have begun to supplant traditional techniques of modelling in fields such as anthropology, ecology and biology. However, not only can these systems be difficult and time consuming to implement, they can also be constrained in their scope due to issues arising from a shortage of available processing power. Over the last few years graphics cards have emerged as powerful and affordable computing hardware. GPUs today significantly outstrip CPUs in terms of raw performance and the gap is continuing to widen. With GPGPU a programmer can use a graphics card for tasks other than image rendering. In the past GPGPU research has focused on processing mathematical formulae and physical models, but now, researchers seek to extend it to other areas of computing. The goal of our work is to unify agent-based simulation techniques with graphics hardware, allowing the simulations of tomorrow to perform at a higher level of quality with more agents than previously possible. Our solution allows a user to create their own abstract representation of an agent simulation without requiring the user to perform any programming. Our system then automatically converts this user defined simulation into code capable of running on a GPU. However, there are challenges that must be overcome to bring this vision to life. The core of this thesis will present these challenges and provide solutions to each of them. Finally, we’ll show that it is possible for an increase in performance to be achieved when performing an agent-based simulation with a GPU rather than a CPU, with tests conducted involving up to 100,000 autonomous agents.
Process Evaluation Project (Project #2 of 2)
Creators: name: Baldwin, Scott
name: Lindgren, Kristen P.
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Medicine and Health Sciences
subject: Psychiatry and Psychology
subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: The purpose of the present project is to specify, in advance, hypotheses and a detailed plan for conducting analyses of our recently completed study. This study aimed to evaluate narrative writing about a future possible self as a potential way to shift drinking identity (i.e., the extent to which one implicitly and explicitly identifies as a drinker) and reduce hazardous drinking among college students. The study is a registered clinical trial -- ClinicalTrials.gov Identifier: NCT03889873 and is Study 2 of R01 AA024732, funded by NIAAA. The clinical trial had a 2 (lower risk drinker vs. person who uses smart phone less) x 2 (writing in 1st vs. 3rd person) x 2 (specifically instructed to write about social network vs. not) design. Due to the relatively large number of outcomes, we envision two manuscripts. The first manuscript will describe the results of the trial on all primary outcomes over time as well as key related secondary outcomes. The second manuscript will have a process focus (i.e., how do key variables shift over the course of the three experimental sessions) and will thus describe the results of secondary and “other” outcomes. This registration is for the SECOND manuscript.
(201208) Catherine Margaret Pigott
Creators: name: Professions, Victorian
Publisher: name: University of Oxford
Year: 2022
Subjects: subject: 220201 Business and Labour History
subject: FOS: Philosophy, ethics and religion
subject: History
subject: 140203 Economic History
subject: FOS: Economics and business

description: This three-year research project began in January 2014 and investigated whether, during the Victorian period, the professions formed a distinct self-sustaining social group with its own mores and values. The project looked at 16,000 individuals drawn from census data for Alnwick, Brighton, Bristol, Dundee, Greenock, Leeds, Merthyr Tydfil, Morpeth, and Winchester. The research project was funded by the UK Economic & Social Research Council and was based at the Universities of Oxford and Northumbria.
Análise de dados de um Teste de Matemática do ENEM utilizando o Modelo de Diagnóstico Cognitivo GDINA
Creators: name: Azevêdo, Joelson Severo Dos Santos
Publisher: name: Open Science Framework
Year: 2023
Subjects: subject: Education
subject: Social and Behavioral Sciences
subject: Cognitive Diagnostic Models
subject: Psychometrics
subject: Math Test

description: Este projeto de pesquisa tem como objetivo investigar como os Modelos de Diagnóstico Cognitivo (CDM) podem ampliar as informações obtidas a partir de testes psicológicos e educacionais, com foco na prova de matemática do Exame Nacional do Ensino Médio (ENEM). Os testes tradicionais muitas vezes fornecem apenas informações limitadas, dificultando a compreensão das habilidades específicas e dos processos cognitivos dos participantes. O CDM é uma abordagem inovadora que permite uma análise mais detalhada e precisa dos dados dos testes, fornecendo informações sobre a distribuição das classes de habilidades, as probabilidades de domínio de habilidades e o perfil de habilidades individual de cada aluno. A pesquisa utilizará o modelo Gdina, um modelo de diagnóstico cognitivo, para analisar os dados da prova de matemática do ENEM. Serão utilizados os microdados disponíveis no portal do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (Inep). A análise dos dados com o uso do CDM permitirá identificar padrões de erro, dificuldades específicas e lacunas no conhecimento dos estudantes em matemática. Os resultados esperados incluem a compreensão aprofundada do desempenho dos estudantes, o desenvolvimento de estratégias educacionais mais efetivas e a validação do modelo Gdina em comparação com o modelo TRI tradicionalmente utilizado. Esta pesquisa é relevante para a área de avaliação educacional, pois contribui para práticas de ensino aprimoradas, intervenções mais eficazes e um ensino personalizado e inclusivo. Além disso, pode servir como referência para futuros estudos sobre o uso de modelos de diagnóstico cognitivo no contexto educacional e psicológico brasileiro.
title: Zum Bild der Familie in Hansjörg Schneiders Kriminalroman „Hunkelers Geheimnis“ im Kontext der Schweizer Flüchtlingspolitik in der Zeit des Nationalsozialismus
Creators: name: Jambor, Ján
Publisher: name: Trier University
Year: 2022

description: This article focuses on detective novel „Hunkelers Geheimnis“ [“Hunkeler’s secret”] (2015), the ninth Peter Hunkeler novel by Swiss-German author Hansjörg Schneider (b. 1938). It sets out to treat in detail the image of the family relevant to this novel with regard to the characters of the perpetrator and murder victim, and to situate them in the historical context. Upon interpreting the text, the author of the present article draws not only on the attendant literature, but also on an interview conducted with the novelist in the form of letters. In the first part, the question of what role the motif of the family plays in the classic and post-classic crime novel, especially from German-speaking Switzerland, is explored. The presentation of the plot structure is followed by an analysis and interpretation of the event leading to a puzzling murder, which reflects Switzerland’s refugee policy during the Nazi period. The fourth part pays heed to the historical context of the event as well as Schneider’s interdiscursive work with specialised literature and historical sources. In the next part, attention is drawn to blurring the line between victim and perpetrator. The last part examines the detective’s family.
Tractors and Twistors from conformal Cartan geometry: a gauge theoretic approach II. Twistors
Creators: name: François, Jordan
name: Attard, Jeremy
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: Tractors and Twistors bundles both provide natural conformally covariant calculi on $4D$-Riemannian manifolds. They have different origins but are closely related, and usually constructed bottom-up through prolongation of defining differential equations. We propose alternative top-down gauge theoretic constructions, starting from the conformal Cartan bundle $¶$ and its vectorial $E$ and spinorial $\sE$ associated bundles. Our key ingredient is the dressing field method of gauge symmetry reduction, which allows to exhibit tractors and twistors and their associated connections as gauge fields of a non-standard kind as far as Weyl rescaling symmetry is concerned. By \emph{non-standard} we mean that they implement the gauge principle of physics, but are of a different geometric nature than the well known differential geometric objects usually underlying gauge theories. We provide the corresponding BRST treatment. In a companion paper we dealt with tractors, in the present one we address the case of twistors.
description: 24 pages, correction eq. (29)
Developing adaptive and flexible individual and agent-based ecological models via pattern-guided evolution
Creators: name: Haythorne, Sean Anthony
Publisher: name: La Trobe
Year: 2023

description: Submission note: A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Engineering and Mathematical Sciences, Faculty of Science, Technology and Engineering, La Trobe University, Bundoora.

This thesis explores a novel approach, denoted the pattern-guided evolution (PGE) method, for developing individual and agent-based ecological models that have the capacity to simulate intergenerational adaptation. Intergenerational adaptation, or evolution, can be simulated by implementing model entities or agents with inheritable parametric diversity and modelling entity reproduction. Implementing individual or agent-based models with parametric diversity may also increase their flexibility for model sharing and component reuse. However, it is also likely to increase model complexity. Existing approaches for developing and calibrating individual and agent-based models, such as the pattern-oriented modelling (POM) approach, have already been found to be computationally expensive in many cases. Typically, the POM approach involves searching for parameters that result in models that match real-world data or patterns. The PGE method provides an alternative approach for models have inheritable parametric diversity, which involves guiding the evolution of model entities or agents towards congruence with expected patterns. The results of the simulations conducted for this research show that the method was effective for developing and calibrating a typical and reasonably complex ecological individual-based model having inheritable parametric diversity, built for demonstration purposes using the Repast Simphony agent-based modelling and simulation toolkit. The research findings also suggest that using the PGE method is generally less computationally expensive than the POM approach to model development and calibration. Overall, the method may thus facilitate the future development of increasingly complex models capable of simulating intergenerational adaptation in changing environments. Such models may have increasing utility given the challenges ecologists and environmental scientists and engineers face in a changing world.
Editorial: Forces in biology - Cell and developmental mechanobiology and its implications in disease - Volume II.
Creators: name: Wu, Selwin K
name: Gomez, Guillermo A
name: Stehbens, Samantha
name: Acharya, Bipul R
name: Ratheesh, Aparna
name: Priya, Rashmi
name: Lagendijk, Anne
name: Bershadsky, Alexander
Publisher: name: The Francis Crick Institute
Year: 2023
Subjects: Model organisms
Imaging
Developmental Biology
Cell Biology
Computational & Systems Biology

description: No description supplied
The Effects of Chunk Reading Strategy Training on the Word Integration Skills of L1-Japanese English Learners
Creators: name: Kosaka, Takumi
Publisher: name: Open Science Framework
Year: 2023
Subjects: subject: Social and Behavioral Sciences
subject: Applied Linguistics
subject: Linguistics
subject: FOS: Languages and literature

description: The Chunk-and-Pass model (Christiansen & Chater, 2016) posits that language acquisition involves learning how to effectively chunk linguistic input, enabling the recoding of it into larger units of linguistic sequences, such as words to phrases, which form more abstract representations. This study aims to investigate the impact of Chunk Reading Strategy Training (CRST) on enhancing the word integration skills of lower-proficiency Japanese English learners. In the CRST intervention, English sentences were segmented into smaller units, each of which was grammatically and semantically meaningful, and presented automatically on a computer screen, one chunk at a time. Employing a pre-posttest design, 29 Japanese secondary school students underwent the CSRT intervention (treatment group), while 21 students received reading training in block format (control group) over a period of four weeks. Results from a self-paced reading task revealed that the treatment group demonstrated significantly improved word integration skills in the posttest compared to the control group. These findings suggest that CRST may serve as a beneficial tool for enhancing the word integration skills of Japanese English learners. Furthermore, these results will illuminate the pedagogical implications associated with the Chunk-and-Pass model.
Inference for sparse linear regression based on the leave-one-covariate-out solution path
Creators: name: Cao, Xiangyang
name: Gregory, Karl
name: Wang, Dewei
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
classificationCode: 69999
subject: Biological Sciences not elsewhere classified
classificationCode: 19999
subject: Mathematical Sciences not elsewhere classified

description: We propose a new measure of variable importance in high-dimensional regression based on the change in the LASSO solution path when one covariate is left out. The proposed procedure provides a novel way to calculate variable importance and conduct variable screening. In addition, our procedure allows for the construction of p-values for testing whether each coefficient is equal to zero as well as for testing hypotheses involving multiple regression coefficients simultaneously; bootstrap techniques are used to construct the null distribution. For low-dimensional linear models, our method can achieve higher power than the t-test. Extensive simulations are provided to show the effectiveness of our method. In the high-dimensional setting, our proposed solution path based test achieves greater power than some other recently developed high-dimensional inference methods. We extend our method to logistic regression and demonstrate in simulation that our leave-one-covariate-out solution path tests can provide accurate p-values.
Finding statistics that communicate: how do people understand confidence intervals?
Creators: name: Kalinowski, Pawel
Publisher: name: La Trobe
Year: 2023

description: Submission note: A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Psychological Science, Faculty of Science, Technology and Engineering, La Trobe University, Bundoora.

Statistics can be challenging to learn and interpret for many students. The recent guidelines by the American Psychological Association (APA) encourage estimation-based thinking and use of confidence intervals (CIs). But how do people think about and understand CIs? What information do people draw from a CI? What do they ignore? If they have misconceptions, to what extent can we reduce CI misconceptions? This general introduction will present the theoretical framework for my thesis. I will begin by describing CIs and my motivation for investigating them. I will introduce the concept of subjective likelihood distributions. Finally, I will give a chapter by chapter summary of the thesis.
Search for the Decay KL --> pi^0e^+e^-
Creators: name: Alavi-Harati, A.
name: Albuquerque, I. F.
name: Alexopoulos, T.
name: Arenton, M.
name: Arisaka, K.
name: Averitte, S.
name: Barker, A. R.
name: Bellantoni, L.
name: Bellavance, A.
name: Belz, J.
name: Ben-David, R.
name: Bergman, D. R.
name: Blucher, E.
name: Bock, G. J.
name: Bown, C.
Publisher: name: The American Physical Society
Year: 2001
Subjects: subject: 530

description: Physical Review Letters
The moving particle lemma for the exclusion process on a weighted graph
Creators: name: Chen, Joe P.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Probability (math.PR)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 05C81, 28A80, 31C20, 60K35, 82C22

description: We prove a version of the moving particle lemma for the exclusion process on any finite weighted graph, based on the octopus inequality of Caputo, Liggett, and Richthammer. In light of their proof of Aldous' spectral gap conjecture, we conjecture that our moving particle lemma is optimal in general. Our result can be applied to graphs which lack translational invariance, including, but not limited to, fractal graphs. An application of our result is the proof of local ergodicity for the exclusion process on a class of weighted graphs, the details of which are reported in a follow-up paper [arXiv:1705.10290].
description: v4: 10 pages, 1 figure. Small typos corrected
Conogethes punctiferalis
Creators: name: 高博嘉(Gao Bojia)
Publisher: name: CNGB
Year: 2023
Subjects: Genome sequencing and assembly
Transcriptome or Gene expression
Multiisolate
Agricultural

description: This project is mainly used for assembly and resequencing analysis of the genome of a Conogethes punctiferalis at the near chromosome level.
title: A Survey on Modelling of Automotive Radar Sensors for Virtual Test and Validation of Automated Driving
Creators: name: Magosi, Zoltan Ferenc
name: Li, Hexuan
name: Rosenberger, Philipp
name: Wan, Li
name: Eichberger, Arno
Publisher: name: MDPI
Year: 2022

description: Radar sensors were among the first perceptual sensors used for automated driving. Although several other technologies such as lidar, camera, and ultrasonic sensors are available, radar sensors have maintained and will continue to maintain their importance due to their reliability in adverse weather conditions. Virtual methods are being developed for verification and validation of automated driving functions to reduce the time and cost of testing. Due to the complexity of modelling high-frequency wave propagation and signal processing and perception algorithms, sensor models that seek a high degree of accuracy are challenging to simulate. Therefore, a variety of different modelling approaches have been presented in the last two decades. This paper comprehensively summarises the heterogeneous state of the art in radar sensor modelling. Instead of a technology-oriented classification as introduced in previous review articles, we present a classification of how these models can be used in vehicle development by using the V-model originating from software development. Sensor models are divided into operational, functional, technical, and individual models. The application and usability of these models along the development process are summarised in a comprehensive tabular overview, which is intended to support future research and development at the vehicle level and will be continuously updated.
(201206) William Bryden
Creators: name: Professions, Victorian
Publisher: name: University of Oxford
Year: 2022
Subjects: subject: 220201 Business and Labour History
subject: FOS: Philosophy, ethics and religion
subject: History
subject: 140203 Economic History
subject: FOS: Economics and business

description: This three-year research project began in January 2014 and investigated whether, during the Victorian period, the professions formed a distinct self-sustaining social group with its own mores and values. The project looked at 16,000 individuals drawn from census data for Alnwick, Brighton, Bristol, Dundee, Greenock, Leeds, Merthyr Tydfil, Morpeth, and Winchester. The research project was funded by the UK Economic & Social Research Council and was based at the Universities of Oxford and Northumbria.
Unit-linked life insurance policies: optimal hedging in partially observable market models
Creators: name: Ceci, Claudia
name: Colaneri, Katia
name: Cretarola, Alessandra
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mathematical Finance (q-fin.MF)
subject: FOS: Economics and business
subject: 91B30, 60G35, 60G40, 60J60

description: In this paper we investigate the hedging problem of a unit-linked life insurance contract via the local risk-minimization approach, when the insurer has a restricted information on the market. In particular, we consider an endowment insurance contract, that is a combination of a term insurance policy and a pure endowment, whose final value depends on the trend of a stock market where the premia the policyholder pays are invested. We assume that the stock price process dynamics depends on an exogenous unobservable stochastic factor that also influences the mortality rate of the policyholder. To allow for mutual dependence between the financial and the insurance markets, we use the progressive enlargement of filtration approach. We characterize the optimal hedging strategy in terms of the integrand in the Galtchouk-Kunita-Watanabe decomposition of the insurance claim with respect to the minimal martingale measure and the available information flow. We provide an explicit formula by means of predictable projection of the corresponding hedging strategy under full information with respect to the natural filtration of the risky asset price and the minimal martingale measure. Finally, we discuss applications in a Markovian setting via filtering.
description: 34 pages
title: Zinc biofortification of rice using carbon nanodots
Creators: name: Wijerathna, Chamika Buddhinie
Publisher: name: University of Southern Queensland
Year: 2023
Subjects: classificationCode: 310803
subject: Plant cell and molecular biology
classificationCode: 310806
subject: Plant physiology
classificationCode: 310899
subject: Plant biology not elsewhere classified
classificationCode: 310509
subject: Genomics

description: Increasing Zn content of cereals, particularly rice, is an approach for combating global Zn malnutrition. This project aimed to investigate the use of CNPs as a Zn carrier to increase rice Zn content. CDs bound with Zn were used as a foliar spray in the study to determine their effectiveness in delivering Zn to rice plants. The CNPs utilized in the study neither had detrimental effect on the growth nor showed deleterious effect on physiology of the rice plants tested. The possible physiological and molecular mechanism of a Zn efficient rice variety (IR36) and a Zn inefficient variety (IR26) were also studied under CNP. ZnCD application significantly increased shoot and seed Zn content of the IR36 variety, and this response was not seen in the IR26 variety. In contrast, the Fe content of IR 36 seeds increased significantly compared to the bulk Zn application. This validates prior research that found a positive relationship between Zn and Fe uptake in rice. Nonetheless, the responses of the two rice varieties revealed differences in Zn uptake and grain loading demonstrating varying Zn utilization efficiency. Comparative transcriptome and proteome analysis were used to determine the molecular mechanism by which rice responds to CNP-under contrast Zn utilization genetics. RNA-Seq-based transcriptomic analysis found 251 upregulated genes in IR36 in response to ZnCDs that were not upregulated in IR26. These set of activated IR36-specific genes implicated in Zn uptake, grain filling, auxin signalling, and abiotic stress signalling pathways. Our finding clearly demonstrates that the genetics of Zn use efficiency is further amplified by ZnCDs. The comparative proteomics analysis showed ZnCD application to IR36 upregulated 38 proteins, while IR26 upregulated 210 proteins, with just 2 similarities between the two groups. These IR36-specific proteins were heavily implicated in pathways like glucose metabolism, and photosynthesis. Findings of this study could be successfully used in formulation of a CNP based nano-fertilizer which could be used to address the global Zn malnutrition. In addition, greater understanding of the genetic mechanism of Zn utilization efficiency will open up new avenues for breeding and engineering cereals to increase their grain Zn content.
title: Un(der)paid Innovators
title: The Commercial Utiliza-tion of Consumer Work through Crowdsourcing
titleType: AlternativeTitle
Creators: name: Kleemann, Frank
name: Voß, G. Günter
name: Rieder, Kerstin
Publisher: name: Technische Universität Dortmund
Year: 2008
Subjects: subject: 300
subject: 330

description: This paper investigates the phenomena of 'crowdsourcing', or the outsourcing of tasks to the general internet public. This phenomenon was made possible by technological innovations associated with 'Web 2.0' but is evidence of historically significant change in the relations between firms and their customers. We are witnessing the emergence of a new consumer type: the "working consumer". In the conventional role, consumers were passive 'kings' to be waited upon. Consumers now are becoming more like coworkers who take over specific parts of a production process, whereby this process ultimately remains under the control of a commercial enterprise. This article seeks a more precise definition of crowdsourcing, catalogues some of its forms, and differentiates them from peripherally related phenomena. It ends with a discussion regarding potential consequences (negative and positive) of crowdsourcing for the future organization of work.
description: Science, Technology & Innovation Studies
A near-stationary subspace for ridge approximation
Creators: name: Constantine, Paul G.
name: Eftekhari, Armin
name: Hokanson, Jeffrey
name: Ward, Rachel
Publisher: name: arXiv
Year: 2016
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: Response surfaces are common surrogates for expensive computer simulations in engineering analysis. However, the cost of fitting an accurate response surface increases exponentially as the number of model inputs increases, which leaves response surface construction intractable for high-dimensional, nonlinear models. We describe ridge approximation for fitting response surfaces in several variables. A ridge function is constant along several directions in its domain, so fitting occurs on the coordinates of a low-dimensional subspace of the input space. We review essential theory for ridge approximation---e.g., the best mean-squared approximation and an optimal low-dimensional subspace---and we prove that the gradient-based active subspace is near-stationary for the least-squares problem that defines an optimal subspace. Motivated by the theory, we propose a computational heuristic that uses an estimated active subspace as an initial guess for a ridge approximation fitting problem. We show a simple example where the heuristic fails, which reveals a type of function for which the proposed approach is inappropriate. We then propose a simple alternating heuristic for fitting a ridge function, and we demonstrate the effectiveness of the active subspace initial guess applied to an airfoil model of drag as a function of its 18 shape parameters.
Slavery and the Psychology of Violence in Toni Morrison's Beloved and Richard Wright's Native Son..docx
Creators: name: Atama, Amoge
Publisher: name: figshare
Year: 2023
Subjects: Literary studies not elsewhere classified

description: ABSTRACT This research is conducted to draw attention to the dangers of violence and its cycle. Based on a critical study of Toni Morrison's Beloved and Richard Wright's Native Son, it examines forms of violence. Wherever human subjection takes place, violence is always present. African-American literature confirms the culture of heroism and survival. Starting with Beloved, the slavery experience of Africans in America shows gross violence. There were instances of gross brutality, whippings, rape, torture, and scaring. The middle passage documented slave sufferings on their voyage to America under inhuman conditions. It was a system that disrespected the family. Christianity was taught to slaves in puritan and crude ways. To escape slavery, Sethe kills her daughter and injures her sons to reclaim her freedom. Death seemed better than going back to the slave plantation in Kentucky. In Native Son, blacks were continually dehumanised even after the abolition of slavery. Violence continues to manifest in racism. Blacks were barred from the Aviation school and the military. Justice system favoured whites and blacks were projected in bad light. Blacks embraced crime in their segregated and ghetto environment. Bigger Thomas accidentally kills Mary Dalton out of fear. A sense of great freedom overwhelms him, and he commits a second murder while running from the law. He is sentenced to die in a racially biased trial despite the arguments of his lawyer. Sadly, his second victim; Bessie never gets justice because she is black. It thoroughly explores the issues of slavery, racism, violence, and the psychology of violence. In displaying this, victims see violence as the only tool for freedom. Violence of the oppressed is critically looked at from a psychological perspective. Their sufferings make them impulsively embrace violence for self-assertion. By all these, the correlation between oppression and the psychology of violence is established. The two protagonists become violent because of the violence they have endured. Trauma arising from oppression in this work is proven to be longitudinal. It is individual, collective, and on the long run, proven to be trans-generational in the way it affects human beings. Above all, society is informed that the violence of oppression triggers an unending cycle of violent reprisals.
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Creators: name: de Lima, Thaynara Arielly
name: Avelar, Andréia Borges
name: Galdino, André Luiz
name: Ayala-Rincón, Mauricio
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that are general structures where an analog of the Fundamental Theorem of Arithmetic holds. First, we formalize the general abstract notions of divisibility, prime, and irreducible elements in commutative rings, essential to deal with unique factorization domains. Then, we formalize the landmark theorem, establishing that every principal ideal domain is a unique factorization domain. Finally, we specify the theory of Euclidean domains and formally verify that the rings of integers, the Gaussian integers, and arbitrary fields are Euclidean domains. To highlight the benefits of such a general abstract discipline of formalization, we specify a Euclidean gcd algorithm for Euclidean domains and formalize its correctness. Also, we show how this correctness is inherited under adequate parameterizations for the structures of integers and Gaussian integers.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
title: Les histoires de famille comme trames parallèles dans le roman à énigme: «Qui a tué Heidi?» de Marc Voltenauer
Creators: name: Malinovská, Zuzana
Publisher: name: Trier University
Year: 2022

description: This case study addresses the question of families, both referential and literary, in the 2017 mystery novel «Qui a Tué Heidi?» (“Who Killed Heidi?”), by Swiss writer Marc Voltenauer. It sets out with the assumption that the family, despite the changes undergone, is still perceived as “the uncanny” and fascinates French-speaking authors, including those whose main stake is not its depiction. According to the initial hypothesis, Marc Voltenauer puts family matters at the service of his literary project. Several family stories are woven into the police investigation, which is typical for mystery novels and forms the core of the narrative canvas. These literary families, laden with secrets, dysfunctional and potentially pathogenic, are depicted in a hyperbolic way. Is this just a consequence of genre norms (the detective novel is based on a set of stereotypes) or does the author paint a troubling picture of the contemporary family and its metamorphoses? This is one of the questions the study attempts to answer.
Classical limit of diagonal form factors and HHL correlators
Creators: name: Bajnok, Zoltan
name: Janik, Romuald A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We propose an expression for the classical limit of diagonal form factors in which we integrate the corresponding observable over the moduli space of classical solutions. In infinite volume the integral has to be regularized by proper subtractions and we present the one, which corresponds to the classical limit of the connected diagonal form factors. In finite volume the integral is finite and can be expressed in terms of the classical infinite volume diagonal form factors and subvolumes of the moduli space. We analyze carefully the periodicity properties of the finite volume moduli space and found a classical analogue of the Bethe-Yang equations. By applying the results to the heavy-heavy-light three point functions we can express their strong coupling limit in terms of the classical limit of the sine-Gordon diagonal form factors.
description: 26 pages, 12 figures, v2: eq. (54) corrected
Graph Representation for Configurational Properties of Crystalline Solids
Creators: name: Yuge, Koretaka
Publisher: name: arXiv
Year: 2016
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: We propose representation of configurational physical quantities and microscopic structures for multicomponent system on lattice, by extending a concept of generalized Ising model (GIM) to graph theory. We construct graph Laplacian (and adjacency matrix) composed of symmetry-equivalent neighboring edges, whose landscape of spectrum explicitly represents GIM description of structures as well as low-dimensional topological information in terms of graph. The proposed representation indicates the importance of linear combination of graph to further investigate the role of spatial constraint on equilibrium properties in classical systems. We demonstrate that spectrum for such linear combination of graph can find out additional characteristic microscopic structures compared with GIM-based descriptions for given set of figures on the same low-dimensional configuration space, coming from the proposed representation explicitly having more structural information for e.g., higher-order closed links of selected element. Statistical interdependence for density of microscopic states including graph representation for structures is also examined, which exhibits similar behavior that has been seen for GIM description of the microscopic structures.
description: 8 pages, 6 figures. Interpretation of the proposed graph spectrum and intuitions for the proposed approach are added
A Formal Proof Of The Riesz Representation Theorem
Creators: name: Narkawicz, Anthony; NASA Langley
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2011

description: This paper presents a formal proof of the Riesz representation theorem in the PVS theorem prover. The Riemann Stieltjes integral was defined in PVS, and the theorem relies on this integral. In order to prove the Riesz representation theorem, it was necessary to prove that continuous functions on a closed interval are Riemann Stieltjes integrable with respect to any function of bounded variation. This result follows from the equivalence of the Riemann Stieltjes and Darboux Stieltjes integrals, which would have been a lengthy result to prove in PVS, so a simpler lemma was proved that captures the underlying concept of this integral equivalence. In order to prove the Riesz theorem, the Hahn Banach theorem was proved in the case where the normed linear spaces are the continuous and bounded functions on a closed interval. The proof of the Riesz theorem follows the proof in Haaser and Sullivan's book Real Analysis. The formal proof of this result in PVS revealed an error in textbook's proof. Indeed, the proof of the Riesz representation theorem is constructive, and the function contstructed in the textbook does not satsify a key property. This error illustrates the ability of formal verification to find logical errors. A specific counterexample is given to the proof in the textbook. Finally, a corrected proof of the Riesz representation theorem is presented.
description: Journal of Formalized Reasoning; Vol 4, No 1 (2011); 1-24
Defects of liquid crystals with variable degree of orientation
Creators: name: Alper, Onur
name: Hardt, Robert
name: Lin, Fang-Hua
Publisher: name: arXiv
Year: 2016
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 58E15, 58E20, 49Q20, 76A15

description: We prove that the zero set of a minimizer of the modified Ericksen energy for nematic liquid crystals with variable degree of orientation consists locally of isolated points and a finite union of Hölder continuous curves with only finitely many crossings.
description: 32 pages; minor revisions; typographical errors corrected; new references added
Atomic Layer Deposition of MoS2 Decorated TiO2 Nanotubes for Photoelectrochemical Water Splitting
Creators: name: Shen, Chengxu
name: Wierzbicka, Ewa
name: Schultz, Thorsten
name: Wang, Rongbin
name: Koch, Norbert
name: Pinna, Nicola
Publisher: name: Humboldt-Universität zu Berlin
Year: 2022
Subjects: subject: atomic layer deposition
subject: solar fuels
subject: titania nanotubes
subject: water splitting
subject: 620 Ingenieurwissenschaften und zugeordnete Tätigkeiten

description: A thermal atomic layer deposition (ALD) process to fabricate MoS2 thin films is successfully demonstrated by using cycloheptatriene molybdenum tricarbonyl (C7H8Mo(CO)3) and H2S as precursors at an ALD temperature below 300 °C. The process is systematically investigated, showing a typical self‐limiting characteristic within an ALD temperature window of 225–285 °C and a high growth‐per‐cycle of 0.11 nm. The as‐deposited films are amorphous while they can be crystallized in situ by sulfurization with H2S at a low temperature of 300 °C. A prototypical application of the developed ALD process is demonstrated by constructing a MoS2/TiO2 heterostructure through depositing MoS2 onto anodized TiO2 nanotubes for photoelectrochemical water splitting. The MoS2/TiO2 heterostructures exhibit approximately three times superior photoelectrochemical performance than the pristine TiO2 nanotubes. This is attributed to an enhanced visible light‐harvesting ability of MoS2 and an improved separation of the photo‐generated charge carriers at the heterostructure interface, which is affirmed by a staggering gap (type II) between MoS2 and TiO2 as probed by ultraviolet photoelectron spectroscopy.
Existence of valuations with smallest normalized volume
Creators: name: Blum, Harold
Publisher: name: arXiv
Year: 2016
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14B05 (primary), 12J20 (secondary)

description: Li introduced the normalized volume of a valuation due to its relation to K-semistability. He conjectured that over a klt singularity there exists a valuation with smallest normalized volume. We prove this conjecture and provide an example to show that such a valuation need not be divisorial.
description: 26 pages, minor change made, comments welcome
Inter-rater reliability in classification of canonical babbling status based on canonical babbling ratio in infants with isolated cleft palate randomised to Timing of Primary Surgery for Cleft Palate (TOPS)
Creators: name: Willadsen, Elisabeth
name: Cooper, Rachael
name: Conroy, ElizaBeth
name: Gamble, Carrol
name: Albery, Liz
name: Andersen, Helene
name: Appelqvist, Malin
name: Bodling, Pia
name: Bowden, Melanie
name: Brunnegard, Karin
name: Enfalt, Josefin
name: van Eeden, Stephanie
name: Goncalves, Cristina
name: Fukushiro, Ana
name: Jørgensen, Line
name: Lemvik, Jorunn
name: Leturgie, Louise
name: Liljerehn, Eva
name: Lodge, Natalie
name: McMahon, Siobhan
name: Miguel, Haline
name: Patrick, Kathryn
name: Phippen, Ginette
name: Piazentin-Penna, Silvia
name: Southby, Lucy
name: Taleman, Ann-Sofie
name: Tangstad, Jorid
name: Yamashita, Renata
name: Shaw, William
name: Munro, Kevin
name: Walsh, Tanya
name: Persson, Christina
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Canonical babbling (CB) is commonly defined as present when at least 15% of all syllables produced are canonical, in other words a canonical babbling ratio (CBR) ≥0.15. However, there is limited knowledge about inter-rater reliability in classification of CB status based on CBR and inter-rater differences in assessment of CBR. We investigated inter-rater reliability of experienced Speech Language Therapists (SLTs) on: classification of CB status based on CBR ≥ 0.15, CBRs and the total number of syllables per infant used to calculate CBR. Each infant (n = 484) was video-recorded at a clinical site in play interaction with their parent as part of the randomised controlled trial Timing of Primary Surgery for Cleft Palate. Each recording was subsequently assessed by three independent SLTs, from a pool of 29 SLTs. They assessed the recordings in real time. The three assessing SLTs agreed in classification of CB status in 423 (87.4%) infants, with higher complete agreement for canonical (91%; 326/358) than non-canonical (77%; 97/126). The average difference in CBR and total number of syllables identified between the SLT assessments of each infant was 0.12 and 95, respectively. This study provided new evidence that one trained SLT can reliably classify CB status (CBR ≥ 0.15) in real time when there is clear distinction between the observed CBR and the boundary (0.15); however, when the observed CBR approaches the boundary multiple SLT assessments are beneficial. Thus, we recommend to include assessment of inter-rater reliability, if the purpose is to compare CBR and total syllable count across infants or studies. Trial registration number here: www.clinicaltrials.gov, identifier NCT00993551
UNMASKING UNREST: A THOROUGH INVESTIGATION INTO THE ORIGIN, COMPONENTS, AND DRIVING FORCES OF THE ANGLOPHONE CRISIS
Creators: name: Victoria, A. Thompson
name: Benjamin, L. Harrison
Publisher: name: SADI journals
Year: 2024
Subjects: Unitary State
Authoritarianism
Democratic Governance
Political Centralization
Cameroon Politics

description: The pivotal year of 1972 marked a profound transformation in Cameroon's political landscape, ushering in an era of constitutional and institutional metamorphosis. This transition saw the shift from a federal system to a unitary state, consolidating East and West Cameroon under a centralized government in Yaoundé (Stark, 1976). Positioned as a departure from colonial autocracy towards contextualized democratic governance, the unitary state, as envisioned, aimed to spur socio-economic growth and quell administrative chaos (Konings and Nyamnjoh, 1997). However, this transition resulted in an unintended consequence – an extreme concentration of political power in East Cameroon, fostering authoritarianism at the expense of liberal democracy.

This study delves into the aftermath of Cameroon's unitary state creation, unraveling the intricate dynamics that led to an authoritarian social contract. President Ahidjo's promise of socio-economic growth in exchange for diminished political roles laid the groundwork for a governance model that relied on welfare and incentives while curtailing political participation. Furthermore, the absence of accountability, financial transparency, and legal constraints on state officials in the unitary system hindered administrative capacity building.

Despite the introduction of multiparty politics in 1990, the unitary state's legacy offered limited overall progress for the former British territory of Cameroon (Konings and Nyamnjoh, 2003). This study aims to critically analyze the implications of the unitary state on Cameroon's political trajectory and its impact on democratic governance
Berry phase, Berry Connection, and Chern Number for a Continuum Bianisotropic Material from a Classical Electromagnetics Perspective
Creators: name: Gangaraj, S. Ali Hassani
name: Silveirinha, Mário G.
name: Hanson, George W.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The properties that quantify photonic topological insulators (PTIs), Berry phase, Berry connection, and Chern number, are typically obtained by making analogies between classical Maxwell's equations and the quantum mechanical Schrödinger equation, writing both in Hamiltonian form. However, the aforementioned quantities are not necessarily quantum in nature, and for photonic systems they can be explained using only classical concepts. Here we provide a derivation and description of PTI quantities using classical Maxwell's equations, we demonstrate how an electromagnetic mode can acquire Berry phase, and we discuss the ramifications of this effect. We consider several examples, including wave propagation in a biased plasma, and radiation by a rotating isotropic emitter. These concepts are discussed without invoking quantum mechanics, and can be easily understood from an engineering electromagnetics perspective.
X-ray powder diffraction of high-absorption materials at the XRD1 beamline off the best conditions: Application to (Gd,Nd)5Si4 compounds
Creators: name: Carvalho, A. M. G.
name: Nunes, R. S.
name: Coelho, A. A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Representative compounds of the new family of magnetic materials Gd5-xNdxSi4 were analyzed by X-ray diffraction at the XRD1 beamline at LNLS. To reduce X-ray absorption, thin layers of the powder samples were mounted outside the capillaries and measured in Debye-Scherrer geometry as usual. The X-ray diffraction analyses and the magnetometry results indicate that the behavior of the magnetic transition temperature as a function of Nd content may be directly related to the average of the four smallest interatomic distances between different rare earth sites of the majority phase of each compound. The quality and consistency of the results show that the XRD1 beamline is able to perform satisfactory X-ray diffraction experiments on high-absorption materials even off the best conditions.
description: 12 pages, 3 figures, 3 tables