Miracle-dz/UniFAR-FTUs huggingface dataset:
On-site Service and Safe Output Checking in Japan

In Japan, we have been establishing the on-site service that allows researchers to access microdata of various public surveys at secure on-site facilities. Since the microdata contains sensitive information of the survey participants, we have been establishing output checking rules referring to those of other countries including the one on the SDC handbook. We, however, find several remaining technical issues that make it difficult to ensure the safety of output data. Particularly, we find that to verify the safety of tabular data challenging under the presence of differential attacks. In this paper, we introduce those technical challenges in safe output checking and describe our R-based tool for statistical disclosure control, which we developed to address some of the issues and bridge a gap between a task of statistical disclosure control and that of output checking.
Parallel Multiple Counter-Examples Guided Abstraction Loop — Applying to Timed Automaton—

A model checking technique proves that a given system satisfies given specifications by searching exhaustively a finite transition system which represents the system’s whole behavior. If the system becomes large, it is impossible to explore the whole states in reasonable time due to both of CPU time used and memory space where the model is stored. This is called the state explosion problem. One of the solutions to avoid the state explosion problem is using a model abstraction technique. In usual, constructing such an abstract model from the original model becomes error-prone. Hence, automatic generation techniques of abstract models are studied. Especially, Counter-Example Guided Abstraction Refinement (CEGAR) is considered as a promising technique because it automatically refines abstract model if the result is spurious, starting from a small abstract model. We have already proposed a concrete CEGAR loop for a timed automaton. This iteration loop refines the model in fine granularity level. It avoids the state explosion, however, the number of loops increases. This paper proposes a revised technique where multiple counter-examples are simultaneously applied in the refinement step of CEGAR. This device reduces the number of iteration loops. Experimental results show the improvement.
OPERATIONAL USE OF ATMOSPHERIC MOTION VECTORS AT ECMWF

A review of the status of Atmospheric Motion Vectors (AMVs), monitored and assimilated operationally at the European Centre for Medium Range Weather Forecasts (ECMWF), is presented. The period since the last workshop saw a number of satellite replacements. Currently, data from five different geostationary satellites are used in operations (from METEOSAT-9 and -7, GOES-11 and -12, and MTSAT-1R), together with polar AMVs from MODIS on Terra and Aqua. A number of additional AMV datasets are being monitored with a view of eventual operational assimilation, and we report on the results of the monitoring efforts so far. Winds have been derived by CIMSS from the infrared channel of the AVHRR instrument on the NOAA satellites. While the data are relatively sparse, assimilation trials in a system that uses a limited amount of satellite observations document a small positive forecast impact from the AVHRR winds. This also makes the data attractive for reanalyses. In addition, direct-broadcast MODIS winds are now available to improve the timeliness of this important dataset. A greater coverage is obtained for the early-cutoff NWP runs. AMVs from CMA’s FY-2C now include quality indicator information, prompting a re-assessment of the quality of these winds. Lastly, winds from the stereo-viewing MISR instrument on Terra have been compared to the ECMWF first guess, showing broadly similar first guess statistics to other AMVs from geostationary or polar satellites, despite a supposedly much better height assignment.
Ankle Joint Dynamic Stiffness in Long-Distance Runners: Effect of Foot Strike and Shoes Features

Foot strike mode and footwear features are known to affect ankle joint kinematics and loading patterns, but how those factors are related to the ankle dynamic properties is less clear. In our study, two distinct samples of experienced long-distance runners: habitual rearfoot strikers (n = 10) and habitual forefoot strikers (n = 10), were analysed while running at constant speed on an instrumented treadmill in three footwear conditions. The joint dynamic stiffness was analysed for three subphases of the moment–angle plot: early rising, late rising and descending. Habitual rearfoot strikers displayed a statistically (p < 0.05) higher ankle dynamic stiffness in all combinations of shoes and subphases, except in early stance in supportive shoes. In minimal-supportive shoes, both groups had the lowest dynamic stiffness values for early and late rising (initial contact through mid-stance), whilst the highest stiffness values were at late rising in minimal shoes for both rearfoot and forefoot strikers (0.21 ± 0.04, 0.24 ± 0.06 (Nm/kg/°∙100), respectively). In conclusion, habitual forefoot strikers may have access to a wider physiological range of the muscle torque and joint angle. This increased potential may allow forefoot strikers to adapt to different footwear by regulating ankle dynamic stiffness depending upon the motor task.
Incremental Multi-Dimensional Recommender Systems: Co-Factorization vs Tensors

