Miracle-dz/UniFAR-FTUs huggingface dataset:
On the genus Chaetocladius s. str. Kieffer, 1911 from Switzerland with descriptions of five new relic species occurring in glacial alpine springs and streams (Diptera, Chironomidae)

A description of the male adults of five Chaetocladius s. str. species (C. castellae sp. n., C. lencioniae sp. n., C. lodscrozetae sp. n., C. macunensis sp. n. and C. muttensis sp. n.) is provided based on material collected in some glacial alpine springs and cold streams located in the Swiss Alps (altitude 1800–2700 m). Male adult of the nearest Chaetocladius species known from Europe and neighbouring areas belong to: C. aedeagolobatus Rossaro, Magoga & Montagna, 2017; C. insolitus Caspers, 1987; C. gracilis Brundin 1956; C. antipovae Makarchenko & Makarchenko, 2011; C. dissipatus (Edwards, 1929), C. holmgreni (Jacobson, 1998), C. egorych Makarchenko & Makarchenko, 2017. Although some resemblance can be found between the five diagnosed and described species and other related members of the Chaetocladius genus, the taxonomic position cannot be clarified until current comprehensive work on the genus is complete. Geographical distribution of the five new species is currently restricted to the two Alpine Swiss glacial catchments: upper basins of the Rhône River and Muttbach streams; streams and lakes delimited by the Macun area. This highlights the importance of some high mountain ranges, considered as cold glacial enclaves and hotspots of endemism, in the preservation and persistence of autochthonous alpine relic species. Such species are considered as relevant biogeographic representative and their loss would be biologically indicative of global warming and climate change. Currently, there are only seven recorded Chaetocladius species from Switzerland: C. coppai Moubayed-Breil, 2017; C. laminatus Brundin, 1947; C. cf. longivirgatus Stur & Spies, 2011; C. melaleucus (Meigen, 1818); C. perennis (Meigen, 1830); C. piger (Goetghebuer, 1913); C. suecicus (Kieffer, 1916). Consequently, the description of the five new species increases the total number in the genus Chaetocladius to twelve for this country. Remarks and comments on the taxonomic position, ecology and geographical distribution of the new described species, with key to known male adults from the upper catchment of Rhône River (including Muttbach valley) are provided.
Optimal Synthesis of Algorithm-Specific Lower-Dimensional Processor Arrays

Processor arrays are frequently used to deliver high performance in many applications with computationally intensive operations. This paper presents the general parameter method (GPM), a systematic parameter-based approach for synthesizing such algorithm-specific architectures. GPM can synthesize processor arrays of any lower dimension from a uniform-recurrence description of the algorithm. The design objective is a general nonlinear and nonmonotonic user-specified function, and depends on attributes such as computation time of the recurrence on the processor array, completion time, load time, and drain time. In addition, bounds on some or all of these attributes can be specified. GPM performs an efficient search of polynomial complexity to find the optimal design satisfying the user-specified design constraints. As an illustration, we show how GPM can be used to find optimal linear processor arrays for computing transitive closures. We consider design objectives that minimize computation time, or processor count, or completion time (including load and drain times), and user-specified constraints on number of processing elements and/or computation/completion times. We show that GPM can be used to obtain optimal designs that trade between number of processing elements and completion time, thereby allowing the designer to choose a design that best meets the specified design objectives. We also show the equivalence between the model assumed in GPM and that in the popular dependence-based methods. Consequently, GPM can be used to find optimal designs for both models.
Simple method to determine the efficiency of a cream used for skin protection against solvents

