Miracle-dz/UniFAR-FTUs huggingface dataset:
Borrow, copy or steal?: loans and larceny in the orthodox canonical form

Dynamic memory management in C++ is complex, especially across the boundaries of library abstract data types. C++ libraries designed in the orthodox canonical form (OCF) alleviate some of the problems by ensuring that classes which manage any kind of heap structures faithfully copy and delete these. However, in certain common circumstances, OCF heap structures are wastefully copied multiple times. General reference counting is not an option in OCF, since a shared body violates the intended value semantics; although a copy-on-write policy can be made to work with borrowed heap structures. A simpler ownership policy, based on larceny, allows low-level memory manager objects to steal heap structures from temporary variables, in properly isolated circumstances. Various strategies for regulating theft are presented, ranging from pilfer-constructors to locks on heap data. Larceny has similarities with other transfer of ownership patterns, but is more a core implementation technique designed to improve the efficiency and effectiveness of OCF-conformant libraries.
National and Local Characters for DNS Top Level Domain (TLD) Names

In the context of work on internationalizing the Domain Name System (DNS), there have been extensive discussions about "multilingual" or "internationalized" top level domain names (TLDs), especially for countries whose predominant language is not written in a Roman-based script. This document reviews some of the motivations for such domains, several suggestions that have been made to provide needed functionality, and the constraints that the DNS imposes. It then suggests an alternative, local translation, that may solve a superset of the problem while avoiding protocol changes, serious deployment delays, and other difficulties. The suggestion utilizes a localization technique in applications to permit any TLD to be accessed using the vocabulary and characters of any language. It is not restricted to language- or country-specific "multilingual" TLDs in the language(s) and script(s) of that country.
Core networks and their reconfiguration patterns across cognitive loads

Different cognitively demanding tasks recruit globally distributed but functionally specific networks. However, the configuration of core networks and their reconfiguration patterns across cognitive loads remain unclear, as does whether these patterns are indicators for the performance of cognitive tasks. In this study, we analyzed functional magnetic resonance imaging data of a large cohort of 448 subjects, acquired with the brain at resting state and executing N‐back working memory (WM) tasks. We discriminated core networks by functional interaction strength and connection flexibility. Results demonstrated that the frontoparietal network (FPN) and default mode network (DMN) were core networks, but each exhibited different patterns across cognitive loads. The FPN and DMN both showed strengthened internal connections at the low demand state (0‐back) compared with the resting state (control level); whereas, from the low (0‐back) to high demand state (2‐back), some connections to the FPN weakened and were rewired to the DMN (whose connections all remained strong). Of note, more intensive reconfiguration of both the whole brain and core networks (but no other networks) across load levels indicated relatively poor cognitive performance. Collectively these findings indicate that the FPN and DMN have distinct roles and reconfiguration patterns across cognitively demanding loads. This study advances our understanding of the core networks and their reconfiguration patterns across cognitive loads and provides a new feature to evaluate and predict cognitive capability (e.g., WM performance) based on brain networks.
Component Importance Analysis of Mobile Cloud Computing System in the Presence of Common-Cause Failures

Mobile cloud computing (MCC) is a state-of-the-art architecture that integrates the cloud computing into the mobile environment and overcomes obstacles, such as processing capability, battery life, storage, and availability. Also the MCC is expected to be a key technology for cyber physical systems by connecting to vehicular systems, medical systems, and other mission-critical systems. Therefore, it is a critical issue for MCC to guarantee the high reliability. In this paper, we consider the component importance analysis of an MCC with common-cause failures (CCFs) by using a Markov reward model-based componentwise sensitivity approach. The component importance analysis is capable of quantifying the criticality of components and helps us to design the highly reliable system. In particular, this paper examines the effect of CCFs on the MCC. Our experimental results show that the preferred action to improve the availability of system with CCFs efficiently is to decrease the failure rate of the cloud node in the cloud infrastructure.
A hybrid approach to cache management in heterogeneous CPU-FPGA platforms

