Miracle-dz/UniFAR-FTUs huggingface dataset:
An Efficient Runtime System for Reactive Programming

Reactive Programming (RP) is a new programming language paradigm which specifically targets reactive applications. Over the last few years, more and more companies and developers adopted RP to develop Web applications, user interfaces and asynchronous event-based software. RP has become popular especially in the JavaScript community where libraries like Angular.js and Bacon.js have embraced the reactive paradigm supporting automated propagation of changes. It has been shown that RP enables the developer to implement reactive applications in a composable way, abstracting over implementation details such as data dependency detection and making reactive software easier to understand. However, in most cases RP abstractions introduce significant performance costs in comparison to the Observer design pattern. Also, memory requirements are significantly higher. In this thesis, we apply just-in-time compilation (JIT) to improve the performance of RP. We implemented an RP extension to Ruby based on the Truffle language framework. JIT compilation is provided by the Graal Virtual Machine (VM). Our evaluation shows that RP combined with JIT compilation can achieve a runtime performance comparable to the Observer design pattern. Zusammenfassung Reaktive Programmierung (RP) ist ein neues Programmierparadigma für die Entwicklung von reaktiven Anwendungen. In den letzten Jahren haben immer mehr Firmen und Entwickler die reaktive Programmierung für die Entwicklung von Webanwendungen, Benutzeroberflächen und asynchroner ereignisorientierter Software übernommen. Besonders in der JavaScript Community ist die reaktive Programmierung sehr populär geworden. Dort haben Bibliotheken wie Anular.js und Bacon.js dieses Programmierparadigma übernommen. Für die reaktive Programmierung wurde gezeigt, dass sie es Entwicklern ermöglicht, reaktive Anwendungen in einer zusammensetzbaren Art zu entwickeln, über Entwicklungsdetails wie die Datenabhängigkeitserkennung abstrahiert und reaktive Anwendungen besser verständlich macht. Allerdings erhöhen die Abstraktionen, welche die reaktive Programmierung einführt, in der Regel die Laufzeit signifikant im Vergleich zum Beobachter-Entwurfsmuster. In dieser Arbeit verwenden wir Just-in-time-Kompilierung (JIT-Kompilierung) um die Performance der reaktiven Programmierung zu verbessern. Wir haben Ruby um die reaktive Programmierung erweitert, hierfür haben wir das Truffle Sprachentwicklungs-Framework verwendet. Die JIT-Kompilierung wird von der Graal Virtual Machine (VM) bereitgestellt. Unsere Evaluation zeigt, dass die reaktive Programmierung mit JIT-Kompilierung eine ähnliche Laufzeitperformance wie das Beobachter-Entwurfsmuster erzielen kann.
Time and Order: Towards Automatically Identifying Side-Channel Vulnerabilities in Enclave Binaries

While Intel SGX provides conﬁdentiality and integrity guar-antees to programs running inside enclaves, side channels remain a primary concern of SGX security. Previous works have broadly considered the side-channel attacks against SGX enclaves at the levels of pages, caches, and branches, using a variety of attack vectors and techniques. Most of these studies have only exploited the “order” attribute of the memory access patterns (e.g., sequences of page accesses) as side channels. However, the other attribute of memory access patterns, “time”, which characterizes the interval between two speciﬁc memory accesses, is mostly unexplored. In this paper, we present A NABLEPS , a tool to automate the detection of side-channel vulnerabilities in enclave binaries, considering both order and time. A NABLEPS leverages concolic execution and fuzzing techniques to generate input sets for an arbitrary enclave program, constructing extended dynamic control-ﬂow graph representation of execution traces using Intel PT, and automatically analyzing and identifying side-channel vulnerabilities using graph analysis.
High-Resolution 3 D MRI to Identify Neurodegeneration in a Huntington Disease Mouse Model Brain