Guillemin, M. , Murset, J. C. , Lob, M. , and Riquez, J. (1974). British Journal of Industrial Medicine,31, 310-316. Simple method to determine the efficiency of a cream used for skin protection against solvents. Most of the industrial organic solvents coming into contact with the skin are absorbed through it and enter the blood. They can then be detected in the breath, the analysis of which makes it easy to evaluate skin absorption. Such an evaluation can be made with and without the use of a skin protective (barrier) cream. A comparison of the results allows the efficiency of the cream to be tested. An example of the application of this method is described. The solvent was toluene and the cream tested was composed mainly of talc, glycerol, and water. Ten male volunteers exposed their hands to liquid toluene for 10 minutes. The elimination of the solvent was followed by breath analysis up to 3 hours after the exposure. Two or more sets of exposure were made under different conditions with and without the protective cream. The results show a good standard of efficiency when the cream is carefully and deeply applied. The efficiency of the cream was determined by testing the difference between the decay curves obtained with and without the barrier cream. A relative efficiency was estimated as a percent diminution of solvent excretion by taking the excretion after exposure of unprotected skin as 100%. It is shown that skin absorption for toluene compared with lung absorption may be important and has to be estimated where total exposure is concerned. The method devised here appears to offer simplicity. It is presented as a laboratory test to show the intrinsic value of the cream but its applicability in the field is also considered.
Comparative analysis of conventional in vitro fertilization and intracytoplasmic sperm injection in patients with polycystic ovarian syndrome, tubal factor infertility, and unexplained infertility whose partners exhibit normal semen parameters: a retrospective study of sibling oocytes.

Objective This study compared the outcomes of conventional in vitro fertilization (IVF) and intracytoplasmic sperm injection (ICSI) in patients with polycystic ovarian syndrome (PCOS), tubal factor (TF) infertility, and unexplained infertility whose partners had normal semen parameters. Methods This retrospective study included 360 couples diagnosed with infertility involving PCOS (n=157), unexplained infertility (n=140), and TF infertility (n=63). Sibling oocytes were randomly assigned to undergo ICSI or conventional IVF insemination. The fertilization rate and embryo morphology were evaluated as outcomes. Results Retrieved cumulus-oocyte complexes from patients with PCOS (2,974), unexplained infertility (1,843), and TF infertility (844) were split and inseminated by conventional IVF and ICSI respectively. In comparison to the ICSI method, the conventional IVF approach was linked to a significantly higher fertilization rate in groups with PCOS (68.81% vs. 77.49%), unexplained infertility (67.62% vs. 78.84%), and TF issues (69.23% vs. 78.63%) (p<0.05). The proportion of embryos with grade A produced by the conventional IVF method was significantly higher than that produced using the ICSI method in the PCOS and unexplained infertility groups (p<0.05). Additionally, the percentage of grade B embryos produced with the ICSI method was significantly higher than that produced with the conventional IVF method in PCOS patients (p=0.002). Conclusion Our results indicated that the conventional IVF method was associated with higher zygote production and a higher proportion of grade A embryos when all infertile groups were evaluated together. Thus, ICSI is not suggested for patients with these causes of infertility if their partner has normal semen parameters.
An analysis of software process improvement for sustainable development in Thailand

The development and consolidation of software Industry to sustainable growth must begin with the software process improvement (SPI) of software product development to establish standard to ensure the product of quality before it is delivered to customers. This research compiles, analyzes, compares the properties, characteristics of the improvement method of the software process improvement being used in Thailand; namely, the quality standard management system ISO 9000:2000, CMM, CMMI and Thai quality software(TQS). From a total of 1,200 software manufacturing companies under survey, the results of the survey find that there was merely 11.8 percent of the companies that had introduced the software product development process and 65 percent the said companies were of smaller size. The figure obtained from the survey reflects the problem of software manufacturing in Thailand; this research therefore proposed a guideline for remedy to the said problem and the guidelines for further conduct of research.
Parallelism and Time in Hierarchical Self-Assembly

