Miracle-dz/UniFAR-FTUs huggingface dataset:
On the relations among product-form stochastic models

Product-form stochastic models are characterized by a Markovian stochastic process that fulfills a set of properties that allows an efficient steady state analysis. According to this approach, the model is decomposed into several components. Each of these components has an underlying stochastic process that is in general much simpler than the joint one. The product-form property states that the steady state probabilities of the joint process can be expressed as the normalized product of the steady state proabilities of its interacting components. Product-form stochastic models are widely used for performance evaluation purposes in the study of communication protocols, software or hardware architectures. Product-form stochastic models can be defined using several high-level formalisms. For example BCMP theorem provides a product-form solution for a class of Markovian queueing networks. In this thesis we use two results, the M ⇒ M property and the Reversed Compound Agent Theorem (RCAT) to explore the relations among several product-form model classes belonging to different formalisms: queueing networks (QN), stochastic Petri nets (SPN), generalized stochastic Petri nets (GSPN), Markovian Process Algebra (MPA). We identify new classes of product-form GSPNs, and we prove that previous results on product-form SPNs can be studied using RCAT. From a practical point of view we show how to map multiclass queueing stations of BCMP types into GSPNs with a finite structure maintaining a strong equivalence relation (in particular the average performance indices and the product-form property are preserved). As a consequence we are able to study hybrid models in product-form where their interaction and compositions are formally defined by GSPNs. An algorithm is defined in order to translate BCMP QNs into GSPNs according to the previous theoretical results. The algorithm can be easily extended to allow the modeler to specify new stations using GSPNs.
Modelling a ship performance in dynamic ice. Part II, Transforming information into knowledge

Although ice navigation has received substantial attention over recent decades, there is still no known modelling technique to predict ship’s speed in a dynamic ice field. This paper introduces probabilistic, data-driven models that predict a ship’s speed and the situations where a ship is probable to get stuck in ice based on the joint effect of ice features, such as the thickness and concentration of level ice, ice ridges, rafted ice, and ice compression. To develop the models, the data from the Automatic Identification System about the performance of a selected ship was used, an ice forecast model was utilized to deliver information about the ice field and the links between the ice conditions and ship movements were established using Bayesian learning algorithms. The case study presented in this paper considers a single and unassisted trip of an ice-strengthened bulk carrier between two Finnish ports in the presence of challenging ice conditions, which varied in time and space. The obtained results show good prediction power of the models, which is on average 80% for predicting the ship’s speed and above 90% for predicting cases where a ship may get stuck in ice. We expect this new approach to facilitate the safe and effective route selection problem for iceinfested waters where the ship performance is reflected in the objective function.
Determination of Teacher Candidates' ICT Competencies and Technology Addiction Levels

: The aim of this study is to determine the ICT competency and technology addiction levels of teacher candidates in terms of some variables. As data collection tools for this purpose, the "Information and Communication Technologies (ICT) Sufficiency Perception Scale for Pre-service Teachers" and the "Technological Addiction Scale" were applied to 178 teacher candidates studying in different departments at Niğde Ömer Halisdemir University
Mass Extinction Causality: Statistical Assessment of Multiple-Cause Scenarios

Assessments of generalized mass-extinction causality scenarios should be made on a statistical—as opposed to an anecdotal or speculative—basis that takes explicit account of the principle that multiple occurrences of valid causal mechanisms should produce demonstrably similar effects. Previous MonteCarlo analyses of single-cause scenarios have suggested that only the time series of subareal LIP volcanic events exhibit sufficient similarity with the time series of local extinction-intensity peaks to support a causal link. Here, this Monte-Carlo approach is extended to support consideration of multiplecause extinction scenarios and applied to the consideration of links between the multiple effects of sealevel regression, bolide impact, and LIP volcanism and the extinction-intensity time series. Results indicate that all multiple-cause scenarios—including those that do not take account of LIP volcanism— exhibit sufficient numbers of positive matches with the extinction-intensity time series to be regarded as potentially valid causes for the overall pattern. Although these results do not alter the previous single-cause results, or the preference for LIP volcanism as the single most likely cause of the extinctionintensity peak distribution, they do underscore the important roles these mechanisms likely played in the formation of these biotic events (e.g., by accentuating or mitigating their magnitudes).
Near-Surface Scintillation in the Marine Atmospheric Layer During the Red Field Campaign

