Miracle-dz/UniFAR-FTUs huggingface dataset:
Sciencedirect International Workshop on Data Mining on Iot Systems (damis 2016) Real World City Event Extraction from Twitter Data Streams

The immediacy of social media messages means that it can act as a rich and timely source of real world event information. The detected events can provide a context to observations made by other city information sources such as fixed sensor installations and contribute to building 'city intelligence'. In this work, we propose a novel unsupervised method to extract real world events that may impact city services such as traffic, public transport, public safety etc., from Twitter streams. We also develop a named entity recognition model to obtain the precise location of the related events and provide a qualitative estimation of the impact of the detected events. We apply our developed approach to a real world dataset of tweets collected from the city of London.
Activating “black boxes” instead of opening “zipper” - a method of teaching novices basic CS concepts

In this paper we implement and evaluate of a unique instructional method for teaching basic concepts in computer science. This method is based on introducing a new concept through activating "black boxes" that demonstrate the properties of the concept and its role in the computing process. We used the "black box"-based instructional method to teach basic concepts of computation to novice high-school students. Later we conducted research aimed at assessing the effectiveness of this method on novice students' perceptions of basic concepts in computation. Research results indicated that students who learned according to the "black box"-based approach gained a better understanding of the basic computational model, compared to students who learned according to the traditional "zipper" approach.
Memristance and memcapacitance modeling of thin film devices showing memristive behavior

In 2008, the fourth passive element “Memristor” was implemented as a device having both passivity and nonvolatile properties opening the way into new possibilities in the design and fabrication of innovative memory, arithmetic and logic architectures. Nano-features and ionic transport mechanism inherent in memristor device introduce new challenges into modeling, characterization and, in particular, in the related circuit simulation needs with system constructs. Therefore, in this paper, we analyze memristor device fundamentally to characterize the memristance paying particular attention to the hidden memcapacitance effect. Our proposed macro-model modifies takes into account some of the non ideal effects like tunneling current and the hidden memcapacitor constructed across non conducting materials. The model provides the insight for building a device as either memristive or memcapacitive system. The simulation results have been compared with HP published data which show good agreement.
A database transaction scheduling tool in Prolog

In this paper, we describe an item of "intelligent" educational software that is intended to help students taking university computer science courses to understand the fundamentals of transaction scheduling. The software, implemented in PROLOG, empowers students to construct their own learning environment and is able to provide tailored forms of feedback to different types of learner. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of the software as a teaching and learning tool. Our results suggest that our learning tool provides students with a different and valuable type of learning experience, which traditional methods do not provide.
Genotype profiling of seed storage proteins in wheat (Triticum aestivum L.)

Seed–storage proteins are important reservoirs of food and energy which are also involved in the determination of bread making quality. Solubility properties of these proteins are traditionally classified into four classes: albumin, globulin, prolamin and glutelin. Gliadin and glutenin have also been studied extensively and the genetics and biochemistry are relatively well known. Grain proteins from 18 Pakistani wheat genotypes were checked for genetic diversity evaluation based on 15% sodium dodecylsulphate polyacrylamide gel electrophoresis (SDS– PAGE). According to quality score, WL–711, Abadghar, Yacoora, Punjab–96 and Zardana showed the highest score of 10. All these varieties had subunit 5+10 which had positive correlation for bread-making quality. Different Bioinformatics tools like STRUCTURE, TASSEL AND STATISTIXL were used to examine the data obtained from different varieties and the outcomes were conveyed in the course of a dendrogram revealing the conflicts and similarities among varieties. STRUCTURE was used for the analysis of population structure. This tool performed the grouping of 18 wheat varieties into two groups. TASSEL was used for cluster analysis, which grouped the varieties under study into two main groups containing the same individuals as described by other tools. STATISTIXL performed a cluster analysis using the similarity measure of Jaccard. The results were shown in the form of dendrogram on the basis of group average. Dendrogram revealed two main clusters differentiated as A and B at the distance of about 85%. With the aim of improving flour quality, wheat seed storage protein fingerprinting is used to govern the gluten protein pattern in studies.
The Stores Model of Code Cognition

Program comprehension is perhaps one of the oldest topics within the psychology of programming. It addresses a central issue: how programmers work with and manipulate source code to construct effective software systems. Models can play an important role in understanding the challenges developers and engineers contend with. This paper presents a model of program comprehension, or code cognition, which has been derived from literature found within the disciplines of computing and psychology. Drawing on direct experimentation, this paper argues that a model of code cognition should take account of the visual, spatial and linguistic abilities of developers. The strengths and weaknesses of this model are discussed and further research directions presented.
Architectural Enhancements for Secure Embedded Processing