Magnetic resonance imaging (MRI) is emerging as a powerful tool for phenotyping mice in biological studies of gene expression, development and disease progression. In specific cases, MRI can be used to follow a known biomarker of a mouse model of human disease. In Huntington Disease (HD), a yeast artificial chromosome (YAC)128 mouse model has been developed which recapitulates the neurodegenerative phenotype observed in human HD. This manifests as a specific loss of neurons in the striatum, eventually progressing to include selective regions of the cortex. Until recently, specific neuropathology has been detected with the use of immunohistochemical and stereological evaluation. However such techniques are not ideal in monitoring disease progression in a single mouse over time, in the case of a clinical trial, for example. For this reason, the ability of MRI to identify striatal degeneration, a potential biomarker in the mouse model of HD, was examined. In the mouse model of HD, striatal atrophy is apparent with the use of stereological methods in mice at 9 months of age with a 15% striatal volume decrease compared to nondiseased counterparts. To determine whether MRI could detect neurodegeneration at an earlier stage of disease progression and shorten a potentially expensive clinical trial, neuroanatomical differences between fixed brains of eight month old YAC128 and wild-type mice were analyzed. With the usefulness of MRI in the identification of specific neuropathology established, the use of the technique in a longitudinal study, using live mice, would be warranted.
Improved Human Opinion Dynamics Based Particle Filter Object Tracking For Videos

: Object tracking is a technique that is being used from past centuries. In the surveillance system, several vision based methods are utilized for various objects. In the first part, a fast method is presented for background subtraction to handle various scene changes. The maximum likelihood estimation algorithm found within the above paragraph try to modify the objective functions. These approaches are still sensitive to initialization and other parameters like predicted position of the tracked object, occlusion time etc. The proposed method combines the background modeling and particle filter to track multiple objects. In the object tracking process the object is considered to be in motion if its location is changing with respect to its background. By using background subtraction method the change of frame is detected, in case if there is no difference between the two frames then the object is considered to be in a static position. The proposed work is to use human opinion dynamic algorithm for particle filter tuning in order to make the prediction more effective. As the proposed algorithm involved solving the minimization problem for each drawn sample with the proposed model, the proposed system has been planned for real-time applications. The results will be presented to verify the same.
Transhepatic arterial chemoembolizations with lobaplatin-eluting microspheres for the treatment of unresectable hepatocellular carcinoma

Objective: To assess the clinical safety and efficacy of Transhepatic Arterial Chemoembolizations (TACE) with lobaplatin-eluting microspheres in treating unresectable hepatocellular carcinoma (HCC). Materials and Methods: A total of 70 patients with unresectable hepatocellular carcinoma and preserved liver function, who were treated with TACE using lobaplatin-eluting microspheres (Group-LEM, as experimental group) or using lobaplatinlipiodol mixtures (Group-LLM, as control group), were evaluated retrospectively. Tumor response was determined with follow-up computed tomography after each chemoembolized procedure according to modified Response Evaluation Criteria in Solid Tumors (mRECIST). The side effects and complications were evaluated by the National Cancer Institute Common Terminology Criteria for Adverse Events (CTCAE) v4.0. Results: A database of 70 patients with advanced HCC admitted to Guangdong General Hospital between January 2016 and October 2016 was evaluated retrospectively. Four weeks after TACE procedure, radiological evaluation of tumour response was available in all patients, According to mRECIST, disease control rate (DCR) and objective response rate (ORR) differed significantly between Group-LEM and Group-LLM (60.00% vs 31.43%, and 22.86% vs 2.86%). The most common adverse event was postembolization syndrome (PES), with 18 in Group-LEM and 24 in Group-LLM respectively. Liver dysfunction and thrombocytopenia also had significant difference through comparative analysis between Group-LEM and Group-LLM (8 vs 16, and 1 vs 8). There were neither periprocedural deaths nor adverse events (AEs) of grade 5 documented in all patients. Conclusion: TACE with lobaplatin-eluting microspheres is a safe and feasible treatment without major adverse events in treating unresectable hepatocellular carcinoma. However, the long-term effects of this treatment need further observation.
Indian Ocean Gulf of Oman Persian Gulf Red Sea Gulf of Aden Gulf of Aqaba Qatar Bahrain Yemen Sudan Kuwait Jordan Iraq Saudi Arabia Iran

