Miracle-dz/UniFAR-FTUs huggingface dataset:
Programming Unikernels in the Large via Functor Driven Development

Compiling applications as unikernels allows them to be tailored to diverse execution environments. Dependency on a monolithic operating system is replaced with linkage against libraries that provide specific services. Doing so in practice has revealed a major barrier: managing the configuration matrix across heterogenous execution targets. A realistic unikernel application depends on hundreds of libraries, each of which may place different demands on the different target execution platforms (e.g.,~cryptographic acceleration). We propose a modular approach to structuring large scale codebases that cleanly separates configuration, application and operating system logic. Our implementation is built on the \mirage unikernel framework, using the \ocaml language's powerful abstraction and metaprogramming facilities. Leveraging modules allows us to build many components independently, with only loose coupling through a set of standardised signatures. Components can be parameterized by other components and composed. Our approach accounts for state, dependency ordering, and error management, and our usage over the years has demonstrated significant efficiency benefits by leveraging compiler features such as global link-time optimisation during the configuration process. We describe our application architecture and experiences via some practical applications of our approach, and discuss how library development in \mirage can facilitate adoption in other unikernel frameworks and programming languages.
The FuGas 2.2 framework for atmosphere-ocean coupling in geoscientific models: comparing and improving algorithms for the estimates of the solubilities and fluxes of greenhouse gases and DMS

20 Accurate estimates of the atmosphere-ocean balances and fluxes of greenhouse gases and DMS are fundamental for geoscientific models dealing with climate change. A significant part of these fluxes occur at the coastal ocean which, although much smaller than the open ocean, is also much more heterogenic. The scientific community is becoming increasingly aware of the necessity to model the Earth at finer spatial and temporal resolutions, which also requires better descriptions of the chemical, physical and biological processes involved. The standard formulations for the gas 25 transfer velocities and solubilities are 24 and 36 years old, respectively, and recently, new alternatives have emerged. We developed a framework congregating the geophysical processes involved which are customizable with alternative formulations with different degrees of complexity and/or different theoretical backgrounds. We propose this framework as basis for novel couplers of atmospheric and oceanographic model components. We tested it with fine resolution data from the European coastal ocean. Although the benchmark and alternative solubility formulations agreed well, their 30 minor divergences yielded differences of many tons of greenhouse gases dissolved at the ocean surface. The transfer velocities largely mismatched their estimates, a consequence of the benchmark formulation not considering factors that were proved determinant at the coastal ocean. Climate Change research requires more comprehensive simulations of atmosphere-ocean interactions but the formulations able to do it require further calibration and validation. 35
An apparatus for varying effective dihedral in flight with application to a study of tolerable dihedral on a conventional fighter airplane

An apparatus for varying effective dihedral in flight by means of servo actuation of the ailerons in response to sideslip angle is described. The results of brief flight tests of the apparatus on a conventional fighter airplane are presented and discussed. The apparatus is shown to have satisfactory simulated a wide range of effective dihedral under static and dynamic conditions. The effects of a small amount of servo lag are shown to be measurable when the apparatus is simulating small negative values of dihedral. However, these effects were not considered by the pilots to give the airplane an artificial feel. The results of an investigation employing the apparatus to determine the tolerable (safe for normal fighter operation) range of effective dihedral on the test airplane are presented.
Modelling “calçots” (Allium cepa L.) growth by Gompertz function

Calcots" are the second-year resprouts of the "Ceba Blanca Tardana de Lleida" landrace of onions. The evolution of three "calcots" populations has been modeled to help farmers to plan the optimal time to harvest. Four different models that essentially differ in the type of distribution of the fitting Gompertz function parameters (lag time, maximum growth rate and the maximum attainable number of commercial size "calcots") have been tested. The model that considers a multinomial distribution of the fitting parameters showed the best agreement with the experimental data. MSC: MSC2000 classification of the American Mathematical Society: 92D25
Deep and Shallow Thinking in the Long Run