Heterogenous computing is gaining increasing attention due to its promise of high performance with low power. Shared coherent cache based CPU-FPGA platforms, like Intel HARP, are a particularly promising example of such systems with enhanced efficiency and high flexibility. In this work, we propose a hybrid strategy that relies on both static analysis of applications and dynamic control of cache based on static analysis to minimize the contention on the FPGA cache in the emerging CPU-FPGA platforms with shared coherent caches. In the static analysis, we analyze memory access patterns of the accelerated kernels on FPGA using reuse distance theory and generate kernel characteristics called Key values. Thereafter, a dynamic scheme for cache bypassing and partitioning control based on these Key values is developed to increase the cache hit rate and improve the performance. We validate our proposed strategy using a system-level architectural simulator for CPU-FPGA heterogeneous computing systems. Experiments show that the proposed strategy can increase the cache hit rate by 22.90% on average and speed up the application by up to 12.52% with negligible area overhead.
Childhood Emotional Maltreatment Severity Is Associated with Dorsal Medial Prefrontal Cortex Responsivity to Social Exclusion in Young Adults

Children who have experienced chronic parental rejection and exclusion during childhood, as is the case in childhood emotional maltreatment, may become especially sensitive to social exclusion. This study investigated the neural and emotional responses to social exclusion (with the Cyberball task) in young adults reporting childhood emotional maltreatment. Using functional magnetic resonance imaging, we investigated brain responses and self-reported distress to social exclusion in 46 young adult patients and healthy controls (mean age = 19.2±2.16) reporting low to extreme childhood emotional maltreatment. Consistent with prior studies, social exclusion was associated with activity in the ventral medial prefrontal cortex and posterior cingulate cortex. In addition, severity of childhood emotional maltreatment was positively associated with increased dorsal medial prefrontal cortex responsivity to social exclusion. The dorsal medial prefrontal cortex plays a crucial role in self-and other-referential processing, suggesting that the more individuals have been rejected and maltreated in childhood, the more self- and other- processing is elicited by social exclusion in adulthood. Negative self-referential thinking, in itself, enhances cognitive vulnerability for the development of psychiatric disorders. Therefore, our findings may underlie the emotional and behavioural difficulties that have been reported in adults reporting childhood emotional maltreatment.
Simulation and experiments on magnetic microforces for magnetic microrobots applications

Magnetic microrobots have a wide variety of applications in micro/nano-manipulation, micro/nano sensing and biomedical fields. Untethered magnetic microrobots are usually driven by a group of electromagnetic coils. To control the magnetic microrobots trajectory it is of utmost importance to know the magnitude of the magnetic force applied on them. In this paper finite element simulations are proposed to derive the magnetic field produced by an iron core coil. A three dimensional static magnetic analysis is also performed to simulate the magnetic force applied on a magnetic microrobot. The simulation results are validated by experimental measurements. A teslameter is used to measure the magnetic field on the central axis of the coil. A magnetic microrobot (less than 400 × 400 μm2) is fabricated and glued to a force sensor to measure the magnetic force applied on it. The measurement results are in good agreement with the simulation and show the effectiveness of the magnetic simulation.
Multinational Tagging Efforts Illustrate Regional Scale of Distribution and Threats for East Pacific Green Turtles (Chelonia mydas agassizii)

To further describe movement patterns and distribution of East Pacific green turtles (Chelonia mydas agassizii) and to determine threat levels for this species within the Eastern Pacific. In order to do this we combined published data from existing flipper tagging and early satellite tracking studies with data from an additional 12 satellite tracked green turtles (1996-2006). Three of these were tracked from their foraging grounds in the Gulf of California along the east coast of the Baja California peninsula to their breeding grounds in Michoacán (1337-2928 km). In addition, three post-nesting females were satellite tracked from Colola beach, Michoacán to their foraging grounds in southern Mexico and Central America (941.3-3020 km). A further six turtles were tracked in the Gulf of California within their foraging grounds giving insights into the scale of ranging behaviour. Turtles undertaking long-distance migrations showed a tendency to follow the coastline. Turtles tracked within foraging grounds showed that foraging individuals typically ranged up to 691.6 km (maximum) from release site location. Additionally, we carried out threat analysis (using the cumulative global human impact in the Eastern Pacific) clustering pre-existing satellite tracking studies from Galapagos, Costa Rica, and data obtained from this study; this indicated that turtles foraging and nesting in Central American waters are subject to the highest anthropogenic impact. Considering that turtles from all three rookeries were found to migrate towards Central America, it is highly important to implement conservation plans in Central American coastal areas to ensure the survival of the remaining green turtles in the Eastern Pacific. Finally, by combining satellite tracking data from this and previous studies, and data of tag returns we created the best available distributional patterns for this particular sea turtle species, which emphasized that conservation measures in key areas may have positive consequences on a regional scale.
A new precipitation technique provides evidence for the permeability of Casparian bands to ions in young roots of corn (Zea mays L.) and rice (Oryza sativa L.)