(1) Department of Microbiology and Parasitology, College of Veterinary Medicine, King Faisal University, Al-Hufuf, Al-Ahsa, 400, Saudi Arabia (2) Department of Virology, Faculty of Veterinary Medicine, Kafrelsheikh University, El Geish St, Kafr El-Shaikh, Egypt (3) Department of Clinical Studies, College of Veterinary Medicine, King Faisal University, Al-Hufuf, Al-Ahsa, 400, Saudi Arabia *Corresponding author: mhemida@kfu.edu. sa
Enhanced THz tags authentication using multivariate statistical analysis

In this paper, we report on the unitary authentication of identically realized diffraction grating-based tags structures in the THz domain by using multivariate statistical analysis. We proceed to a dimension reduction with Principal Component Analysis (PCA) as a preprocessing step before a Gaussian classification and we evaluate the error rates. We then classify the tags using a Linear Discriminant Analysis (LDA). We demonstrate that PCA gives average error rates lower than 0.5% whereas LDA is able to classify the tags with error rates lower than 6.10-5 considering its 3 first axes.
Optimal Document Representation Strategy for Supervised Term Weighting Schemes in Automatic Text Categorization

Term weighting is a strategy that assigns weights to terms in order to improve the performance of text categorization. In this paper, we propose a document representation strategy for supervised text classification named the optimal document representation strategy for supervised term weighting schemes (ODRS), which can get the optimal term weighting vector in many different vectors. The main idea of ODRS is that by proposing optimal function and introducing the importance of categories and terms on training set to find the optimal parameters and then this optimal model will be applied to test set. In the experiments, we investigate the effects of ODRS on the 20 Newsgroups and Reuters21578 datasets using the SVM as classifier. The results show that the ODRS outperforms other text representation strategy schemes, such as Document Max, Document Two Max and global policy.
A Computational Model and Experiments

We propose a computational model to study (the evolution of) post-secondary education. “Consumers” who differ in quality shop around for desirable colleges or universities. “Firms” that differ in quality signal the availability of their services to desirable students. As long as they have capacity, colleges and universities make offers to students, who apply and qualify. Our model generalizes an earlier literature (namely, Vriend 1995) in an important dimension: quality, the model confirms key predictions of an analytical model that we also supply, and the model allows us to systematically explore the emergence of macro regularities and the consequences of various strategies that sellers might try. We supply three such exercises. In our baseline treatment we establish the dynamics and asymptotics of our generalized matching model. In the second treatment we study the consequences of opportunistic behavior of firms and thus demonstrate the usefulness of our computational laboratory for the analysis of this or similar questions (e.g., the problem of early admission). In the third treatment we equip some firms with economies of scale. This variant of our matching model is motivated by the entry of for-profit providers into low-quality segments of post-secondary education in the USA and by empirical evidence that, while traditional nonprofit or state-supported providers of higher education do not have significant economies of scale, the new breed of for-profit providers seems to capture economies in core functions such as curricular design, advertising, informational infrastructure, and regulatory compliance. Our computational results suggest that this new breed of providers is likely to continue to move up the quality ladder, albeit not necessarily all the way up to the top. JEL Classification: C63, D21, D83, I21, L15
Epiconvergence , the Moreau envelope and generalized linear-quadratic functions C

This work introduces the class of generalized linear-quadratic functions, constructed using maximally monotone symmetric linear relations. Calculus rules and properties of the Moreau envelope for this class of functions are developed. In finite dimensions, on a metric space defined by Moreau envelopes, we consider the epigraphical limit of a sequence of quadratic functions and categorize the results. We explore the question of when a quadratic function is a Moreau envelope of a generalized linear-quadratic function; characterizations involving nonexpansiveness and Lipschitz continuity are established. This work generalizes some results by Hiriart-Urruty and by Rockafellar and Wets. AMS Subject Classification: Primary 47A06, 52A41; Secondary 47H05, 90C31.
Nutritional status of adolescent children and role of parental behaviours in promoting nutrition health promotion program in a private school setting