In this paper, we present architectural enhancements for ensuring secure execution of programs on embedded processors. The primary motivation behind this work is that software attacks often originate from unknown vulnerabilities in trusted programs. We propose two techniques to achieve secure program execution. They include (i) hardware-assisted monitoring of a trusted program’s control flow to detect deviant control flow, and (ii) hardware-assisted validation of a program’s data properties that may be violated in the event of an attack. Experiments show that the proposed architecture can be very effective in preventing a wide range of security threats.
A New Protection System for Islanding Detection in LV Distribution Systems

The growth of penetration of Distributed Generators (DGs) is increasing the risk of unwanted islanded operation in Low Voltage (LV) distribution systems. In this scenario, the existing anti-islanding protection systems, installed at the DG premises and based on classical voltage and frequency relays, are no longer effective, especially in the cases of islands characterized by a close match between generation and load. In this paper, a new protection system for islanding detection in LV distribution systems is proposed. The classical voltage and frequency relays in the DG interface protections are enriched with an innovative Smart Islanding Detector, which adopts a new passive islanding detection method. The aim is to keep the advantages of the classical relays while overcoming the problem of their limited sensitivity in detecting balanced islands. In the paper, to define the requirements of the anti-islanding protection system, the events causing the islanded operation of the LV distribution systems are firstly identified and classified. Then, referring to proposed protection system, its architecture and operation are described and, eventually, its performance is analyzed and validated by experimental laboratory tests, carried out with a hardware-in-the-loop technique.
Assignment of Vertical-Links to Routers in Vertically-Partially-Connected 3-D-NoCs

This paper addresses elevator assignment in vertically-partially-connected 3-D-networks-on-chip (NoCs). Elevators are vertical links between dies. Because of yield issues, Through-Silicon-Via (TSV) cost, and heterogeneity in dimension, topology, and technology of different dies, vertically-partially-connected topologies seem unavoidable in the emerging 3-D-NoCs as opposed to fully-connected topologies. In such partially-connected topologies, as there are fewer elevators than routers, the assignment of elevators to routers becomes a new 3-D-specific optimization problem. An improper assignment can lead to dramatic network performance degradation. This paper proposes an elevator assignment method for best-effort wormhole 3-D-NoCs to improve the average network performance. Experimental results show an improvement of about 90% even compared to a greedy (intrinsically good) initial assignment.
Standardization: bridging the gap between economic and social theory

This article examines the dynamics of inter- and intra-firm networks in technical standard setting initiatives, and how complex social networks align in these initiatives. Specifically, we argue that in standardization, complex economic and social interactions are blended. In standardization activities, firm behavior and the behavior of individuals within firms is best explained through an integration of social, political, and economic perspectives. In this article we use two main bodies of theory. First, we draw on the economic literature on standard setting and alliance formation. Second we use social network theory to complement economic arguments. In this paper we integrate streams of literature on the creation and diffusion of technical standards from industrial organization economics, strategic management, and innovation economics with recent literature concerning the social construction of technology in order to analyze the process of standard setting. We develop our arguments with the help of three in-depth case studies of standardization initiatives in the telecommunications industry. Two case studies are in the realm of telecommunications infrastructure. The third case study analyzes the standardization of a wireless data link. The cases can be characterized as examples of the successful creation of both de facto and de jure standards.
Hubs and Non-hubs in Protein-Protein Interaction Networks: A Biophysical Interpretation

The main characteristic of biological networks is scale freeness which is distinguished by the power-law degree distribution of the edges per node. Hubs play a central role in different biological process. In this study we compared hub and non-hub proteins in Saccharomyces cere visiae protein-protein interaction network by their size, primary and secondary structure properties and their genes distribution along chromosomes. The results show that hubs are larger than non-hubs and substitution of aliphatic, hydrophobic and aromatic groups of amino acids with acidic, charged and hydrophilic groups of amino acids in protein chains from non-hub to hub proteins is one of the mechanisms of highly connectivity.
The Problem of Extrapolation of Quantum States

To what extent is it possible to extrapolate the state of a composite quantum system from the state of its subsystem? We address this general question by examining two particular models of quantum system dynamics. Our main observation is that quantum extrapolation is possible within the frame of nonlinear nonlocal models. We also find that this contrasts with the situation encountered in the linear JaynesCummings model.
Fiscal Instability in Slovenia during the Economic Crisis

