cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact)
Creators: name: Botelho Guerra, Henrique
name: Ferreira, João F.
name: Costa Seco, João
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Type-directed
subject: component-based
subject: program synthesis
subject: symbolic execution
subject: unification
subject: Haskell
subject: Software and its engineering → Automatic programming
subject: Theory of computation → Automated reasoning

description: Type-directed component-based program synthesis is the task of automatically building a function with applications of available components and whose type matches a given goal type. Existing approaches to component-based synthesis, based on classical proof search, cannot deal with large sets of components. Recently, Hoogle+, a component-based synthesizer for Haskell, overcomes this issue by reducing the search problem to a Petri-net reachability problem. However, Hoogle+ cannot synthesize constants nor λ-abstractions, which limits the problems that it can solve.
We present Hoogle⋆, an extension to Hoogle+ that brings constants and λ-abstractions to the search space, in two independent steps. First, we introduce the notion of wildcard component, a component that matches all types. This enables the algorithm to produce incomplete functions, i.e., functions containing occurrences of the wildcard component. Second, we complete those functions, by replacing each occurrence with constants or custom-defined λ-abstractions. We have chosen to find constants by means of an inference algorithm: we present a new unification algorithm based on symbolic execution that uses the input-output examples supplied by the user to compute substitutions for the occurrences of the wildcard.
When compared to Hoogle+, Hoogle⋆ can solve more kinds of problems, especially problems that require the generation of constants and λ-abstractions, without performance degradation.
The artifact contains the source code of Hoogle⋆, as well as scripts to reproduce the evaluation done in the paper.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 20:1-20:3
The Determinants of Financial Performance of Commercial Banks in Ethiopia
Creators: name: Solomon, Zergaw
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2018

description: This study attempts to extensively investigate the determinants of financial performance of state owned and private-owned commercial banks in Ethiopia . The author has chosen one of the most popular methods for measuring banking performance, the CAMELS model approach, which is an acronym for the terms, Capital adequacy, Asset quality, Management quality, Earnings ability, Liquidity and Sensitivity to Market risk. The study used quantitative research approach and secondary financial data are analyzed by using multiple linear regression models. Fixed effect regression model was employed on a panel data obtained from audited financial statements of a sample 7 banks, which were selected using judgmental sampling technique, from 2004-2016 to investigate the impact & relationship of internal (bank specific) and external (macroeconomic) factors with bank profitability measure of ROA. The internal factors used in this study include Capital adequacy; Asset Quality, Management Quality, Earning ability & Liquidity Management, whereas the external factors are real GDP and Inflation. Moreover, Based on the regression result, all internal (endogenous) variables except Liquidity affect performance of the bank at 1% and 5% significance level and from external (exogenous) variables Inflation have significant effect on the performance of banks at 5% significance level. However, Real Gross Domestic Product (RGDP) have insignificant effect on financial performance of commercial banks in Ethiopia. Eventually, the study is attentive in its evaluation process pursuing meanigfull analysis that clearly identifies the Ethiopian banking sector strengths and challenges in all financial and managerial areas.
The Data Reduction Pipeline for the SDSS-IV MaNGA IFU Galaxy Survey
Creators: name: Law, David R.
name: Cherinka, Brian
name: Yan, Renbin
name: Andrews, Brett H.
name: Bershady, Matthew A.
name: Bizyaev, Dmitry
name: Blanc, Guillermo A.
name: Blanton, Michael R.
name: Bolton, Adam S.
name: Brownstein, Joel R.
name: Bundy, Kevin
name: Chen, Yanmei
name: Drory, Niv
name: D'Souza, Richard
name: Fu, Hai
name: Jones, Amy
name: Kauffmann, Guinevere
name: MacDonald, Nicholas
name: Masters, Karen L.
name: Newman, Jeffrey A.
name: Parejko, John K.
name: Sánchez-Gallego, José R.
name: Sánchez, Sebastian F.
name: Schlegel, David J.
name: Thomas, Daniel
name: Wake, David A.
name: Weijmans, Anne-Marie
name: Westfall, Kyle B.
name: Zhang, Kai
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) is an optical fiber-bundle integral-field unit (IFU) spectroscopic survey that is one of three core programs in the fourth-generation Sloan Digital Sky Survey (SDSS-IV). With a spectral coverage of 3622 - 10,354 Angstroms and an average footprint of ~ 500 arcsec^2 per IFU the scientific data products derived from MaNGA will permit exploration of the internal structure of a statistically large sample of 10,000 low redshift galaxies in unprecedented detail. Comprising 174 individually pluggable science and calibration IFUs with a near-constant data stream, MaNGA is expected to obtain ~ 100 million raw-frame spectra and ~ 10 million reduced galaxy spectra over the six-year lifetime of the survey. In this contribution, we describe the MaNGA Data Reduction Pipeline (DRP) algorithms and centralized metadata framework that produces sky-subtracted, spectrophotometrically calibrated spectra and rectified 3-D data cubes that combine individual dithered observations. For the 1390 galaxy data cubes released in Summer 2016 as part of SDSS-IV Data Release 13 (DR13), we demonstrate that the MaNGA data have nearly Poisson-limited sky subtraction shortward of ~ 8500 Angstroms and reach a typical 10-sigma limiting continuum surface brightness mu = 23.5 AB/arcsec^2 in a five arcsec diameter aperture in the g band. The wavelength calibration of the MaNGA data is accurate to 5 km/s rms, with a median spatial resolution of 2.54 arcsec FWHM (1.8 kpc at the median redshift of 0.037) and a median spectral resolution of sigma = 72 km/s.
description: 37 pages, 22 figures. Accepted for publication in AJ. v2 updates arXiv reference to Yan+16b, v3 fixes some embedded DR13 links. Version with full resolution figures is available at http://www.stsci.edu/~dlaw/Papers/MaNGA_Data.pdf
Effective and efficient traffic congestion control in ATM networks
Creators: name: Chew, Nicholas Sin Hwa.
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.
Climate and the productive structure of the urban water industry
Creators: name: de Carvalho Sousa, Lucas Vitor
name: de Oliveira Torres, Marcelo
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy

