Miracle-dz/UniFAR-FTUs huggingface dataset:
A logic level countermeasure against CPA side channel attacks on AES

A novel RTL countermeasure intended to protect the AddRoundKey step of the AES algorithm against DPA or CPA attacks has been proposed and tested on an AES encoding coprocessor implemented on FPGA. Experimental results based on CPA attacks confirmed the effectiveness of the proposed countermeasure, showing that with 100000 acquired power curves, the absolute value of correlation function is one order of magnitude lower than in the non-countermeasured case and the correct key is embedded in the measured noise floor.
Efficient user assignment in crowd sourcing applications

Recent technological advancement in hand-held computing devices such as smart phones/PDA integrates cyber and physical worlds altogether. This interaction creates a new paradigm called mobile crowd sourcing which takes advantages of human intellect and a large pool on internet users to perform various task more efficiently. In such applications, users are generally recruited in ad hoc manner to do a task and often receive some incentive. Such ad hoc nature provides flexibility for users to do any job but often decreases their reliability and output quality. Quality control is generally done by increasing the workforce which increases cost. To solve this issue, we proposed a user assignment framework which pushes the task to the right set of users which can perform the task in more economically efficient way. These framework first rank users by performing semantic comparison among task's requirements and user's attributes. Then it tries to assign minimum, yet most efficient users for each task in mutually exclusive manner. This framework ensures the allocation of most efficient users for each task while keeping the reward cost as minimum as possible, hence allows application developers and end users to enjoy the power of crowd in more effective way.
Caching Invalidation Strategies for Supporting 'Weak' Location Dependent Queries

Caching technique has been widely used to accelerate data access for Location Dependent Information Services (LDISs) in mobile environments. Many existing LDISs focuse primarily on finding the nearest object. However, for some applications, closest location information is not strictly necessary. In this paper, we study caching invalidation strategies for 'weak' location dependent queries which require only loosen location constraints. First, we introduce a weak location dependent caching scheme to handle such queries. Then, we propose an efficient strategy based on weak valid scope to facilitate cache invalidation. Finally, we evaluate our strategies by simulations. Experimental results show that better cache hit ratios and lower communication cost can be achieved using this scheme.
Financial Development and Economic Growth : Evidence from Ten New EU Members 940 Discussion Papers

This paper reviews the main features of the banking and financial sector in ten new EU members, and then examines the relationship between financial development and economic growth in these countries by estimating a dynamic panel model over the period 1994-2007. The evidence suggests that the stock and credit markets are still underdeveloped in these economies, and that their contribution to economic growth is limited owing to a lack of financial depth. By contrast, a more efficient banking sector is found to have accelerated growth. Furthermore, Granger causality test indicate that causality runs from financial development to economic growth, but not in the opposite direction.
Imports in the Washington State Economy: Importance and Regional Effects of Import Liberalization

This paper focuses on the import side of a regional economy quantifying the economic impact of import levels and trade liberalization. An innovation represents the linkage of a regional with a national model by combining two separate Computable General Equilibrium models into one framework. This allows for import price formation in liberalization scenarios on the national level and subsequent incorporation of these nationally simulated prices into the regional model. The regional model is applied to Washington State, one of the most trade dependent states of the U.S, the national model to the U.S. Data for the two identically structured models origin from the IMPLAN database which divides the U.S. and Washington economy into 509 industries. For both models, Monte Carlo techniques are used to mitigate parameter uncertainty inherent in CGE specifications. Two scenarios are simulated that differ in the assumptions about the macroeconomic and factor market adjustment options of the economies.
Research in data stream clustering based on Gaussian Mixture Model Genetic Algorithm