Humans differ in their strategic reasoning abilities and in beliefs about others' strategic reasoning abilities. Studying such cognitive hierarchies has produced new insights regarding equilibrium analysis in economics. This paper investigates the effect of cognitive hierarchies on long run behavior. Despite short run behavior being highly sensitive to variation in strategic reasoning abilities, this variation is not replicated in the long run. In particular, when generalized risk dominant strategy profiles exist, they emerge in the long run independently of the strategic reasoning abilities of players. These abilities may be arbitrarily low or high, heterogeneous across players, and evolving over time.
Automatic Classification of Heavy Metal Music

In this thesis, I construct an automatic classification system for heavy metal. The aim of this system is correctly categorizing digital audio files, containing heavy metal music, into their respective subgenres. First, a history of heavy metal subgenres is discussed. Then, as a new contribution to this research field, two features are proposed: the vertical and horizontal interval features. These features are based on the concept of musical intervals and are built around the computation of chroma vectors, first introduced by Fujishima in 1999 [1]. After this, I discuss several distance functions and classifiers, namely a classifier based on the Mahalanobis distance, and the k-nearest neighbor classifier with the Aitchison distance. This classification system is evaluated on a manually assembled collection of heavy metal audio files. With their respective best-performing classifiers, we observe an average accuracy of . 28 for the vertical and an accuracy of . 21 for the horizontal interval feature, as compared to a chance rate of . 06. However, their performances are closer together with the construction of a confusion cost matrix, where each classification is assigned a cost based on the severity of their particular subgenre confusion. These results are discussed and put into a musical context. Title: Automatic Classification of Heavy Metal Music Authors: D.G. J. Mulder, unarmedlad@gmail.com Supervisor: Dr John Ashley Burgoyne Second signatory: Dr Gerard Helminck Date: July 18, 2014 Faculteit der Natuurwetenschappen, Wiskunde en Informatica Universiteit van Amsterdam Science Park 904, 1098 XH Amsterdam http://www.science. uva.nl/
Full-wave analysis of a split-cylinder resonator for nondestructive permittivity measurements

This paper presents a full-wave analysis of the split-cylinder resonator. We outline a model where the fringing fields are rigorously accounted for and the resonance condition is derived. Using this model, a method for nondestructively measuring the complex permittivity of materials is examined. Measurements of the complex permittivity for low-loss dielectric materials using the split-cylinder resonator agree well with measurements made in a cylindrical cavity. An uncertainty analysis for the complex permittivity is also provided.
Predictors of Examination and Objective Structured Clinical Examination Performance in a Flipped Classroom Curriculum

Objective. Students, educators, and administrators have a vested interest in understanding the factors that predict academic performance. To inform this, the authors examined the effects of student demographics, baseline factors (language assessment and situational judgement test scores), prior performance (high school admission rank), course engagement, and student time management of pre-class online activities on student performance in course examinations and objective structured clinical examination (OSCE) problem solving and communication scales. Methods. Study participants were one cohort of pharmacy students enrolled in a five-year combined Bachelors and Masters of Pharmacy degree program at Monash University Faculty of Pharmacy and Pharmaceutical Sciences. Data were collected from course, learning management system, and institutional databases. Data were analyzed for univariate, bivariate, and multivariate associations (four linear regression models) between explanatory factors and outcome variables. Results. The dataset included three years of data on 159 pharmacy students from one institution. Statistically significant positive predictors of OSCE communication performance included domestic (ie, Australian) student designation, higher baseline written English proficiency, and pre-class online activity completion. Positive predictors of OSCE problem solving included workshop attendance and low empathy as measured by a baseline situational judgment test (SJT). Positive predictors of year two end-of-course examinations included the Australian Tertiary Academic Rank, completing pre-class online activities prior to lectures, high integrity as measured by a SJT, and the pre-class online activity completion. Conclusion. Several explanatory factors predicted student examination and OSCE performance in the regression models. Future research should continue to study additional contexts, explanatory factors, and outcome variables. The is with Outcomes Assessment (PCOA) test scores, 6,7 pre-North American Pharmacist Licensure (NAPLEX) test scores, 8 and NAPLEX test scores. 9 For predicting OSCE performance, there has been limited work in pharmacy education 10 and health professions education. 11,12 For OSCE and examination outcomes, researchers have investigated the predictive value of demographics, pre-admission prior performance, academic performance, and other types of factors. However, to our knowledge, no researchers have explored the relationship between pharmacy student academic outcomes and baseline English proficiency, situational judgment tests, course engagement, and time management of pre-class online activities. Therefore, we set out to comprehensively investigate what predicts pharmacy student OSCE and examination performance.
Crystal chemistry of Fe-sudoites from uranium deposits in the athabasca basin (Saskatchewan, Canada)