The changed macroeconomic conditions brought about by the global financial and economic crisis are posing an increasing challenge to economic policymakers to achieve the objectives of the planned consolidation. The fiscal situation in Slovenia, as in other EU Member States, remains tight; the current priority is therefore to ensure the sustainability of public finances and to create conditions for stable economic growth. Slovenia faces the challenge of reducing the public fi nance defi cit below 3% of GDP in 2013. If it does so, it will fulfil its commitment to bring its excessive deficit under control and re-establish opportunities for financing on international markets. Long-term sustainability of public finances and stable economic growth will be ensured by economic policy measures, structural measures and institutional adjustments. If the economy is to function successfully, appropriate management frameworks are required in which the government plays a key role. Long-term economic success can be achieved with high-quality government institutions. The objective of this paper is to show the current state of public finances and to outline the features of the austerity measures being conducted in Slovenia. The need to balance public finances in order to ensure a stable and sustainable macroeconomic environment and meet the requirements of the EU, has led to amendments to legislation in Slovenia that are radically affecting the size and structure of public expenditure. On the other hand, Slovenia is also adopting measures to promote economic activity. JEL Classification: E62, E65, E66
2 1 O ct 2 00 1 Orthogonal and Symplectic Black Box Groups , Revisited

We propose a simple one sided Monte-Carlo algorithm to distinguish, to any given degree of certainty, the symplectic group Cn(q) = PSp2n(q) from the orthogonal group Bn(q) = Ω2n+1(q) where q > 3 is odd and n and q are given. The algorithm does not use an order oracle and works in polynomial, of n log q, time. This paper corrects an error in the previously published version of the algorithm [1]. 2000 Mathematics Subject Classification: 20P05.
Circularly Polarized Rounded-Off Triangular Microstrip Line Array Antenna

SUMMARY The Japan Aerospace Exploration Agency (JAXA) plans to launch a geostationary satellite called Engineering Test Satellite VIII (ETS-VIII) in FY 2006. In this paper, a microstrip line array antenna, which has a very simple structure, is introduced to radiate a circularly polarized wave aiming at ETS-VIII applications. This antenna consists of a triangular conducting line with its vertexes rounded off, located above a ground plane, with a gap on one of its side to produce a circular polarization. The proposed antenna is analyzed by numerical simulations for a single element as well as for a three elements array configuration and the possibility of beam-switching in the azimuth space is experimentally confirmed in the latter case. It is found that by properly feeding the elements constituting the array antenna, for an elevation angle El = 48 ◦ in Tokyo area, three beams are created in the conical-cut direction with a minimum gain more than 6.6 dBic and an axial ratio less than 3 dB.
Reducing heart failure admission rates in England 2004–2011 are not related to changes in primary care quality: national observational study

Heart failure (HF) is an important clinical problem. Expert consensus has defined HF as a primary care‐sensitive condition for which the risk of unplanned admissions may be reduced by high quality primary care, but there is little supporting evidence. We analysed time trends in HF admission rates in England and risk and protective factors for admission.
Hyperglycemia: GDNF-EGR1 Pathway Target Renal Epithelial Cell Migration and Apoptosis in Diabetic Renal Embryopathy

Maternal hyperglycemia can inhibit morphogenesis of ureteric bud branching, Glial cell line-derived neurotrophilic factor (GDNF) is a key regulator of the initiation of ureteric branching. Early growth response gene-1 (EGR-1) is an immediate early gene. Preliminary study found EGR-1 persistently expressed with GDNF in hyperglycemic environment. To evaluate the potential relationship of hyperglycemia-GDNF-EGR-1 pathway, in vitro human renal proximal tubular epithelial (HRPTE) cells as target and in vivo streptozotocin-induced mice model were used. Our in vivo microarray, real time-PCR and confocal morphological observation confirmed apoptosis in hyperglycemia-induced fetal nephropathy via activation of the GDNF/MAPK/EGR-1 pathway at E12-E15. Detachment between ureteric branch and metanephrons, coupled with decreasing number and collapse of nephrons on Day 1 newborn mice indicate hyperglycemic environment suppress ureteric bud to invade metanephric rudiment. In vitro evidence proved that high glucose suppressed HRPTE cell migration and enhanced GDNF-EGR-1 pathway, inducing HRPTE cell apoptosis. Knockdown of EGR-1 by siRNA negated hyperglycemic suppressed GDNF-induced HRPTE cells. EGR-1 siRNA also reduced GDNF/EGR-1-induced cRaf/MEK/ERK phosphorylation by 80%. Our findings reveal a novel mechanism of GDNF/MAPK/EGR-1 activation playing a critical role in HRPTE cell migration, apoptosis and fetal hyperglycemic nephropathy.
hp-DGFEM for Second Order Elliptic Problems in Polyhedra II: Exponential Convergence

The goal of this paper is to establish exponential convergence of $hp$-version interior penalty (IP) discontinuous Galerkin (dG) finite element methods for the numerical approximation of linear second-order elliptic boundary-value problems with homogeneous Dirichlet boundary conditions and piecewise analytic data in three-dimensional polyhedral domains. More precisely, we shall analyze the convergence of the $hp$-IP dG methods considered in [D. Schotzau, C. Schwab, T. P. Wihler, SIAM J. Numer. Anal. , 51 (2013), pp. 1610--1633] based on axiparallel $\sigma$-geometric anisotropic meshes and $\bm{s}$-linear anisotropic polynomial degree distributions.
Tuning of ZIF-Derived Carbon with High Activity, Nitrogen Functionality, and Yield – A Case for Superior CO2 Capture

