Miracle-dz/UniFAR-FTUs huggingface dataset:
DiffMutAnalyze: uma ferramenta para auxiliar a análise dos mutantes equivalentes no ensino do teste de mutação

Mutation testing is a technique that aims to evaluate a test cases and, consequently, to help improve their quality. Mutation testing is a promising technique to assist students in developing skills in software testing. Thus, this article presents the use of the DiffMutAnalyze tool in the academic field. It provides an environment that: (i) promotes the generation of mutants, (ii) the execution of test cases in the mutants generated, (iii) the identification of the detected mutants, and (iv) the availability of the analysis of possible equivalent mutants. DiffMutAnalyze was evaluated with 11 Graduate Students in Computer Science, to support the teaching of mutant testing and to show the practical application of mutation and analysis of mutants. A study was performed with the students to verify the cost of the equivalent mutant analysis, being compared in two ways: (i) by using DiffMutAnalyze; and (ii) through manual analysis, without using DiffMutAnalyze. The results showed a significant time reduction in comparison to the manual analysis. Resumo. O teste de mutação é uma técnica que visa avaliar os casos de teste e, consequentemente, ajudar a melhorar sua qualidade. O teste de mutação é uma técnica promissora para ajudar os alunos a desenvolverem habilidades em testes de software. Assim, este artigo apresenta a utilização da ferramenta DiffMutAnalyze no âmbito acadêmico. Ela fornece um ambiente que: (i) promove a geração de mutantes, (ii) promove a execução de casos de teste nos mutantes gerados, (iii) permite a identificação dos mutantes detectados e (iv) disponibiliza para análise dos possíveis mutantes equivalentes. A DiffMutAnalyze foi avaliada com 11 estudantes de Pós-Graduação em Ciência da Computação, para apoiar o ensino de testes de mutantes e para mostrar a aplicação prática de mutação e análise de mutantes. Foi realizado um estudo, junto aos estudantes, para verificar o custo da análise dos mutantes equivalentes, sendo comparado de duas maneiras: (i) pelo uso da DiffMutAnalyze; e (ii) por meio da análise manual, sem o uso da DiffMutAnalyze. Os resultados mostraram uma redução significativa de tempo em comparação com a análise manual.
AUTHORITARIAN PARENTING STYLE WITH AGGRESSIVE BEHAVIOR OF 5-6 YEARS OLD

The family is the place where the education process takes place. Parents hold the first and foremost role for child development which is an important task and cannot be separated from various challenges. Parenting style is one of the behavioral factors and actions of children since early to adulthood. The purpose of this study was to determine the relationship between authoritarian parenting and the aggressive behavior of children aged 5-6 years. Sampling using purposive sampling technique amounted to 37 parents and children aged 5-6 years in Mojolegi, Teras, Boyolali. Data in this study were obtained from questionnaires. The technique of analyzing questionnaire items using the total corrected item-total correlation. The results showed that there was a significant relationship between authoritarian parenting and the aggressive behavior of children with r = 0.996 with p = 0.000 with the help of SPSS 16 for windows. This value shows a positive result which means that the higher the authoritarian parenting style, the higher the child's aggressive behavior.
A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces

Code instrumentation and hardware based event trapping are two primary approaches used in dynamic malware analysis systems. In this paper, we propose a new approach called Execution Flow Instrumentation (EFI) where the analyzer execution flow is interleaved with the target flow in user- and kernel-mode, at junctures flexibly chosen by the analyzer at runtime. We also propose OASIS as the system infrastructure to realize EFI with virtues of the current two approaches, however without their drawbacks. Despite being securely and transparently isolated from the target, the analyzer introspects and controls it in the same native way as instrumentation code. We have implemented a prototype of OASIS and rigorously evaluated it with various experiments including performance and anti-analysis benchmark tests. We have also conducted two EFI case studies. The first is a cross-space control flow tracer and the second includes two EFI tools working in tandem with Google Syzkaller. One tool makes a dynamic postmortem analysis according to a kernel crash report; and the other explores the behavior of a malicious kernel space device driver which evades Syzkaller logging. The studies show that EFI analyzers are well-suited for fine-grained on-demand dynamic analysis upon a malicious thread in user or kernel mode. It is easy to develop agile EFI tools as they are user-space programs.
Value co-creation in the hospitality industry: learning from the Vascitour experience1