Sudoites exhibit different crystal-chemical and textural properties which may be related to the structural and valence state of Fe. Mössbauer spectroscopic analysis shows that all Fe previously analyzed using a microprobe (from 1 wt.% to 7.2 wt.% total Fe as Fe2O3) is structural and occurs in both oxidation states (40% Fe2+ and ∼60% Fe3+). Electron microprobe analyses from ∼200 sudoites indicate that Fe occurs in both octahedral sheets according to three main types of substitution: Fe3+ = octahedral Al; Fe2+ = Mg; and Fe3+ + Fe2++ □ = 3Mg. Decreasing tetrahedral substitution balances Fe3+ substitution in the trioctahedral sheet. Increasing octahedral Fe results in a more dioctahedral character of sudoite.X-ray diffraction (XRD), Fourier transform infrared (FTIR) spectroscopy, differential thermal analysis (DTA) and scanning electron microscope-transmission electron microscope (SEM-TEM) analyses showed that increasing octahedral Fe is associated with decreased stacking order and thermal stability due to the greater number of defects. In addition, with increasing octahedral Fe in sudoite, particles became smaller and more anhedral and consequently less stable with increasing Fe content. These structural and textural variations are interpreted as a result of the distortion of the sudoite structure by substitutions of Fe3+ with larger ionic radii for Al and Mg octahedral cations and by the formation of octahedral vacancies.
Micro-Finance Institutions (MFIs) : assessing their performance through the lens of an entrepreneur

The study sought to find out the sources and access to funding for entrepreneurs, with the specific focus on micro-finance. A combination of qualitative and quantitative research methodologies was used. Interviews, based on a structured questionnaire were used to gather primary data from thirty (30) respondents. The study provided insights into the environment of credit granting, and into the dynamics of operating a microfinance business. The findings indicate that credit is made available in 100 percent of the cases where small business owners are involved, in 97 percent of the cases where informal traders are involved and in 60 percent of the cases involving emerging entrepreneurs. It also transpired that, the full amount of the loan applied for is advanced in 97 percent of the cases. In 80 percent of the cases, the literacy level of potential clients does not affect the turnaround of loan applications, because potential clients understand the criteria for receiving a loan. The study recommends improving methods of communicating the availability of credit and creating partnerships with stakeholders.
First-Principles Investigation of Atomic Hydrogen Adsorption and Diffusion on/into Mo-doped Nb (100) Surface

To investigate Mo doping effects on the hydrogen permeation performance of Nb membranes, we study the most likely process of atomic hydrogen adsorption and diffusion on/into Mo-doped Nb (100) surface/subsurface (in the Nb12Mo4 case) via first-principles calculations. Our results reveal that the (100) surface is the most stable Mo-doped Nb surface with the smallest surface energy (2.75 J/m2). Hollow sites (HSs) in the Mo-doped Nb (100) surface are H-adsorption-favorable mainly due to their large adsorption energy (−4.27 eV), and the H-diffusion path should preferentially be HS→TIS (tetrahedral interstitial site) over HS→OIS (octahedral interstitial site) because of the correspondingly lower H-diffusion energy barrier. With respect to a pure Nb (100) surface, the Mo-doped Nb (100) surface has a smaller energy barrier along the HS→TIS pathway (0.31 eV).
Challenges of continuum robots in clinical context: a review