description: Climate is likely to affect the productive structure of urban water supply systems through its effects on reservoirs’ volume, water quality, and consumption. This paper investigates these effects by analyzing the role of temperature and rainfall in water utilities’ costs with a multiple-equation cost function model and a rich firm-level database that describes the operations of 3845 firms from 2008 to 2018 in Brazil. Results reveal the presence of causal effects of rainfall and, in some cases, temperature on costs, with small firms being more vulnerable to cope with adverse (dry) weather. Results also suggest significant economies of scale and density yet to be realized by the industry. Considering the highly fragmented Brazilian urban water industry, the findings show potentially large cost savings associated with an eventual regional consolidation of operations, particularly under the realization of climate change scenarios that show hotter and drier weather conditions.
title: Automata Learning with an Incomplete Teacher (Artifact)
Creators: name: Moeller, Mark
name: Wiener, Thomas
name: Solko-Breslin, Alaia
name: Koch, Caleb
name: Foster, Nate
name: Silva, Alexandra
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Finite Automata
subject: Active Learning
subject: SMT Solvers
subject: Theory of computation → Active learning

description: We provide an implementation of the automata learning software described in the associated ECOOP article. In particular, the artifact is a Docker image with the source code for nerode and nerode-learn, along with the scripts and benchmark inputs needed to reproduce the experiments described in the paper.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 21:1-21:3
D4.1 Initial Repository Deployment
Creators: name: Blanquer, Ignacio
name: Segrelles, Damià
name: Lozano, Pau
name: Huguet, Sergio López
name: Alic, Andy S.
Publisher: name: Zenodo
Year: 2023
Subjects: Cancer Images, Cloud, Data Repositories