Purpose of the paper: This paper aims to explore the processes of value co-creation in the hospitality industry according to customer-dominant (C-D) logic. Methodology: This study follows a qualitative approach. Through an in-depth case-study analysis, the proposed research examines the empirical evidence of Vascitour, a startup formed as cooperative in May 2016 in the Italian hospitality
Anti-diabetic effects of DMC-derivatives by activation of AMP-activated protein kinase and peroxisome proliferator activated receptor

Type 2 diabetes is caused by insulin resistance and beta-cell dysfunction, leading to hyperglycemia. It is a complex metabolic disorder with various etiological pathways, impacting ectopic lipid depositions. Insulin resistance is very closely linked with T2D because it is predictor and therapeutic target of T2D. To treat and prevent T2D, insulin resistance and insulin signaling are needed to be improved. There are two representative insulin sensitizers in the market, metformin and TZDs. Metformin works as activator of AMPK which is a master regulator of energy metabolism. It is activated by increasing phosphorylation of AMPKα at Thr-172. Activation of AMPK increases fatty acid oxidation in skeletal muscle and regulates the hepatic glucogenesis in liver. TZDs work as activator of peroxisome proliferator activated receptor, PPARγ which is a nuclear receptor and is predominantly expressed in adipose tissues. Expressions of lipid transport related proteins are increased by its activation. It reduces lipid contents in circulation and improves insulin sensitivity by reducing lipotoxicity. However, TZDs have several side effects such as weight gain and fluid retention. In previous study, my lab studied about antidiabetic effects of DMC which is isolated from cleistocalyx operculatus plant by screening 14 putative PPARγ agonists. DMC worked as dual agonist of PPARγ and AMPK, increasing PPARγ transcriptional activity and AMPK activation. It also suppressed differentiation of adipocytes, promoted glucose uptake and increased the fatty acid oxidation in myotubes by AMPK activation in cell cultured system. It also improved insulin sensitivity in high fed diet (HFD) induced obese mice. I received the B series of DMC derivatives form department of chemical engineering in Choong-Ang University. They were designed and synthesized with different functional groups according to the degree of electronic effect, hydroxylation, hydrophobicity and hydrophilicity. Purpose of my study is to investigate the antidiabetic effects of the B series of DMC derivatives in vitro and in vivo, having more efficacy than DMC. In in vitro experiment, most of DMC derivatives increased FAO ratio and phosphorylation of AMPK as much as DMC and AICAR. They also inhibited adipogenesis as much as DMC but they showed lower PPARγ transcriptional activities than DMC. For in vivo study, B1 and B7 selected as increasing FAO ratio as much as DMC and AICAR. In in vivo experiment, DMC derivatives showed similar effects on blood glucose tolerance with DMC. They tended to increase FAO in GM and decrease triglyceride (TG) levels in liver. In conclusion, the antidiabetic effects of B series of DMC derivatives were mainly mediated by AMPK activation.
Application of Neuroevolution in Blackjack

Blackjack is one of the few casino games with an extremely low house edge. In the past, many brute force simulations have been done to derive basic strategy. Classical brute force methods are tedious, time consuming, and often require hundreds of millions of games played to achieve results. In this project, I use reinforcement learning, specifically neuroevolution (NE), which is an attempt to simulate biological evolution, to see if an artificial neural net (ANN) can evolve to learn basic strategy and achieve the theoretical maxima provided by a basic strategy simulation. Two main simulations are run in this project, one using basic strategy charts and the other using the evolved ANN. These are then compared to see how effective the ANN was in learning strategy as well as how quickly it was able to learn.
Predicting the Prosody of Dialog Markers from the Prosody of the Local Context