With the maturity of surgical robotic systems based on traditional rigid-link principles, the rate of progress slowed as limits of size and controllable degrees of freedom were reached. Continuum robots came with the potential to deliver a step change in the next generation of medical devices, by providing better access, safer interactions and making new procedures possible. Over the last few years, several continuum robotic systems have been launched commercially and have been increasingly adopted in hospitals. Despite the clear progress achieved, continuum robots still suffer from design complexity hindering their dexterity and scalability. Recent advances in actuation methods have looked to address this issue, offering alternatives to commonly employed approaches. Additionally, continuum structures introduce significant complexity in modelling, sensing, control and fabrication; topics which are of particular focus in the robotics community. It is, therefore, the aim of the presented work to highlight the pertinent areas of active research and to discuss the challenges to be addressed before the potential of continuum robots as medical devices may be fully realised.
Sustainable atmospheric-pressure plasma treatment of cellulose triacetate (CTA) films for electronics

Surface treatments of cellulose triacetate (CTA) films via atmospheric pressure plasmas containing helium and either O2 or C3F6 as plasma reactive gas were performed to study their effects on moisture barrier, transmittance, thermal, surface chemistry, and morphological properties. Plasma treated CTA films were characterized using X-ray photoelectron spectroscopy (XPS), attenuated total reflectance-Fourier transform infrared spectroscopy, time-of-flight secondary ion mass spectrometry (ToF-SIMS), differential scanning calorimetry, thermogravimetric analysis, and scanning electron microscopy analytical techniques. Both surface chemical and morphological changes were correlated with water vapor transmission rates (WVTRs) and contact angle measurements. XPS spectra showed that the relative chemical composition of the C 1s spectra after O2 plasma treatments exhibits an increase in the relative amount of C—C bonds, which may be due to a change in surface cross-linking. ToF-SIMS spectra showed the depth of treatment of atmospheric plasma treatment of CTA films at about 100 nm. The WVTR of the CTA film was reduced up to 20% after sustainable atmospheric O2/helium plasma, while no significant changes were observed in light transmittance. Thus, the use of sustainable atmospheric plasmas to enhance moisture barrier while maintaining other critical properties such as light transmittance, thermal stability, and morphology of a CTA film could provide significant benefits to the electronics industry.
Gaining and losing stream reaches have opposite hydraulic conductivity distribution patterns

Abstract. In gaining streams, groundwater seeps out into the streams. In losing streams, stream water moves into groundwater systems. The flow moving through the streambed sediments under these two types of hydrologic conditions is generally in opposite directions (upward vs. downward). The two opposite flow mechanisms affect the pore size and fine particle content of streambeds. Thus it is very likely that the opposite flow conditions affect the streambed hydraulic conductivity. However, comparisons of the hydraulic conductivity (K) of streambeds for losing and gaining streams are not well documented. In this study, we examined the K distribution patterns of sediments below the channel surface or stream banks for the Platte River and its tributaries in Nebraska, USA. Two contrasting vertical distribution patterns were observed from the test sites. In gaining reaches, hydraulic conductivity of the streambed decreased with the depth of the sediment cores. In losing reaches, hydraulic conductivity increased with the depth of the sediment cores. These contrasting patterns in the two types of streams were mostly attributed to flow directions during stream water and groundwater exchanges. In losing reaches, downward movement of water brought fine particle into the otherwise coarse sediment matrix, partially silting the pores. For gaining reaches, upward flow winnowed fine particles, increasing the pore spacing in the top parts of streambeds, leading to higher hydraulic conductivity in shallower parts of streambeds. These flux directions can impact K values to depths of greater than 5 m. At each study site, in situ permeameter tests were conducted to measure the K values of the shallow streambed layer. Statistical analyses indicated that K values from the sites of losing reaches were significantly different from the K values from the sites of gaining reaches.
Isolation and characterization of haloalkaliphilic bacteria from the hot springs of Lake Magadi