To assess nutritional status of the adolescents, improve parent’s participation and behavior to promote healthy diet and lifestyle by partnering with school to institutionalize nutrition health promotion program. A private school from Gujarat, India was selected purposively. After seeking permission from the principal, written informed consent was obtained from parents and children. Later an ethical approval was sought from the departmental Ethical Committee. Anthropometric measurements (height, weight, waist circumference), blood pressure and haemoglobin were taken for all the adolescents (N=273). Two Nutrition Health Education (NHE) sessions for parents were conducted to improve their knowledge on healthy diet and seek their participation in improving tiffin menus. Six days planned cyclic iron rich menus, providing 1/3 of the RDA of the adolescents were sent to mothers through the school principal. Also a five day pilot trial for promoting consumption of healthy beverages was also conducted. Results revealed, existence of triple burden of malnutrition (over weight including obesity: 23.4%; underweight: 55.3% and anemia: 46.3%) among the adolescents from private school, and 19.4% were also stunted (Chronically undernourished). Central obesity as indicated by WHtR and WC was 18.7% and 6.2% with high levels of sub optimal blood pressure (30.0%). NHE sessions to disseminate findings, healthy dietary and lifestyle behaviours with parents showed significant improvements in their knowledge and participation of parents. Percentage of adolescents bringing healthy tiffin increased from 60.0% to 80.3%. Five days pilot trial of healthy beverages was successful in increasing the consumption of healthy beverages by adolescents. Hence, the results indicate that a comprehensive school nutrition and health promotion program with active participation of parents could be planned to improve nutrition and health status of adolescents.
Zinc Biosorption by Waste Streptomyces fradiae Biomass : Equilibrium and Kinetics

Waste Streptomyces fradiae biomass from pharmaceutical industry was successfully used for Zn(II) removal from aqueous solutions. In the present study process parameters (initial pH of the solution, amount of biomass, initial metal concentration, stirring speed and contact time) and their influence on Zn(II) biosorption were investigated and optimized. Langmuir and Freundlich adsorption isotherms were used to describe sorption behavior between the waste biomass and the Zn ions. The biosorption process was better described by the Langmuir adsorption isotherm with 61.09 mg g-1 maximum adsorption capacity. Lagergren and Ho models were used to analyze the kinetic data. Ho model fitted better to the experimental results.
Fast-track packages in colorectal surgery : an examination and development of the evidence supporting their use

s Accepted for Publication Does Enhanced Recovery Lead to Enhanced Anxiety After Colorectal Surgery? A Controlled Clinical Trial. Walter C, Joseph B, MacFie J, Drew P and Monson J. BJS on-line Does Pre-operative ‘Enhanced Recovery’ Information Alter Patients’ Recovery Rate Expectations and Improve Outcomes Following Colorectal Surgery? A Randomised Controlled Trial. Walter C, Joseph B, MacFie J, Drew P and Monson J. BJS on-line Enhanced Recovery Programmes in Colorectal Surgery: A Systematic Review and Meta-analysis. Walter C, Collin J, Drew P and Monson M. BJS on-line The Effect of Enhanced Information on Patient Recovery Following Colorectal Operations – A Randomised Control Trial (RCT) Joseph B, Walter C, Alabi A, Hartley J, Gunn J and Monson J. BJS on-line
A Framework for Recommender Systems Based on a Finite Multidimensional Model Space

In this conceptual paper we suggest a framework for flexible and efficient recommender systems. It is based on an unified finite multivariate model space for both user and products. Association functions map each entity to each model-dimension fuzzily. Finally distanceand learning-operations allow efficient operation. The main differences to existing approaches are the reduced model space and the fuzzy location of entities. The reduced model space is most advantageous where item features are inconsistent structured or sparse. The association function allows to express a distribution of agreement, not just a single location. CCS CONCEPTS • Information systems→Personalization;Recommender systems; Collaborative search; Similarity measures.
An Automated Approach Based on a Convolutional Neural Network for Left Atrium Segmentation From Late Gadolinium Enhanced Magnetic Resonance Imaging

