Miracle-dz/UniFAR-FTUs huggingface dataset:
Navigation Design Support Using Reusable Navigation Templates

Reuse is a fundamental concept in software design. It has many aspects and can be applied at various levels of abstraction. In this paper we focus on the reuse of highlevel (design model) specifications of software components in the design of web applications. Concretely, we discuss the reuse of navigation templates to specify (parts of) navigation models in different application domains based on different data sources. While supporting this diversity of applications, at the same time navigation templates should allow easy deployment. In this paper we propose a solution to this apparent contradiction using a component-specific conceptual model. By applying a mapping from this model to a concrete domain model, an automatic deployment of the navigation templates can be performed. The process of navigation template design and deployment (including the process of defining the mapping) is explained and demonstrated on two examples using the Hera framework and its HPG software.
Physiological and Perceptual Responses to Nordic Walking in a Natural Mountain Environment

Background: Interest around Nordic Walking (NW) has increased in recent years. However, direct comparisons of NW with normal walking (W), particularly in ecologically valid environments is lacking. The aim of our study was to compare NW and W, over long distances in a natural mountain environment. Methods: Twenty one subjects (13 male/8 female, aged 41 ± 12 years, body mass index BMI 24.1 ± 3.7), walked three distinct uphill paths (length 2.2/3.4/7 km) with (NW) or without (W) walking poles over two separate days. Heart rate (HR), energy expenditure (EE), step length (SL), walking speed (WS), total steps number (SN) and rating of perceived exertion (RPE) were monitored. Results: HR (+18%) and EE (+20%) were higher in NW than in W whilst RPE was similar. SN (−12%) was lower and SL (+15%) longer in NW. WS was higher (1.64 vs. 1.53 m s−1) in NW. Conclusions: Our data confirm that, similarly to previous laboratory studies, differences in a range of walking variables are present between NW and W when performed in a natural environment. NW appears to increase EE compared to W, despite a similar RPE. Thus, NW could be a useful as aerobic training modality for weight control and cardiorespiratory fitness.
A Study of Library Migration in Java Software

Software intensively depends on external libraries whose relevance may change during its life cycle. As a consequence, software developers must periodically reconsider the libraries they depend on, and must think about \textit{library migration}. To our knowledge, no existing study has been done to understand library migration although it is known to be an expensive maintenance task. Are library migrations frequent? For which software are they performed and when? For which libraries? For what reasons? The purpose of this paper is to answer these questions with the intent to help software developers that have to replace their libraries. To that extent, we have performed a statistical analysis of a large set of open source software to mine their library migration. To perform this analysis we have defined an approach that identifies library migrations in a pseudo-automatic fashion by analyzing the source code of the software. We have implemented this approach for the Java programming language and applied it on Java Open Source Software stored in large hosting services. The main result of our study is that library migration is not a frequent practice but depends a lot on the nature of the software as well as the nature of the libraries.
Fatigue mechanisms of thermoplastics

Failure in fatigue by the mechanism of crack initiation and propagation originationg at flaws and stress concentrations has been fairly well established. It explains the fatigue phenomena in highly elastic materials, namely metals and certain thermosetting plastics such as reinforced polyester and epoxy resins. We have found, however, that a different mechanism dominates the fatigue behavior of thermoplastics. Specifically, the mechanism involves the generationa of heat within the material due to viscous damping or hysteresis. This paper presents fatigue, damping data and temperature measurements during cyclic stress to support this conclusion on three themoplastic resins of widely different mechanical properties, polyetrafluouoethylene (PTFE), Nylon 6, and polymethyl-methacrylate (PMMA). In addition to the usual S-N fatigue curves, we wil show how surface temperature changes with fatigue life and how this change is affected by stress, Frequency, crystallinity, specimen geometry and other parameters. Alos, the loss compliance of the materials will be presented as afunction of temperature to show the relationship of fatigue to damping properties.
A note on research methodology and benchmarking optimization algorithms

