Miracle-dz/UniFAR-FTUs huggingface dataset:
A DSL for Game Economies

In the multi-billion dollar game industry, time to market limits the time developers have for improving games. Game designers and software engineers usually live on opposite sides of the fence, and both lose time when adjustments best understood by designers are imple- mented by engineers. Designers lack a common vocabulary for expressing gameplay, which hampers specification, communication and agreement. We aim to speed up the game development process by improving designer productivity and design quality. The language Machinations has intro- duced a graphical notation for expressing the rules of game economies that is close to a designer's vocabulary. We present the language Micro- Machinations (MM) that details and formalizes the meaning of a sig- nificant subset of Machination's language features and adds several new features most notably modularization. Next we describe MM Analysis in Rascal (MM AiR), a framework for analysis and simulation of MM models using the Rascal meta-programming language and the Spin model checker. Our approach shows that it is feasible to rapidly simulate game economies in early development stages and to separate concerns. Today's meta-programming technology is a crucial enabler to achieve this.
A Novel Data Fusion Technique for Snow Cover Retrieval

This paper presents a novel data fusion technique for improving the snow cover monitoring for a mesoscale Alpine region, in particular in those areas where two information sources disagree. The presented methodological innovation consists in the integration of remote-sensing data products and the numerical simulation results by means of a machine learning classifier (support vector machine), capable to extract information from their quality measures. This differs from the existing approaches where remote sensing is only used for model tuning or data assimilation. The technique has been tested to generate a time series of about 1300 snow maps for the period between October 2012 and July 2016. The results show an average agreement between the fused product and the reference ground data of 96%, compared to 90% of the moderate-resolution imaging spectroradiometer (MODIS) data product and 92% of the numerical model simulation. Moreover, one of the most important results is observed from the analysis of snow cover area (SCA) time series, where the fused product seems to overcome the well-known underestimation of snow in forest of the MODIS product, by accurately reproducing the SCA peaks of winter season.
Error Approximation of Hyperspectral Unmixing via Correntropy-Induced Metric

In this letter, a sparse-constrained hyperspectral unmixing method via reconstruction error approximation is proposed. In the presented method, all the noises and the outliers are treated as diverse interferences and addressed to minimize the regularization error. Several techniques are involved in our presented approach: 1) to attenuate the interference of noise, an auxiliary variable is introduced; 2) based on the relative noiseless hyperspectral image, a sparse constraint is employed to achieve the sparsity; and 3) besides, the correntropy-induced metric (CIM), instead of the <inline-formula> <tex-math notation="LaTeX">$L_{2}$ </tex-math></inline-formula>- or <inline-formula> <tex-math notation="LaTeX">$L_{2,1}$ </tex-math></inline-formula>-norm loss function, is utilized to measure the quality of the unmixing model approximation. A series of experiments on the synthetic and real hyperspectral images is conducted, and all the experiment results show the efficacy of the proposed approach.
Using Nodal Infection Risks to Guide Interventions Following Accidental Intrusion due to Sustained Low Pressure Events in a Drinking Water Distribution System

Improving the risk models to include the possible infection risk linked to pathogen intrusion into distribution systems during pressure-deficient conditions (PDCs) is essential. The objective of the present study was to assess the public health impact of accidental intrusion through leakage points in a full-scale water distribution system by coupling a quantitative microbial risk assessment (QMRA) model with water quality calculations based on pressure-driven hydraulic analysis. The impacts on the infection risk of different concentrations of Cryptosporidium in raw sewage (minimum, geometric mean, mean, and maximum) and various durations of intrusion/PDCs (24 h, 10 h, and 1 h) were investigated. For each scenario, 200 runs of Monte Carlo simulations were carried out to assess the uncertainty associated with the consumers’ behavioral variability. By increasing the concentrations of Cryptosporidium in raw sewage from 1 to 560 oocysts/L for a 24-h intrusion, or by increasing the duration of intrusion from 1 to 24 h, with a constant concentration (560 oocysts/L), the simulated number of infected people was increased by 235-fold and 17-fold, respectively. On the first day of the 1-h PDCs/intrusion scenario, a 65% decrease in the number of infected people was observed when supposing no drinking water withdrawals during low-pressure conditions at nodes with low demand available (<5%) compared to no demand. Besides assessing the event risk for an intrusion scenario, defined as four days of observation, the daily number of infected people and nodal risk were also modeled on different days, including during and after intrusion days. The results indicate that, for the case of a 1-h intrusion, delaying the start of the necessary preventive/corrective actions for 5 h after the beginning of the intrusion may result in the infection of up to 71 people.
Dynamic instabilities and stabilization methods in distributed real-time scheduling of manufacturing systems