description: The first version of the CHAIMELEON repository deployed includes a set of resources and services that fulfil the most important use cases identified. A cloud-based architecture has been defined, implemented and deployed on UPV’s cloud premises. The architecture components are described using an infrastructure-as-code approach so it can be deployed in any other cloud offering supported. The CHAIMELEON repository is defined, taking into account privacy and security by design on the access to the data stored. This is implemented around three main concepts: the user role, which defines the actions and permissions of the different actors interacting with the repository; the dataset, which is a citable set of medical images and associated clinical data; and the processing applications, which are applications that run in the platform to access and process the data from the datasets. The CHAIMELEON repository has undergone a Data Protection Impact Assessment (DPIA) risk analysis which led to several refinements and improvements. With this scenario in mind, the initial version of the CHAIMELEON repository provides the management of the life-cycle of the datasets, the access to the data and its processing using efficient and user-friendly applications from a catalogue. This functionality is demonstrated in two videos showing the interactions to register in the platform and access the data (https://www.youtube.com/watch?v=cIyiAPl9ezw&t=398s) and several operations concerning the management of the life cycle (https://www.youtube.com/watch?v=oH4glJNxPDc&t=2s).
Framework for performance assessment of storm water systems
Creators: name: Santos, Liliana Ferreira
name: Cardoso, Maria Adriana
name: Galvão, Ana Fonseca
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: Hematology

description: The integration of performance assessment may be determinant for water utilities and municipalities to improve their management practices regarding storm water systems (SWS). The use of performance assessment in the SW sector has been incipient, and the need to develop a performance assessment framework (PAF) that constitutes a reference for SWS was identified. The article aims to present a PAF, structured into eight objectives, 25 assessment criteria, and 80 performance metrics, namely performance indicators (PI), focusing on the assessment of SWS functioning, considering different performance dimensions and types of SWS. The PAF aims to promote the establishment of performance assessment systems in utilities, supporting the decision-making process and continuous improvement. The PAF was consolidated by incorporating the views and recommendations of two Portuguese water utilities during the validation process. Data collection process constitutes a barrier to the PAF application given the lack of financial and human resources in water utilities.
D4.1 Initial Repository Deployment
Creators: name: Ignacio Blanquer
name: Damià Segrelles
name: Pau Lozano
name: Sergio López Huguet
name: Andy S. Alic
Publisher: name: Zenodo
Year: 2023
Subjects: Cancer Images, Cloud, Data Repositories

description: The first version of the CHAIMELEON repository deployed includes a set of resources and services that fulfil the most important use cases identified. A cloud-based architecture has been defined, implemented and deployed on UPV’s cloud premises. The architecture components are described using an infrastructure-as-code approach so it can be deployed in any other cloud offering supported.

The CHAIMELEON repository is defined, taking into account privacy and security by design on the access to the data stored. This is implemented around three main concepts: the user role, which defines the actions and permissions of the different actors interacting with the repository; the dataset, which is a citable set of medical images and associated clinical data; and the processing applications, which are applications that run in the platform to access and process the data from the datasets. The CHAIMELEON repository has undergone a Data Protection Impact Assessment (DPIA) risk analysis which led to several refinements and improvements.

With this scenario in mind, the initial version of the CHAIMELEON repository provides the management of the life-cycle of the datasets, the access to the data and its processing using efficient and user-friendly applications from a catalogue. This functionality is demonstrated in two videos showing the interactions to register in the platform and access the data (https://www.youtube.com/watch?v=cIyiAPl9ezw&t=398s) and several operations concerning the management of the life cycle (https://www.youtube.com/watch?v=oH4glJNxPDc&t=2s).
A tractable method for describing complex couplings between neurons and population rate
Creators: name: Gardella, Christophe
name: Marre, Olivier
name: Mora, Thierry
Publisher: name: arXiv
Year: 2016
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: Neurons within a population are strongly correlated, but how to simply capture these correlations is still a matter of debate. Recent studies have shown that the activity of each cell is influenced by the population rate, defined as the summed activity of all neurons in the population. However, an explicit, tractable model for these interactions is still lacking. Here we build a probabilistic model of population activity that reproduces the firing rate of each cell, the distribution of the population rate, and the linear coupling between them. This model is tractable, meaning that its parameters can be learned in a few seconds on a standard computer even for large population recordings. We inferred our model for a population of 160 neurons in the salamander retina. In this population, single-cell firing rates depended in unexpected ways on the population rate. In particular, some cells had a preferred population rate at which they were most likely to fire. These complex dependencies could not be explained by a linear coupling between the cell and the population rate. We designed a more general, still tractable model that could fully account for these non-linear dependencies. We thus provide a simple and computationally tractable way to learn models that reproduce the dependence of each neuron on the population rate.
title: super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)
Creators: name: Fan, Andong
name: Parreaux, Lionel
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Object-Oriented Programming
subject: the Expression Problem
subject: Open Recursion
subject: Software and its engineering → Object oriented languages

description: This artifact consists of an SBT project with a Scala implementation of the MLscript programming language extended with "super-charged" object-oriented programming features (SuperOOP), introduced in the corresponding paper. We provide a test suite that includes SuperOOP examples and a web demo that gives live typing and running results of the user input source.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 22:1-22:2
Determinants of Foreign Direct Investment in Ethiopia:
Creators: name: Sommie, Mollalign
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2016

description: This paper attempts to examine the determinants of Foreign Direct Investment in Ethiopia. The study applies multivariate ordinary least square regression by using time series data covering over the period 1974 to 2015. The variables used in the study are market size, export orientation, inflation rate, exchange rate, infrastructure and human capital. The finding shows that market size in the form of real GDP per capita and infrastructure in the form of gross fixed capital formation have positive impacts while macroeconomic instability (both inflation and exchange rates), export orientation and illiteracy have negative impacts on FDI inflow to Ethiopia. On the other hand, from those variables exchange rate, illiteracy rate and export orientation affects FDI significantly while market size, infrastructure and inflation has insignificant effect on FDI inflow to Ethiopia. These findings imply that market size, infrastructure, the financial sector and the export sector should be improved by giving special attention. Key words: FDI, FDI determinants, time series, multivariate ordinary least square regression
Near-exponential surface densities as hydrostatic, nonequilibrium profiles in galaxy discs
Creators: name: Struck, Curtis
name: Elmegreen, Bruce G.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: Apparent exponential surface density profiles are nearly universal in galaxy discs across Hubble types, over a wide mass range, and a diversity of gravitational potential forms. Several processes have been found to produce exponential profiles, including the actions of bars and spirals, and clump scattering, with star scattering a common theme in these. Based on reasonable physical constraints, such as minimal entropy gradients, we propose steady state distribution functions for disc stars, applicable over a range of gravitational potentials. The resulting surface density profiles are generally a power-law term times a Sersic-type exponential. Over a modest range of Sersic index values, these profiles are often indistinguishable from Type I exponentials, except at the innermost radii. However, in certain parameter ranges these steady states can appear as broken, Type II or III profiles. The corresponding velocity dispersion profiles are low order power-laws. A chemical potential associated with scattering can help understand the effects of long range scattering. The steady profiles are found to persist through constant velocity expansions or contractions in evolving discs. The proposed distributions and profiles are simple and solve the stellar hydrodynamic equations. They may be especially relevant to thick discs, which have settled to a steady form via scattering.
description: 12 pages, 4 figures, no tables, accepted for the MNRAS
title: Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
Creators: name: Olivieri, Luca
name: Negrini, Luca
name: Arceri, Vincenzo
name: Tagliaferro, Fabio
name: Ferrara, Pietro
name: Cortesi, Agostino
name: Spoto, Fausto
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Static Analysis
subject: Program Verification
subject: Non-determinism
subject: Blockchain
subject: Smart contracts
subject: DApps
subject: Go language
subject: Security and privacy → Distributed systems security
subject: Theory of computation → Program analysis
subject: Theory of computation → Program verification
subject: Software and its engineering → Software notations and tools

description: A mandatory feature for blockchain software, such as smart contracts and decentralized applications, is determinism. In fact, non-deterministic behaviors do not allow blockchain nodes to reach one common consensual state or a deterministic response, which causes the blockchain to be forked, stopped, or to deny services. While domain-specific languages are deterministic by design, general-purpose languages widely used for the development of smart contracts such as Go, provide many sources of non-determinism. However, not all non-deterministic behaviours are critical. In fact, only those that affect the state or the response of the blockchain can cause problems, as other uses (for example, logging) are only observable by the node that executes the application and not by others. Therefore, some frameworks for blockchains, such as Hyperledger Fabric or Cosmos SDK, do not prohibit the use of non-deterministic constructs but leave the programmer the burden of ensuring that the blockchain application is deterministic. In this paper, we present a flow-based approach to detect non-deterministic vulnerabilities which could compromise the blockchain. The analysis is implemented in GoLiSA, a semantics-based static analyzer for Go applications. Our experimental results show that GoLiSA is able to detect all vulnerabilities related to non-determinism on a significant set of applications, with better results than other open-source analyzers for blockchain software written in Go.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 23:1-23:3
A modular TMS320C80 MVP system on the PCI Bus for multimedia and video processing
Creators: name: Gillies, Michael A.
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.
Performance Assessment of Interest Free Banking of the Commercial Bank of Ethiopia
Creators: name: Gizachew, Abebe
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2019

description: Interest free banking is one of the emerging trends in the global economy and the fastest growing industry across the globe. It is a banking service that abides by Shariah principles in all of its activities and Commercial Bank of Ethiopia has started the service since 2013. This research project was designed to assess Interest free banking performance of the Commercial Bank of Ethiopia. To achieve the stated objective, purposive sampling technique was used. The study employed descriptive research design approach and collected both primary and secondary data and the data was analyzed using statistical descriptions of mean, maximum minimum values and growth rates of number of branches, population to branch ratio, amount of deposit and investment, and other financial ratios like ROA of IFB, IFB ratio, liquidity ratio, efficiency ratio, and bank size. Accordingly, the study find out that the service accessibility of the IFB of the CBE highly increased. In addition, study found out that though the deposit and financing of the IFB has shown continuous improvement, it is still low as compared to the size of the Bank and its accessibility. The low performance was due to lack of trust of the Muslim society, less effort of the bank in promoting its IFB products/services, lack of awareness of customers and employees and gaps in regulatory frameworks. Coming to the financial ratios, the study concluded that the ROA, IFB ratio, Efficiency and bank size of the IFB has shown continuous improvement over the study period. However, though the liquidity ratio of the IFB has shown a declining trend, the bank is still very liquid since the investment of the IFB is very low and majority of the deposits are safe keeping. Based on the findings and conclusions of the study, the researcher has recommended that the management of the Bank should exert their marketing effort to promote the IFB products so that the public awareness can be enhanced. The bank should also exert its effort to enhance the awareness of its employees so that they can properly promote the service. In addition, the study recommends that the government should revise its regulatory frameworks so as to enhance the IFB financing services. Moreover, the management of the Bank should insist the government to amend its regulatory frameworks. Finally, the researcher suggested further industry level study of the area by other professionals.
Influence of Hydrodynamic Fluctuations on the Phase Transition in Models E and F of Critical Dynamics
Creators: name: Dančo, M.
name: Hnatich, M.
name: Komarova, M. V.
name: Krasnov, D. M.
name: Lučivjanský, T.
name: Mižišin, L.
name: Nalimov, M. Yu.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We use the renormalization group method to study model E of critical dynamics in the presence of velocity fluctuations arising in accordance with the stochastic Navier-Stokes equation. Using Martin-Siggia-Rose theorem, we obtain a field- theoretical model that allows a perturbative renormalization group analysis. By direct power counting and an analysis of ultraviolet divergences, we show that the model is multiplicatively renormalizable, and we use a two-parameter expansion in $\varepsilon$ and $δ$ to calculate renormalization constants. Here, $\varepsilon$ is a deviation from the critical dimension four, and $δ$ is a deviation from the Kolmogorov regime. We present the results of the one-loop approximation and part of the fixed-point structure. We briefly discuss the possible effect of velocity fluctuations on the large-scale behavior of the model.
description: The authors thank the Organizers of the conference "Models in Quantum Field Theory IV, MQFT-2012" for the opportunity to present the results of the research summarised in the paper, 13 pages, 5 Tables
D1.2 DMP
Creators: name: Claudia Iasillo
Publisher: name: Zenodo
Year: 2023
Subjects: DMP
Data management
FAIR data

description: The current document, titled BlueRev DMP has been developed within the framework of the BlueRev project which is funded by the European Union’s Horizon Europe Research and Innovation Programme under Grant Agreement No 101060537. 

This deliverable describes the data management life cycle for the data to be collected, processed and/or generated by the BlueRev project. As part of making research data findable, accessible, interoperable and re-usable (FAIR), the Data Management Plan (DMP) provides a summary of the main elements to take into account in the definition of the BlueRev data management policy to be used by project partners throughout the project activities. The DMP will provide indications about the management of all the data generated during the project activities, including how data will be collected, managed, stored and made available during the project and how they will be shared upon BlueRev completion.

The DMP is a living document that will be updated during the project lifetime according to the project’s progresses and rising needs. A second version of BlueRev DMP will be provided at February 2024 (M18) and not only will describe the procedures applied, but it will provide more details about the long-term management and preservation of project data.
title: Determinacy Race Detector for Promises (Artifact)
Creators: name: Jin, Feiyang
name: Yu, Lechen
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Race detection
subject: Promise
subject: Determinism
subject: Determinacy-race
subject: Software and its engineering → Software creation and management
subject: Software and its engineering → Software verification and validation
subject: Software and its engineering → Software defect analysis
subject: Software and its engineering → Software testing and debugging
subject: Software and its engineering → Software notations and tools
subject: Software and its engineering → General programming languages
subject: Software and its engineering → Concurrent programming languages

description: Much of the past work on dynamic data-race and determinacy-race detection algorithms for task parallelism has focused on structured parallelism with fork-join constructs and, more recently, with future constructs. This paper addresses the problem of dynamic detection of data-races and determinacy-races in task-parallel programs with promises, which are more general than fork-join constructs and futures.
We have introduced a dynamic data race detector, DRDP, to help examine task-parallelism programs with promises. DRDP is designed for the HCLIB parallel programming model and capable of pinpointing data races in a HCLIB program. In this artifact, we provide the race detector implementation and all benchmarks to help reproduce the reported results in the paper.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 24:1-24:2
Enhancement of phomopsin production technology
Creators: name: Payne, Alan Lindsay.
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.
Baryogenesis from Decaying Magnetic Helicity
Creators: name: Kamada, Kohei
name: Long, Andrew J.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: As a result of the Standard Model chiral anomalies, baryon number is violated in the early universe in the presence of a hypermagnetic field with varying helicity. We investigate whether the matter / anti-matter asymmetry of the universe can be created from the decaying helicity of a primordial (hyper)magnetic field before and after the electroweak phase transition. In this model, baryogenesis occurs without $(B-L)$-violation, since the $(B+L)$ asymmetry generated by the hypermagnetic field counteracts the washout by electroweak sphalerons. At the electroweak crossover, the hypermagnetic field becomes an electromagnetic field, which does not source $(B+L)$. Although the sphalerons remain in equilibrium for a time, washout is avoided since the decaying magnetic helicity sources chirality. The relic baryon asymmetry is fixed when the electroweak sphaleron freezes out. Under reasonable assumptions, a baryon asymmetry of $n_B / s \simeq 4 \times 10^{-12}$ can be generated from a maximally helical, right-handed (hyper)magnetic field that has a field strength of $B_0 \simeq 10^{-14} \, {\rm Gauss}$ and coherence length of $λ_{0} \simeq 1 \, {\rm pc}$ today. Relaxing an assumption that relates $λ_0$ to $B_0$, the model predicts $n_B / s \gtrsim 10^{-10}$, which could potentially explain the observed baryon asymmetry of the universe.
description: 33 pages + 8 appendices and references, 6 figures
D6.2 Updated plan for dissemination and exploitation including communication activities
Creators: name: Bientinesi, Ilaria
name: Oliveira, Joana
name: Carneiro, Mariana
Publisher: name: Zenodo
Year: 2024
Subjects: Communication strategy
Dissemination strategy
Exploitation strategy
Blue Bioeconomy

description: This deliverable aims to present an updated version of the plan for dissemination and exploitation including communication activities and the associated actions that will be implemented during the BlueRev project. This document also presents an overview of the actions implemented during the first year of the project in comparison with the initial version of the dissemination & communication plan (D6.1 – Month 6). It builds on the original strategy set in M6, conducting an evaluation of the activities undertaken in the first year of the project and describing the focus of the dissemination during the second and third year.

In collaboration with Task 6.5, led by APRE (Exploitation manager), the present deliverable will also address the update plan for the exploitation and sustainability strategy, aiming at ensuring the timely promotion of the project’s outcomes and engagement of parties outside the Consortium, interested in using or adopting them.

In addition, this deliverable will also describe the actualisation and action plan for the development of a support tool that will enable the BlueRev stakeholders to operate within the project goals of Piloting. The online tool is referred to as the result of the Task 2.3 Support tool (Task leader: LOBA, Partners involved: all) (M1-M36)

The leader of WP6 (LOBA) will be responsible for:

·        the overall management and support of the activities defined under the present dissemination and communication plan and develop the main tools and materials to be used for the implementation of the plan.

·        monitor the dissemination and communication activities, assessing the performance and identifying necessary corrective measures.

All the partners will also be actively involved in carrying out the assigned dissemination and communication actions and are highly committed to ensure a satisfactory dissemination of the project results. In general, the partners’ expected contribution is to:

a)     support the communication and dissemination of the project with activities in their own countries among their contacts and networks;