Using an insoluble inorganic salt precipitation technique, the permeability of cell walls and especially of endodermal Casparian bands (CBs) for ions was tested in young roots of corn (Zea mays) and rice (Oryza saliva). The test was based on suction of either 100 μM CuSO 4 or 200 μM K 4 [Fe(CN) 6 ] into the root from its medium using a pump (excised roots) or transpirational stream (intact seedlings), and subsequent perfusion of xylem of those root segments with the opposite salt component, which resulted in precipitation of insoluble brown crystals of copper ferrocyanide. Under suction, Cu 2+ could cross the endodermis apoplastically in both plant species (although at low rates) developing brown salt precipitates in cell walls of early metaxylem and in the region between CBs and functioning metaxylem vessels. Hence, at least Cu 2+ did cross the endodermis dragged along with the water. The results suggested that CBs were not perfect barriers to apoplastic ion fluxes. In contrast, ferrocyanide ions failed to cross the mature endodermis of both corn and rice at detectable amounts. The concentration limit of apoplastic copper was 0.8 pM at a perfusion with 200 μM K 4 [Fe(CN) 6 ]. Asymmetric development of precipitates suggested that the cation, Cu 2+ , moved faster than the anion, [Fe(CN) 6 ]4 - , through cell walls including CBs. Using Chara cell wall preparations ('ghosts') as a model system, it was observed that, different from Cu 2+ , ferrocyanide ions remained inside wall-tubes suggesting a substantially lower permeability of the latter which agreed with the finding of an asymmetric development of precipitates. In both corn and rice roots, there was a significant apoplastic flux of ions in regions where laterals penetrated the endodermis. Overall, the results show that the permeability of CBs to ions is not zero. CBs do not represent a perfect barrier for ions, as is usually thought. The permeability of CBs may vary depending on growth conditions which are known to affect the intensity of formation of bands.
Risk Prediction of Diabetic Nephropathy via Interpretable Feature Extraction from EHR Using Convolutional Autoencoder

This paper describes a technology for predicting the aggravation of diabetic nephropathy from electronic health record (EHR). For the prediction, we used features extracted from event sequence of lab tests in EHR with a stacked convolutional autoencoder which can extract both local and global temporal information. The extracted features can be interpreted as similarities to a small number of typical sequences of lab tests, that may help us to understand the disease courses and to provide detailed health guidance. In our experiments on real-world EHRs, we confirmed that our approach performed better than baseline methods and that the extracted features were promising for understanding the disease.
Natural history bycatch: a pipeline for identifying metagenomic sequences in RADseq data

Background Reduced representation genomic datasets are increasingly becoming available from a variety of organisms. These datasets do not target specific genes, and so may contain sequences from parasites and other organisms present in the target tissue sample. In this paper, we demonstrate that (1) RADseq datasets can be used for exploratory analysis of tissue-specific metagenomes, and (2) tissue collections house complete metagenomic communities, which can be investigated and quantified by a variety of techniques. Methods We present an exploratory method for mining metagenomic “bycatch” sequences from a range of host tissue types. We use a combination of the pyRAD assembly pipeline, NCBI’s blastn software, and custom R scripts to isolate metagenomic sequences from RADseq type datasets. Results When we focus on sequences that align with existing references in NCBI’s GenBank, we find that between three and five percent of identifiable double-digest restriction site associated DNA (ddRAD) sequences from host tissue samples are from phyla to contain known blood parasites. In addition to tissue samples, we examine ddRAD sequences from metagenomic DNA extracted snake and lizard hind-gut samples. We find that the sequences recovered from these samples match with expected bacterial and eukaryotic gut microbiome phyla. Discussion Our results suggest that (1) museum tissue banks originally collected for host DNA archiving are also preserving valuable parasite and microbiome communities, (2) that publicly available RADseq datasets may include metagenomic sequences that could be explored, and (3) that restriction site approaches are a useful exploratory technique to identify microbiome lineages that could be missed by primer-based approaches.
Posteriors, conjugacy, and exponential families for completely random measures