Manufacturing systems consisting of many machines and producing many types of parts are considered. Each part type requires processing for a specified length of time at each machine in a prescribed sequence of machines. Machines may require a setup time when changing between part types, and parts may incur a variable transportation delay when moving between machines. The goal is to schedule all the machines dynamically so that all the part types are produced at the desired rates while maintaining bounded buffer sizes at all machines. A previously open problem is resolved by exhibiting the instability of all clearing policies for some nonacyclic manufacturing systems. Surprisingly, such instabilities can occur even when all setup times are identically zero, and they are induced purely by starvation of machines. Sufficient conditions on the system topology and processing and demand rates which ensure the stability of distributed clear-a-fraction policies are shown. A general distributed supervisory mechanism which will stabilize any policy is studied. <<ETX>>
Predict the Future Path Based on Frequent Path Detection using Particle Swarm and Binary Bat Optimization Technique

-Swarm is a technique to identify the collective behavior of an object. In this modern world web usage gets increases day by day. Difficult task to identify the users interest in a web and provide a related data to the user in a quick mode. Based on their attention a developer has to upgrade their websites and improve the performance of the web pages and provide related information to the user with these data identify the user need in future. This paper present a comparative analysis of PSO and BBA algorithm which improves the predictable form by detecting the frequent path based on this find the future path.
Comparison of loading of Metamaterial on Patch and Ground of a Triangular Patch Antenna

Two different antenna models are presented in this paper They are designed with Spiral resonators (SR); One with SR on Ground and another with SR’s on Patch. In Model I, A compact dual band triangular patch antenna using a novel metamaterial structure in its ground plane is designed. The role of the metamaterial structure is to miniaturize the antenna, inducing multi resonances. The antenna resonates at 5.46, 6.02 GHz with adequate gains of 3.2, and 5.6 dBs respectively. Key Antenna parameters obtained from the simulator are presented along with detailed discussions. In Model II, A novel dual band triangular patch antenna designed using Spiral resonators (SR) in its patch is presented. The metamaterial structure (SR) used in this design effectively reduces the size of conventional patch resulting in dual resonances with wide apart spectras. The antenna is found to resonate at 10.38, 13.99 GHz with gains of 3.6 and 5.4 dBs respectively. The antenna has an Omnidirectional pattern and good directivity at the resonant bands. A comparitive remark is also presented. Keywords: Microstrip patch antenna, linear polarization, wireless applications
Influence of Mobile Phone Use on Secondary Schools Students’ Discipline, in Moshi Municipality, Kilimanjaro, Tanzania

: Discipline is a key component in teaching and learning process. A good academic qualification without a good foundation of discipline of the students is of no use to the individual, school, their families and the society. The purpose of this study was to investigate on the influence of mobile phone use on secondary schools’ students’ discipline in Moshi, Municipality-Kilimanjaro, Tanzania. The study was guided by six research questions. The theoretical framework used Bandura’s social learning theories (1977). The conceptual framework shows the influence of mobile phone on the behaviour/discipline of secondary school students. The study employs Quantitative approach, and Ex post facto designs to collect information about participants’ views concerning mobile phone influence on students’ discipline. The target population included all students, teachers, school board members and parents in Moshi Municipality, Kilimanjaro region, Tanzania. The researcher used sample size of 184 respondents, whereby the students were only form three and form four with total sample of 128 students, 32 teachers, 8 discipline masters, 8 school board chairpersons, and 8 parents’ representatives. To get this sample the study employed stratified random sampling, simple random sampling, automatic random sampling and purposive sampling. Questionnaire was used as the main instrument of data collection, in addition document analysis guide was employed to get some findings to complement findings from the instrument mentioned prior and verify its realities. Furthermore, in this study frequency, percentage and mean scores were used to analyze data. The hypothesis was tested using Chi square and split –half method was used to test reliability of instruments. All these were done under the aid of Statistical package for Social Sciences (SPSS) version 22. The study found that there is significance relationship between students’ mobile phone use and their behaviours in Secondary schools in Moshi Municipal.
A miniaturized absorbed frequency selective surface based on square resistor ring with low radar cross section