The Magadi Lake located in the Southern Rift Valley in Kenya is a hypersaline and alkaline lake. The lake’s pH ranges from pH 9 to 11 whereas the salinity can reach saturation during the dry Season. Little studies have previously been done on Lake Magadi as compared to other soda lakes from Kenya. This study concentrated on isolating and characterizing haloalkaliphilic bacteria found in the hot springs of Lake Magadi. Collection of water, wet sediments and microbial mats was carried out from the springs in the main lake at a temperature of 45.1°C and from Little Magadi Nasikie Engida (temperature of 81 and 83.6°C). Seven bacterial isolates were identified using various media prepared with filter-sterilized water from the lake. These isolates were characterized and analyzed for production of extracellular enzymes and antimicrobial compounds. Bacteria recovered, thrived at pH ranging from 6 to 14, a temperature range of 30 to 60°C and sodium chloride range of 0 to 17.5%. The isolates produced amylases, lipases, proteases, cellulases, xylanases, esterases and also exhibited a range of inhibitory effects on various test organisms. Sequencing of the 16S rDNA of the isolates was done and sequences for 7 isolates were without ambiguities. BLAST results revealed that 90% of isolated microbes had an affiliation to the genus Bacillus while 10% was affiliated to genus Gammaproteobacteria. Strains from Bacillus family included; Bacillus siamensis, Bacillus licheniformis, Bacillus methylotrophicus, Bacillus amyloliquefaciens, Bacillus pumilus, and Bacillus sonorensis while one strain that belonged to Alcaligenes family was Alcaligenes feacalis. Key words: Hypersaline, Little Magadi, alkaliphilic, hot springs, filter-sterilized.
A model of contextual motivation in physical education: Using constructs from self-determination and achievement goal theories to predict physical activity intentions.

Assessing the motivational responses of 328 secondary school students, this study examined a model of student motivation in physical education that incorporated constructs from achievement goal and self-determination theories. The focus was on the prediction of students' intention to partake in physical activity outside of physical education. Structural equation modeling analysis supported a model in which an autonomy-supportive climate, and to a lesser extent perceptions of a mastery climate, positively impacted hypothesized mediating variables (i.e., autonomy, competence, relatedness) to foster self-determined motivation. Self-determined motivation was found to positively predict, whereas amotivation was a negative predictor of leisure-time physical activity intentions.
The Evolving Role of IT Departments in Digital Transformation

In the digital era, organizations are increasingly tasked with creating and utilizing new content, applications, and/or services through the use of advanced information and communication technologies (ICT) to sustain a competitive advantage. Indeed, sustainability is now an embedded and overarching feature of organizations’ strategic planning. Research has shown that information technology (IT) departments are vital to organizations’ digital transformation. However, the role of IT departments in non-ICT-oriented organizations undergoing digital transformation has yet to be explored. Our study reveals that although the IT departments of non-ICT-oriented organizations play an important and proactive role in the early stages of organizational transformation and a dominant role in developing ICT capabilities, they will be unable to assume a leadership role within the organizations after transformation is complete.
Screening for Mental Health Comorbidities in a Pediatric Diabetes Clinic Setting

Quality Improvement Success Stories are published by the American Diabetes Association in collaboration with the American College of Physicians and the National Diabetes Education Program. This series is intended to highlight best practices and strategies from programs and clinics that have successfully improved the quality of care for people with diabetes or related conditions. Each article in the series is reviewed and follows a standard format developed by the editors of Clinical Diabetes. The following article describes an effort to improve mental health screening of patients at a pediatric diabetes clinic in Seattle, WA.