Dialog systems today often use unnatural prosody. Thinking that this can be substantially alleviated by simply choosing prosody appropriate for the local context, without deep modeling of intentions or structure, we tried predicting the prosody of dialog markers from a 72 feature representation of the local prosodic contexts. This signiﬁcantly decreased prediction error for the prosody of dialog markers in the Switchboard corpus, reducing the pitch error rate, for example, by 22%
Histopathology Description of Chicken Liver Infected by L2 Toxocara Vitulorum

Transmission of Toxocara vitulorum Infection causes a decrease in livestock productivity and results in various types of diseases in humans. Chickens are one of the parasitic hosts of toxocariasis which has the potential for transmission of toxocariasis to humans. The main location affected by T. vitulorum larval infection is the liver. The current study aimed to analyze the description of histopathological changes in the liver of broiler chickens infected by L2 Toxocara vitulorum. The present study was a true experiment using a completely randomized design. A total number of 28 broiler chickens aged 14 days were selected as the sample in this study. Samples were infected using L2 Toxocara vitulorum larvae and were grouped in accordance with observations of the 1, 2, 3, 7, 14, and 21 days after the larvae were given to the samples. Toxocara vitulorum larval infection caused changes in histopathological features of broilers chickens. This infection caused hydropic inflammation and degeneration of liver cells, cholangitis, and eventually necrosis of the cells. Exposure to infection over a long period of time can worsen liver cell and other organ damages as well as increasing the potential for the transmission of Toxocara vitulorum larvae.
Solid State PhySicS, Mineral ProceSSinG

v. v. sobolev1, orcid.org/0000-0003-1351-6674, s. I. Gubenko2, orcid.org/0000-0001-6626-3979, D. v. rudakov1, orcid.org/0000-0001-7878-8692, o. l. Kyrychenko3, orcid.org/0000-0002-1331-9323, o. o. Balakin3, orcid.org/0000-0003-2003-0381 1 – Dnipro University of Technology, Dnipro, Ukraine, e­mail: velo1947@ukr.net 2 – National Metallurgical Academy of Ukraine, Dnipro, Ukraine 3 – State Enterprise “Research­Industrial Complex “Pav­ lohrad Chemical Plant”, Pavlohrad, Dniproperovsk Region, Ukraine
Factors Influencing Master Data Quality: A Systematic Review

Master data refers to the data that represents the core business of the organization, shared among different applications, departments, and organizations and most valued as the important asset to the organization. Despite the outward benefit of master data mainly in decision making and organization performance, the quality of master data is at risk. This is due to the critical challenges in managing master data quality the organization may expose. Hence the primary aim of this study is to identify factors influencing master data quality from the lens of total quality management while adopting the systematic literature review method. The study proposed 19 factors that inhibit the quality of master data namely data governance, information system, data quality policy and standard, data quality assessment, integration, continuous improvement, teamwork, data quality vision and strategy, understanding of the systems and data quality, data architecture management, personnel competency, top management support, business driver, legislation, information security management, training, change management, customer focus, and data supplier management that can be categorized to five components which are organizational, managerial, stakeholder, technological, and external. Another important finding is the identification of the differences for factors influencing master data compared to other data domain which are business driver, organizational structure, organizational culture, performance evaluation and rewards, evaluate cost/benefit tradeoffs, physical environment, risk management, storage management, usage of data, internal control, input control, staff participation, middle management's commitment, the role of data quality and data quality manager, audit, and personnel relation. It is expected that the findings of this study will contribute to a deeper understanding of the factors that will lead to an improved master data quality. Keywords—Quality management; total quality management; data quality; data quality management; master data; master data quality; master data quality management; systematic literature review
AUGMENTED REALITY FOR CO-DESIGN: THE PERSPECTIVE OF REAL ESTATE DEVELOPERS, ARCHITECTURAL FIRMS, AND PUBLIC ADMINISTRATIONS