A miniaturized absorbed frequency selective surface based on square resistor ring is proposed in this research. This miniaturized absorbed frequency selective surface composed of a periodically arranged unit structure, and each unit structure is formed by an upper square resistor ring and a lower frequency selection surface. The structure has a good wave transmission performance from 1 GHz to 2 GHz, and the absorption rate is higher than 90% over the whole Ku band. At the same time, the structure can achieve a monostation radar cross‐section reduction of more than 10 dB covering the whole Ku band. Due to the miniaturized design of this structure, it has the property of eliminating the grating lobes in the absorption band when irradiated by oblique incident waves. Based on ensuring good transmission, it can realize broadband and wide‐angle antenna radar cross section reduction.
Design of multi-phase DC-DC converter with master-slave current sharing control

A novel multi-phase PWM DC-DC converter is designed, in order to solve the problem of meeting the power supply requirements of the new generation microprocessor which requires 40-100 A currents, lower voltage and better current transient response. In multi-phase converter, how to balance the currents in each phase is most important, and master-slave current sharing is an effective way. The multi-phase converter, by distributing the power and load current results in smaller and lower cost transistor with fewer input and output capacitors. It meets the specifications of Intel's VRM9.0 design guideline for the power supply of high-performance Pentium IV central processing units.
Analysis of the effects of biases in ensemble streamflow prediction (ESP) forecasts on electricity production in hydropower reservoir management

Abstract. This paper presents an analysis of the effects of biased extended streamflow prediction (ESP) forecasts on three deterministic optimization techniques implemented in a simulated operational context with a rolling horizon test bed for managing a cascade of hydroelectric reservoirs and generating stations in Québec, Canada. The observed weather data were fed to the hydrological model, and the synthetic streamflow subsequently generated was considered to be a proxy for the observed inflow. A traditional, climatology-based ESP forecast approach was used to generate ensemble streamflow scenarios, which were used by three reservoir management optimization approaches. Both positive and negative biases were then forced into the ensembles by multiplying the streamflow values by constant factors. The optimization method's response to those biases was measured through the evaluation of the average annual energy generation in a forward-rolling simulation test bed in which the entire system is precisely and accurately modelled. The ensemble climate data forecasts, the hydrological modelling and ESP forecast generation, optimization model, and decision-making process are all integrated, as is the simulation model that updates reservoir levels and computes generation at each time step. The study focussed on one hydropower system both with and without minimum baseload constraints. This study finds that the tested deterministic optimization algorithms lack the capacity to compensate for uncertainty in future inflows and therefore place the reservoir levels at greater risk to maximize short-term profit. It is shown that for this particular system, an increase in ESP forecast inflows of approximately 5 % allows managing the reservoirs at optimal levels and producing the most energy on average, effectively negating the deterministic model's tendency to underestimate the risk of spilling. Finally, it is shown that implementing minimum load constraints serves as a de facto control on deterministic bias by forcing the system to draw more water from the reservoirs than what the models consider to be optimal trajectories.
Interaction of coherent flow structures in adverse pressure gradient turbulent boundary layers