We study the role that parallelism plays in time complexity of variants of Winfree's abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the "hierarchical" aTAM, two assemblies, both consisting of multiple tiles, are allowed to aggregate together, whereas in the "seeded" aTAM, tiles attach one at a time to a growing assembly. Adleman, Cheng, Goel, and Huang (Running Time and Program Size for Self-Assembled Squares, STOC 2001) showed how to assemble an n x n square in O(n) time in the seeded aTAM using O(log n/log log n) unique tile types, where both of these parameters are optimal. They asked whether the hierarchical aTAM could allow a tile system to use the ability to form large assemblies in parallel before they attach to break the Ω(n) lower bound for assembly time. We show that there is a tile system with the optimal O(log n/log log n) tile types that assembles an n x n square using O(log2 n) parallel "stages", which is close to the optimal Ω(log n) stages, forming the final n x n square from four n/2 x n/2 squares, which are themselves recursively formed from n/4 x n/4 squares, etc. However, despite this nearly maximal parallelism, the system requires superlinear time to assemble the square. We extend the definition of partial order tile systems studied by Adleman et al. in a natural way to hierarchical assembly and show that no hierarchical partial order tile system can build any shape with diameter N in less than time Ω(N), demonstrating that in this case the hierarchical model affords no speedup whatsoever over the seeded model. We also strengthen the Ω(N) time lower bound for deterministic seeded systems of Adleman et al. to nondeterministic seeded systems. Finally, we show that for infinitely many n, a tile system can assemble an n x n' rectangle, with n > n', in time O(n4/5 log n), breaking the linear-time lower bound that applies to all seeded systems and partial order hierarchical systems.
Maximum Likelihood Analysis of Low Energy CDMS II Germanium Data

We report on the results of a search for a Weakly Interacting Massive Particle (WIMP) signal in low-energy data of the Cryogenic Dark Matter Search experiment using a maximum likelihood analysis. A background model is constructed using GEANT4 to simulate the surface-event background from ^(210)Pb decay-chain events, while using independent calibration data to model the gamma background. Fitting this background model to the data results in no statistically significant WIMP component. In addition, we perform fits using an analytic ad hoc background model proposed by Collar and Fields, who claimed to find a large excess of signal-like events in our data. We confirm the strong preference for a signal hypothesis in their analysis under these assumptions, but excesses are observed in both single- and multiple-scatter events, which implies the signal is not caused by WIMPs, but rather reflects the inadequacy of their background model.
Microsolvation of molecules in superfluid helium nanodroplets revealed by means of electronic spectroscopy

The empirical model explaining microsolvation of molecules in superfluid helium droplets proposes a non-superfluid helium solvation layer enclosing the dopant molecule. This model warrants an empirical explanation of any helium induced substructure resolved for electronic transitions of molecules in helium droplets. Despite a wealth of such experimental data, quantitative modeling of spectra is still in its infancy. The theoretical treatment of such many-particle systems dissolved into a quantum fluid is a challenge. Moreover, the success of theoretical activities relies also on the accuracy and self-critical communication of experimental data. This will be elucidated by a critical resume of our own experimental work done within the last ten years. We come to the conclusion that spectroscopic data and among others in particular the spectral resolution depend strongly on experimental conditions. Moreover, despite the fact that none of the helium induced fine structure speaks against the empirical model for solvation in helium droplets, in many cases an unequivocal assignment of the spectroscopic details is not possible. This ambiguity needs to be considered and a careful and critical communication of experimental results is essential in order to promote success in quantitatively understanding microsolvation in superfluid helium nanodroplets.
A programmable FPGA-based cryptoprocessor for bilinear pairings over F2m

Bilinear pairings over elliptic curves are an emerging research field in cryptography. First cryptographic protocols based on bilinear pairings were proposed by the year 2000 and currently they are not standardized yet. The computation of bilinear pairings relies on arithmetic over finite fields. In the literature, several works have focused in the design of custom hardware architectures for efficient implementation of this arithmetic, but in a non-standardized environment a flexible design is prefered in order to support changes in the specifications. This paper presents the design and implementation of a novel programmable cryptoprocessor for computing bilinear pairings over binary fields in FPGA, which is able to support different algorithms and corresponding parameters as the elliptic curve, the tower field and the distortion map. The results show that high flexibility is achieved by the proposed cryptoprocessor at a competitive timing and area usage, when it is compared to custom designs for pairings defined over singular/supersingular elliptic curves at a 128-bit security level.
Chemical Sample Processing for Combined Selenium Isotope and Selenium‐Tellurium Elemental Investigation of the Earth's Igneous Reservoirs