b)     provide news and updates for the website and newsletter;

c)     help to keep the project’s social media accounts (SMAs) alive and active, by suggesting/providing relevant content to be posted on BlueRev social media by LOBA, and to post relevant content about the project on their own channels mentioning @BLUEREVEU;

d)     Participate in relevant events to promote the project and its outcomes;

e)     Contribute to the scientific papers mentioning the R4EU project.
Households' Willingness to Pay For Reliable Electricity Services in Kuyu Woreda, Ethiopia: An Application of Choice Experiment Method
Creators: name: Wakjira, Toleshi
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2016

description: Electricity is one of the essential components for development and in reducing poverty, which is one of Millennium Development Goals (MDG) for Ethiopia. Unfortunately, a major problem that confronts most of the electrified households is the irregular and unreliable supply of electricity. Mitigating these problems can contribute to household income, environmental protection and economic development. The objective of this research is to estimates households' willingness to pay (WTP) for an improved electricity service in Kuyu woreda. These estimates rely on a cross sectional data collected from 170 Respondents through face-to-face interviews. We used the choice experiments (CE) types of valuation method. The mixed logit model was applied to estimate the respondents WTP. In addition, we estimated, the implicit price for each service attributes. Accordingly, respondents would be willing to pay about 19cents per KWHs for reducing frequency of outages and 13cents for reducing unannounced outage that occurred during nighttime. The estimated compensating surplus showed that on average respondents are willing to contribute approximately 99cents per KWh or 19.96ETB (0.906 US$) per month per person for scenario changes from the status quo to service improvement. This is in addition to the current average monthly charge. One important implication drawn from the study is that since households are willing to support the plan for the service improvement, government should subsequently increase the tariff to generate more electricity energy to reach more households that will improve the economic development of the nation and the sustainability of the environment. Key words: Improved electricity service, Willingness to pay, Choice experiment, Millennium Development Goal.
Electron spin dynamics of two-dimensional layered materials
Creators: name: Náfrádi, Bálint
name: Choucair, Mohammad
name: Forró, László
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The growing library of two-dimensional layered materials is providing researchers with a wealth of opportunity to explore and tune physical phenomena at the nanoscale. Here, we review the experimental and theoretical state-of-art concerning the electron spin dynamics in graphene, silicene, phosphorene, transition metal dichalcogenides, covalent heterostructures of organic molecules and topological materials. The spin transport, chemical and defect induced magnetic moments, and the effect of spin-orbit coupling and spin relaxation, are also discussed in relation to the field of spintronics.
description: arXiv admin note: text overlap with arXiv:cond-mat/0610433, arXiv:cond-mat/0202442, arXiv:1507.00521, arXiv:0904.1829 by other authors
An investigation into the use of CAD/CAM in manufacturing trans-tibial prosthetic limbs
Creators: name: Liberty, Lindsay.
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: Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
Creators: name: Harris, Sarah
name: Cooksey, Simon
name: Vollmer, Michael
name: Batty, Mark
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: Compilers
subject: Rust
subject: Memory Safety
subject: CHERI
subject: Software and its engineering → Compilers
subject: Software and its engineering → Software safety
subject: Software and its engineering → Object oriented languages

