cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
An Assessment of the Effect of African Growth And Opportunity Act on Ethiopia's Export Performance to the United States of America
Creators: name: Kemal, Murida
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2014

description: African Growth Opportunity Act (AGOA) is a United States initiative which provides preferential access to selected Sub-Saharan African Countries products in the U.S. market since 2000. Ethiopia is one of the SSA beneficiary countries with low utilization of the AGOA. This study sought to assess the effect of African Growth and Opportunity Act (AGOA) on Ethiopia's export performance to the United States and identified reasons for low performance. To this effect, the study made use of descriptive and causal research designs and applied a mix of both qualitative and quantitative research methods using panel data of 12 years after and 8 years before the enactment of AGOA. It used in-depth interview to validate findings. The result shows that AGOA has a positive effect on overall export performance of Ethiopia to the U.S. However, the level of utilization against the opportunity and in relation to other beneficiary Sub-Saharan African Countries is low. There are both demand and supply side constraints that contributed to the low utilization. Therefore, this study recommends that addressing the demand side constraints through revision of requirements; emphasis for agricultural sector and extension of the AGOA period by the U.S. In addition, Ethiopia should address the supply side constraints through development & implementation of the National AGOA response strategy to identify real time challenges and solve them to respond to AGOA opportunity better. This would include addressing challenges related to exporters' capacity, development of infrastructure as well as creation of enabling environment. Key Words: AGOA, SSA, USA, Ethiopia, Preferential Market, Utilization
Linking frequency to bilingual switch costs during real-time sentence comprehension
Creators: name: Salig, Lauren K.
name: Valdés Kroff, Jorge R.
name: Slevc, L. Robert
name: Novick, Jared M.
Publisher: name: Cambridge University Press
Year: 2023
Subjects: code-switching
comprehension
syntax
corpora
reading times

description: Bilinguals experience processing costs when comprehending code-switches, yet the magnitude of the cost fluctuates depending on numerous factors. We tested whether switch costs vary based on the frequency of different types of code-switches, as estimated from natural corpora of bilingual speech and text. Spanish–English bilinguals in the U.S. read single-language and code-switched sentences in a self-paced task. Sentence regions containing code-switches were read more slowly than single-language control regions, consistent with the idea that integrating a code-switch poses a processing challenge. Crucially, more frequent code-switches elicited significantly smaller costs both within and across most classes of switch types (e.g., within verb phrases and when comparing switches at verb-phrase and noun-phrase sites). The results suggest that, in addition to learning distributions of syntactic and semantic patterns, bilinguals develop finely tuned expectations about code-switching behavior – representing one reason why code-switching in naturalistic contexts may not be particularly costly.
Discrete transparent boundary conditions for the mixed KDV-BBM equation
Creators: name: Besse, Christophe
name: Noble, Pascal
name: Sanchez, David
Publisher: name: arXiv
Year: 2016
Subjects: subject: Analysis of PDEs (math.AP)
subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: In this paper, we consider artificial boundary conditions for the linearized mixed Korteweg-de Vries (KDV) Benjamin-Bona-Mahoney (BBM) equation which models water waves in the small amplitude, large wavelength regime. Continuous (respectively discrete) artificial boundary conditions involve non local operators in time which in turn requires to compute time convolutions and invert the Laplace transform of an analytic function (respectively the Z-transform of an holomor-phic function). In this paper, we propose a new, stable and fairly general strategy to carry out this crucial step in the design of transparent boundary conditions. For large time simulations, we also introduce a methodology based on the asymptotic expansion of coefficients involved in exact direct transparent boundary conditions. We illustrate the accuracy of our methods for Gaussian and wave packets initial data.
title: Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Creators: name: de León, Hernán Ponce
name: Winter, Stefan
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Front Matter - ECOOP 2023 Artifacts
subject: Table of Contents
subject: Preface
subject: Artifact Evaluation Committee
subject: Software and its engineering

description: Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 0:i-0:xii
Customer Relationship Management and Its Influence on Customer Satisfaction: The Case of Commercial Bank of Ethiopia
Creators: name: Habtemariam, Alemayehu
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2018