We demonstrate how to calculate posteriors for general CRM-based priors and likelihoods for Bayesian nonparametric models. We further show how to represent Bayesian nonparametric priors as a sequence of finite draws using a size-biasing approach---and how to represent full Bayesian nonparametric models via finite marginals. Motivated by conjugate priors based on exponential family representations of likelihoods, we introduce a notion of exponential families for CRMs, which we call exponential CRMs. This construction allows us to specify automatic Bayesian nonparametric conjugate priors for exponential CRM likelihoods. We demonstrate that our exponential CRMs allow particularly straightforward recipes for size-biased and marginal representations of Bayesian nonparametric models. Along the way, we prove that the gamma process is a conjugate prior for the Poisson likelihood process and the beta prime process is a conjugate prior for a process we call the odds Bernoulli process. We deliver a size-biased representation of the gamma process and a marginal representation of the gamma process coupled with a Poisson likelihood process.
Photochemical response to the variation of temperature in the 2011−2012 stratospheric vortex of Saturn

Context. A hot vortex formed in the stratosphere of Saturn following the 2010−2011 Northern Storm. Huge temperature increases have been measured in the vortex around the millibar level. Enhancements in hydrocarbon abundances have been observed at the millibar level in 2011−2012 inside this vortex. Aims. We model the time-dependent photochemistry inside the vortex by accounting for the temperature variability over the period from January 2011 to March 2012 to assess whether photochemistry alone can explain the enhancements seen in the hydrocarbon abundances. Methods. We used a 1D time-dependent photochemical model of Saturn and adapted it to the perturbed conditions of the vortex after validating it in quiescent conditions. Results. Our model predicts non-variability for ethane (C2H6) and acetylene (C2H2) and an increase in ethylene (C2H4) by a factor of 3 in the mbar region. Heavier hydrocarbons show a stronger variability than the lighter ones. We are unable to reproduce the increase seen in C 2 H 2 , and we significantly underestimate the increase seen in C 2 H 4 . Conclusions. Pure photochemistry does not explain the variability seen in the abundance of most hydrocarbons. This means that dynamics (eddy diffusion and/or advection) must have played a significant role in shaping the vertical profiles of the main hydrocarbons.
Mechanical properties of concrete containing Fly Ash, Rice Husk Ash and Waste Glass Powder