Clustering data streams is one of the important branches in mining data streams. Because of dynamic and massive characteristics of data streams, traditional data mining algorithms could not satisfy the requirement of online analysis and the appropriate value of number of clusters. The focus on data stream technologies is to design one-pass scan data set, and maintain an effective data structure in memory incrementally which is far smaller than the size of whole data set. In the paper proposes a new feature mining method named Gaussian Mixture Model with Genetic Algorithm (GMMGA), based on an extending method of Gaussian mixture model. This method is use a probability density based data stream clustering which requires only the newly arrived data, not the entire historical data. The GMMGA algorithm can determine the number of Gaussian clusters and the parameters of each Gaussian component through random split and merge operation of Genetic Algorithm. In the GMMGA, a function was made to threshold value to clusters to reduce the bad clusters effect on the clustering result. In this algorithm, it can improve the robustness and accuracy of the clustering numbers, also can save memory and run time. Experimental results show that the method is effective and has higher clustering precision compared with conventional STREAM algorithm and CluStream algorithm.
Phase transition dynamics and its α ' corrections

We study the dynamics of the first order phase transition in the holographic hard wall model, namely, the Polchinski-Strassler model and come to the conclusion that the phase transition is incomplete in the large N limit with the natural boundary condition. We also consider the string length corrections to both the hard wall model and Witten's model and find that the interesting transition configuration is preserved under the ${\ensuremath{\alpha}}^{\ensuremath{'}}$ corrections.
The Mouse Cytomegalovirus Gene m42 Targets Surface Expression of the Protein Tyrosine Phosphatase CD45 in Infected Macrophages

The receptor-like protein tyrosine phosphatase CD45 is expressed on the surface of cells of hematopoietic origin and has a pivotal role for the function of these cells in the immune response. Here we report that following infection of macrophages with mouse cytomegalovirus (MCMV) the cell surface expression of CD45 is drastically diminished. Screening of a set of MCMV deletion mutants allowed us to identify the viral gene m42 of being responsible for CD45 down-modulation. Moreover, expression of m42 independent of viral infection upon retroviral transduction of the RAW264.7 macrophage cell line led to comparable regulation of CD45 expression. In immunocompetent mice infected with an m42 deletion mutant lower viral titers were observed in all tissues examined when compared to wildtype MCMV, indicating an important role of m42 for viral replication in vivo. The m42 gene product was identified as an 18 kDa protein expressed with early kinetics and is predicted to be a tail-anchored membrane protein. Tracking of surface-resident CD45 molecules revealed that m42 induces internalization and degradation of CD45. The observation that the amounts of the E3 ubiquitin ligases Itch and Nedd4 were diminished in cells expressing m42 and that disruption of a PY motif in the N-terminal part of m42 resulted in loss of function, suggest that m42 acts as an activator or adaptor for these Nedd4-like ubiquitin ligases, which mark CD45 for lysosomal degradation. In conclusion, the down-modulation of CD45 expression in MCMV-infected myeloid cells represents a novel pathway of virus-host interaction.
Integrating augmented reality to enhance expression, interaction & collaboration in live performances: A ballet dance case study

The democratization of high-end, affordable and off-the-shelf sensors and displays triggered an explosion in the exploration of interaction and projection in arts. Although mostly witnessed in interactive artistic installations (e.g. museums and exhibitions), performing arts also explore such technologies, using interaction and augmented reality as part of the performance. Such works often emerge from collaborations between artists and scientists. Despite being antonymic in appearance, we advocate that both fields can greatly benefit from this type of collaboration. Since 2006 the authors of this paper (from a research laboratory and a national ballet company) have collaborated on augmenting a ballet performance using a dancer's movements for interaction. We focus on large productions using high-end motion capture and projection systems to allow dancers to interact with virtual elements on an augmented stage in front of several hundred people. To achieve this, we introduce an `augmented reality engineer', whose role is to design the augmented reality systems and interactions according to a show's aesthetic and choreographic message, and to control them during the performance alongside light and sound technicians. Our last production: Debussy3.0 is an augmented ballet based on La Mer by Claude Debussy, featuring body interactions by one of the dancers and backstage interactions by the augmented reality engineer. For the first time, we explored 3D stereoscopy as a display technique for augmented reality and interaction in realtime on stage. The show was presented at Biarritz Casino in December 2013 in front of around 700 people. In this paper, we present the Debussy3.0 augmented ballet both as a result of the use of augmented reality in performing arts and as a guiding thread to provide feedback on arts-science collaboration. First, we will describe how the ballet was constructed aesthetically, technically and in its choreography. We will discuss and provide feedback on the use of motion capture and stereoscopy techniques in a live show and will then broaden the scope of discussion, providing feedback on art-science collaboration, the traps and benefits for both parties, and the positive repercussions it can bring to a laboratory when working on industrial projects.
HITS' Monolingual and Cross-lingual Entity Linking System at TAC 2013