description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 25:1-25:2
Groomed jets in heavy-ion collisions: sensitivity to medium-induced bremsstrahlung
Creators: name: Mehtar-Tani, Yacine
name: Tywoniuk, Konrad
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We argue that contemporary jet substructure techniques might facilitate a more direct measurement of hard medium-induced gluon bremsstrahlung in heavy-ion collisions, and focus specifically on the "soft drop declustering" procedure that singles out the two leading jet substructures. Assuming coherent jet energy loss, we find an enhancement of the distribution of the energy fractions shared by the two substructures at small subjet energy caused by hard medium-induced gluon radiation. Departures from this approximation are discussed, in particular, the effects of colour decoherence and the contamination of the grooming procedure by soft background. Finally, we propose a complementary observable, that is the ratio of the two-pronged probability in Pb-Pb to proton-proton collisions and discuss its sensitivity to various energy loss mechanisms.
description: 20 pages, 5 figures
title: Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)
Creators: name: Kuessner, Christian
name: Mogk, Ragnar
name: Wickert, Anna-Katharina
name: Mezini, Mira
Publisher: name: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Year: 2023
Subjects: subject: local-first
subject: data privacy
subject: coordination freedom
subject: CRDTs
subject: AEAD
subject: Information systems → Data management systems
subject: Computer systems organization → Dependable and fault-tolerant systems and networks
subject: Security and privacy → Cryptography