A highly effective and facile synthesis route is developed to create and tailor metal-decorated and nitrogen-functionalized active microporous carbon materials from ZIF-8. Clear metal- and pyrrolic-N-induced enhancements of the cyclic CO2 uptake capacities and binding energies are achieved, particularly at a much lower carbonization temperature of 700 °C than those often reported (1000 °C). The high-temperature carbonization can enhance the porosity but only at the expense of considerable losses of sample yield and metal and N functional sites. The findings are comparatively discussed with carbons derived from metal–organic frameworks (MOFs) reported previously. Furthermore, the porosity of the MOF-derived carbon is critically dependent on the structure of the precursor MOF and the crystal growth. The current strategy offers a new and effective route for the creation and tuning of highly active and functionalized carbon structures in high yields and with low energy consumption.
Practicing What We Teach : Quality Management of Systems-Engineering Education

In 1992, Delft University of Technology (DUT) established a new Master degree program in the field of systems engineering, policy analysis, and management. This educational program is administered by the School of Systems Engineering, Policy Analysis, and Management (SEPA). The SEPA administration aims for high quality of all aspects of its educational program. A quality management system was put in place when classes started in 1992. This system consists of protocols and is administered by an educational advisor. The system is stakeholder-centered rather than based on didactic principles. The objectives of the system are to secureexternal and internal consistencyof all elements of the educational program. Through a variety of assessment methods, information is collected from students, faculty, and experts from outside the university on the quality of curriculum design, teaching methods, teaching skills, and the learning environment. Assessment methods vary for the various stakeholders groups; the frequency of assessment depends on the frequency with which classes are taught and adjusted, and on the frequency of external reviews. Assessment criteria are derived from stakeholder objectives. Reports are used successfully for problem detection, diagnosis, and remediation. The system characteristics, strengths and weaknesses, may be explained in part by the fact that the system was developed to meet the needs of the SEPA administration. The set of assessment criteria and the importance of the different assessment methods would change if the system was administered by an other stakeholder in SEPA education.
A multi-user detection scheme for chaotic-based wireless communication systems using adaptive filters and regression methods

Recently, Chaos theory has been a very useful tool in communications, the chaotic modulation, called Chaotic Shift Keying (CSK), is used in multiuser scenarios. In this paper, the performance analysis of a chaotic-based communication system is investigated under the effect of Nakagami-fading and AWGN, a model for both transmitter and receiver is established, Spread Spectrum techniques are used, and two different methodologies of detection are proposed. The first detection method is based on adaptive filters with the usage of LMS concept, the second method uses regression method. A comparison of the performance of these detection methods is done, showing the effect of fading and multiuser estimation error.
Belief in Consistency: the Underlying Essence Linking Essentialism, Implicit Personality Theories, and Attribution

McPherson, Erin (Ph.D., Psychology) Belief in Consistency: The Underlying Essence Linking Essentialism, Implicit Personality Theories, and Attribution Thesis directed by Professor Bernadette Park Over the last several decades, essentialism, implicit personality theories, and attribution have emerged as three prominent but distinct theories and areas of inquiry in social psychology. While these three bodies of work have unique differences at the lower levels of the specific questions that they investigate, the purpose of this dissertation is to assess them at a broader level and illustrate the similarities that underlie them. I argue that essentialism, entity implicit theories, and attributions are all the result of the same basic process – an assumption that the world is stable and consistent, used in order to make predictions about future events – applied to different targets. Despite the extensive literatures illustrating the negative consequences of these phenomena, there may be a more neutral, basic belief that underlies them and is not inherently problematic. In Study 1, this construct—the Belief in Consistency—was measured with a novel scale. In Study 2, the Belief in Consistency was found to relate to essentialist perceptions of groups, entity theories of attributes, and somewhat surprisingly, a reduction in the fundamental attribution error (weaker person attributions and stronger situation attributions for observed behavior). Furthermore, these phenomena (essentialism, entity theories, and a smaller personsituation attribution difference) were found to correlate with one another. Studies 3a and 3b aimed to find positive as well as negative consequences of two phenomena related to the belief in consistency. In Study 3a, entity theories were related to stronger predictions that someone who had succeeded in the past would continue to succeed in the future, as well as predictions that someone who had previously failed would continue to fail. In Study 3b, essentialism was found to relate to greater importance ascribed to the concerns of social groups and support for having those concerns heard by the public. These findings suggest that efforts to minimize the negative outcomes of essentialism and entity theories should take a more nuanced approach by acknowledging the utility of the belief that underlies them.