This paper presents HITS’ system for monolingual and cross-lingual entity linking at TAC 2013. The system is an extended version of our last year’s joint entity disambiguation and clustering system based on Markov Logic Networks. We describe the new extensions and discuss the results. The results show that our approach is competitive across all three languages: with a micro-average accuracy of 0.817, our best English run is close to the one of the best system (0.833). While we had the best performing system in the Spanish cross-lingual entity linking task, our Chinese results are lower than the ones of the best system.
Measuring the cortical thickness [MRI segmentation procedure]

Besides normal aging, a number of brain diseases are known to reduce the amount of grey matter in the brain. To better understand the nature and progression of these disease processes, quantitative measurements of relevant brain structures, such as the regional cortical thickness, are highly desirable. Starting from high resolution volumetric MR images of the human head, a reliable segmentation procedure for the grey matter compartment is described which allows thickness measurements at sub-voxel resolution. Simulation experiments and comparisons with published data from histological examinations prove the validity of results.
On network error correction under a secret key model

This work presents an error control scheme for noncoherent linear network coding under an adversarial error model. The scheme relies on the assumption that the transmitter and the receiver share a random key that is secret from the adversary. The scheme is shown to achieve, asymptotically in the packet length, the highest possible rate under this model—which is significantly higher than what can be achieved without a shared key. Previous approaches to key-based error control required either an asymptotically large field or an impractically long key. The proposed scheme removes both restrictions, and is therefore suitable for practical applications of network coding. The scheme is based on MRD codes and makes crucial use of extension field ideas.
IEEE 802 . 15 . 4 packet analysis with Wireshark and off-the-shelf hardware

The ability to overhear and analyse packets is essential for the development of protocols for IEEE 802.15. 4-based Wireless Sensor Networks. Besides a number of commercial hardware and software offers, only very few projects put effort in developing such solutions. This demonstration shows a simple yet powerful approach to that problem. By using a T-Mote Sky sensor node with the Contiki operating system, radio packets can be overheard and then analysed in Wireshark on an attached Linux PC. By creating custom dissector components for Wireshark, new protocols can easily be analysed and problems in the network can be debugged.
Computational Logic as a Dual Process Model of Thought

In the dual process model of thinking, developed in Cognitive Psychology, two kinds of thinking operate in tandem. Intuitive thinking is automatic, effortless and largely subconscious, while deliberative thinking is controlled, effortful and mostly conscious. Logic is normally associated only with deliberative thinking. However, in this paper I argue that Computational Logic can be used to model both intuitive and deliberative thinking, as well as some of the relationships between them. In Computing, Computational Logic is a wide-spectrum language, which can be used to model both high-level specifications as well as low-level condition-action rules and neural network, stimulus-response associations. Moreover, the same kinds of forward and backward reasoning that are used at runtime to execute logic programs can also be used to transform/compile high-level specifications into lower-level form, and sometimes to decompile lower-level programs into higher-level form. I argue that this use of logic in Computing can be extended to provide a logical and computational model of the dual process theory of human thinking.
Spatial Targeting of Agri-Environmental Policy Using Bilevel Evolutionary Optimization

