Miracle-dz/UniFAR-FTUs huggingface dataset:
Utilizing Multi Agent Simulation to Explore Cities

Cities are complex systems, with many dynamically changing parameters and large numbers of discrete actors. The heterogeneous nature of cities, make it difficult to generalize localized problems from that of city-wide problems. Computer modeling is becoming an increasingly important tool when examining how cities operate. Agent-based models allow for testing of different hypotheses and theories for urban change, thus leading to a greater understanding of how cities work. This paper propose a multi-agents systems/simulation model based on integration among parallel processing, coupling with vector GIS,temporal logic analysis,multi-objective evolution optimization and the integration with the rule engine. The efficiency of our approach is shown through some experimental results, which highlights how different theories can be incorporated into one model and demonstrates how the well-known principle that local action can give rise to global pattern but also how such pattern emerges as the consequence of positive feedback and learned behavior.
First-Principles Based Kinetic Analysis of the Electrochemical Discharge of Water on Pt3M Skin Alloys

Polymer electrolyte membrane fuel cells (PEMFC) are promising energy conversion devices in which the chemical energy of low-carbon or zero carbon fuels (e.g. methanol or hydrogen) is converted to electricity at low temperature. A major obstacle for wide-scale deployment of PEMFC technology is the development of active, inexpensive, and stable catalysts for the oxygen-reduction reaction (ORR). Platinum and Pt-based alloys currently set the standard for ORR catalysts as they are active and stable, is for improvement on issues. Pt-skin alloys of Pt 3 M reduction subtle geometric the second or third atomic layers with a transition metal M a significant improvement in ORR catalytic activity.
Susceptibility and signs associated with mouse adenovirus type 1 infection of adult outbred Swiss mice

Adult Swiss outbred mice from two sources had a nearly 6,000-fold difference in susceptibility to mouse adenovirus type 1-induced disease. This difference was not attributable to differential organ tropism. Signs associated with mouse adenovirus type 1 infection that have not been previously reported are described at the clinical, gross pathological, and histological levels.
Multi-Task Gaussian Processes for Multivariate Physiological Time-Series Analysis

Gaussian process (GP) models are a flexible means of performing non-parametric Bayesian regression. However, GP models in healthcare are often only used to model a single univariate output time-series, denoted as single-task GPs (STGP). Due to an increasing prevalence of sensors in healthcare settings, there is an urgent need for robust multivariate time-series tools. Here, we propose a new method using multi-task GPs (MTGPs) which can model multiple correlated multivariate physiological time-series simultaneously. The flexible MTGP framework can learn the correlation within multiple signals even though they might be sampled at different frequencies and have training sets available for different intervals. Furthermore, prior knowledge of any relationship between the time-series such as delays and temporal behaviour can be easily integrated. A novel normalisation is proposed to allow interpretation of the various hyperparameters used in the MTGP. We investigate MTGPs for physiological monitoring with synthetic datasets and two real-world problems from the field of patient monitoring and radiotherapy. The results are compared to standard Gaussian processes and other existing methods in the respective biomedical application areas. In both cases, we show that our proposed framework learned the correlation between physiological timeseries efficiently, outperforming the existing state-of-the-art.
Stress Intensity Factor Calculations for the Compressor Blade with Half-Elliptical Surface Crack Using Raju-Newman Solution

Stress Intensity Factor Calculations for the Compressor Blade with Half-Elliptical Surface Crack Using Raju-Newman Solution This paper presents results of the stress intensity factor calculations for the compressor blade including a half-elliptical crack, subjected to vibration. In this analysis, the Raju-Newman empirical solution for stress intensity factor calculations in the rectangular plate with a half-elliptical flaw was used. The bending stress used in the Raju-Newman solution was computed for the real blade using the finite element method. The K-factor values were calculated only at one point of the crack front, where the crack tip contacts the free surface, because the crack length during experimental investigations was measured just in this direction. In order to determine the stress intensity factors for different crack sizes, ten diverse flaws in the blade were defined. Results of the experimental fatigue tests performed for the blade without preliminary defects showed that the cracks developed from the convex blade surface. On the blade fracture, the beach marks typical of the fatigue damage were visible. The dimensions of cracks in the rectangular plate were defined based on the beach marks shape. In the next part of the work, the stress intensity factor values were used as an input data into the Paris-Erdogan equation. As a result of this calculation, the crack growth rate for the compressor blade vibrating at constant amplitude was estimated. The results obtained were finally compared with the results of the experimental crack growth analysis performed for 1st stage compressor blades of the helicopter turbo-engine.
Energy-Efficient Time-Division Multiplexed Hybrid-Switched NoC for Heterogeneous Multicore Systems

