Miracle-dz/UniFAR-FTUs huggingface dataset:
An overview on congestion phenomena in fluid equations

We review some recent analysis results and open perspectives around congestion phenomena in fluid equations. The PDE systems under study are based on Navier–Stokes equations in which congestion is encoded in a maximal density constraint. The paper is organized around three main topics: multi-scale issues, regularity issues and finally non-locality issues. 1. Handling congestion in fluid equations If the Navier–Stokes equations present natural advantages compared to the microscopic point of view (number of parameters and unknowns, computational costs, etc.) and have proved to be relevant for simple fluids in standard flowing conditions, they may nevertheless fail to reproduce behaviors of heterogeneous flows. Typically, in highly dense regimes, dynamics of flows are altered, congested, and may exhibit some non-local effects due to the so-called maximal packing constraint, that is the non-overlap constraint on the microscopic components. Classical Navier–Stokes equations do not account for such microscopic constraints which are nevertheless crucial in the modeling of collective motions and dispersed mixtures like bubbly fluids or granular suspensions. From a general point of view, apparition of congestion can be seen as a phase transition phenomenon. The purpose of this paper is to present and analyze some of the simplest models to handle congestion in fluid equations. We will assume that the microscopic packing constraint can be expressed at the continuous level through a maximal density constraint ρ ≤ ρ∗ where the value ρ∗ is supposed to be known, equal to 1 in the rest of this paper. A toy model for constrained flows based on the classical Navier–Stokes equations reads  ∂tρ+ div(ρu) = 0, (1.1a) ∂t(ρu) + div(ρu⊗ u) +∇p− div S = ρf, (1.1b) 0 ≤ ρ ≤ 1, spt p ⊂ {ρ = 1}, p ≥ 0. (1.1c) The constrained variable ρ ∈ [0, 1] denotes the density. Depending on the application it can also represent the volume fraction of a component in a mixture or the height of the fluid in the case of liquid flows in closed pipes. The vector u is the velocity field, S is the viscous stress tensor and f an external force. Finally, the pressure p is the variable which encodes the two possible behaviors (i.e. dynamics) of the system. It is activated in the congested domain {ρ = 1} and it ensures the maximal density constraint. More precisely, the fact that the medium cannot be more compressed in the congested regions can be translated into a constraint on the velocity field: div u ≥ 0 in {ρ = 1}. (1.2) The pressure p ≥ 0 can thus be seen as the Lagrange multiplier associated to the previous constraint on the velocity field in the congested domain. System (1.1) is then a free boundary problem between a free phase where ρ < 1 and p = 0 (pressureless equations) and a congested phase where ρ = 1 and p ≥ 0.
Automatic Semantic Orientation of Adjectives for Indonesian Language Using PMI-IR and Clustering

We present our work in the area of sentiment analysis for Indonesian language. We focus on bulding automatic semantic orientation using available resources in Indonesian. In this research we used Indonesian corpus that contains 9 million words from kompas.txt and tempo.txt that manually tagged and annotated with of part-of-speech tagset. And then we construct a dataset by taking all the adjectives from the corpus, removing the adjective with no orientation. The set contained 923 adjective words. This systems will include several steps such as text pre-processing and clustering. The text pre-processing aims to increase the accuracy. And finally clustering method will classify each word to related sentiment which is positive or negative. With improvements to the text preprocessing, can be achieved 72% of accuracy.
Textbook activities that promote deeper processing in EFL learning