description: The main aim of this study was Customer relationship management and its influence on customer's satisfaction: The Case of CBE. Questionnaires for customers are developed by using Likert scale approach to rate their responses and the data were collected from 400 sample branch customers who were selected randomly from 10 sample bank branches and interview was also used to collect data from managers of the sample bank branches. The collected data were organized and analyzed using SPSS version 22. Further, the collected data were analyzed through descriptive statistics, to investigate the relationship between customer relationship components (independent variables) and customers' satisfaction (dependent variables).The questionnaires were consisted of three parts: respondents' demographic characteristics, customer relationship management components (sales force automation, service quality, human resource, marketing, years of service relationship and work flow automation) and customers' satisfaction. The descriptive statistics result of the sample CBE branches revealed that the respondent customers are highly satisfied with the average results of the sales force automation of component of customer relationship management by 319 (79.8%). It is followed by human resource and service quality i.e. 278 (69.5%) and 277 (69.3%) respectively. It was found that 194 (48.5%) of the respondents are not satisfied with years of experience with the bank.Thus, the researcher recommended that: managerial efforts have to be raised in order to increase customer satisfaction by fully implementing and making follow-up the six CRM components in all branches, the bank should design means for communication and integration among the core process in CBE,improving technological infrastructure, net work and power interruption. Key words: Customer relationship management, Customer's satisfaction and Banking industry.
István Deák (1926–2023): In Memoriam
Creators: name: Judson, Pieter M.
name: Rozenblit, Marsha L.
Publisher: name: Cambridge University Press
Year: 2023
Subjects: István Deák
Jewish assimilation
Holocaust in Hungary
Deak's Scholarship
Hungarian Revolution of 1848
Habsburg army officers
World War II in Europe

description: This is a tribute to István Deák, a prominent historian of Habsburg history. The tribute covers his early life in Budapest, the son of a middle-class family of Jewish origins who suffered as a Jew in 1944. Deák left Hungary in 1944, spent several years in France and Germany, and then came to the United States in 1956. Much of the commemoration covers his career as a professor of history at Columbia University and his very significant scholarly contributions.
Randomly Generated Subgroups of the Symmetric Group and Random Lifts of Graphs
Creators: name: Silas, Shashwat
Publisher: name: arXiv
Year: 2016
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Amit and Linial showed that a random lift of a graph with minimum degree $δ\ge3$ is asymptotically almost surely $δ$-connected, and mentioned the problem of estimating this probability as a function of the degree of the lift. We relate a randomly generated subgroup of the symmetric group on $n$ elements to random $n$-lifts of a graph and use it to provide such an estimate along with related results. We also improve their later result showing a lower bound on the edge expansion on random lifts. Our proofs rely on new ideas from group theory which make several improvements possible. We exactly calculate the probability that a random lift of a connected graph with first Betti number $l$ is connected by showing that it is equal to the probability that a subgroup of the symmetric group generated by $l$ random elements is transitive. We also calculate the probability that a subgroup of a wreath product of symmetric groups generated by $l$ random generators is transitive. We show the existence of homotopy invariants in random covering graphs which reduces some of their properties to those of random regular multigraphs, and in particular makes it possible to compute the exact probability with which random regular multigraphs are connected. All our results about random lifts easily extend to iterated random lifts.
title: Python Type Hints Are Turing Complete (Artifact)
Creators: name: Roth, Ori
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: nominal Subtyping with Variance
subject: Python
subject: Software and its engineering → General programming languages

description: The artifact comprises a Docker image (virtual environment) containing the source code and experiments setup mentioned in the paper. The artifact is available on Zenodo. The anonymous version submitted to the ECOOP Artifact Evaluation Committee (AEC) is also available on Zenodo. The project is maintained on GitHub.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 1:1-1:4
Income and wealth distribution of the richest Norwegian individuals: An inequality analysis
Creators: name: Jagielski, Maciej
name: Czyżewski, Kordian
name: Kutner, Ryszard
name: Stanley, H. Eugene
Publisher: name: arXiv
Year: 2016
Subjects: subject: General Finance (q-fin.GN)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Economics and business
subject: FOS: Physical sciences

description: Using the empirical data from the Norwegian tax office, we analyse the wealth and income of the richest individuals in Norway during the period 2010--2013. We find that both annual income and wealth level of the richest individuals are describable using the Pareto law. We find that the robust mean Pareto exponent over the four-year period to be $\approx 2.3$ for income and $\approx 1.5$ for wealth.
An Assessment of Reward System in Relation to Organization Performance: A Case Study on Ethiopian Electric Power
Creators: name: Oljira, Nemomsa
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2015