The paper focuses on the design and development of an Augmented Reality (AR) app for public participation in urban transformations. The project, named "AR4CUP: Augmented Reality for Collaborative Urban Planning", is part of H2020 EIT Digital (Digital Cities) and involves the Augmented Reality company Artefacto , the university Politecnico di Milano , the research center VTT , and the Real Estate Developer Company Covivio . The project began in January 2019 and will end on December 2019. A pilot case study application will be carried out at the end of 2019 on an urban transformation project in the south of Milan (Scalo di Porta Romana), namely the design project VITAE, developed in the frame of the C40 Reinventing City. The AR4CUP project is organized in four main parts: analysis of customer’s needs, development of the methodology for studying people experience in place, app design and implementation, pilot case study application with final users. The paper addresses the first phase. The AR4CUP AR app is able to: (i) show, directly on-site, urban and architectural proposals geolocated in real dimensions; (ii) gather citizens’ emotional reactions to proposed urban transformations; (iii) automatically analyze the collected data; (iv) represent the outcomes of the analysis. The main customers of the app are Architectural Firms, Real Estate Developers, and Public Administrations
An analytical-numerical method for calculating the stationary thermal field in electrical systems with elliptical cross-sections

In this article, an analytical-numerical approach to calculating a stationary thermal field in the elliptical region is presented. The eigenfunctions of the Laplace operator were determined analytically, whereas the coefficients of the eigenfunctions were obtained numerically. The cooling was modeled with 3rd kind (Hankel’s) boundary condition, where the total heat transfer coefficient was the sum of the convective and radiative components. The method was used to analyze the thermal field in an elliptical conductor and a dielectrically heated elliptical column. The basic parameters of these systems, i.e., their steady-state current rating and the maximum charge temperature, were determined. The results were verified using the finite element method and presented graphically.
Do 30 minutes of active video games at a moderate-intensity promote glycemic and cardiovascular changes?

Aim: To analyze acute glycemic, cardiovascular variables, and level of enjoyment (LE) in response to active video games (AVG) in adults. Methods: Fourteen adults performed a 30-minute AVG session. Heart rate (HR), systolic (SBP) and diastolic (DBP) blood pressure, double product (DP) and blood glucose (BG) were recorded at rest, immediately after and at 30 minutes after AVG session. At the end of the session, participants reported the rating of perceived exertion (RPE, 6-20 scale) and LE (0-10 scale). Results: Participants reached 55.5% HR reserve with high RPE (Mean=15). BG decreased (−10.3 mg·dL), and HR (+85 bpm), SBP (+23.8 mm Hg) and DP (+12852 mm Hg × bpm) increased immediately after the session and returned to resting levels after 30 minutes. DBP did not present statiscal changes over time. High LE levels were found (Mean=8.6). Conclusion: A 30-minute AVG session at moderate-intensity was very enjoyable, effective in reducing blood glucose levels acutely and promote safe cardiovascular acute changes in adults.
“Empirical Identification of Parameters for Effective User Requirement Elicitation and Analysis Process in Agile and Non-agile Software Development”

– With the swift growth in technology and businesses in recent decades, software has become very essential component in all facets of the modern world. But Software development segment is in trouble, due to project failures, budget overruns, extended time frame, failure to meet needs and poor quality levels. Proportion of projects failure is caused by requirement affairs. Now, the crucial issue in the software development process is getting the operational requirements right and to welcome change in the requirements even late in the development process. Users have difficulty in explaining what they need and the problems multiply when developers fail to translate requirements into working software. Therefore, an effective and efficient system is required to improve requirement engineering process. This paper reviews the existing requirement engineering practices that agile and non-agile software teams follow and explores the parameters required for effective elicitation and analyzing of requirements. We also proposed a model based on these parameters that effectively handle the changing user’s requirements.
Radiation Pattern Characteristics of Antennas with Periodically Arranged Mushroom-shaped Elements

