Miracle-dz/UniFAR-FTUs huggingface dataset:
MultiAgent GeoSimulation of human behaviors in microscale geographic environments : The case of the shopping behavior in a mall

The past decade has seen a rising interest in, and strong development of, simulation applications of human behaviors, with special focus on pedestrian behavior in spatial environments. The recent generation of models employs a multi-agent system (MAS) based approach in order to represent the movements of humans in geographic environments. Our literature review revealed the existence of several research works which use MAS to simulate urban phenomena or pedestrian/crowd movements in largescale geographic environments. These research works succeed to measure and model these phenomena and help to understand the way in which people move in geographic environment or urban setting. But, there are few MAS-based research studies attempting to simulate human ‘knowledge-based’ behaviors in micro-scale geographic environments (e.g., malls, shops, hotels, airports, etc.). The main aim of our research is to fill this gap, and to examine the applicability of MAS technique to simulate human ‘knowledge-based’ behaviors in micro-scale geographic environments. As a case study we developed a 2D3D simulation prototype of human shopping behavior in a mall. The results of our research show that the multi-agent geo-simulation approach has a good potential to simulate human behaviors in micro-scale geographic environments. Hence, this technique can be used easily in order to simulate other kinds of behaviors in different micro-scale geographic environments.
Modeling of custom-designed arithmetic components for ABL normalization

Arithmetic bit-level (ABL) normalization has been proven a viable approach to formal property checking of datapath designs. It is applicable where arithmetic components and sub-components can be identified at the register-transfer (RT) level of the design and the property. This paper extends the applicability of ABL normalization to cases where some of the arithmetic components are custom-designed entities, e.g., specified using Boolean equations or gates. We transform these entities into ABL building blocks using Reed-Muller expressions as an intermediate representation. We show how Boolean logic expressed in Reed-Muller form can be automatically transformed into ABL components so that such logic blocks can be treated together with the remaining ABL components in a subsequent normalization run. The approach is evaluated on a number of industrial designs generated by a commercial arithmetic module generator.
Investigating the Practice of Television Branding: An Afterword on Methodology

In this afterword the editor of Networking Knowledge concludes the current issue by considering some of the methodological questions, problems and innovations that are raised by the preceding articles. With a view to provoking further thought and contributions on the complex and fast-developing subject of television branding, it describes two fundamental methodological requirements. Firstly, it argues that branding itself must be treated as a collaborative and fluidly defined industrial practice that is reliant on a relational network of various companies, professions and individual workers. Secondly, given that no television brand exists solely on television a fundamentally transmedia scope of analysis is necessary, not just for effective critical analysis of the ‘finished’ brand text, but to properly understand that underlying practice. By discussing some of the author’s (more and less successful) experiences of trying, as a junior academic, to get to grips with the practice of television branding, this piece considers the practical and epistemological obstacles and opportunities presented by engagement with industrial professionals on the level of their everyday work and self-identity.
Gauge theories on hyperbolic spaces and dual wormhole instabilities

We study supergravity duals of strongly coupled four-dimensional gauge theories formulated on compact quotients of hyperbolic spaces. The resulting background geometries are represented by Euclidean wormholes, which complicate establishing the precise gauge theory/string theory correspondence dictionary. These backgrounds suffer from the nonperturbative instabilities arising from the $D3\overline{D3}$ pair-production in the background four-form potential. We discuss conditions for suppressing this Schwingerlike instability. We find that Euclidean wormholes arising in this construction develop a naked singularity before they can be stabilized.
Photorhabdusluminescens subsp. namnaonensis subsp. nov., isolated from Heterorhabditisbaujardi nematodes.

A lightly yellowish-pigmented, oxidase-negative bacterial strain (PB45.5T) isolated from the Nam Nao district of Phetchabun in central Thailand was investigated to determine its taxonomic position. Cells of the isolate showed a rod shaped appearance. The strain stained Gram-negative. Strain PB45.5T shared highest 16S rRNA gene sequence similarity with the type strains of Photorhabdus luminescens subsp. akhurstii (99.2 %) and Photorhabdus luminescens subsp. hainanensis (99.1 %) and lower similarities to all other Photorhabdus luminescens subspecies (<98.0 %). Multilocus sequence analysis (MLSA) based on concatenated partial recA, dnaN, gltX, gyrB and infB gene sequences confirmed the affiliation obtained by 16S rRNA gene sequence analysis but showed a clear distinction of PB45.5T from the closest related type strains. Strain PB45.5T shared only 96.9 % sequence similarity (concatenated nucleotide sequences) with P. luminescens subsp. akhurstii FRG04T and 96.8 % with P. luminescens subsp. hainanensis C8404T. The fatty acid profile of the strain consisted of the major fatty acids C14 : 0, C16 : 0, C17 : 0 cyclo, C16 : 1ω7c and/or iso-C15 : 0 2-OH, and C18 : 1ω7c. The MLSA results and the differential biochemical and chemotaxonomic properties showed that strain PB45.5T represents a novel P. luminescens subspecies, for which the name Photorhabdus luminescens subsp. namnaonensis subsp. nov. (type strain PB45.5T=LMG 29915T=CCM 8729T) is proposed.
Statistical median-based classifier model for keystroke dynamics on mobile devices