A pervasive problem in the field of optimization algorithms is the lack of meaningful and consistent algorithm benchmarking methodology. This includes but is not limited to issues of the selection of problem instances, the selection of algorithm specifications, the algorithm configuration parameters, and interpretation of results. The intention of this paper is to summarize the literature related to benchmarking optimization algorithms, with a focus on benchmarking in the face of the "no free lunch" theorem, and useful statistical tools for interpreting results. This context for this review is biologically inspired optimization algorithms applied to continuous function optimization, although the principles extend beyond these themes. When it comes to evaluating an optimization algorithm, every researcher has their own thoughts on the way it should be done. Unfortunately, many empirical evaluations of optimization algorithms are performed and reported without addressing basic experimental design considerations. Perhaps before an experimental methodology can be adopted, a researcher/practitioner may be paralyzed by the perceived pessimism of the no free lunch theorem that contends the futility of the benchmarking exercise. This work will provide a summary of the literature on experimental design and empirical algorithm comparison methodology. This summary will contain rules of thumb and perhaps the seeds of best practice when attempting to configure and compare optimization algorithms, specifically in the face of the no free lunch theorem. Section II will provide a terse summary of the no free lunch theorem for search and optimization, highlighting the generalized implications and the real-world considerations related to reporting benchmark results. Section III provides a review of the literature of benchmark methodology drawn primarily from the fields of optimization heuristics and evolutionary computation. Discussed in this section are 1) a summary of common problems and concerns when experimentally evaluating and reporting on algorithm results, 2) the imperative of tuning an algorithm before benchmarking, 3) issues related to selecting benchmark problem instances, specifically from the perspective of continuous function optimization, and 4) the concerns related to selecting useful measures of performance and the use of statistical methods for testing benchmark hypotheses. II. THE NO FREE LUNCH THEROEM
Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement

Inductive Logic Programming (ILP) deals with the problem of finding a hypothesis covering given positive examples and excluding negative examples. It is a sub field of machine learning that uses first-order logic as a uniform representation for examples and hypothesis. In this paper we propose a method to boost given ILP learning algorithm by first decomposing the set of examples to subsets and applying the learning algorithm to each subset separately, second, merging the hypotheses obtained for subsets to get a single hypothesis for the complete set of examples, and finally refining this single hypothesis to make it shorter.
A novel 3D graph cut based co-segmentation of lung tumor on PET-CT images with Gaussian mixture models

Positron Emission Tomography (PET) and Computed Tomography (CT) have been widely used in clinical practice for radiation therapy. Most existing methods only used one image modality, either PET or CT, which suffers from the low spatial resolution in PET or low contrast in CT. In this paper, a novel 3D graph cut method is proposed, which integrated Gaussian Mixture Models (GMMs) into the graph cut method. We also employed the random walk method as an initialization step to provide object seeds for the improvement of the graph cut based segmentation on PET and CT images. The constructed graph consists of two sub-graphs and a special link between the sub-graphs which penalize the difference segmentation between the two modalities. Finally, the segmentation problem is solved by the max-flow/min-cut method. The proposed method was tested on 20 patients’ PET-CT images, and the experimental results demonstrated the accuracy and efficiency of the proposed algorithm.
Structure of Herbig AeBe disks at the milliarcsecond scale: A statistical survey in the H band using PIONIER-VLTI

Context. It is now generally accepted that the near-infrared excess of Herbig AeBe stars originates in the dust of a circumstellar disk. Aims. The aims of this article are to infer the radial and vertical structure of these disks at scales of order 1 au, and the properties of the dust grains. Methods. The program objects (51 in total) were observed with the H-band (1.6 μm) PIONIER/VLTI interferometer. The largest baselines allowed us to resolve (at least partially) structures of a few tenths of an au at typical distances of a few hundred parsecs. Dedicated UBVRIJHK photometric measurements were also obtained. Spectral and 2D geometrical parameters are extracted via fits of a few simple models: ellipsoids and broadened rings with azimuthal modulation. Model bias is mitigated by parallel fits of physical disk models. Sample statistics were evaluated against similar statistics for the physical disk models to infer properties of the sample objects as a group. Results. We find that dust at the inner rim of the disk has a sublimation temperature T_(sub) ≈ 1800 K. A ring morphology is confirmed for approximately half the resolved objects; these rings are wide δr/r ≥ 0.5. A wide ring favors a rim that, on the star-facing side, looks more like a knife edge than a doughnut. The data are also compatible with the combination of a narrow ring and an inner disk of unspecified nature inside the dust sublimation radius. The disk inner part has a thickness z/r ≈ 0.2, flaring to z/r ≈ 0.5 in the outer part. We confirm the known luminosity-radius relation; a simple physical model is consistent with both the mean luminosity-radius relation and the ring relative width; however, a significant spread around the mean relation is present. In some of the objects we find a halo component, fully resolved at the shortest interferometer spacing, that is related to the HAeBe class.
High quality welding of stainless steel with 10 kW high power fibre laser