description: The purpose of this research paper is to examine the impact of reward system on the performance of an organization and enables to understand the current needs of an organization and its employees to their intended objective. The low customer satisfaction, stakeholders, productive behaviour and the way how this behaviour could be altered and how to make their performance boost up (improve) to the organizational needs and demands would be the focus of the study. The research was carried out through constructive analysis from questionnaires and interview on reward system. Design/methodology/approach: The paper used an intensive case study executed by making use of descriptive survey method with the objective of EEP's performance evaluation, reward strategy, policies, processes, and practices. Method and tools: Given that staff branch head office of Ethiopian Electric Company was the statistical population under study simple random sampling was used in this survey. Sample size was determined by own adapted means of Cochran formula (152 persons). Historical study and field study methods were the most important methods of data collection and data analysis was performed by means of SPSS statistical software. Findings: The findings suggest that the use of financial and objective measures are the main concern in designing the reward systems of the organization, companies are gradually incorporated non-financial measures in their reward systems. Other remarkable findings include identical rewards are not tied to different working nature performance which is found to be deviate from the normal norms. Research implications: The reward framework identified can be used as guideline for the total reward package to further understand the function of reward system and performance, thus design and implement their unique and attractive reward system. Originality/value – The paper shows that rewards lead to increase in both financial and non-financial performance which will also enhance companies' reputation, as well as increase the recruitment possibility where more manpower will make a stronger team. Effective rewards mechanism will shift from fulfilling employees' basic requirement to self-actualization as they are growing with the business. Finally, the study has come up with a conclusion accompanied by suitable recommendations on the identified weaknesses and effect of reward system to organizations performance.
Perturbative solution to the Lane-Emden equation: An eigenvalue approach
Creators: name: Yip, Kenny L. S.
name: Chan, T. K.
name: Leung, P. T.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Under suitable scaling, the structure of self-gravitating polytropes is described by the standard Lane-Emden equation (LEE), which is characterised by the polytropic index $n$. Here we use the known exact solutions of the LEE at $n=0$ and $1$ to solve the equation perturbatively. We first introduce a scaled LEE (SLEE) where polytropes with different polytropic indices all share a common scaled radius. The SLEE is then solved perturbatively as an eigenvalue problem. Analytical approximants of the polytrope function, the radius and the mass of polytropes as a function of $n$ are derived. The approximant of the polytrope function is well-defined and uniformly accurate from the origin down to the surface of a polytrope. The percentage errors of the radius and the mass are bounded by $8.1 \times 10^{-7}$ per cent and $8.5 \times 10^{-5}$ per cent, respectively, for $n\in[0,1]$. Even for $n\in[1,5)$, both percentage errors are still less than $2$ per cent.
Tracking Switched Dynamic Network Topologies from Information Cascades
Creators: name: Baingana, Brian
name: Giannakis, Georgios B.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: Contagions such as the spread of popular news stories, or infectious diseases, propagate in cascades over dynamic networks with unobservable topologies. However, "social signals" such as product purchase time, or blog entry timestamps are measurable, and implicitly depend on the underlying topology, making it possible to track it over time. Interestingly, network topologies often "jump" between discrete states that may account for sudden changes in the observed signals. The present paper advocates a switched dynamic structural equation model to capture the topology-dependent cascade evolution, as well as the discrete states driving the underlying topologies. Conditions under which the proposed switched model is identifiable are established. Leveraging the edge sparsity inherent to social networks, a recursive $\ell_1$-norm regularized least-squares estimator is put forth to jointly track the states and network topologies. An efficient first-order proximal-gradient algorithm is developed to solve the resulting optimization problem. Numerical experiments on both synthetic data and real cascades measured over the span of one year are conducted, and test results corroborate the efficacy of the advocated approach.
HCV deduction of C4.5 rules
Creators: name: Boddu, Navin Chand.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
title: Dependent Merges and First-Class Environments (Artifact)
Creators: name: Tan, Jinhao
name: Oliveira, Bruno C. d. S.
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: First-class Environments
subject: Disjointness
subject: Intersection Types
subject: Theory of computation → Type theory

description: This artifact contains the mechanical formalization of the calculi associated with the paper Dependent Merges and First-Class Environments. All of the metatheory has been formalized in Coq theorem prover. The paper studies a statically typed calculus, called 𝖤_i, with first-class environments. The main novelty of the 𝖤_i calculus is its support for first-class environments, together with an expressive set of operators that manipulate them.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 2:1-2:3
title: Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact)
Creators: name: Rumsevicius, Ugnius
name: Venkateshwaran, Siddhanth
name: Kidane, Ellen
name: Pina, Luís
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Internet browsers
subject: dynamic software updating
subject: multi-version execution
subject: Computer systems organization → Availability
subject: Software and its engineering → Maintaining software