With the aim to characterize the near-wall flow structures and their interaction with large-scale motions in the log-law region, time-resolved planar and volumetric flow field measurements were performed in the near-wall and log-law region of an adverse pressure gradient turbulent boundary layer following a zero pressure gradient turbulent boundary layer at a friction Reynolds number $Re_{\unicode[STIX]{x1D70F}}=5000$ . Due to the high spatial and temporal resolution of the measurements, it was possible to resolve and identify uniform-momentum zones in the region $z/\unicode[STIX]{x1D6FF}<0.15$ or $z^{+}<350$ and to relate them with well known coherent flow motions near the wall. The space–time results confirm that the turbulent superstructures have a strong impact even on the very near-wall flow motion and also their alternating appearance in time and intensity could be quantified over long time sequences. Using the time record of the velocity field, rare localized separation events appearing in the viscous sublayer were also analysed. By means of volumetric particle tracking velocimetry their three-dimensional topology and dynamics could be resolved. Based on the results, a conceptual model was deduced that explains their rare occurrence, topology and dynamics by means of a complex interaction process between low-momentum turbulent superstructures, near-wall low-speed streaks and tilted longitudinal and spanwise vortices located in the near-wall region.
Selective Laser Melting of Diamond-Containing or Postnitrided Materials Intended for Impact-Abrasive Conditions: Experimental and Analytical Study

Materials with higher wear resistance are required in various applications including cutting elements (drag bits) of soft ground tunnel boring machines (TBM) to increase the productivity and to reduce the risk for workers involved in exchange operations (dangerous hyperbolic conditions). In recent work, two types of materials were produced by combining 3D printing (selective laser melting, SLM) of cellular lattice structures and spark plasma sintering (SPS) methods. The lattices were printed from (1) 316L stainless steel with diamond and (2) Ti6Al4V with nitriding. The effect of diamond content (5%, 10%, and 20%; nickel-coated particles) and unit cell size on performance was studied. The titanium alloy lattice was nitrided to increase its hardness and wear resistance. The effect of nitriding temperature (750°C, 900°C, and 1050°C) and lattice volume fraction (6%, 15%, and 24%, vol.) was investigated, and the optimized conditions were applied. The lattices were filled with 316L and Ti6Al4V powders, respectively, and consolidated by SPS. Samples were tested with the help of laboratory impact-abrasive tribodevice. Laboratory results have shown that both reinforcing approaches are beneficial and allow improvement of wear resistance in impact-abrasive conditions with great potential for TBM or similar applications. Modelling with the help of finite element method has shown that lattice structure enables reduction of peak local stresses in scratching and impact conditions.
Good Plot Symbols by Default

Abstract Scatterplots require different symbols for different purposes. For presentation, aesthetically pleasing symbols are popular. For analysis, highly discriminable symbols aid pattern detection. This study identifies a default symbol set suitable for both presentation and analysis. This is achieved by using popular symbols with preattentive differences. Supplemental materials for this article are available online.
Existence and uniqueness results for Navier problems with degenerated operators