The present paper sets a milestone on incremental recommender systems approaches by comparing several state-of-the-art algorithms with two different mathematical foundations matrix and tensor factorization. Traditional Pairwise Interaction Tensor Factorization is revisited and converted into a scalable and incremental option that yields the best predictive power. A novel tensor inspired approach is described. Finally, experiments compare contextless vs context-aware scenarios, the impact of noise on the algorithms, discrepancies between time complexity and execution times, and are run on five different datasets from three different recommendation areas music, gross retail and garment. Relevant conclusions are drawn that aim to help choosing the most appropriate algorithm to use when faced with a novel recommender tasks.
Blockchain-Based User-Participatory Game Update: Maze Escape Game Case

In this note, we propose a game system to fairly and transparently control and update game variables using blockchain. As an example, we present an Ethereum-based maze escape game, being the first blockchain-based maze game and the first attempt to control game level through blockchain. In this system, the level function computes maze level reflecting the amount of maze walls purchased/sold by users. Using blockchain for game management saves human and economic resources and prevents unfair practice of game developers unilaterally manipulating game level or item enhancement rate.
Multiproduct Pricing with Core Goods and Side Goods

Many firms and organizations sell both core goods and side goods. Airports are a prime example. Runway and terminal capacity are the core goods, and car parking, car rentals, and other concession services are the side goods. It has been conjectured that airport operators limit the prices they charge for core goods in order to boost their revenues from selling side goods. If this is true it alleviates concerns about excessive market power and may preclude heavy-handed regulation. In this paper we investigate the conjecture using a general model in which consumers buy a side good only when they buy a core good. We derive several results for a monopoly. First, if consumers have identical preferences for the side good the monopolist prices the side good at marginal cost and extracts consumer’s surplus through the core price. The monopolist profits indirectly from selling the side good because it boosts demand for the core good. Second, if demand for the side good rises the monopoly markup on the core good can increase, decrease, or remain unchanged depending on how the price elasticity of core-good demand changes as the demand curve shifts out. Third, if consumers are heterogeneous the monopolist can price the side good above or below marginal cost depending on how preferences for the core good and side good are correlated. We show that some of these results extend to a spatially differentiated duopoly. Jel Classification: D11, D42, R41.
ZETA CONVERTER WITH COUPLED INDUCTOR FOR AC APPLICATIONS

Dual-stage micro-inverters are generally used in grid-connected photovoltaic (PV) systems. The high step-up DC/DC converter is essential for the grid-connected micro-inverter because the input voltage from a single solar panel is very small. A DC/DC Zeta converter with coupled inductor which operates at moderate duty ratios is proposed. High voltage gain is achieved by employing high turns ratio to coupled inductor. The leakage-inductor energy of the coupled inductor is efficiently recycled to the load by additional capacitors and diodes and thus efficient energy-conversion is possible. The stress on the active switch is also restrained. Zeta converter with coupled inductor topology is simulated and voltage conversion ratio of 8 is obtained. AC output voltage is obtained by connecting it to an inverter. Voltage gain of 8 and an efficiency of 65% are achieved for the proposed system.
PITES: Telemedicine and e-Health Innovation Platform

A considerable amount of R&D&I has been carried out in recent years in the area of teleme‐ dicine and e-Health directed at supporting innovative health care models for people with chronic health conditions such as hypertension, cardiac insufficiency, chronic pulmonary obstruction, asthma, diabetes, cancer, dementia and other ailments [1]. The objective is to implement more appropriate and effective health care models in order to maintain health under everyday conditions, avoiding serious complications and without the need to resort to emergency services and hospital admittances. One priority is to avoid or delay for as long as possible the situation of dependence on the health care system for pluripathological conditions.
Gendered Pronoun Resolution