The objectives of this research are to investigate penetration characteristics, to clarify welding phenomena and to develop high quality welding procedures in bead on plate welding of type 304 austenitic stainless steel plates with a 10 kW fibre laser beam. The penetration depth reached 18 mm at the maximum at 5 mm s−1. At 50 mm s−1 or lower welding speeds, however, porosity was generated at any fibre laser spot diameter. On the other hand, at 100 mm s−1 or higher welding speeds, underfilling and humping weld beads were formed under the conventionally and tightly focused conditions respectively. The generation of spatters was influenced mainly by a strong shear force of a laser induced plume and was greatly reduced by controlling direction of the plume blowing out of a keyhole inlet. The humping formation was dependent upon several dynamic or static factors, such as melt volume above the surface, strong melt flow to the rear molten pool on the top surface, solidification rate and narrow molten pool width and corresponding high surface tension. Its suppression was effective by producing a wider weld bead width under the defocused laser beam conditions or reduction of melt volume out of keyhole inlet under the full penetration welding conditions. Concerning porosity, X-ray transmission in situ observation images demonstrated that pores were formed not only from the tip of the keyhole but also at the middle part because of high power density. The keyhole behaviour was stabilised using a nitrogen shielding gas, resulting in porosity prevention. Consequently, to produce high quality welds in 10 kW high power fibre laser welding, the reduction procedures of welding defects were required on the basis of understanding their formation mechanism, and 10 kW fibre laser power could produce sound deeply penetrated welds of 18 mm depth in a nitrogen shielding gas.
The Content Types Dataset: a New Resource to Explore Semantic and Functional Characteristics of Texts

This paper presents a new resource, called Content Types Dataset, to promote the analysis of texts as a composition of units with specific semantic and functional roles. By developing this dataset, we also introduce a new NLP task for the automatic classification of Content Types. The annotation scheme and the dataset are described together with two sets of classification experiments.
Approximated Centroidal Voronoi Diagrams for Uniform Polygonal Mesh Coarsening

We present a novel clustering algorithm for polygonal meshes which approximates a Centroidal Voronoi Diagram construction. The clustering provides an efficient way to construct uniform tessellations, and therefore leads to uniform coarsening of polygonal meshes, when the output triangulation has many fewer elements than the input mesh. The mesh topology is also simplified by the clustering algorithm. Based on a mathematical framework, our algorithm is easy to implement, and has low memory requirements. We demonstrate the efficiency of the proposed scheme by processing several reference meshes having up to 1 million triangles and very high genus within a few minutes on a low‐ end computer.
Galaxy based BLAST submission to distributed national high throughput computing resources

This material is based upon work supported by the National Science Foundation under Grant No. ABI-1062432, Craig Stewart, PI. William Barnett, Matthew Hahn, and Michael Lynch, co-PIs. This work was supported in part by the Lilly Endowment, Inc. and the Indiana University Pervasive Technology Institute. Any opinions presented here are those of the presenter(s) and do not necessarily represent the opinions of the National Science Foundation or any other funding agencies
Parallel High-Performance Grid Computing: Capabilities and Opportunities of a Novel Demanding Service and Business Class Allowing Highest Resource Efficiency

Especially in the life-science and the health-care sectors the huge IT requirements are imminent due to the large and complex systems to be analysed and simulated. Grid infrastructures play here a rapidly increasing role for research, diagnostics, and treatment, since they provide the necessary large-scale resources efficiently. Whereas grids were first used for huge number crunching of trivially parallelizable problems, increasingly parallel high-performance computing is required. Here, we show for the prime example of molecular dynamic simulations how the presence of large grid clusters including very fast network interconnects within grid infrastructures allows now parallel high-performance grid computing efficiently and thus combines the benefits of dedicated super-computing centres and grid infrastructures. The demands for this service class are the highest since the user group has very heterogeneous requirements: i) two to many thousands of CPUs, ii) different memory architectures, iii) huge storage capabilities, and iv) fast communication via network interconnects, are all needed in different combinations and must be considered in a highly dedicated manner to reach highest performance efficiency. Beyond, advanced and dedicated i) interaction with users, ii) the management of jobs, iii) accounting, and iv) billing, not only combines classic with parallel high-performance grid usage, but more importantly is also able to increase the efficiency of IT resource providers. Consequently, the mere "yes-we-can" becomes a huge opportunity like e.g. the life-science and health-care sectors as well as grid infrastructures by reaching higher level of resource efficiency.
Adaptive evolution of a generalist parasitoid: implications for the effectiveness of biological control agents

The use of alternative hosts imposes divergent selection pressures on parasitoid populations. In response to selective pressures, these populations may follow different evolutionary trajectories. Divergent natural selection could promote local host adaptation in populations, translating into direct benefits for biological control, thereby increasing their effectiveness on the target host. Alternatively, adaptive phenotypic plasticity could be favored over local adaptation in temporal and spatially heterogeneous environments. We investigated the existence of local host adaptation in Aphidius ervi, an important biological control agent, by examining different traits related to infectivity (preference) and virulence (a proxy of parasitoid fitness) on different aphid‐host species. The results showed significant differences in parasitoid infectivity on their natal host compared with the non‐natal hosts. However, parasitoids showed a similar high fitness on both natal and non‐natal hosts, thus supporting a lack of host adaptation in these introduced parasitoid populations. Our results highlight the role of phenotypic plasticity in fitness‐related traits of parasitoids, enabling them to maximize fitness on alternative hosts. This could be used to increase the effectiveness of biological control. In addition, A. ervi females showed significant differences in infectivity and virulence across the tested host range, thus suggesting a possible host phylogeny effect for those traits.
Demodulation by Complex-Valued Wavelets for Stochastic Pattern Recognition