The redox‐sensitive, chalcophile, and volatile Se stable isotope system offers new perspectives to investigate the origin and evolution of terrestrial volatiles and the roles of magmatic and recycling processes in the development of the redox contrast between Earth's reservoirs. Selenium isotope systematics become more robust in a well‐constrained petrogenetic context as can be inferred from Se‐Te elemental signatures of sulfides and igneous rocks. In this study, we present a high‐yield chemical sample processing method that allows the determination of Se‐Te concentrations and Se isotope composition from the same sample digest of silicate rocks by hydride generation isotope dilution (ID) quadrupole inductively coupled plasma mass spectrometry (ICP‐MS) and double spike (DS) multicollector (MC)‐ICP‐MS, respectively. Our procedure yields ∼80% Se‐Te recoveries with quantitative separation of relevant interfering elements such as Ge and HG‐buffering metals. Replicate analyses of selected international reference materials yield uncertainties better than 0.11‰ (2 s.d.) on δ82/76Se and 3% (r.s.d.) on Se concentration for DS MC‐ICP‐MS determinations for as low as ∼10 ng sample Se. The precision of Se‐Te concentration measurements by ID ICP‐MS is better than 3% and 5% (r.s.d.) for total amounts of ∼0.5–1 ng Se and ∼0.2–0.5 ng Te, respectively. The basaltic reference materials have variable Se‐Te contents, but their δ82/76Se values are rather uniform (on average 0.23 ± 0.14‰; 2 s.d.) and different from the chondritic value. This altogether provides the methodology and potential to extend the limited data set of coupled Se isotope and Se‐Te elemental systematics of samples relevant to study the terrestrial igneous inventory.
Reduction of initial shock in decadal predictions using a new initialization strategy

A novel full‐field initialization strategy based on the dimension‐reduced projection four‐dimensional variational data assimilation (DRP‐4DVar) is proposed to alleviate the well‐known initial shock occurring in the early years of decadal predictions. It generates consistent initial conditions, which best fit the monthly mean oceanic analysis data along the coupled model trajectory in 1 month windows. Three indices to measure the initial shock intensity are also proposed. Results indicate that this method does reduce the initial shock in decadal predictions by Flexible Global Ocean‐Atmosphere‐Land System model, Grid‐point version 2 (FGOALS‐g2) compared with the three‐dimensional variational data assimilation‐based nudging full‐field initialization for the same model and is comparable to or even better than the different initialization strategies for other fifth phase of the Coupled Model Intercomparison Project (CMIP5) models. Better hindcasts of global mean surface air temperature anomalies can be obtained than in other FGOALS‐g2 experiments. Due to the good model response to external forcing and the reduction of initial shock, higher decadal prediction skill is achieved than in other CMIP5 models.
The Consistency of Beneficial Fitness Effects of Mutations across Diverse Genetic Backgrounds

Parallel and convergent evolution have been remarkably common observations in molecular adaptation but primarily in the context of the same genotype adapting to the same conditions. These phenomena therefore tell us about the stochasticity and limitations of adaptation. The limited data on convergence and parallelism in the adaptation of different genotypes conflict as to the importance of such events. If the effects of beneficial mutations are highly context dependent (i.e., if they are epistatic), different genotypes should adapt through different mutations. Epistasis for beneficial mutations has been investigated but mainly through measurement of interactions between individually beneficial mutations for the same genotype. We examine epistasis for beneficial mutations at a broader genetic scale by measuring the fitness effects of two mutations beneficial for the ssDNA bacteriophage ID11 in eight different, related genotypes showing 0.3–3.7% nucleotide divergence from ID11. We found no evidence for sign epistasis, but the mutations tended to have much smaller or no effects on fitness in the new genotypes. We found evidence for diminishing-returns epistasis; the effects were more beneficial for lower-fitness genotypes. The patterns of epistasis were not determined by phylogenetic relationships to the original genotype. To improve our understanding of the patterns of epistasis, we fit the data to a model in which each mutation had a constant, nonepistatic phenotypic effect across genotypes and the phenotype-fitness map had a single optimum. This model fit the data well, suggesting that epistasis for these mutations was due to nonlinearity in the phenotype-fitness mapping and that the likelihood of parallel evolution depends more on phenotype than on genotype.
Functional Java Bytecode ∗