User authentication on mobile devices, smartphones, and tablets have received considerable interest lately due to the increasing dependence on these devices for storing sensitive data. Keystroke dynamics is a biometrics method of authentication that has the advantage of being hardware independent. However, enhancements are needed to make it a viable security solution on mobile devices. This paper presents a statistical median-based classifier model to serve as an anomaly detector in keystroke dynamics authentication on mobile devices. The proposed classifier uses the timing features of keystroke dynamics as well as touch features of mobile devices. Formulation and evaluation of proposed classifier have been influenced by an empirical analysis of a public dataset of keystroke dynamics on Android platform. The classifier considers the distance from the median of a feature element as an indicator of whether it relates to a genuine user or an impostor, based on previous training data of genuine users. The formula for measuring the acceptable distance to the median is derived from the distance between the minimum value of a feature element and its median. The model was evaluated through comparison with previous detectors, using the same dataset, and the results have shown a significant reduction in the equal-error-rate.
Reducing garbage collection overhead of log-structured file systems with GC journaling

The log-structured file system (LFS) writes all modifications to storage sequentially with append-only logging scheme. This characteristic of LFS is very advantageous to flash storages since the flash memory does not permit in-place overwrite. However, LFS has a high garbage collection (GC) overhead. In particular, under the lazy metadata update scheme, each GC process should invoke the high-cost checkpointing which flushes all the dirty metadata and normal data to storage. The long GC latency will degrade the response times of user requests. In this paper, we propose a GC journaling technique, which journals only the file system changes relevant to the GC process without invoking the high cost checkpointings.
Overweight and obesity risk factors in children aged 3–7 years: a prospective study in the city of Kraków

Abstract Background: Early identified factors determining overweight and obesity in childhood may be important for preventive purposes. Aim: To evaluate the influence of the commonly accepted and hypothetical risk factors for overweight/obesity and their mutual relations, using the method of classification trees. Subjects and methods: The data were collected during anthropometric surveys carried out in 2010 in Kraków, Poland. The study involved 1042 pre-school children aged 3–7 years. BMI was calculated for all subjects classified as underweight, normal body weight and overweight, according to the IOTF cut-offs. In order to determine the correlation between genetic, environmental and lifestyle factors and the child’s BMI, this study used information from a questionnaire filled in by the mothers. Results: Relatively high birth weights, relatively long times of breastfeeding and father’s obesity were conducive to the appearance of overweight and obesity in boys. Other overweight risk factors included alcohol consumption by the mother, her low education level and a relatively low mother’s age at birth. Among girls, factors leading to overweight included high birth weight, high father’s BMI and family situation reported as below very good by their mothers. It was found that a moderate duration of breastfeeding is conducive to a normal weight of children at pre-school age, although in boys this regularity is better documented. Conclusions: The biological, social and lifestyle factors related to the child’s mother significantly determined the child’s BMI.
Biomechanical properties of human tibias in long-term spinal cord injury.

Long-term spinal cord injury (SCI) profoundly alters skeletal structure and function. In this study, the biomechanical properties of tibias from persons with SCI and from individuals closely matched in age and size but without SCI were quantified at both the structural and material levels. Nondestructive torsion tests were performed to determine apparent shear moduli for the tibia. The cortical thicknesses and polar moment of inertia were determined numerically. Four-point bending tests were performed to determine flexural modulus of elasticity on cortical bone specimens of the tibia. The apparent shear moduli of the SCI tibias were found to be lower than the non-SCI tibias (p < 0.05). The cortical thicknesses of the SCI tibias were significantly thinner than the control tibias (p < 0.05), while the polar moment of inertia showed no significant differences between control and SCI tibial cross sections (p > 0.05). The flexural modulus of elasticity of the cortical bone specimens were lower in the SCI tibias than the controls (p < 0.05). These differences suggest that tibias may undergo micro-structural changes as well as structural adaptation following SCI, which alter their mechanical properties.
Maternal serum adiponectin multimers in preeclampsia