Late Gadolinium Enhanced (LGE) Magnetic Resonance Imaging (MRI) is a new emerging non-invasive technique which might be employed for the non-invasive quantification of left atrium (LA) myocardial fibrotic tissue in patients affected by atrial fibrillation. Nowadays, the analysis of LGE MRI relies on manual tracing of LA boundaries. An automated LA segmentation approach for the quantification of scar tissue would be highly desirable. This study focuses on the design of a fully automated LGE MRI segmentation pipeline which includes a convolutional neural network (CNN) based on the successful architecture U-Net. The CNN was trained with the data available from the Statistical Atlases and Computational Modelling of the Heart 2018 Atrial Segmentation Challenge (100 cardiac data) with two different approaches: using both stacks of 2-D axial slices and using 3-D data. Mean Dice coefficients on the test set were 0.896 and 0.914 by using the 2-D and 3-D approaches, respectively. Contour accuracy was highly variable along the LA longitudinal axis showing poorest results in correspondence of the pulmonary veins. These results suggest that, despite the increase of the number of trainable parameters, the proposed 3-D CNN learns better features leading to higher performance, feasible for a real clinical application.
Asiatic acid attenuates traumatic brain injury via upregulating Nrf 2 and HO-1 expression

The neuroprotective role of asiatic acid (AA) against cerebral ischemia has been previously reported. However, whether AA attenuates traumatic brain injury (TBI) has not been investigated. The current study aims to evaluate the effect of AA and its underlying mechanisms. We first established TBI model in SD rats. Neurological score, brain water content, and cell apoptosis were evaluated. Oxidative stress was detected by assessing the levels of malondialdehyde (MDA), 4-hydroxy-2-nonenal (4-HNE), and 8-hydroxy-2-deoxyguanosine (8-OHdG) in the brain tissue of rats 24 h after brain injury. Finally, we evaluated the expression of Nrf2 and HO-1 using Western blot and Real-time quantitative PCR. Our results suggest that AA improved neurological dysfunction, decreased brain edema and neuronal apoptosis. In addition, AA attenuated oxidative stress after TBI. Notably, AA up-regulated the expression levels of Nrf2 and HO-1. In summary, our study suggests that AA confers neuroprotection against TBI via reducing oxidative stress and enhancing Nrf2 and HO-1 expression.
TWO-STAGE CHANCE-CONSTRAINED STAFFING WITH AGENT RECOURSE FOR MULTI-SKILL CALL CENTERS

We consider a stochastic staffing problem with uncertain arrival rates. The objective is to minimize the total cost of agents under some chance constraints, defined over the randomness of the service level in a given time period. In the first stage, an initial staffing must be determined in advance based on imperfect forecast of the arrival rates. At a later time, when the forecast becomes more accurate, this staffing can be corrected with recourse actions, by adding or removing agents at the price of some penalty costs. We present a method that combines simulation, mixed integer programming, and cut generation to solve this problem.
Coexistence of multiple attractors , Hysteresis and Vibrational resonance in Chua ’ s circuit driven by an Amplitude modulated force

We consider a single scroll Chua’s circuit driven by an amplitude modulated force (AMF) with two widely different frequencies ω and Ω, where Ω ω. Numerically we study the dynamics of Chua’s circuit driven by an AMF for specific set of values of the parameters. We show the occurrence of coexistence of several period-T orbits, bifurcations of them, period-doubling route to chaos, quasiperiodic orbit, hysteresis and vibrational resonance phenomena. We characterize periodic, quasiperiodic and chaotic orbits, hysteresis and vibrational resonance phenomena using bifurcation diagram, phase portrait, Poincaré surface of section, trajectory and resonance plots.
UvA-DARE ( Digital Academic Repository ) Identifying same-sex couples in cross-national survey data : A comparison of same-sex couples ’ demographic and socio-economic traits in six European countries

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva. nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.
1 Grid-Based Renewable Energy in Developing Countries : Policies , Strategies , and Lessons from the GEF

Total world electric power capacity stood at 3,400,000 MW in 2000, with about 1,500,000 MW (45%) of this in developing countries (see Table 1). This capacity represents a cumulative investment of perhaps $3-4 trillion and annual fuel costs of perhaps $150-250 billion. Globally, fossil fuels account for about two-thirds of generating capacity, with the remaining third being large hydro (20%), nuclear (10%), and renewable energy (3%). Electricity consumption in developing countries continues to grow rapidly with economic growth, raising concerns about how these countries will expand power generation in coming decades. According to some estimates, developing countries will need to more than double their current generation capacity by 2020 (IEA 1998, 2000; Martinot et al 2002).