Turbulence in the marine atmospheric surface layer can induce substantial perturbations in propagating infrared (IR) or optical signals. These perturbations result in scintillation, which is a fluctuation in received signal intensity. Scintillation can be quantified by the single parameter Cn, the refractive index structure parameter. It is necessary to measure Cn from routine measurements in order to evaluate, predict, and compare EO system performance in operational environments and optimize EO systems for expected Cn values from climatological measurements and models. The Rough Evaporation Duct (RED) field test, conducted at Oahu, Hawaii, during AugustSeptember 2001, presented an excellent opportunity to quantify scintillation and to validate scintillation and transmission models. We will comment on the progress toward the ultimate goals for this test. First, what is the influence of ocean waves on the near-surface propagation environment? The second goal is a determination of the accuracy of current Cn estimation models for various ocean-atmosphere interaction scenarios including stable, near-neutral, and unstable conditions, and possible upgrade paths for the models.
Sustainable Nature Based Tourism: planning and management. Report on visitation and use at Mamu Rainforest Canopy Walkway, Far North Queensland, 2009/2010

[Extract] This report is one of a series of ten that examine visitor activity at sites within Wet Tropics rainforests. The aim of the research was to provide a snapshot of visitor activity to inform management on how sites are used and investigate visitors' views on site management. Visitor data was collected using a self-completed visitor survey. Collectively the series of reports will provide an overall understanding of how visitors use the rainforest and provide managers with feedback that can be used for site management and future planning. Responsibility for the management of the Wet Tropics rainforests is shared by the Wet Tropics Management Authority (WTMA) and the Queensland Department of Environment and Resource Management (DERM). The WTMA was established after listing of the Wet Tropics as a World Heritage site and is responsible for the planning of visitor sites across the Wet Tropics World Heritage Area (WTWHA). The Queensland Parks and Wildlife Service (QPWS), an agency of the DERM, has responsibility for the day to day management of site infrastructure including toilets, car parking, signage, viewing lookouts, boardwalks, walking trails and other recreational facilities. The Wet Tropics has a large number of visitor sites, some of which have high rates of visitation. A number of sites have relatively low visitation rates, but all offer unique nature-based visitor experiences.
The influence of total strain

The effect of varying three processing variables on the superplastic ductility of an Al -10Mg-0 . lZr alloy was studied. The three variables investigated were: (1) time at temperature during warm rolling; (2) strain rate during rolling (by varying reduction per pass); and (3) total strain. After the material was warm rolled, samples were tension tested at 300 C and at strain rates varying from -5 -1 -1 -1 6.67x10 S to 1.67x10 S . The greatest superplastic ductilities were achieved in material experiencing the largest total strain, lowest strain rate and most prolonged reheating time during warm rolling. The results are consistent with a model for structure development based on continuous recrystall ization. 7. Mil cl TABLE OF CONTENTS
Supplementary Materials for “Lift3D: Synthesize 3D Training Data by Lifting 2D GAN to 3D Generative Radiance Field”