NTT DOCOMO Technical Journal Vol. 11 No. 1 †1 Currently Strategic Marketing Department †2 Currently Corporate Strategy & Planning Department *1 Sidelobe: The lobes of the far field radiation pattern situated away from the main beam (see *4). The sidelobes are usually radiation in undesired directions and must therefore be suppressed. *2 Periodic array: the lining up of identical structures at equally spaced intervals, that is, with a fixed period. Antenna Metamaterial EBG
ADVERSARIAL RISK ANALYSIS TO ALLOCATE OPTIMAL DEFENSE RESOURCES FOR PROTECTING NUCLEAR POWER PLANTS FROM CYBER ATTACKS

: Defenders have to enforce defense strategies by taking decisions on allocation of resources, to protect the integrity and survivability of CPSs from intentional and malicious cyber attacks. In this work, we propose an Adversarial Risk Analysis (ARA) approach to provide a novel one-sided (i.e.,) prescriptive support strategy for the defender to optimize the defensive resource allocation, based on a subjective expected utility model, in which the decisions of the adversaries are uncertain. This increases confidence in cyber security through robustness of CPS protection actions against uncertain malicious threats, compared with prescriptions provided by a classical defend-attack game-theoretical approach. We present the approach and the results of its application to a nuclear CPS, specifically, the digital Instrumentation and Control (I&C) system of the Advanced Lead-cooled Fast Reactor European Demonstrator (ALFRED)).
Video-aided Unsupervised Grammar Induction

We investigate video-aided grammar induction, which learns a constituency parser from both unlabeled text and its corresponding video. Existing methods of multi-modal grammar induction focus on grammar induction from text-image pairs, with promising results showing that the information from static images is useful in induction. However, videos provide even richer information, including not only static objects but also actions and state changes useful for inducing verb phrases. In this paper, we explore rich features (e.g. action, object, scene, audio, face, OCR and speech) from videos, taking the recent Compound PCFG model as the baseline. We further propose a Multi-Modal Compound PCFG model (MMC-PCFG) to effectively aggregate these rich features from different modalities. Our proposed MMC-PCFG is trained end-to-end and outperforms each individual modality and previous state-of-the-art systems on three benchmarks, i.e. DiDeMo, YouCook2 and MSRVTT, confirming the effectiveness of leveraging video information for unsupervised grammar induction.
Catalogue of exoplanets accessible in reflected starlight to the Nancy Grace Roman Space Telescope

Context. Reflected starlight measurements will open a new path in the characterization of directly imaged exoplanets. However, we still lack a population study of known targets to which this technique can be applied. Aims. We investigate which of the about 4300 exoplanets confirmed to date are accessible for the Roman Space Telescope coronagraph in reflected starlight at reference wavelengths λ = 575, 730, and 825 nm. We carry out a population study and also address the prospects for phase-curve measurements. Methods. We used the NASA Exoplanet Archive as a reference for planet and star properties and explored the effect of their uncertainties on the exoplanet detectability by applying statistical arguments. We defined a planet as Roman-accessible on the basis of the inner and outer working angles of the instrument and its minimum planet-to-star contrast (IWA, OWA, and Cmin). We adopted three plausible configurations for these technical specifications, labeled pessimistic, intermediate, and optimistic. Our key outputs for each exoplanet are its probability of being Roman-accessible (Paccess), the range of observable phase angles, the evolution of its equilibrium temperature, the number of days per orbit for which it is accessible, and its transit probability. Results. In the optimistic scenario, we find 26 Roman-accessible exoplanets with Paccess > 25% and host stars brighter than V = 7 mag. This population is biased towards planets more massive than Jupiter, but also includes the super-Earths tau Cet e and f, which orbit near the habitable zone of their star. Thirteen planets are part of multi-planetary systems. Three of these planets have known transiting companions, which offers opportunities for a contemporaneous atmospheric characterization. The intermediate and pessimistic scenarios yield ten and three Roman-accessible exoplanets, respectively. We find that inclination estimates (e.g. with astrometry) are required to refine the detectability prospects. Conclusions. A science phase of the coronagraph instrument has a remarkable potential for characterizing the atmospheres of exoplanets that cannot be studied with other techniques.