NoCs are an integral part of modern multicore processors, they must continuously support high-throughput low-latency on-chip data communication under a stringent energy budget when system size scales up. Heterogeneous multicore systems further push the limit of NoC design by integrating cores with diverse performance requirements onto the same die. Traditional packet-switched NoCs, which have the flexibility of connecting diverse computation and storage devices, are facing great challenges to meet the performance requirements within the energy budget due to latency and energy consumption associated with buffering and routing at each router. In this paper, we take advantage of the diversity in performance requirements of on-chip heterogeneous computing devices by designing, implementing, and evaluating a hybrid-switched network that allows the packet-switched and circuit-switched messages to share the same communication fabric by partitioning the network through time-division multiplexing (TDM). In the proposed hybrid-switched network, circuit-switched paths are established along frequently communicating nodes. Our experiments show that utilizing these paths can improve system performance by reducing communication latency and alleviating network congestion. Furthermore, better energy efficiency is achieved by reducing buffering in routers and in turn enabling aggressive power gating.
Ibis: A Provenance Manager for Multi-Layer Systems

End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortunately this situation harms usability. For one thing, systems created independently tend to have disparate capabilities in terms of what metadata is retained and how it can be queried. If something goes wrong it can be very difficult to trace execution histories across the various sub-systems. One solution is to ship each sub-system’s metadata to a central metadata manager that integrates it and offers a powerful and uniform query interface. This paper describes a metadata manager we are building, called Ibis. Perhaps the greatest challenge in this context is dealing with data provenance queries in the presence of mixed granularities of metadata—e.g. rows vs. column groups vs. tables; mapreduce job slices vs. relational operators—supplied by different sub-systems. The central contribution of our work is a formal model of multi-granularity data provenance relationships, and a corresponding query language. We illustrate the simplicity and power of our query language via several real-world-inspired examples. We have implemented all of the functionality described in this paper.
Ev aluation of Colour Changed of Acrylic Resin Materials in the Different Solutions

Colour stability of acrylic resin materials for denture base is important in their clinical performance. Pr esent study e valuated the effect of material testing surface (rough and smooth), polymerization techniques (heat and auto-polymerized) and different solutions (coffee, tea, Turkish coffee, mouth wash and distilled water) on the colour stability of two acrylic resin materials. Thirty disks of each material (50 mm × 0.5 mm) were pr epared. The specimens of eac h ma terial were di vided in tw o groups. The first groups were abraded with silicon carbide paper. The second groups were polished with pumice and white diamond. Twentyfour specimens were e valuated before and after 1, 7 and 30 da ys of immersion in different staining solutions and distilled water. Six specimens were evaluated before and after 6, 12 and 24 h of immersion in mouth wash. Colour changes were monitored by using the UV/vis/NIR spectrophotometer. As a results, material testing surface, staining solutions and immersion time were significant factors that affected the colour stability (p < 0.001). The auto-polymerized acrylic resin specimens showed high levels of colour changes in Turkish coffee. The heat polymerized acrylic resin materials were more colour stable than auto-polymerized acrylic resin specimens.
Asymptotic analysis of discrete normals and curvatures of polylines

Accurate estimations of geometric properties of a smooth curve from its discrete approximation are important for many computer graphics and computer vision applications. To assess and improve the quality of such an approximation, we assume that the curve is known in general form. Then we can represent the curve by a Taylor series expansion and compare its geometric properties with the corresponding discrete approximations. In turn we can either prove convergence of these approximations towards the true properties as the edge lengths tend to zero, or we can get hints on how to eliminate the error. In this paper, we propose and study discrete schemes for estimating tangent and normal vectors as well as for estimating curvature and torsion of a smooth 3D curve approximated by a polyline. Thereby we make some interesting findings about connections between (smooth) classical curves and certain estimation schemes for polylines.
Mr. MIRA: Open-Source Large-Margin Structured Learning on MapReduce

We present an open-source framework for large-scale online structured learning. Developed with the flexibility to handle cost-augmented inference problems such as statistical machine translation (SMT), our large-margin learner can be used with any decoder. Integration with MapReduce using Hadoop streaming allows efficient scaling with increasing size of training data. Although designed with a focus on SMT, the decoder-agnostic design of our learner allows easy future extension to other structured learning problems such as sequence labeling and parsing.
Translation of “It” in a Deep Syntax Framework

We present a novel approach to the translation of the English personal pronoun it to Czech. We conduct a linguistic analysis on how the distinct categories of it are usually mapped to their Czech counterparts. Armed with these observations, we design a discriminative translation model of it, which is then integrated into the TectoMT deep syntax MT framework. Features in the model take advantage of rich syntactic annotation TectoMT is based on, external tools for anaphoricity resolution, lexical co-occurrence frequencies measured on a large parallel corpus and gold coreference annotation. Even though the new model for it exhibits no improvement in terms of BLEU, manual evaluation shows that it outperforms the original solution in 8.5% sentences containing it.
Chemical and biological study of the seeds of Eragrostis tef (Zucc.) Trotter