description: This document describes the artifact for the paper Sinatra: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 3:1-3:2
Assessing the Effect of Corporate Governance on Independence of Internal Audit Function, A Case Study Based on Private Commercial Banks of Ethiopia
Creators: name: Wondim, Meseret
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2015

description: The concept of internal audit independence has not been reviewed in the past more so among commercial banks. Therefore, this study has sought to establish how the independence of internal audit is affected by various corporate governance factors among commercial banks in Ethiopia. Data was collected using structured questionnaires distributed to all internal audit department managers, heads of audit and inspection division and risk and compliance officers/managers of the 16 private commercial banks in Ethiopia. Data collected was analyzed by descriptive statistics aided by SPSS version 20 data analysis tool. A regression model was then used to analyze the relationship between internal audit independence and level of corporate governance factors within a test of significance of 95% confidence level. The study revealed that there is positive linear relationship between independence of Internal audit function and the corporate governance factors; corporate governance setting (CGS, senior management support (SMS), Effectiveness of audit committee (EAC)) and Perception of Internal audit independence (POI) among private commercial banks in Ethiopia. From the findings, the study recommends that private bank executives and board of directors to carefully consider the direction and effect of corporate governance factors on independence of internal audit function. Management of private commercial banks should also update themselves with the corporate governance factors that affect independence of internal audit function to get best /value adding service out of their banks' internal audit function. KEY WORDS: corporate governance, senior management, independence, internal audit, perception, audit committee effectiveness.
Micro and nano-patterning of single-crystal diamond by swift heavy ion irradiation
Creators: name: Garcia, G.
name: Preda, I.
name: Diaz-Hijar, M.
name: Tormo-Marquez, V.
name: Rodriguez, O. Pena
name: Olivares, J.
name: Bosia, F.
name: Pugno, N. M.
name: Picollo, F.
name: Giuntini, L.
name: Sordini, A.
name: Olivero, P.
name: Lopez-Mir, L.
name: Ocal, C.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: This paper presents experimental data and analysis of the structural damage caused by swift-heavy ion irradiation of single-crystal diamond. The patterned buried structural damage is shown to generate, via swelling, a mirror-pattern on the sample surface, which remains largely damage-free. While extensive results are available for light ion implantations, this effect is reported here for the first time in the heavy ion regime, where a completely different range of input parameters (in terms of ion species, energy, stopping power, etc.) is available for customized irradiation. The chosen ion species are Au and Br, in the energy range 10-40 MeV. The observed patterns, as characterized by profilometry and atomic force microscopy, are reported in a series of model experiments, which show swelling patterns ranging from a few nm to above 200 nm. Moreover, a systematic phenomenological modelling is presented, in which surface swelling measurements are correlated to buried crystal damage. A comparison is made with data for light ion implantations, showing good compatibility with the proposed models. The modelling presented in this work can be useful for the design and realization of micropatterned surfaces in single crystal diamond, allowing to generate highly customized structures by combining appropriately chosen irradiation parameters and masks.
description: 20 pages, 8 figures
Human Resource Development Practices: Enhancing Employees' Satisfaction A Case Study of Ethiopian Electric Power Corporation
Creators: name: Amlaku, Desalegn
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2010