We implement an ensemble of various neural architectures to solve a popular problem in the Natural Language Processing (NLP) space: gendered pronoun resolution. This gender imabalance generally results from there being more examples and entries of male pronouns versus females. Pronoun resolution falls under the umbrella of coreference resolution, the task of properly resolving these ambiguous pronouns. Architectures used in this project are an Attention Recurrent Neural Network (RNN), a Multilayer Perceptron (MLP) Convolutional Neural Network (CNN), and an ASGD Weight-Dropped LSTM (AWD-LSTM). We observe AWDLSTM to perform the best out of the three models with a logloss of 0.6897 while the overall ensemble gives us a logloss of 0.6201.
MORE EFFICIENT INFERENCES USING RANKING INFORMATION OBTAINED FROM JUDGMENT SAMPLING

Judgment poststratification is an extension of ranked set sampling. It arises when sampled units from a population can be ranked rather easily without actually measuring the variable of interest and when determining the actual values can be expensive and time consuming. Under such a scheme, samples will contain units for which the variable of interest is observed while for others only that they are larger or smaller than one of the observed units. This paper will argue that standard methods ignore information contained in such samples and show that an objective stepwise Bayes analysis based on the Polya posterior leads to improved inferential procedures.
Distrofia muscular de Duchenne y Becker. Una visión molecular

Duchenne and Becker's muscular dystrophy is the most common form of muscle dystrophy found in children, and is caused by an absence of the protein dystrophin. Affected boys show signs of the disease early in life, stop walking at the beginning of the second decade, and usually die by age 20. The isolation of the defective gene has led to a better understanding of the disease process and has allowed an accurate diagnosis of affected patients. Moreover, genetic counseling and pre-natal diagnosis, together with the application of new therapies based on the knowledge of the disease's pathogenesis, are now a possibility. The purpose of this review is to present the progress made in this area, emphasizing, in particular, the pathophysiology and the molecular diagnosis of the disease in Colombia.
The Distribution of Ceratophyllum demersum L. in Relation to nvironmental

After extensively drained of Mesopotamian wetlands, southern Iraq in 1990s Ceratophyllum demersum L. reappeared as response to re-flooding. This investigation was conducted to study distribution of Ceratophyllum demersum in Al-Mashb marsh, Hor Al-Hammar, and the physical-chemical properties of its habitat, Water depth (WD), light penetration (LP), water temperature (WT), water salinity (Sal.), pH, dissolved oxygen (DO), calcium (Ca), magnesium (Mg), nitrite, nitrate, and phosphate were seasonally determined during 2008. Its vegetation cover percentage was 85 % with its peak in summer, while the lowest value was 35 % in winter. CANOCO ordination program (CCA) was used to analyze the data. Statistically, Positive relationships for WT, pH, Ca, Mg, nitrite, nitrate, and phosphate with the vegetation cover percentage were observed. However, negative relationships for Sal, WD, LP, and DO with the vegetation cover percentage were observed. Myriophyllum spicatum L. and Hydrilla verticillata (L.f.) Royle were recorded as associated species with C. demersum community in this study.
Research on Computer Professional Process and Individualized Teaching Reform Based on Big Data Thinking

The teaching goal of computer specialty is to train applied talents. The introduction of big data thinking into teaching reform can effectively promote the transformation of teaching activities and actively respond to the talent requirements at this stage. Furthermore, it will improve the process and personalized teaching reform of computer specialty, promote the improvement of comprehensive quality of talents, and train applied computer talents. Starting from the overview of big data, this paper briefly expounds the necessity of applying big data thinking in the reform of computer specialty, and analyzes the process and personalized teaching reform. According to the goal of process-oriented and personalized teaching reform of computer specialty, some superficial opinions are put forward on the teaching reform.
The Determinants of Pediatric Tuberculosis within Limited Resources Context