We describe the design and implementation of λJVM, a functional representation of Java bytecode that makes data flow explicit, verification simple, and that is well-suited for translation into lower-level representations such as those used in optimizing compilers. It is a good alternative to stack-based Java bytecode for virtual machines or ahead-oftime compilers which optimize methods and produce native code. We use λJVM as one component in a sophisticated type-preserving compiler for Java class files. Though our implementation is incomplete, preliminary measurements of both compile and run times are promising.
GeneyTM: designing a collaborative activity for the palmTM handheld computer

This paper describes a project to explore issues surrouding the development of a collaborative handheld educational application for children. A user-centered, iterative design process was used to develop GeneyTM, a collaborative problem solving application to help children explore genetic concepts using PalmTM handheld computers. The design methodology utilized mock-ups of representative tasks and scenarios, pre-design meetings with targets users, prototype development, and feedback sessions with target users. The results of this work identify an effective way of utilizing handheld computers for collaborative learning and provide important insights into the design of handheld applications for children. This work also illustrates the necessity of user-centered design when new user groups are targeted, especially when novel user interface paradigms are employed that go beyond current windows-based interfaces.
On adaptive resource allocation for complex real-time applications

Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, and limited resource availability in their target embedded system platforms. These challenges may be met by use of adaptive resource allocation (ARA) mechanisms that can promptly adjust resource allocation to changes in an application's resource needs, whenever there is a risk of failing to satisfy its timing constraints. By taking advantage of an application's adaptation capabilities, ARA eliminates the need for 'over-sizing' real-time systems to meet worst-case application needs. This paper proposes a model for describing an application's adaptation capabilities and the runtime variation of its resource needs. The paper also proposes a satisfiability-driven set of performance metrics for capturing the impact of ARA mechanisms on the performance of adaptable real-time applications. The relevance of the proposed set of metrics is demonstrated experimentally, using a synthetic application designed to represent time-critical applications in C31 systems.
Fatty Acyl Chains of Mycobacterium marinum Lipooligosaccharides

We have recently established the fine structure of the glycan backbone of lipooligosaccharides (LOS-I to LOS-IV) isolated from Mycobacterium marinum, a close relative of Mycobacterium tuberculosis. These studies culminated with the description of an unusual terminal N-acylated monosaccharide that confers important biological functions to LOS-IV, such as macrophage activation, that may be relevant to granuloma formation. It was, however, also suggested that the lipid moiety was required for LOSs to exert their immunomodulatory activity. Herein, using highly purified LOSs from M. marinum, we have determined through a combination of mass spectrometric and NMR techniques, the structure and localization of the fatty acids composing the lipid moiety. The occurrence of two distinct polymethyl-branched fatty acids presenting specific localizations is consistent with the presence of two highly related polyketide synthases (Pks5 and Pks5.1) in M. marinum and presumably involved in the synthesis of these fatty acyl chains. In addition, a bioinformatic search permitted us to identify a set of enzymes potentially involved in the biosynthesis or transfer of these lipids to the LOS trehalose unit. These include MMAR_2343, a member of the Pap (polyketide-associated protein) family, that acylates trehalose-based glycolipids in M. marinum. The participation of MMAR_2343 to LOS assembly was demonstrated using a M. marinum mutant carrying a transposon insertion in the MMAR_2343 gene. Disruption of MMAR_2343 resulted in a severe LOS breakdown, indicating that MMAR_2343, hereafter designated PapA4, fulfills the requirements for LOS acylation and assembly.