We derive disentanglement of latent space in StyleGAN2 [6] from GANSpace [5]. We disentangle StyleGAN2 and identify the first eight layers latents as the latents that control the object pose and the other eight layers latents as the latents that control the attributes except object shape. In Lift3D, our goal is to annotate these latents with pose labels for lifting process. We first use Blender EEVEE engine [3] to render a ShapeNet [2] model under 200 different views P, ranging from 0− 360◦ in azimuth, and 0− 20◦ in elevation. The rendered images thus naturally contain accurate ground truth pose labels. With a fixed pretrained StyleGAN2 [6], we initialize 200 different latents z ∈ R from Gaussian distribution Z ∈ N (0, I). The latents z are mapped to w ∈ R16×512 by the mapping network in StyleGAN2. We optimize the latents w using Adam [7] optimizer with learning rate of 1e-3 for 5000 iterations. The loss function is a simple L1 loss. After optimization, the first eight layers of latents w are annotated with “pseudo” pose labels, as the disentanglement and interpretation process is non-perfect.
CleanML: A Benchmark for Joint Data Cleaning and Machine Learning [Experiments and Analysis]

It is widely recognized that the data quality affects machine learning (ML) model performances, and data scientists spend considerable amount of time on data cleaning before model training. However, to date, there does not exist a rigorous study on how exactly does cleaning affect ML --- ML community usually focuses on the effects of specific types of noises of certain distributions (e.g., mislabels) on certain ML models, while database (DB) community has been mostly studying the problem of data cleaning alone without considering how data is consumed by downstream analytics. We propose the CleanML benchmark that systematically investigates the impact of data cleaning on downstream ML models. The CleanML benchmark currently includes 13 real-world datasets with real errors, five common error types, and seven different ML models. To ensure that our findings are statistically significant, CleanML carefully controls the randomness in ML experiments using statistical hypothesis testing, and also uses the Benjamini-Yekutieli (BY) procedure to control potential false discoveries due to many hypotheses in the benchmark. We obtain many interesting and non-trivial insights, and identify multiple open research directions. We also release the benchmark and hope to invite future studies on the important problems of joint data cleaning and ML.
Hydraulic property modification of saline-sodic soils by addition of calcium chloride

Saline-sodic soils have developed in some irrigated areas of eastern Montana, due in part to increasing total dissolved solids of irrigation water and sodium accumulation in these irrigated soils. This accumulation has resulted in reduced yields, prompting farmers to consider application of amendments without evaluating the potential impact on irrigation return flow quality and/or soil physical properties other than sodium displacement. Previous greenhouse experiments have been conducted with intact soil columns of loam, silt loam, and silty clay loam textures. Medicaao sativa L. was grown in soil columns irrigated with an accelerated salt-loading schedule using past, present and projected future irrigation water qualities from the Powder River. Following the final harvest, two studies were conducted. One study utilized undisturbed soil cores from two of the five replicated soil columns to characterize long-term irrigation and subsequent calcium chloride application effects on soil hydraulic properties and drainage water quality. Identical cores were treated with two rates of calcium chloride, 6.42 kg m-2 and 7.73 kg m-2. Calcium chloride solution was applied to the cores and passed through with a pressure head of 33.0 kPa to simulate free drainage. Leachate was collected and analyzed for sodium concentration. Following amendment application and leaching, replicated Tempe cell measurements in the pressure range 0-100. kPa were made to determine the effect of calcium chloride on soil hydraulic properties. Water outflow data were used to prepare moisture release curves and calculate pore size distribution. The second study utilized the remaining undisturbed soil columns to evaluate the effect of calcium chloride application on soil hydraulic properties. Calcium chloride was applied at a rate of 6.42 kg m-2 to soil columns. Following calcium chloride application, a 5 cm irrigation was applied and allowed to drain below soil surface. Intact cores were taken from surface and placed in Tempe cells to determine effect of treatments on soil hydraulic properties. Irrigation of the soils with present and projected future water qualities resulted in decreased macro-porosity and reduced soil hydraulic conductivity. Addition of calcium chloride increased the macro-porosity but resulted in significantly elevated sodium concentration in drainage water. This elevated sodium concentration would likely have deleterious effects on groundwater quality. HYDRAULIC PROPERTY MODIFICATION OF SALINE-SODIC SOILS BY ADDITION.OF CALCIUM CHLORIDE by Bryan Lee Woodbury A thesis submitted in partial fulfillment of requirements for the degree of Master.of Science. in . Soils MONTANA STATE UNIVERSITY Bozeman, Montana May 1993
Health Behaviour Change Techniques in Diabetes Management Applications: A Systematic Review