description: Human Resource Development (HRD) is a planned and systematic approach to development of employees for both organizations' and employees' benefit. Emphasis on HRD results into several positive individual and organizational outcomes. HRD needs investment in training, development and education programs. Developing an effective HRD system is a difficult task since it needs to align both company and employees need. Employees' satisfaction with HRD practices are among the most important criteria to consider when assessing the human resource development practices. Thus, this research is designed to assess employees' satisfaction with HRD practices in Ethiopian Electric Power Corporation (EEPCo). The main objective of the study is to identify the level of employees' satisfaction with: the Corporations commitment to HRD, appropriateness of HRD practices, opportunities for growth and development, management's guidance and encouragements and other dimensions of HRD practices. The research is designed as a case study. Both secondary and primary data were used in the research. A survey questionnaire with five point Likert scale is a main tool for gathering primary data about employees' satisfaction with human resource development practices of the corporation. 62 participants in the Head office and one Region of Addis Ababa district were participated in filling the questionnaires. An interview was also made with officials of training and development team of the Corporation. The findings of the study indicated that respondents perceived the HRD practices of the corporation as unfairly focused on some work units only. Respondents also indicated their dissatisfaction with the promotional opportunities and the knowledge to gain from the work they do for the Corporation. More over, majority of respondents indicated that they don't think that the Corporation is the best place to develop themselves.
Building distributed mobile computing applications with Oracle mobile agents
Creators: name: Lee, Wallace K. L.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Self-aligned local electrolyte gating of 2D materials with nanoscale resolution
Creators: name: Peng, Cheng
name: Efetov, Dmitri K.
name: Nanot, Sebastien
name: Shiue, Ren-Jye
name: Grosso, Gabriele
name: Yang, Yafang
name: Hempel, Marek
name: Jarillo-Herrero, Pablo
name: Kong, Jing
name: Koppens, Frank H. L.
name: Englund, Dirk
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: In the effort to make 2D materials-based devices smaller, faster, and more efficient, it is important to control charge carrier at lengths approaching the nanometer scale. Traditional gating techniques based on capacitive coupling through a gate dielectric cannot generate strong and uniform electric fields at this scale due to divergence of the fields in dielectrics. This field divergence limits the gating strength, boundary sharpness, and pitch size of periodic structures, and restricts possible geometries of local gates (due to wire packaging), precluding certain device concepts, such as plasmonics and transformation optics based on metamaterials. Here we present a new gating concept based on a dielectric-free self-aligned electrolyte technique that allows spatially modulating charges with nanometer resolution. We employ a combination of a solid-polymer electrolyte gate and an ion-impenetrable e-beam-defined resist mask to locally create excess charges on top of the gated surface. Electrostatic simulations indicate high carrier density variations of $Δn =10^{14}\text{cm}^{-2}$ across a length of 10 nm at the mask boundaries on the surface of a 2D conductor, resulting in a sharp depletion region and a strong in-plane electric field of $6\times10^8 \text{Vm}^{-1}$ across the so-created junction. We apply this technique to the 2D material graphene to demonstrate the creation of tunable p-n junctions for optoelectronic applications. We also demonstrate the spatial versatility and self-aligned properties of this technique by introducing a novel graphene thermopile photodetector.
SDSS-IV MaNGA IFS Galaxy Survey --- Survey Design, Execution, and Initial Data Quality
Creators: name: Yan, Renbin
name: Bundy, Kevin
name: Law, David R.
name: Bershady, Matthew A.
name: Andrews, Brett
name: Cherinka, Brian
name: Diamond-Stanic, Aleksandar M.
name: Drory, Niv
name: MacDonald, Nicholas
name: Sánchez-Gallego, José R.
name: Thomas, Daniel
name: Wake, David A.
name: Weijmans, Anne-Marie
name: Westfall, Kyle B.
name: Zhang, Kai
name: Aragón-Salamanca, Alfonso
name: Belfiore, Francesco
name: Bizyaev, Dmitry
name: Blanc, Guillermo A.
name: Blanton, Michael R.
name: Brownstein, Joel
name: Cappellari, Michele
name: D'Souza, Richard
name: Emsellem, Eric
name: Fu, Hai
name: Gaulme, Patrick
name: Graham, Mark T.
name: Goddard, Daniel
name: Gunn, James E.
name: Harding, Paul
name: Jones, Amy
name: Kinemuchi, Karen
name: Li, Cheng
name: Li, Hongyu
name: Maiolino, Roberto
name: Mao, Shude
name: Maraston, Claudia
name: Masters, Karen
name: Merrifield, Michael R.
name: Oravetz, Daniel
name: Pan, Kaike
name: Parejko, John K.
name: Sanchez, Sebastian F.
name: Schlegel, David
name: Simmons, Audrey
name: Thanjavur, Karun
name: Tinker, Jeremy
name: Tremonti, Christy
name: Bosch, Remco van den
name: Zheng, Zheng
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The MaNGA Survey (Mapping Nearby Galaxies at Apache Point Observatory) is one of three core programs in the Sloan Digital Sky Survey IV. It is obtaining integral field spectroscopy (IFS) for 10K nearby galaxies at a spectral resolution of R~2000 from 3,622-10,354A. The design of the survey is driven by a set of science requirements on the precision of estimates of the following properties: star formation rate surface density, gas metallicity, stellar population age, metallicity, and abundance ratio, and their gradients; stellar and gas kinematics; and enclosed gravitational mass as a function of radius. We describe how these science requirements set the depth of the observations and dictate sample selection. The majority of targeted galaxies are selected to ensure uniform spatial coverage in units of effective radius (Re) while maximizing spatial resolution. About 2/3 of the sample is covered out to 1.5Re (Primary sample), and 1/3 of the sample is covered to 2.5Re (Secondary sample). We describe the survey execution with details that would be useful in the design of similar future surveys. We also present statistics on the achieved data quality, specifically, the point spread function, sampling uniformity, spectral resolution, sky subtraction, and flux calibration. For our Primary sample, the median r-band signal-to-noise ratio is ~73 per 1.4A pixel for spectra stacked between 1-1.5 Re. Measurements of various galaxy properties from the first year data show that we are meeting or exceeding the defined requirements for the majority of our science goals.
description: 34 pages, 31 figures. Accepted for publication in AJ; v2: updated affiliations and references
title: Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact)
Creators: name: de Muijnck-Hughes, Jan
name: Vanderbauwhede, Wim
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Hardware Design
subject: Linear Types
subject: Dependent Types
subject: DSLs
subject: Idris
subject: SystemVerilog
subject: Netlists
subject: Software and its engineering → General programming languages
subject: Software and its engineering → Language features
subject: Software and its engineering → Domain specific languages
subject: Software and its engineering → System modeling languages