Environmental policy related to agriculture is generally administered by a government agency charged with achieving legislative objectives. The enabling legislation of an agency typically establishes a set of tools that the agency uses to influence the behavior on non-governmental agricultural producers who are pursuing their own objectives. This circumstance is recognizable as a bilevel optimization, or Stackelberg game. In the instance of agri-environmental policy, there is a single leader, the agency, and agricultural producers who are followers. The agency moves first, establishing a policy with the goal of optimizing its own objectives, and the producers respond by complying with the policy in a way that maximizes their individual profits. Almost all analysis and simulation of agri-environmental policy to date employ a single level of optimization. Comparison of scenarios where several agency policies are stipulated and the producers optimize with those constraints is a common approach. Many studies use a sequential optimization, where an agency optimizes, and then the producers optimize. We observe that in practice the agency and the producers are all solving their optimization problems at the same time, a crucial feature that is not represented by scenarios or sequential optimization. Our hypothesis is that bilevel optimization provides a better representation agri-environmental policy implementation, and will provide a better method of calculating optimal trade-offs among multiple objectives. We describe a hybrid genetic algorithm for solution of multiple objective bilevel optimization problems, and show how to incorporate data envelopment analysis (DEA) to simulate producer behavior, and include the Soil and Water Assessment Tool (SWAT) to provide the information about environmental effects required by the agency to specify their objectives. We applied the resulting integrated modeling system to the analysis of an incentive policy in the Calapooia watershed in Oregon, USA, using synthetic economic data generated from the Census of Agriculture. Through bilevel optimization, we were able to spatially target agri-environmental policy to find multiple objective Pareto frontiers that dominate those available from other methods.
Natural selection and recombination rate variation shape nucleotide 1 polymorphism across the genomes of three related Populus species 2 3

5 * Department of Ecology and Environmental Science, Umeå University, Umeå, SE 6 90187, Sweden 7 † Umeå Plant Science Centre, Department of Plant Physiology, Umeå University, 8 Umeå, SE 90187, Sweden 9 ‡ Department of Ecology and Genetics: Evolutionary Biology, Uppsala University, 10 Uppsala, SE 75105, Sweden 11 § Uppsala Multidisciplinary Center for Advanced Computational Science, Uppsala 12 University, Uppsala, SE 75105, Sweden 13
A Study of the Economic and Technical Analysis of Large scale Photovoltaic plants in Ghana: A Model to Increase Foreign Direct Investments

To date, the primary energy issue facing developing economies is one of energy deficiency. Given continental Africa‟s geographic location and optimal access to the equator, terrestrial photovoltaics („PVs‟) are the ultimate solution to Africa‟s quest of achieving an environmentally comparatively benign source of electrical energy. The resulting energy deficiency highlights a scenario that is caused, in part, by a lack of investment in large scale commercialized renewable energy plants which is primarily due to the unwillingness of financiers to provide early stage resources in the developing world. This paper describes an optimal investment planning model for large-scale PVgeneration in an existing power grid. The objective of the model is to arrive at decisions that yield the most profitable outcomes for foreign direct investment (“FDI”) opportunities, while taking into consideration the technical constraints as well as environmental impacts pertaining to Ghana. Keywords—photovoltaics; levelised cost; foreign direct investment; system capacity factor ;
Waitangi : Māori and Pākehā perspectives of the treaty of Waitangi

This collection of essays by Maori and Pekeha scholars explores a wide range of legal and historical issues surrounding the 1840 Treaty of Waitangi, including the language of the Treaty, individual versus communal rights, legitimacy, constitutional theory and Maori claims, the Treaty in international law, and Locke, Austin, and the New Zealand judges.
Human Immortality and Electronic Civilization