description: This work is about programming support for local-first applications that manage private data locally, but still synchronize data between multiple devices. Typical use cases are synchronizing settings and data, and collaboration between multiple users. Such applications must preserve the privacy and integrity of the user’s data without impeding or interrupting the user’s normal workflow - even when the device is offline or has a flaky network connection.
From the programming perspective, availability along with privacy and security concerns pose significant challenges, for which developers have to learn and use specialized solutions such as conflict-free replicated data types (CRDTs) or APIs for centralized data stores. This work relieves developers from this complexity by enabling the direct and automatic use of algebraic data types - which developers already use to express the business logic of the application - for synchronization and collaboration. Moreover, we use this approach to provide end-to-end encryption and authentication between multiple replicas (using a shared secret) that is suitable for a coordination-free setting.
This artifact demonstrates the approach in the context of a realistic case study. It shows that an implementation of the approach can handle realistic workloads, that the size of the data types does not grow indefinitely, and that it is feasible to always enable encryption for the intended scenario.
description: DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 26:1-26:4
Manifestations of Isospin in Nearest Neighbor Spacing Distributions for the f-p Model Space
Creators: name: Quinonez, Michael
name: Kingan, Arun
name: Zamick, Larry
Publisher: name: arXiv
Year: 2016
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The strong interactions are charge independent. If we limit ourselves to the strong interactions, we have the isospin $T$ as a good quantum number. Here we consider the lack of level repulsion of states of different isospin and how this effect manifests in nearest neighbor spacing (NNS) histograms, which provide a visual and statistical context in which to study distributions of energy level spacings. In particular, we study nucleons in the f-p model space for the nucleus $^{44}$Ti. We also study the effect of the Coulomb interaction on the level spacing distribution.
description: 6 pages, 5 figures, typos removed, added comparison with experiment
AGN-starburst evolutionary connection : a physical interpretation based on radiative feedback
Creators: name: Ishibashi, W.
name: Fabian, A. C.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Observations point towards a close connection between nuclear starbursts, active galactic nuclei (AGN), and outflow phenomena. An evolutionary sequence, starting from a dust-obscured ultra-luminous infrared galaxy and eventually leading to an unobscured optical quasar, has been proposed and discussed in the literature. AGN feedback is usually invoked to expel the obscuring gas and dust in a blow-out event, but the underlying physical mechanism remains unclear. We consider AGN feedback driven by radiation pressure on dust, which directly acts on the obscuring dusty gas. We obtain that radiative feedback can potentially disrupt dense gas in the infrared-optically thick regime, and that an increase in the dust-to-gas fraction leads to an increase in the effective Eddington ratio. Thus the more dusty gas is preferentially expelled by radiative feedback, and the central AGN is prone to efficiently remove its own obscuring dust cocoon. Large amounts of dust imply heavy obscuration but also powerful feedback, suggesting a causal link between dust obscuration and blow-out. In this picture, AGN feedback and starburst phenomena are intrinsically coupled through the production of dust in supernova explosions, leading to a natural interpretation of the observed evolutionary path.
description: published in MNRAS
Impact of Human Resource Development Practice on Employees' Performance and Motivation in the case of EFDRE Ministry of Agriculture and Natural Resource
Creators: name: Nuredin, Zemzem
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2016

description: Effectiveness of an organization depends on the quality of its human resources and human resources development strategy being an integral part of organizations' strategic plan and its practicability. Hence, this study was aimed to determine the impact of human resource development practice on employees' performance and motivation in the Ministry of Agriculture and Natural Resource. The research is a case study in the form of cross sectional design in which data was collected across a population through purposive sampling and simple random sampling. Data was collected on survey questionnaire and an interview. 130 questionnaires were distributed for the collection of data and an interview was made with HRD Director of the ministry. Descriptive statistic tool SPSS version 22 was applied to analyze the data. Results show that respondents perceived the HRD practices of the ministry as good impact on performance and motivation of employees in the ministry. The correlation analysis result shows that the relationship between dependent and independent variables are positively and significantly correlated. On the contrary, HRD practice of the ministry does not reduce the employee turnover of the employees in the ministry. Key words: Human Resource Development, Employee Performance, Ministry of Agriculture and Natural Resource,
The regulations overview of some medical devices that apply significant levels of energy to the human brain
Creators: name: Alhumeidan, Soliman.
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.