The rapid growth in mobile healthcare technology could significantly help control chronic diseases, such as diabetes. This paper presents a systematic review to characterise type 1 & type 2 diabetes management applications available in Apple's iTunes store. We investigated "Health & Fitness" and "Medical" apps following a two-step filtering process (Selection and Analysis phases). We firstly investigated the apps compliance to the persuasive system design (PSD) model. We then characterised the behaviour change techniques (BCTs) of top-ranked apps for diabetes management. Finally, we checked the apps regarding the stages of disease continuum. The findings revealed apps incorporation some PSD principles based on their configuration and behaviour change techniques. Most apps miss the element of BCT and focus on measuring exercise and caloric intake. Few apps consider managing specific diabetes type, which raises doubts about the effectiveness of those apps in providing sustainable diabetes management. Moreover, people may need multiple apps to initiate and maintain a healthy behaviour.
Structure, age et origine des fosses arriere-arc des Nouvelles-Hebrides (Sud-Ouest Pacifique)

Structure, age and origin of the New Hebrides back-arc troughs (southwest Pacific) The New Hebrides back-arc troughs are restricted to the southem and northern rear of the arc. Lack of trough in the central part is related to the compression induced by the collision of the d'Entrecasteaux ridge and the New Hebrides arc. The southern troughs are 50-60 km wide and are composed of one or two grabens striking N130-140", while the northem troughs extend over 70 km wide and are composed of a succession of N-S trending grabens, horsts and half-grabens. Although the location and the main trend (N150") of the troughs indicate that they are largely guided by the subduction, the direction of extension (N40-45') is clearly oblique to the volcanic line and thus does not seem related to the subduction process. Lack of island arc tholeiitic lavas in the volcanoclastic series outcropping along the eastern scarps of the different troughs since 2.6-2.2 Ma, can be considered as an evidence of the initiation of the troughs structuration, which is not necessary synchronous all along the back-arc domain. The geometry of the sedimentary filling indicates that the back arc trough tectonics has been continuous with accelerated phases underlined by unconformities (at least two after the initiation of the troughs formation); it is still active. The thickness of the sedimentary filling inside the half grabens of the northern troughs is in good accordance with the Upper Pliocene (2.6-2 Ma) age proposed for the onset of the extensional tectonics. Geochemical characteristics of the lavas of the troughs indicate that this volcanism is more closely related to different geochemical provinces of the arc rather than affiliated with the troughs tectonics. However, a low-K acid volcanism emplaced since 1.8 Ma could be associated with punctiform initiation of opening in the northern trough. Formation of the New Hebrides back-arc results from extensional tectonics induced by a major reorganization at 3 Ma of the seafloor spreading of the North Fiji basin, which appears since this time to be developped independently of the subduction process. Oceanologica Acta, 1990, volume spécial 10, Actes du colloque Tour du Monde Jean Charcot, 2-3 mars 1989, Paris, 43-60.
Phenology, plant height and yield of mungbean varieties in response to planting date.

Phenology, plant height and yield are most important parameters affected by planting date. A field experiment to study the effect of five planting dates viz. 30th March, 15th April, 15th May, 15th June and 15th July on two mungbean varieties i.e. NM-92 and M-1 were evaluated at NWFP Agricultural University, Peshawar during summer 2004. Significant differences were observed among various planting dates for all the parameters except days to 50% flowering and grains pod-1. Sowing date of 30th March took more days to emergence, flowering and physiological maturity. Maximum emergence m-2 was recorded for 15th April sowing. The crop attained maximum plant height under 15th May sowing. Highest grain yield was recorded for early planting of 30th March. Both mungbean varieties produced statistically similar grain yield. It is concluded from the experiment that mungbean could be planted from 1st to 15th April under agroclimatic conditions of Peshawar for obtaining maximum yield.
Selective Control of Eurasian Watermilfoil in Houghton Lake, Michigan: 2002-2006