The thesis deals with deeper processing likely to be promoted by vocabulary and grammar activities in EFL textbooks for Croatian elementary and high schools. The first part introduces the theoretical background on language processing, focusing primarily on the levels-of-processing theory and higher-order thinking. In addition, deeper processing is closely related to multimodal learning, so the thesis addresses the phenomenon of multimodal learning and the key models associated with it. The second part of the thesis pays special attention to the textbook analysis whose aim was to provide insight into the representation of vocabulary and grammar in EFL textbooks and examine whether vocabulary and grammar activities have the potential to encourage deeper input processing. In addition, the analysis investigated the illustrations present in the textbooks in order to see if they are purely decorative or actually contribute to learners` awareness and retention of the input.
SIMULACIÓN Y CONTROL DEL PROCESO DE MACERACIÓN DE UNA CERVECERÍA ARTESANAL

Resumen Uno de los procesos involucrados en la fabricacion de cerveza es la maceracion. En este, se mezcla el grano con agua caliente para obtener un liquido denominado mosto. La calidad y sabor de la cerveza depende directamente de la proporcion de grano y agua empleados, asi como de la temperatura de esta ultima. En este articulo se describe la elaboracion de un simulador del proceso de maceracion de una cerveceria artesanal. El objetivo de este sistema es el de facilitar la realizacion de pruebas a los algoritmos que se emplearan para controlar las variables del sistema real. A partir de las ecuaciones de balance de materia y energia del proceso, el simulador entrega a un Controlador Logico Programable valores de temperatura, flujo y nivel. El controlador a partir de la informacion recibida, y empleando algoritmos PID, genera las senales de control para las valvulas virtuales del simulador. El intercambio de datos entre el equipo de control y el simulador se realiza por medio de un servidor OPC. El sistema desarrollado ha permitido validar y ajustar los parametros de control que se emplearan en el sistema real. Palabras Claves: Cerveceria Artesanal, Control de Procesos, Controlador Logico Programable, Interface Hombre Maquina, Simulacion de Procesos. SIMULATION AND CONTROL OF THE MACERATION PROCESS OF AN ARTISAN BREWERY Abstract One of the phases involved in brewing is the mashing process. In this, the grain is mixed with hot water to obtain a liquid called wort. The quality and taste of the beer depends directly on the proportion of grain and water used, as well as its temperature. In this paper a simulator of the mashing process of a craft brewery is presented. The objective of this system is to facilitate the testing of the algorithms that will be used to control the variables of the real system. From a mass and energy balance of the process, the simulator delivers to a Programmable Logic Controller (PLC) temperature, flow and level values. Based on the information received, and using PID algorithms, the PLC generates the control signals for the virtual valves of the simulator. Data exchange between the control unit and the simulator is via an OPC Server. The developed system has allowed to validate and adjust the control parameters that will be used in the real system Keywords : C raft Brewery, Human Machine Interface, Process Control, Process Simulation, Programmable Logic Controller.
The Role of Prices Fairness on Intention to Online Transactions on Students in Yogyakarta

This study aims to identify the effect of perceived prices on the intention to shop online. The sample in this study was students in Yogyakarta aged 17-24 years. The study sample of 100 people was collected using a convenience sampling technique guided by a questionnaire. Statistical analysis uses the structural equation model with split samples that distinguish samples that have high and low perceived prices. The growth of online shopping is in line with the growth of internet usage because the increase in internet usage is driving the growth of online shopping. Adolescents have high growth in internet usage, so the phenomenon of online teen shopping is interesting to study. The results of the study indicate that before perceived prices moderate the behavior of online shopping, perceived benefits and perceived risk influence the intention of online shopping. After perceived prices, moderate online shopping behavior, high perceived price groups, perceived benefits and perceived risk influence the intention of online shopping. Low perceived price group, perceived risk does not affect the intention of online shopping; perceived benefits affect the intention of online shopping. The low perceived price group indicates that product prices in online stores are relatively affordable and are considered more profitable than brick and mortar stores. The price of online shopping perceptions is profitable so that customers benefit compared to shopping at conventional stores. The results of this study can be an alternative to developing a strategy to increase the intention of online shopping by considering perceived prices as variables that moderate the intention of shopping online. Research on online shopping behavior in adolescents is important because growth in the number of internet users is increasing. Suggestions for further research by increasing the number of samples and dividing based on economic and social structure, because the income variable can explain its role in online shopping behavior. Keywords—perceived benefits; perceived risk; perceived price; intention to shop online
SureMap: Versatile, Error Tolerant, and High Sensitive Read Mapper

SureMap is a versatile, error tolerant and high sensitive read mapper which is able to map “difficult” reads, those requiring many edit operations to be mapped to the reference genome, with acceptable time complexity. Mapping real datasets reveal that many variants unidentifiable by other mappers can be called using Suremap. Moreover SureMap has a very good running time and accuracy in aligning very long and noisy reads like PacBio and Nanopore against reference genome.
Nutritional Value and Associated Potentials Risks of Seafood Consumption

Seafood provides essential nutrients to the body. A study funded by CDC found that eating seafood for essential Omega-3 fatty acids can prevent 84,000 deaths each year [1-3]. According to a Harvard study, 3-ounce servings of fatty fish a week reduces the risk of dying from heart disease by nearly 40% [4]. Eating 8 two servings of fish per week during pregnancy can improve baby’s IQ, cognitive development, and eye health [5,6]. Older adults with the highest fish consumption live and average of 2.2 years longer [7]. But all these statements possess another side of the coin. Food-born poisoning, mercury-lead-arsenic-cadmium poisoning, exposure to polycyclic aromatic hydrocarbons (PAHs) raised the issue of safety with aberrant consumption of seafoods. Seafood choices that are very low in mercury include: salmon, sardines, pollock, flounders, cod, tilapia, shrimp, oysters, clams, scallops and crab. The U.S. Food and Drug Administration (FDA) and Environmental Protection Agency (EPA) have developed directions to help consumers minimize risks that could be associated with several pollutants (specially mercury) in seafood.
Diversity Management in Academic Business Venturing: Empirical Evidences from Italian Universities

Academic management could be seen as a significant factor in exploiting university intellectual property through a business venture. Although several studies recognized entrepreneurial abilities and skills as key drivers of start-up economic success in high-technology sectors, only a few of them focused on academic start-ups performance considering the top management composition. Accordingly, the aim of this work was to investigate the impact of diversity management on academic start-ups financial performance, focusing on academic members in board of directors from a resource-based perspective. In particular, we carried out a cross-sectional analysis bordering our study to 136 university spin-offs established in southern Italy. Our findings showed that diversity management in academic business venturing increases the economic performance of university spinoffs. Specifically, a well-diversified academic top management according to functional diversity as well as academic position impacts positively on academic start-ups economic growth while scientific background heterogeneity seems to lower the economic performance. International Journal of Academic Research in Business and Social Sciences Vol. 9 , No. 3, March, 2019, E-ISSN: 2 22 2 -6990 © 2019 HRMARS 45
Side Information Mitigation with new Phase Sequence for Hybrid PTS Scheme

This paper focus on presenting a new phase sequence based hybrid PTS approach for OFDM systems to mitigate the problem of PAPR without use of side information. The proposed approach is the exponential constant multiplied for each phase vector so that it can accommodate more number of sub carriers. The modified phase vectors are then multiplied to the original phase vectors so as to obtain a modified version of phase vectors that includes an offset. Experimental results shows that the PAPR is reduced about 04~0.8 db when compared against the traditional PTS scheme deployed for Hybrid systems.
Performance of Environmental and Energy Audit for Manufacturing Industrial Buildings.

Environmental and energy audit of industrial building is important as it may help in providing a comfortable workplace for the staff as well as to observe the company’s environmental practices during operational hours while managing the energy usage in an efficient manner. It is also important in ensuring the company comply with applicable laws and regulations This paper discusses on the environmental and energy audit to identify the performance of environmental and energy efficiency in two manufacturing industrial buildings with heavy machineries. Analyses on the energy performance, visual comfort and thermal improvement including recommended solutions for optimization of energy efficiency and environmental aspects of the two buildings are presented. Energy efficiency and environmental aspects covered in this audit study are the illuminance of the building, indoor building temperature, relative humidity and carbon dioxide (CO2) percentage in indoor air quality. Jabatan Kerja Raya (JKR) standards is used as a benchmark to observe the illuminance of the buildings, Malaysian Standard 1525 (MS1525) is used as a quality control for temperature and relative humidity, while Department of Occupational Safety and Health, 2005 (DOSH 2005) is used as a quality control for CO2 percentage in air. Based on the results from the audit, the performance for both industrial building is compared. It was found that the energy efficiency and environmental performance for Factory A is better than Factory B.
Re-Think Monitoring Services for 5G Network: Challenges and Perspectives

The 5G promise of accelerated data transmission, low-latency, wider coverage, and reliability enables new use cases such as mission critical and enhanced Mobile Broadband (eMBB) services. For accelerating massive growth, the cloud native transformation results in processes and workflows that fully take advantage of the 5G platform. Hence, with the new requirements, new scenarios, and massive technology transformation, the monitoring services for the 5G should be re-designed. This paper identifies the new challenges for defining monitoring services in 5G network and presents 10 design principles to meet the monitoring needs. Then, by following the analysis of these new monitoring challenges for the 5G, we review seven open source monitoring tools with the proposed design principles and presents our perspectives.
Animal Resource Use Related to Socioenvironmental Change among Mesa Verde Farmers

Frameworks derived from evolutionary ecology are often applied to hunter-gatherers but less often to societies representing the transition to agriculture. Our case study of Mesa Verde subsistence utilizes optimal foraging theory models from evolutionary ecology to study small animal resource use during the Pueblo II to Terminal Pueblo III periods. Turkey and lagomorph indices have been used extensively in the Southwest, but these measures can be more explicitly tied to foraging theory. We frame these indices as measures of changing patch exploitation using faunal data from eleven sites in the McElmo Dome area of the Mesa Verde region and contextualize our results within the greater regional assemblage. Our results indicate that turkey husbandry became increasingly important at the same time that wild game populations were depressed by harvest pressure. Just before the region was depopulated, however, turkey and lagomorph populations declined, possibly as a result of deteriorating environmental conditions.
New Developments of ROOT Mathematical Software Libraries

LHC experiments obtain needed mathematical and statistical computational methods via the coherent set of C++ libraries provided by the Math work package of the ROOT project. The new recent developments of this work package are presented. These developments include a new core library, MathCore, which has been developed as a self contained component encompassing basic mathematical functionality, MathMore providing a complementary and expanded set of C++ mathematical functions and algorithms based on a GNU Scientific Library, and SMatrix, a new liner algebra package optimized for small size matrices. An overview of the ROOT Mathematical libraries describing in greater detail the functionality and design of the packages recently introduced in ROOT is shown.
Semantic Vector Spaces for Broadening Consideration of Consequences

Reasoning systems with too simple a model of the world and human intent are unable to consider potential negative side effects of their actions and modify their plans to avoid them (e.g., avoiding potential errors). However, hand-encoding the enormous and subtle body of facts that constitutes common sense into a knowledge base has proved too difficult despite decades of work. Distributed semantic vector spaces learned from large text corpora, on the other hand, can learn representations that capture shades of meaning of common-sense concepts and perform analogical and associational reasoning in ways that knowledge bases are too rigid to perform, by encoding concepts and the relations between them as geometric structures. These have, however, the disadvantage of being unreliable, poorly understood, and biased in their view of the world by the source material. This chapter will discuss how these approaches may be combined in a way that combines the best properties of each for understanding the world and human intentions in a richer way.
Information Need and the Beginning of Information Search

Information need is the start state that motivates an individual to commence information search. Information search is direct human to information system interaction where the individual is purposefully setting out to conduct an information search—with an explicit purpose for finding information. Search engines such as Google, Yahoo or Bing are information systems, but there are also reference or scholarly information systems such as PsycINFO or PubMed. We now conduct information search on various devices, including mobile phones and tablets. Information search has become a signature activity of our Information Age. The problem is that with the present conception of information need that underlies information search system design, information systems only do one type of information search well, called a command search (where we know the form of the answer before we start the search). As we shall see, an individual requires a certain amount of knowledge to successfully formulate such a search. Especially among disadvantaged groups in society, information exploration to formulate a new idea, or in the case of students researching a new topic for a school assignment or writing an essay, this type of exploratory search is not well served by present information systems. The investigation and specification of the concept of information need as a door to creating truly effective information search systems is the focus of this article.
Principals Partnering to Build a Vision for School Mathematics

Today more than ever principals and teachers are called upon to provide a rigorous mathematics program so that every student reaches mathematical proficiency. Schools in Virginia, as well as nationally, need support to increase their capacity in order to provide every student with mathematics learning experiences to attain the five strands of mathematics proficiency: 1) understanding, 2) computing, 3) applying, 4) reasoning, and 5) engaging [ 1]. The Virginia Mathematics Specialist Initiative (VMSI) began over fifteen years ago and continues today under the auspices of the Virginia Mathematics and Science Coalition (VMSC) and with endorsements from the Virginia Council of Teachers of Mathematics (VCTM) and the Virginia Council of Mathematics Supervisors (VCMS). The VMSI efforts have included securing funding from the State Council of Higher Education (SCHEY) and four National Science Foundation (NSF) grants to create, among other things, a model preparation program for Mathematics Specialists to enable them to provide school-based support for schools to improve their mathematics program. This article presents key events within the VMSI that revealed the critical role a principal plays in leading the school's mathematics program, and the need for a principal to engage in professional learning opportunities to increase his/her capacity to provide effective leadership for mathematics education. In addition, a description is shared of the subsequent evolution to a well-defined Principals Partnering Institute in order to develop principals' capacity to lead and share leadership for a rigorous mathematics program that prepares mathematically proficient students. Lastly, a description of curriculum that supports the Principals' Institutes and the efforts to take the Institutes statewide is presented.
Visual Persons Behavior Diary Generation Model based on Trajectories and Pose Estimation

The behavior pattern of persons was the important output of the surveillance analysis. This paper focus on the generation model of visual person behavior diary. The pipeline includes the person detection, tracking, and the person behavior classify. This paper adopts the deep convolutional neural model YOLO (You Only Look Once)V2 for person detection module. Multi person tracking was based on the detection framework. The Hungarian assignment algorithm was used to the matching. The person appearance model was integrated by HSV color model and Hash code model. The person object motion was estimated by the Kalman Filter. The multi objects were matching with exist tracklets through the appearance and motion location distance by the Hungarian assignment method. A long continuous trajectory for one person was get by the spatial-temporal continual linking algorithm. And the face recognition information was used to identify the trajectory. The trajectories with identification information can be used to generate the visual diary of person behavior based on the scene context information and person action estimation. The relevant modules are tested in public data sets and our own capture video sets. The test results show that the method can be used to generate the visual person behavior pattern diary with certain accuracy.