Abstract Objective: Obesity, insulin resistance, and dyslipidemia are associated with preeclampsia. Recently, “adipose tissue failure”, characterized by dysregulation of adipokine production, has been implicated in the pathophysiology of these metabolic complications. Adiponectin, an insulin-sensitizing, anti-atherogenic, anti-inflammatory and angiogenic adipokine, circulates in oligomeric complexes including: low-molecular-weight (LMW) trimers, medium-molecular-weight (MMW) hexamers and high-molecular-weight (HMW) isoforms. These multimers exert differential biological effects, and HMW to total adiponectin ratio (SA) has been reported to be a specific marker of adiponectin activity. The aim of this study was to determine whether preeclampsia is associated with changes in circulating adiponectin multimers. Study design: This cross-sectional study included women with: 1) normal pregnancy (n=225); and 2) patients with mild preeclampsia (n=111). The study population was further stratified by first trimester BMI (normal weight <25 kg/m2 vs. overweight/obese ≥25 kg/m2). Serum adiponectin multimers (total, HMW, MMW and LMW) concentrations were determined by ELISA. Non-parametric statistics were used for analysis. Results: 1) The median maternal HMW and LMW adiponectin concentrations were lower in patients with preeclampsia than in those with normal pregnancies (P<0.001 and P=0.01, respectively); 2) patients with preeclampsia had a lower HMW/total adiponectin ratio (P<0.001) and higher MMW/total adiponectin and LMW/total adiponectin ratios than those with a normal pregnancy (P<0.001 and P=0.009, respectively); 3) the presence of preeclampsia was independently associated with lower maternal serum HMW adiponectin concentrations (P=0.001) and with a low HMW/total adiponectin ratio (P<0.001) after correction for maternal age, maternal BMI, the difference in BMI between the third and the first trimester, and gestational age at sampling; and 4) overweight/obese pregnant women had a lower median total and HMW adiponectin concentration than normal weight pregnant women among women with normal pregnancies, but not among those with preeclampsia. Conclusion: 1) Preeclampsia is associated with a lower median concentration of the HMW adiponectin isoform, the most active form of this adipokine, and a low HMW/total adiponectin ratio, a specific marker of adiponectin biologic activity; 2) in contrast to normal pregnancy, preeclampsia is not associated with decreased circulating adiponectin multimers in overweight/obese individuals suggesting altered regulation of this adipokine in preeclampsia; 3) collectively, these findings suggest that preeclampsia is characterized by alterations in adiponectin multimers and their relative distribution implying a role for adiponectin multimers in the mechanism of disease in preeclampsia.
The Role of Cyclin D 1 in the Chemoresistance of Mantle Cell Lymphoma

Elevated cyclin D1 (CCND1) expression levels in mantle cell lymphoma (MCL) are associated with aggressive clinical manifestations related to chemoresistance, but little is known about how this important proto-oncogene contributes to the resistance of MCL. Here, we showed that RNA interference-mediated depletion of CCND1 increased caspase-3 activities and induced apoptosis in the human MCL lines UPN-1 and JEKO-1. In vitro and xenotransplant studies revealed that the toxic effect of CCND1 depletion in MCL cells was likely due to increase in histone H2AX phosphorylation, a DNA damage marker. DNA fiber analysis suggested deregulated replication initiation after CCND1 depletion as a potential cause of DNA damage. Finally, in contrast to depletion or inhibition of cyclin-dependent kinase 4, CCND1 depletion increased chemosensitivity of MCL cells to replication inhibitors hydroxyurea and cytarabine. Our findings have an important implication for CCND1 as a potential therapeutic target in MCL patients who are refractory to standard chemotherapy. ARTICLE HISTORY Received 21 March 2016 Revised 13 May 2016 Accepted 30 May 2016
Review Paper: The Impact of Computerized Provider Order Entry Systems on Inpatient Clinical Workflow: A Literature Review

Previous studies have shown the importance of workflow issues in the implementation of CPOE systems and patient safety practices. To understand the impact of CPOE on clinical workflow, we developed a conceptual framework and conducted a literature search for CPOE evaluations between 1990 and June 2007. Fifty-one publications were identified that disclosed mixed effects of CPOE systems. Among the frequently reported workflow advantages were the legible orders, remote accessibility of the systems, and the shorter order turnaround times. Among the frequently reported disadvantages were the time-consuming and problematic user-system interactions, and the enforcement of a predefined relationship between clinical tasks and between providers. Regarding the diversity of findings in the literature, we conclude that more multi-method research is needed to explore CPOE's multidimensional and collective impact on especially collaborative workflow.
Multi-Biometric Systems: A State of the Art Survey and Research Directions