Samples from stochastic signals having sufficient complexity need reveal only a little unexpected shared structure, in order to reject the hypothesis that they are independent. The mere failure of a test of statistical independence can thereby serve as a basis for recognizing stochastic patterns, provided they possess enough degrees-of-freedom, because all unrelated ones would pass such a test. This paper discusses exploitation of this statistical principle, combined with wavelet image coding methods to extract phase descriptions of incoherent patterns. Demodulation and coarse quantization of the phase information creates decision environments characterized by well-separated clusters, and this lends itself to rapid and reliable pattern recognition.
The prevalence of IgG4-related hypophysitis in 170 consecutive patients with hypopituitarism and/or central diabetes insipidus and review of the literature.

OBJECTIVE The prevalence and clinical characteristics of IgG4-related hypophysitis remain unclear due to the limited number of case reports. Therefore, in this study, we screened consecutive outpatients with hypopituitarism and/or diabetes insipidus (DI) to estimate its prevalence. METHODS A total of 170 consecutive outpatients with hypopituitarism and/or central DI were screened at Kobe University Hospital for detecting IgG4-related hypophysitis by pituitary magnetic resonance imaging, measuring serum IgG4 concentrations, assessing the involvement of other organs, and carrying out an immunohistochemical analysis to detect IgG4-positive cell infiltration. RESULTS Among the screened cases, 116 cases were excluded due to diagnosis of other causes such as tumors and congenital abnormalities. Additionally, 22 cases with isolated ACTH deficiency were analyzed and were found not to meet the criteria of IgG4-related hypophysitis. The remaining 32 cases were screened and seven were diagnosed with IgG4-related hypophysitis, of which three cases were diagnosed by analyzing pituitary specimens. IgG4-related hypophysitis was detected in 30% (seven of 23 patients) of hypophysitis cases and 4% of all hypopituitarism/DI cases. The mean age at the onset of IgG4-related hypophysitis was 61.8±8.8 years, and the serum IgG4 concentration was 191.1±78.3 mg/dl (normal values 5-105 mg/dl and values in IgG4-related disease (RD) ≥135 mg/dl). Pituitary gland and/or stalk swelling was observed in six patients, and an empty sella was observed in one patient. Multiple co-existing organ involvement was observed in four of the seven patients prior to the onset of IgG4-related hypophysitis. CONCLUSION These data suggest that the prevalence of IgG4-related hypophysitis has been underestimated. We should also consider the possibility of the development of hypopituitarism/DI caused by IgG4-related hypophysitis during the clinical course of other IgG4-RDs.
Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors

This paper revisits lightweight synchronization under partitioned earliest-deadline first (P-EDF) scheduling. Four different lightweight synchronization mechanisms - namely preemptive and non-preemptive lock-free synchronization, as well as preemptive and non-preemptive FIFO spin locks - are studied by developing a new inflation-free schedulability test, jointly with matching bounds on worst-case synchronization delays. The synchronization approaches are compared in terms of schedulability in a large-scale empirical study considering both symmetric and asymmetric multiprocessors. While non-preemptive FIFO spin locks were found to generally perform best, lock-free synchronization was observed to offer significant advantages on asymmetric platforms.
Dual reciprocity boundary element modeling of collimated light fluence distribution in normal and cancerous prostate tissue during photodynamic therapy

Modified dual reciprocity boundary element (MDBM) solution to the diffusion approximation of the radiative transport equation is employed to calculate the light distribution in normal and cancerous tissue, when irradiated with a collimated light beam via a cylindrical diffusion optical fiber. Three different active widths of the light source were investigated separately. The results of the light distribution obtained with this method were compared to results obtained using an in-house Monte-Carlo (MC) simulation program, and showed very close agreement with each other. Both methods showed that the optical penetration depth of the therapeutic light is lower in cancerous than in normal prostate tissue. The MDBM is over 90% faster than the MC technique, which could eventually be used to develop a real-time multidimensional program to (1) qualitatively estimate the therapeutic light distribution in heterogeneous tissue and (2) predict the best position of light sources in the targeted tissue to optimi e photodynamic therapy treatment planning.