Ω⊂RN is a bounded open set, f ω2 ∈Lp (Ω, ω2), G ν2 ∈ [Ls (Ω, ν2)] , ω1, ω2, ν1 and ν2 are four weight functions (i.e., ωi and νi, i = 1, 2 are locally integrable functions on RN such that 0 < ωi(x), νi(x) < ∞ a.e. x∈RN), ∆ is the Laplacian operator, 1 < q, s < p < ∞, 1/p + 1/p ′ = 1 and 1/s + 1/s ′ = 1. For degenerate partial differential equations, i.e., equations with various types of singularities in the coefficients, it is natural to look for solutions in weighted Sobolev spaces (see [1–8]). The type of a weight depends on the equation type. A class of weights, which is particularly well understood, is the class of Ap weights that was introduced by B.Muckenhoupt in the early 1970’s (see [7]). These classes have found many useful applications in harmonic analysis (see [9] and [10]). Another reason for studying Ap-weights is the fact that powers of the distance to submanifolds of RN often belong to Ap (see [8] and [11]). There are, in fact, many interesting examples of weights (see [6] for p-admissible weights). In the non-degenerate case (i.e. with ω(x) ≡ 1), for all f ∈ Lp(Ω) the Poisson equation associated with the Dirichlet problem { −∆u = f (x), in Ω u(x) = 0, in ∂Ω
ESTRUTURA E FRAGMENTAÇÃO GEOECOLÓGICA DE PAISAGEM FLUVIAL NO BAIXO RIO XINGU – AMAZÔNIA CENTRO-ORIENTAL (STRUCTURE AND GEOECOLOGICAL FRAGMENTATION OF THE RIVER LANDSCAPE IN THE LOWER XINGU RIVER - CENTRAL-EASTERN AMAZON)

RESUMO:A análise geoecológica busca subsidiar o planejamento dos usos e da ocupação da paisagem em acordo com seus limites e potencialidades. A área de estudo é uma paisagem fluvial localizada a jusante da Usina Hidrelétrica de Belo Monte, no Baixo Rio Xingu, a qual promove modificações no contexto geoecológico regional e local. O objetivo da pesquisa é entender a estrutura geoecológica de paisagem fluvial no Baixo Rio Xingu, incluindo análise das métricas dos fragmentos que compõem as unidades paisagísticas. Analisou-se a paisagem através de estudo sistêmico e holístico de dados produzidos em atividades de campo, pesquisas bibliográficas e utilizando-se técnicas de sensoriamento remoto e geoprocessamento. O entendimento das inter-relações entre os componentes da paisagem permitiu a identificação e caracterização das unidades de paisagem fluvial e identificou-se que a transgressão do Oceano Atlântico sobre o Rio Amazonas possibilita o aumento e redução diária e pode aumentar ou diminuir sazonalmente as cotas fluviométricas do Rio Xingu, antecipando ou perdurando cheias.Palavras-chave: Fragmentação da Paisagem; Geomorfologia Fluvial; Análise Geoambiental. ABSTRACT:The geoecological analysis seeks to subsidize the planning of the uses and occupation of the landscape in accordance with its limits and potentialities. The study area is river landscape located downstream of the Hydroelectric of Belo Monte on the lower Xingu River, which promotes modifications in the regional geoecological context. In order to understand the geoecological structure of the fluvial landscape in the lower Xingu River, including the analysis of the metrics and fragments that compose it's units. The landscape was analyzed through a systemic and holistic study of data produced in field activities, bibliographical and using remote sensing and geoprocessing techniques. The understanding of the interrelations between the components of the landscape allowed the identification and characterization of the fluvial landscape units. The transgression of the Atlantic Ocean over the Amazon River makes it possible to increase and reduce daily, and may increase or decrease seasonally the Xingu River.Keywords: Landscape Fragmentation; River Geomorphology; Geoenvironmental Analysis.
Determinasi Faktor-Faktor Keamanan E-Banking Terhadap Kepercayaan dengan Pendekatan Technology Acceptance Model

Safety and convenience factor is important for confidence in the use of e-banking. This study aimed to investigate the factors determination using e-banking approach to technology acceptance model, and analyze the determination of the factors the use of ebanking with the Technology Acceptance Model approach. Technology Acceptance Model (TAM) is a model used to explain the acceptance of the technology to be used by users of the technology. In the context of this study, TAM raises the safety factor and the factor of ease of use of e-banking to e-banking trust uses. This research is a field research (field research) with a quantitative approach that examines the issues being studied. Sampling method using random sampling technique as much as 100 respondents. Data collection techniques are the primary data by distributing questionnaires to the users e-banking. While the secondary data that other reports related to research. The data analysis techniques used include descriptive statistics and analysis phases of statistical regression analysis. These results prove that the safety factor has a significant and positive effect on user confidence in e-banking proven Ho is rejected and Ha accepted with a significance level of 0.001 (<0.05), while the convenience factor also has a positive and significant impact on user confidence in e-banking proven Ho is rejected and Ha accepted with a significance level of 0.000 (<0.05). Keywords: Factor Security; Ease; Confidence Use of e-banking; Technology Acceptance Model (TAM)