A chemical study of the red type of the seeds of Eragrostis tef (Zucc.) Trotter (Poaceae) led to the isolation of seven compounds from its ethanol extract, namely β-sitosterol (1), β-amyrin-3-O-(2′-acetyl(glucoside (2), β-sitosterol-3-O-β-D-glucoside (3), naringenin (4), naringenin-4′-methoxy-7-O-α-L-rhamnoside (5), eriodictyol-3′,7-dimethoxy-4′-O-β-D-glucoside (6) and isorhamnetin-3-O-rhamnoglucoside (7), which are reported for the first time in the genus Eragrostis. This is the first report for the isolation of compounds (2) and (6) in nature. The isolated compounds were identified using different spectroscopic methods (EIMS, UV, 1H NMR, 13C NMR, HMQC and HMBC). A proximate analysis revealed the high nutritive value of the seeds: carbohydrates (57.27%), protein (20.9%), essential amino acids (8.15%) with major leucine and lysine (1.71 and 1.35%, respectively), vitamin B1 (1.56 mg/100 g) and potassium and calcium (32.4 and 9.63%, respectively). The seeds yielded 22% w/w of fixed oil rich in unsaturated fatty acids (72.46%), among which oleic acid, was predominant (32.41%), followed by linolenic acid (23.83%). The ethanolic extract and fixed oil of the seeds exhibited anti-hyperlipedaemic and anti-hyperglycaemic activities. Oral administration of the fixed oil for 10 days resulted in a rise in serum calcium levels in rats.
Design of channel-estimate-dependent space-time block codes

So far, the assumption of no channel knowledge at the transmitter has generally been inherent in the design of space-time codes. This paper, on the other hand, assumes that quantized channel information obtained from a feedback link is available at the transmitter and investigates how such channel information can be incorporated into the design of unstructured space-time block codes. Efficient codes are found by means of a gradient search over a continuous alphabet. Simulation results for an uncorrelated Rayleigh fading scenario using two and four transmit antennas and one receive antenna show the benefits of the code designs.
A Coupled Transport and Chemical Model for Durability Predictions of Cement Based Materials

The use of multi-physics numerical models to estimate di erent durability indicators and determine the service life of cement based materials is increasing. Service life documentation for concrete used in new infrastructure structures is required and the service life requirement for such structures is often in the range from 80-125 years. Numerical multi-physics models are valuable tools when long term predictions are of interest. The multi-physics models needs to be theoretical sound in order to account for all the essential coupled processes that occurs. The numerical approach and algorithm needs to be robust in order to meet the increasing requirements for the detail level for the simulations and increasing long term simulations. A coupled reactive mass transport model for concrete is established and di erent simulations of concrete exposed to di erent service environments are conducted. The theoretical background for the model is to a large extent based on the hybrid mixture theory, which is a modern continuum approach. The hybrid mixture theory description considers the individual phases and species, building up the whole mixture, with individual di erential equations. The di erential equations includes exchange terms between the phases and species accounting for the exchange of physical quantities which are essential for a stringent physical description of concrete. Balance postulates for, mass, momentum and energy, together with an entropy inequality are studied within mixture theories. Special attention is paid to the criteria for the exchange terms in the studied balance postulates. A simple case of mixture theory is used to demonstrate how constitutive assumptions are used to obtain the governing equations for a speci c model. The governing equation system used for the multi-physics durability model, established in this work, is an extended version of the Poisson Nernst Planck system of equations. The extension of the Poisson Nernst Planck system includes a two phase description of the moisture transport as well as chemical interactions. The vapor and liquid contents are coupled by a sorption hysteresis function and the chemical equilibrium is solved in terms of mass actions laws using the geochemical code phreeqc. The overall durability
Delayed Mesoderm and Erythroid Differentiation of Murine Embryonic Stem Cells in the Absence of the Transcriptional Regulator FUBP1

The transcriptional regulator far upstream binding protein 1 (FUBP1) is essential for fetal and adult hematopoietic stem cell (HSC) self-renewal, and the constitutive absence of FUBP1 activity during early development leads to embryonic lethality in homozygous mutant mice. To investigate the role of FUBP1 in murine embryonic stem cells (ESCs) and in particular during differentiation into hematopoietic lineages, we generated Fubp1 knockout (KO) ESC clones using CRISPR/Cas9 technology. Although FUBP1 is expressed in undifferentiated ESCs and during spontaneous differentiation following aggregation into embryoid bodies (EBs), absence of FUBP1 did not affect ESC maintenance. Interestingly, we observed a delayed differentiation of FUBP1-deficient ESCs into the mesoderm germ layer, as indicated by impaired expression of several mesoderm markers including Brachyury at an early time point of ESC differentiation upon aggregation to EBs. Coculture experiments with OP9 cells in the presence of erythropoietin revealed a diminished differentiation capacity of Fubp1 KO ESCs into the erythroid lineage. Our data showed that FUBP1 is important for the onset of mesoderm differentiation and maturation of hematopoietic progenitor cells into the erythroid lineage, a finding that is supported by the phenotype of FUBP1-deficient mice.
Sensitivity Analysis of Material Property Predictions in Molecular Dynamics with Interatomic Potentials under Uncertainty

Sensitivity Analysis of Material Property Predictions in Molecular Dynamics with Interatomic Potentials under Uncertainty Tomas Mawyin Master’s of Applied Science and Engineering Graduate Department of Aerospace Science and Engineering University of Toronto 2015 Molecular Dynamics (MD) simulations complement experimental methods by offering a computationally fast and accurate framework for determining the properties of materials. However, there is uncertainty associated with MD simulations in part due to the intrinsic microstructure of the material, but also due to the interatomic potential used to describe the material. To evaluate the uncertainty associated with MD predictions, this work exploits the strong dependency of MD on the interatomic potentials. Using a methodology based on surrogate models, a sensitivity analysis of the properties of graphene and aluminium when uncertainty is introduced to the parameters of their respective potentials is presented. These surrogates are utilized to identify which parameters in the potentials greatly affect the output parameters of interest. This methodology can be used to evaluate the robustness of interatomic potentials and accelerate the solution of the inverse problem to determine the parameters of the potential from observables.
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models

Actor-based modeling, with encapsulated active objects which communi- cate asynchronously, is generally recognized to be well-suited for representing concur- rent and distributed systems. In this paper we discuss the actor-based language Rebeca which is based on a formal operational interpretation of the actor model. Its Java-like syntax and object-based style of modeling makes it easy to use for software engineers, and its independent objects as units of concurrency leads to natural abstraction tech- niques necessary for model checking. We present a front-end tool for translating Rebeca to the languages of existing model checkers in order to model check Rebeca models. Automated modular verification and abstraction techniques are supported by the tool.
Environmental Factors Influence Language Development in Children with Autism Spectrum Disorders

Background While it is clearly admitted that normal behavioural development is determined by the interplay of genetic and environmental influences, this is much less the case for psychiatric disorders for which more emphasis has been given in the past decades on biological determinism. Thus, previous studies have shown that Autistic Spectrum Disorders (ASD) were not affected by parental style. However, animal research suggests that different behavioural traits can be differentially affected by genetic/environmental factors. Methodology/ Principal Findings In the present study we hypothesized that amongst the ASD, language disorders may be more sensitive to social factors as language is a social act that develops under social influences. Using the Autism Diagnostic Interview-Revised, we compared the early characteristics of sensori-motor and language development in a large sample of children with ASD (n = 162) with parents belonging to different levels of education. The results showed that children raised by parents with a high level of education displayed earlier language development. Moreover, they showed earlier first words and phrases if their mother was at a high level of education, which reveals an additional gender effect. Conclusions/Significance To our knowledge this study may trigger important new lines of thought and research, help equilibrate social and purely biological perspectives regarding ASD and bring new hopes for environmentally based therapies.
Pharmacological Inhibition of Gal-3 in Mesenchymal Stem Cells Enhances Their Capacity to Promote Alternative Activation of Macrophages in Dextran Sulphate Sodium-Induced Colitis

Transplantation of mesenchymal stem cells (MSCs) reduces the severity of dextran sulphate sodium- (DSS-) induced colitis. MSCs are able to secrete Galectin-3 (Gal-3), a protein known to affect proliferation, adhesion, and migration of immune cells. We investigate whether newly synthetized inhibitor of Gal-3 (Davanat) will affect production of Gal-3 in MSCs and enhance their potential to attenuate DSS-induced colitis. Pharmacological inhibition of Gal-3 in MSCs enhances their capacity to promote alternative activation of peritoneal macrophages in vitro and in vivo. Injection of MSCs cultured in the presence of Davanat increased concentration of IL-10 in sera of DSS-treated animals and markedly enhanced presence of alternatively activated and IL-10 producing macrophages in the colons of DSS-treated mice. Pharmacological inhibition of Gal-3 in MSCs significantly attenuates concentration of Gal-3 in sera of DSS-treated animals, indicating that MSCs produce Gal-3 in this disease. In conclusion, our findings indicate that Davanat could be used for improvement of MSC-mediated polarization towards immunosuppressive M2 phenotype of macrophages.