This paper for the first time investigates the workability, compressive and tensile strength of concrete containing Fly Ash, Rice Husk Ash and Waste Glass Powder. Seventy six cube specimen (150 150 150 mm were cast with different composition of Fly Ash, Rice Husk Ash ,Waste Glass Powder and steel fibers. The cubes were tested for axial compression and tensile tests. The research also investigated the effect of curing regime on the compressive and tensile strength of concrete cube specimen. The results revealed that the addition of 15 % Rice Husk Ash and 39% Fly Ash increased the workability of 25 % as compared to the controlled concrete. The sample containing 10 % Rice Husk Ash, 10% Waste Glass Powder and 39% micro silica produced worst workability as it decreased the workability up to 5 % of controlled concrete. The results for axial compressive strength shows that the addition of 15% Rice Husk Ash (RHA) and 39% of Fly Ash (FA) in concrete leads to the improvement of compressive strength by 14%. The sample containing replacement of 10% Rice Husk Ash (RHA), 10% waste glass powder (WGP) and 39 % of micro silica (MS) in concrete leads to the improvement by 53.9 for compressive. The replacement of 10% Rice Husk Ash (RHA), 10% waste glass powder (WGP ), 39 % of micro silica (MS) 3% steel fiber in concrete leads to the improvement by 37% for compressive strength. It was observed from the results of tensile strength that the samples containing 15% Rice Husk Ash (RHA) and 39 % of Fly Ash (FA) increased the tensile strength by 24% as compared to the controlled concrete. The sample containing replacement of 10% Rice Husk Ash (RHA), 10% waste glass powder (WGP) and 39 % of micro silica (MS) in concrete leads to an increase of 20% as compared to the controlled ones. Also, the replacement of 10% Rice Husk Ash (RHA), 10% waste glass powder (WGP), 39 % of micro silica (MS) 3% steel fiber increased the tensile strength by 40 % as compared to the controlled concrete sample. Finally, it was concluded that the replacement of 10% RHA, 39% micro Silica, 10% WG in concrete was found to be superior for increasing the mechanical properties of concrete.
Comparison of choroidal vessel thickness in children and adult eyes by enhanced-depth imaging optical coherence tomography imaging.

AIM To evaluate choroidal thickness, medium choroidal vessel thickness (MCVT) and large choroidal vessel thickness (LCVT) in normal children and adult subjects. METHODS Manual measurements of subfoveal choroidal thickness (SFCT), MCVT and LCVT at subfoveal and 750 µm nasal and temporal to fovea locations were completed on enhanced-depth imaging optical coherence tomography (EDI-OCT) scans of normal children and adult subjects. RESULTS Fifty adult and fifty-seven child subjects were included in the study (including 80 adult and 103 child eyes). Mean (±SD) SFCT of adult and children eyes in the study was 309.3±95.7 µm and 279.3±50.4 µm respectively. SFCT and subfoveal MCVT in adult eyes were significantly more than children (P=0.01 and P≤0.0001 respectively). CONCLUSION There is choroidal thickening with associated thickening of medium choroidal vessels in adults, suggesting that there is alteration in choroidal vasculature with ageing.
Anterior and posterior capsule densitometry levels after femtosecond laser-assisted cataract surgery.

AIM To analyze and compare five different variables over one year follow-up (1wk, 1, 3, 6 and 12mo): anterior capsule (AC), and posterior capsule (PC) area densitometry values, AC and PC linear densitometry values, and AC opening area reduction ratio after femtosecond laser-assisted cataract surgery. METHODS This was a prospective comparative study. Seventy-one patients underwent femtosecond laser-assisted cataract surgery on single eye between June 2014 and December 2015. A 5.0 mm diameter laser assisted anterior capsulotomy was performed on all eyes. In every post-surgery evaluation, AC opacificaction (ACO) and PC opacification (PCO) density levels were provided by Oculus Pentacam®HR using area and linear densitometry methods. Digital images were captured with a slit-lamp Topcon photographic camera and IMAGEnet® 5 software. The AC opening area on the digital images was measured using the Sketchandcalc area calculator and converted to reduction ratio levels. RESULTS Using Pearson correlation coefficient (PCC), we found no correlation (r=-0.091, P=0.46) in the twelfth month assessment between the evolution of ACO area densitometry values and PCO area densitometry values considered as independent variables. We found no correlation, using PCC (r=-0.096, P=0.43) between the evolution of ACO linear densitometry values and PCO linear densitometry values, in the twelfth month visit, working both as independent variables. AC linear densitometry levels and AC area densitometry levels continued to grow strongly from sixth to twelfth months. Analysis of the values of AC opening area reduction ratio (1wk, 1, 3, 6, 12mo) revealed statistically significant differences between the values of successive examinations but the magnitude of the change decreased. In the final period of monitoring between six and twelve months the magnitude of change was low. CONCLUSION Our results show strong increases of Scheimpflug ACO densitometry values from the sixth to the twelfth month while capsulorhexis area reduction ratio levels displayed a considerable decrease. We found no correlation between ACO area and linear densitometry values and PCO area and linear densitometry values, in the twelfth month examination, working as independent variables.