description: We present two proof-of-concept languages (Circuits & CirQTS) that showcases how fancy types (namely linear & dependent types) can enrich hardware design tooling such that we can move existing external static analysis checks into the language’s type-system. Using our approach will lead to the enhanced safety of designs, and increase in design productivity, through early identification and reduction of connection errors.
This artefact presents our verified implementations (as realised in Idris2) of the simply (Circuits) and fancily typed (CirQTS) languages, and the test suite used to assess efficacy of our approach.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 4:1-4:3
Exotic domain walls in Bose-Einstein condensates with double-well dispersion
Creators: name: Liu, Tongtong
name: Clark, Logan W.
name: Chin, Cheng
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: We study the domain walls which form when Bose condensates acquire a double-well dispersion. Experiments have observed such domain walls in condensates driven across a $\mathbb{Z}_2$ symmetry-breaking phase transition in a shaken optical lattice. We derive a generic model to describe the dispersion and to compute the wavefunctions and energies of the domain walls. We find two distinct regimes which demand different physical pictures. In the weak coupling regime, where interactions are weak compared to the kinetic energy barrier, "density wave domain walls" form that support an extended density wave and a series of phase steps. These features can be understood as the quantum interference between domains with distinct momenta. In the strong coupling regime where interaction dominates, the system forms "phase domain walls" which have the minimum width allowed by the uncertainty principle and suppressed density modulation. Analytic results for the domain wall wavefunctions are obtained in the two regimes. The energy of domain walls behaves similarly to that of topological defects in paradigmatic field theories.
description: 8 pages, 4 figures
Multiple solutions for elliptic equations involving a general operator in divergence form
Creators: name: Bisci, Giovanni Molica
name: Repovš, Dušan
Publisher: name: arXiv
Year: 2016
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35J15, 35J25, 35J62, 35J92

description: In this paper, exploiting variational methods, the existence of three weak solutions for a class of elliptic equations involving a general operator in divergence form and with Dirichlet boundary condition is investigated. Several special cases are analyzed. In conclusion, for completeness, a concrete example of an application is presented by finding the existence of three nontrivial weak solutions for an uniformly elliptic second-order problem on a bounded Euclidean domain.
Bethe vectors and form factors for two-component Bose gas
Creators: name: Ragoucy, E.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mathematical Physics (math-ph)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: This short note presents works done in collaboration with S. Pakuliak (JINR, Dubna) and N. Slavnov (Steklov Math. Inst., Moscow). It is a summary of the articles arXiv:1412.6037, arXiv:1501.07566, arXiv:1502.01966 and arXiv:1503.00546. Here are mentioned only references used for our calculations. A detailed list of references can be found in our articles mentionned here.
description: 8 pages, This short note presents works done in collaboration with S. Pakuliak (JINR, Dubna) and N. Slavnov (Steklov Math.\!\! Inst., Moscow). It is a summary of the articles \texttt{arXiv:1412.6037}, \texttt{arXiv:1501.07566}, \texttt{arXiv:1502.01966} and \texttt{arXiv:1503.00546.} Here are mentioned only references used for our calculations. A detailed list of references can be found in our articles mentionned here
Glycan masking of a non-neutralising epitope enhances neutralising antibodies targeting the RBD of SARS-CoV-2 and its variants
Creators: name: Carnell, George W.
name: Billmeier, Martina
name: Vishwanath, Sneha
name: Suau Sans, Maria
name: Wein, Hannah
name: George, Charlotte L.
name: Neckermann, Patrick
name: Del Rosario, Joanne Marie M.
name: Sampson, Alexander T.
name: Einhauser, Sebastian
name: Aguinam, Ernest T.
name: Ferrari, Matteo
name: Tonks, Paul
name: Nadesalingam, Angalee
name: Schütz, Anja
name: Huang, Chloe Qingzhou
name: Wells, David A.
name: Paloniemi, Minna
name: Jordan, Ingo
name: Cantoni, Diego
name: Peterhoff, David
name: Asbach, Benedikt
name: Sandig, Volker
name: Temperton, Nigel
name: Kinsley, Rebecca
name: Wagner, Ralf
name: Heeney, Jonathan L.
Publisher: name: Universität Regensburg
Year: 2023
Subjects: subject: SARS-CoV-2 antibody, receptor binding domain (RBD), glycan masking, neutralising antibodies, pseudotype neutralisation
subject: 610 Medizin