Multi-biometrics is an exciting and interesting research topic. It is used to recognizing individuals for security purposes; to increase security levels. The recent research trends toward next biometrics generation in real-time applications. Also, integration of biometrics solves some of unimodal system limitations. However, design and evaluation of such systems raises many issues and trade-offs. A state of the art survey of multi-biometrics benefits, limitations, integration strategies, and fusion levels are discussed in this paper. Finally, upon reviewing multi-biometrics approaches and techniques; some open points are suggested to be considered as a future research point of interest.
LMI Approach for Stochastic Stability of Markovian Jumping Hopfield Neural Networks with Wiener Process

This paper deals with the stochastic stability problem for Markovian jumping Hopfield neural networks (MJHNNs) with time-varying delays and Wiener process. Our attention is focused on developing sufficient conditions on stochastic stability, even if the system contains Wiener process. All the obtained results are presented in terms of linear matrix inequality. The efficiency of the proposed results is demonstrated via two numerical examples
Simulation approach to Web system dependability analysis

The paper presents an approach to dependability ana lysis of Web based systems. The analyzed system consists of tasks that use data, obtained in intera ction with other tasks, to produce responses. Durin g system exploitation, various incidents can occur due to so ftware defects or security attacks. Also the system elements has to fulfill performance parameters (for example to give answers within given time limits). A softwa re simulation software was developed based on the PRIM E SSF framework. It allows to calculate dependabili ty metrics: average user response time for different s ys em configuration and different input load (numbe r of users accessing the system at the same time). The s ystem simulation takes into account the consumption of computational resources (host processing power). A case study with exemplar simulation results are giv n.
Identifying Variables Predictive of Endorsing a European Identity

A study was conducted with university students in six European countries to identify variables predictive of the strength of endorsement of a European identity. Using identity process theory, variables regarding the perceived continuity, distinctiveness, and self-efficacy of a European identity were hypothesized to predict endorsement of such an identity. Differences were found among the six national student samples with respect to the extent to which a European identity is characterized by continuity and self-efficacy, and the extent to which there was endorsement of that identity. Across samples, the hypothesized relationships of perceived continuity, distinctiveness, and self-efficacy to the strength of endorsement of a European identity were supported.
Cultural, Media, and Peer Influences on Body Beauty Perceptions of Mexican American Adolescent Girls

Social and cultural values are believed to play a role in the types of bodies that adolescent girls consider beautiful and desirable. In this article, the authors analyzed qualitative interviews from 27 Latina mid-adolescent girls (ages 14 to 16) regarding their perceptions of what body shapes and sizes are valued in Latino culture and European American culture, the nature of their conversations with friends about appearance, and whether boys and the larger community consider large body sizes to be acceptable. There was an overwhelming consensus that a slender but curvy figure is the ideal body type in Latino culture and that European Americans value unnaturally thin physiques. Themes drawn from the adolescents’ responses point to their friends’ opinions, perceptions of boys’ dating preferences, norms in their communities, and body shapes of female celebrities in Latino media outlets as sources of beauty and desirability. These findings have implications for body image intervention programs that expose Latina girls to multiple possibilities of beauty when their physical body shapes exclude them from attaining the ideal that they perceive is appreciated in Latino culture.
Category Transfer in Sequential Causal Learning: The Unbroken Mechanism Hypothesis

The goal of the present set of studies is to explore the boundary conditions of category transfer in causal learning. Previous research has shown that people are capable of inducing categories based on causal learning input, and they often transfer these categories to new causal learning tasks. However, occasionally learners abandon the learned categories and induce new ones. Whereas previously it has been argued that transfer is only observed with essentialist categories in which the hidden properties are causally relevant for the target effect in the transfer relation, we here propose an alternative explanation, the unbroken mechanism hypothesis. This hypothesis claims that categories are transferred from a previously learned causal relation to a new causal relation when learners assume a causal mechanism linking the two relations that is continuous and unbroken. The findings of two causal learning experiments support the unbroken mechanism hypothesis.
The Lysine-specific Demethylase 1 Is Required for Cell Proliferation in Both p53-dependent and -independent Manners*

The lysine-specific demethylase 1 (LSD1), a component of several histone deacetylase complexes, plays an important role in chromatin remodeling and transcriptional regulation. Here, we generated multiple cell lines in which LSD1 is inducibly expressed or knocked down and found that LSD1 is required for cell proliferation. In addition, we found that deficiency in LSD1 leads to a partial cell cycle arrest in G2/M and sensitizes cells to growth suppression induced by DNA damage or MDM2 inhibition in a p53-dependent manner. We also showed that LSD1 deficiency delays p53 stabilization induced by DNA damage, leading to a delayed induction of p21 and MDM2. Finally, we performed a microarray study and identified several novel LSD1 target genes, including S100A8, which encodes a calcium-binding protein, and DEK, a proto-oncogene. Taken together, we uncovered that LSD1 has a pro-oncogenic function by modulating pro-survival gene expression and p53 transcriptional activity.