Abstract : Houghton Lake is the largest inland water body in Michigan, covering a surface area of nearly 9,000 ha (22,000 acres). The lake is a major natural and recreational resource for the region with activities including sport fishing, boating, snowmobiling, and habitat for migratory water birds. Problems resulting from the proliferation of the submersed invasive plant, Eurasian watermilfoil, in Houghton Lake led to the development and implementation of a plan for managing that invader and restoring the native vegetation of the lake. The Houghton Lake Management Plan offered several alternative strategies for managing Eurasian watermilfoil within the limits of available funding. The Houghton Lake Improvement Board adopted an integrated strategy for managing Eurasian watermilfoil in the lake. The first phase of the strategy occurred from 2002 to 2004. The selected strategy used a whole-lake application of the aquatic herbicide fluridone in the first year to selectively control Eurasian watermilfoil. A second phase (2004 2006) employed targeted, relatively small-scale treatments of systemic herbicides (i.e., 2,4-D and triclopyr). As Eurasian watermilfoil populations recovered in subsequent years, milfoil weevils were introduced to help maintain control. Native plants, particularly elodea, were to be replanted if the initial impact of the whole-lake fluridone application warranted such re-vegetation.
Weevils in pasture: a comparison of sampling techniques

sampling method for accurate population estimation in terms of weevils/m 2 . Collections were made by one of three vacuum methods: a vacuum cleaner to take 12 × 0.2 m 2 quadrats, a Vortis (24 × 16 cm diameter, 0.02 m 2 ) or blower-vac (30 m × ca 11 cm diameter, 3.27 m 2 ) to suck the weevils from the soil surface; or by taking turf cores (48 × 10 cm diameter, 0.00785 m 2 ) with extraction of weevils using a Berlesse funnel. The sampling was carried out on three occasions and the four methods compared for each occasion. Overall, for both weevil species, coring or the vacuum cleaner generally indicated significantly higher densities compared to the Vortis or blower vac, and are concluded to be the most accurate methods for measuring adult density. However, the blower-vac is a convenient tool for mass collection of weevils and parasitoids, while the Vortis is useful for monitoring more fragile insects such as Hymenoptera.
Inflammation evaluation through low-cost 3D scanning of human body parts

[CATALA] S'ha creat un programa que permet carregar models 3D adquirits a partir d'articulacions reals. Utilitzant diferents tecniques com l'alineacio de models, la comparacio visual i el calcul de diferents mesures l'eina proporciona informacio valuosa per a facilitar l'avaluacio del nivell d'inflamacio.
Dynamic platform management for configurable platform-based System-on-Chips

General-purpose System-on-Chip platforms consisting of configurable components are emerging as an attractive alternative to traditional, customized solutions (e.g., ASICs, custom SoCs), owing to their flexibility, time-to-market advantage, and low engineering costs. However, the adoption of such platforms in many high-volume markets (e.g. wireless handhelds) is limited by concerns about their performance and energy-efficiency. This paper addresses the problem of enabling the use of configurable platforms in domains where custom approaches have traditionally been used. We introduce Dynamic Platform Management, a methodology for customizing a configurable general-purpose platform at run-time, to help bridge the performance and energy efficiency gap with custom approaches. The proposed technique uses a software layer that detects time-varying processing requirements imposed by a set of applications, and dynamically optimizes architectural parameters and platform components. Dynamic platform management enables superior application performance, more efficient utilization of platform resources, and improved energy efficiency, as compared to a statically optimized platform, without requiring any modifications to the underlying hardware. We illustrate dynamic platform management by applying it to the design of a dual-access UMTS/WLAN security processing system, implemented on a general-purpose configurable platform. Experiments demonstrate that, compared to a statically optimized design (on the same platform), the proposed techniques enable upto 33% improvements in security processing throughput, while achieving 59% savings in energy consumption (on average).