description: The accelerated development of the first generation COVID-19 vaccines has saved millions of lives, and potentially more from the long-term sequelae of SARS-CoV-2 infection. The most successful vaccine candidates have used the full-length SARS-CoV-2 spike protein as an immunogen. As expected of RNA viruses, new variants have evolved and quickly replaced the original wild-type SARS-CoV-2, leading to escape from natural infection or vaccine induced immunity provided by the original SARS-CoV-2 spike sequence. Next generation vaccines that confer specific and targeted immunity to broadly neutralising epitopes on the SARS-CoV-2 spike protein against different variants of concern (VOC) offer an advance on current booster shots of previously used vaccines. Here, we present a targeted approach to elicit antibodies that neutralise both the ancestral SARS-CoV-2, and the VOCs, by introducing a specific glycosylation site on a non-neutralising epitope of the RBD. The addition of a specific glycosylation site in the RBD based vaccine candidate focused the immune response towards other broadly neutralising epitopes on the RBD. We further observed enhanced cross-neutralisation and cross-binding using a DNA-MVA CR19 prime-boost regime, thus demonstrating the superiority of the glycan engineered RBD vaccine candidate across two platforms and a promising candidate as a broad variant booster vaccine.
title: Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact)
Creators: name: Yee, Ming-Ho
name: Guha, Arjun
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Type migration
subject: deep learning
subject: Software and its engineering → Source code generation
subject: General and reference → Evaluation
subject: Theory of computation → Type structures

description: Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them. However, adding types is a manual effort and several migrations on large, industry codebases have been reported to have taken several years. In the research community, there has been significant interest in using machine learning to automate TypeScript type migration. Existing machine learning models report a high degree of accuracy in predicting individual TypeScript type annotations. However, in this paper we argue that accuracy can be misleading, and we should address a different question: can an automatic type migration tool produce code that passes the TypeScript type checker?
We present TypeWeaver, a TypeScript type migration tool that can be used with an arbitrary type prediction model. We evaluate TypeWeaver with three models from the literature: DeepTyper, a recurrent neural network; LambdaNet, a graph neural network; and InCoder, a general-purpose, multi-language transformer that supports fill-in-the-middle tasks. Our tool automates several steps that are necessary for using a type prediction model, including (1) importing types for a project’s dependencies; (2) migrating JavaScript modules to TypeScript notation; (3) inserting predicted type annotations into the program to produce TypeScript when needed; and (4) rejecting non-type predictions when needed.
We evaluate TypeWeaver on a dataset of 513 JavaScript packages, including packages that have never been typed before. With the best type prediction model, we find that only 21% of packages type check, but more encouragingly, 69% of files type check successfully.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 5:1-5:3
title: Semantics for Noninterference with Interaction Trees (Artifact)
Creators: name: Silver, Lucas
name: He, Paul
name: Cecchetti, Ethan
name: Hirsch, Andrew K.
name: Zdancewic, Steve
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: verification
subject: information-flow
subject: denotational semantics
subject: monads
subject: Theory of computation → Denotational semantics
subject: Security and privacy → Logic and verification
subject: Security and privacy → Information flow control