Immortality is the most cherished dream and the biggest wish of any person. In book the author shows that the problem of immortality can be solved only by changing the biological human into an artificial form. Such an immortal person made of chips and super-solid material (the E-man, as was called in earlier author articles and book) will have incredible advantages in comparison to conventional people. An E-man will need no food, no dwelling, no air, no sleep, no rest, and no ecologically pure environment. His brain will work from radio-isotopic batteries (which will work for decades) and muscles that will work on small nuclear engines. Such a being will be able to travel into space and walk on the sea floor with no aqualungs. He will change his face and figure. He will have super-human strength and communicate easily over long distances to gain vast amounts of knowledge in seconds (by re-writing his brain). His mental abilities and capacities will increase millions of times. It will be possible for such a person to travel huge distances at the speed of light. The information of one person like this could be transported to other planets with a laser beam and then placed in a new body.
Does early repolarization in the athlete have analogies with the Brugada syndrome?

AIMS To re-examine the prevalence and presentation of early repolarization in athletes and to compare it with electrocardiographic abnormalities observed in patients with the Brugada syndrome. METHODS Electrocardiograms of 155 male athletes and 50 sedentary controls were studied. Early repolarization was considered present if at least two adjacent precordial leads showed elevation of the ST segment > or =1 mm. Amplitude and morphology of ST elevation, the leads where it was present and the lead in which it showed its maximum value were analysed together with QRS duration, the presence of right ventricular activation delay, QT and QTc duration. Data were compared with those obtained by electrocardiograms of 23 patients with the Brugada syndrome. RESULTS Early repolarization was found in 139 athletes (89%) and 18 controls (36%, P< or =0.025), being limited to right precordial leads in 42 (30%) athletes and 13 (72%) controls (P< or =0.001). Only 12 (8.6%) athletes and one control (5.5%) with early repolarization had an ST elevation 'convex toward the top' in right precordial leads, similar to that seen in the Brugada syndrome. In athletes the maximum ST elevation was greater (2.3+/-0.6 mm) than in the controls (1.2+/-0.8 mm; P< or =0.004) but significantly lower than in patients with the Brugada syndrome (4.4+/-0.7 mm; P< or =0.0001). Patients with the Brugada syndrome also had a greater QRS duration (0.11+/-0.02 s) than athletes (0.090+/-0.011 s; P< or =0.0001) with early repolarization. CONCLUSIONS Early repolarization is almost always the rule in athletes but it is also frequent in sedentary males. Tracings somewhat simulating the Brugada syndrome were observed in only 8% of athletes without a history of syncope or familial sudden death. Significant differences exist between athletes with early repolarization and patients with the Brugada syndrome as regards the amplitude of ST elevation and QRS duration.
RILogo: visualizing RNA-RNA interactions

SUMMARY With the increasing amount of newly discovered non-coding RNAs, the interactions between RNA molecules become an increasingly important aspect for characterizing their functionality. Many computational tools have been developed to predict the formation of duplexes between two RNAs, either based on single sequences or alignments of homologous sequences. Here, we present RILogo, a program to visualize inter- and intramolecular base pairing between two RNA molecules. The input for RILogo is a pair of structure-annotated sequences or alignments. In the latter case, RILogo displays the alignments in the form of sequence logos, including the mutual information of base paired columns. We also introduce two novel mutual information based measures that weigh the covariance information by the evolutionary distances of the aligned sequences. We show that the new measures have an increased accuracy compared with previous mutual information measures. AVAILABILITY AND IMPLEMENTATION RILogo is freely available as a stand-alone program and is accessible via a web server at http://rth.dk/resources/rilogo. CONTACT pmenzel@gmail.com SUPPLEMENTARY INFORMATION Supplementary data are available at Bioinformatics online.
One-dimensional reduction of multidimensional persistent homology

A recent result on size functions is extended to higher homology modules: the persistent homology based on a multidimensional measuring function is reduced to a 1-dimensional one. This leads to a stable distance for multidimensional persistent homology. Some reflections on i-essentiality of homological critical values conclude the paper.