Mbala L1* and Nsibu N2 1Evangelical hospital of Kimpese, The Medical and Technical University school of Kimpese, Democratic Republic of Congo (DR Congo) 2University hospital of Kinshasa, DR Congo *Corresponding author: Mbala L, Evangelical hospital of Kimpese, The Medical and Technical University school of Kimpese, Po box 180, Kimpese, Province of Kongo Central, DR Congo, Tel: +243 81 37 35 641; Email: docmbalap@yahoo.fr
Eye tracker as an implied social presence: awareness of being eye-tracked induces social-norm-based looking behaviour

Human behaviour is not only influenced by the physical presence of others, but also implied social presence. This study examines the impact of awareness of being eye-tracked on eye movement behaviour in a laboratory setting. During a classic yes/no face recognition task, participants were made to believe that their eye movements were recorded (or not recorded) by eye trackers. Their looking patterns with and without the awareness of being eye-tracked were compared while perceiving social (faces, faces-and-bodies) and non-social (inanimate objects) video stimuli. Area-of-interest (AOI) analysis revealed that misinformed participants (who were not aware that their eye movements were being recorded) looked more at the body (chest and waist) compared to informed participants (who believed they were being eye-tracked), whereas informed participants fixated longer on the mouth and shorter on the eyes of female models than misinformed participants did. These findings highlight the potential impact of an awareness of being eye tracked on one’s eye movement pattern when perceiving a social stimulus. We conclude that even within laboratory settings an eye tracker may function as an implied social presence that leads individuals to modify their eye movement behaviour according to socially-derived inhibitory norms.
Eating disorders in childhood and adolescence

Abstract There is a wider range of eating disorders in childhood and adolescence than is commonly realized, and these are frequently either not recognized or misdiagnosed. Aetiology is invariably multifactorial and the potential for significant physical complications is high. Treatment should always take into account physical, psychological and social factors. Referral for specialist help is often necessary.
LIDERAZGO SIN MORALIDAD: UN ESTUDIO CORRELACIONAL ENTRE EL INVENTARIO DE PRÁCTICAS DE LIDERAZGO (IPL) Y EL JUICIO MORAL

El juicio moral es una competencia orientada a la toma de decisiones cotidianas. Asimismo, el liderazgo concierne valoraciones, dia con dia, acerca de lo que es bueno o malo para la organizacion. Empero, este escrito muestra que las practicas de liderazgo no tienen ninguna relacion con el juicio moral. Las cinco practicas: desafiar los procesos, inspirar una vision compartida, habilitar a otros a actuar, modelar el camino, dar aliento al corazon, no se relacionan con la competencia del juicio moral. Dos cuestionarios fueron aplicados a 176 gerentes participantes: el Inventario de Practicas de Liderazgo (IPL), autoevaluacion, y el Cuestionario de Problemas Sociomorales Gerenciales y Empresariales. El juicio moral fue medido por el indice C y las cinco practicas de liderazgo fueron medidas por el promedio de cada una de ellas. El analisis estadistico entre el indice C y las cinco practicas de liderazgo verificaron que no existe ninguna correlacion. Esto demuestra que las practicas de liderazgo son independientes del juicio moral
Occurrence and Characterization of Listeria Species Isolated from Processed Meat in Qena, Egypt

The aims of this work were isolation, elucidation the antimicrobial susceptibility and molecular characterization of Listeria spp from meat products distributed in Qena Governorate, Egypt during years 2017 -2018. A total of 120 samples of raw meat products were collected from different retail outlets in Qena Governorate, Egypt and examined for the contamination with Listeria spp. The examined meat products were minced meat, kofta, sausage, burger, luncheon and pasterma and the prevalence of listeria monocytogenes was 15%, 20%, 10%, 15%, 10%, 5%, respectively. Moreover, other Listeria species were isolated and identified in a total percentage from the above mentioned meat products; Listeria ivanovii (10.8%), L. welshimeri (6.6%), L. innocua (10.8%), L. seeligeri (4.1%) and L. grayi (1.6%). Antibiogram assay detected multi-dug resistances among L. monocytogenes. All the isolates were resistant to neomycin and streptomycin, meanwhile, most of the isolates showed sensitivity against ampicillin. Furthermore, L. monocytogenes was molecularly characterized by multiplex PCR for detection of iap, hylA and actA virulence genes. The iap gene was detected in all L. monocytogenes. It could be concluded that processed meat products purchased in Qena Governorate harbored L. monocytogenes and other Listeria species. This in turn constitute a risk of transmission of infection to human consumer with the antibiotic resistant listeria spp. That gives rise to failure of treatment programs. High contamination level of meat substantiates enforcing Hazard Analysis Critical Control Points (HACCP) program during processing, handling and storage of meat products.
Building Eco-Cities of the Future: The Example of Masdar City