description: Noninterference is the strong information-security property that a program does not leak secrets through publicly-visible behavior. In the presence of effects such as nontermination, state, and exceptions, reasoning about noninterference quickly becomes subtle. We advocate using interaction trees (ITrees) to provide compositional mechanized proofs of noninterference for multi-language, effectful, nonterminating programs, while retaining executability of the semantics. We develop important foundations for security analysis with ITrees: two indistinguishability relations, leading to two standard notions of noninterference with adversaries of different strength, along with metatheory libraries for reasoning about each. We demonstrate the utility of our results using a simple imperative language with embedded assembly, along with a compiler into that assembly language.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 6:1-6:2
A Microscopic Description of the Granular Fluidity Field in Nonlocal Flow Modeling
Creators: name: Zhang, Qiong
name: Kamrin, Ken
Publisher: name: arXiv
Year: 2016
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: A recent granular rheology based on an implicit `granular fluidity' field has been shown to quantitatively predict many nonlocal phenomena. However, the physical nature of the field has not been identified. Here, the granular fluidity is found to be a kinematic variable given by the velocity fluctuation and packing fraction. This is verified with many discrete element simulations, which show the operational fluidity definition, solutions of the fluidity model, and the proposed microscopic formula all agree. Kinetic theoretical and Eyring-like explanations shed insight into the obtained form.
Testing concurrency and communication aspects of distributed objects
Creators: name: Bader, Adnan.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
What Motivates Foreign Banks Entry in Low-Income Sub-Saharan Countries
Creators: name: Noah, Yoseph
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2019

description: This paper examines the motivations of foreign banks in low income sub-Saharan African countries. The main purpose of the paper is to understand what the foreign banks target are and what outcomes could follow as their presence in the host countries grows. The research used secondary data from thirteen low-income African countries. The researcher estimates the panel data using the time fixed effects model to investigate the relationship between possible motivations for foreign banks. The data covered a period of nine years from 2005-2013 since further years data was not available from possible sources. In the research foreign bank presence has been used as dependent variable and inflation, GDP growth, FDI net inflow, trade, and external debt are used as independent variables. The analysis result shows that inflation and GDP growth has negative impact on the entry of foreign banks. FDI inflow and trade are huge motivation in entering the market. The entry mainly targets giant companies operating in the host country. On the other hand, the foreign banks are not motivated in borrowing.
title: LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)
Creators: name: Haas, Julian
name: Mogk, Ragnar
name: Yanakieva, Elena
name: Bieniusa, Annette
name: Mezini, Mira
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Local-First Software
subject: Reactive Programming
subject: Invariants
subject: Consistency
subject: Automated Verification
subject: Software and its engineering → Formal software verification
subject: Software and its engineering → Distributed programming languages
subject: Software and its engineering → Data flow languages
subject: Software and its engineering → Consistency
subject: Theory of computation → Pre- and post-conditions
subject: Theory of computation → Program specifications
subject: Computer systems organization → Peer-to-peer architectures

description: Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The unpredictability of such interactions paired with their decentralized nature make reasoning about the correctness of local-first software a challenging endeavor. Yet, existing solutions to develop local-first software do not provide support for automated safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions.
We propose LoRe, a programming model and compiler that automatically verifies developer-supplied safety properties for local-first applications. LoRe combines the declarative data flow of reactive programming with static analysis and verification techniques to precisely determine concurrent interactions that violate safety invariants and to selectively employ strong consistency through coordination where required. We propose a formalized proof principle and demonstrate how to automate the process in a prototype implementation that outputs verified executable code. Our evaluation shows that LoRe simplifies the development of safe local-first software when compared to state-of-the-art approaches and that verification times are acceptable.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 11:1-11:2
title: Toward Tool-Independent Summaries for Symbolic Execution (Artifact)
Creators: name: Ramos, Frederico
name: Sabino, Nuno
name: Adão, Pedro
name: Naumann, David A.
name: Fragoso Santos, José
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Symbolic Execution
subject: Runtime Modelling
subject: Symbolic Summaries
subject: Software and its engineering → Software verification and validation
subject: Security and privacy → Formal methods and theory of security

description: The artifact contains the extended versions of the tools angr and AVD with support for the symbolic reflection API proposed in the paper. Additionally, the artifact contains the source code of SumBoundVerify, our novel tool for the bounded-verification of symbolic summaries for the C programming language. The artifact contains all the scripts and datasets required to obtain the results presented in the paper, including: a library of 67 symbolic summaries implemented using the proposed symbolic reflection API; two symbolic test suites designed to test two open source C libraries; and the source code of the third-party summaries that were validated checked with SumBoundVerify.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 7:1-7:4