Global warming and increased population growth are putting more pressure on policy decision makers to adapt more sustainable approach to planning and designing future cities. This has led to the rise of Eco-Cities that have smart and sustainable infrastructures such as green buildings; intelligent transportation systems; and efficient electricity, water, wastewater, and solid waste networks. In addition these cities should be less dependent on fossil fuels and ensure healthier life and comfort. This paper gives a brief overview on the sustainable design concept of six Eco-cities from around the world such as Vauban in Germany, BedZed in the UK, Sonoma Mountain in California, Dongtan and Tianjin in China, and Sondgo in Korea. Masdar City is discussed in more details including the green buildings, intelligent transportation systems, and other important infrastructure systems. This endeavor requires the managing of complex systems which necessitates the coordination and collaboration of all the stakeholders that are involved designing, constructing, and operating the city. The paper concludes with lessons learned so far from Masdar City.
THE EFFECTS OF PERCEIVED USEFULNESS, PERCEIVED EASE OF USE AND ATTITUDE ON THE USER INTENTION OF THE VILLAGE OF FINANCIAL SYSTEM (SISKEUDES) IN BANGKA REGION

Purpose: This study aims to determine the effects of perceived usefulness, perceived ease of use, and attitude on the user intention of Indonesian Village of Financial System (SISKEUDES) in Bangka region. Methodology: The data used are primary data collected through questionnaires distributed in the Villages Apparatus in Bangka region. The sample in this study consists of 100 respondents with accidental sampling technique. This study uses quantitative descriptive analysis with validity test, reliability test, classical assumption test (normality test, multi-collinearity test, heteroscedasticity test), and hypothesis test was done using multiple regressions test with SPSS20. Results: In hypothesis testing, it is confirmed through t-test that perceived usefulness, perceived ease of use, and attitude positively affects the user intention of SISKEUDES. The F test shows that perceived usefulness, perceived ease of use, and attitude simultaneously have positive effects on the user’s intention of SISKEUDES in Bangka region. Implications: This study implies that the use of information and communication technology can help employees to use SISKEUDES.
Accessibility of Assistive Technologies as a Factor in the Successful Realization of the Labor Potential of Persons with Disabilities: Russia’s Experience

In this article, the accessibility of assistive technologies is considered as a factor in the realization of the labor potential of persons with disabilities and is analyzed in the context of the accessibility of the urban environment, the enterprise environment, and directly at the workplace. The analysis was based on data from two studies, which were devoted to persons with disabilities in Moscow’s labor market, but the identified problems were not specific to the capital region. In Russian provinces, these issues are even more acute due to the scarcity of regional budgets and the populations’ lower standards of living. The results showed that there were contradictions and problems in each of the considered aspects of this problem. In terms of quantity, the availability of assistive technologies to persons with disabilities is growing, but modern assistive technologies are often not accessible to disabled people because of the high cost and specifics of the public procurement system. Among other barriers to the use of modern assistive technologies by persons with disabilities are ignorance and conservatism of employees of the medical and social expertise systems. The urban environment and urban transport have become more adapted to the needs of disabled people, but existing improvements are far from being sufficient, and many of them are imitative. The State declares the need to include persons with disabilities in the labor sphere, but at the same time insufficiently stimulates employers to create adapted workplaces and does not support enterprises specializing in providing employment for people with disabilities. All of these factors confirm the need for an integrated approach to study the implementation processes of ATs.