Miracle-dz/UniFAR-FTUs huggingface dataset:
Under Consideration for Publication in J. Functional Programming Interfaces for Stack Inspection

Stack inspection is a mechanism for programming secure applications in the presence of code from various protection domains. Run-time checks of the call stack allow a method to obtain information about the code that (directly or indirectly) invoked it in order to make access control decisions. This mechanism is part of the security architecture of Java and the . NET Common Language Runtime. A central problem with stack inspection is to determine to what extent the local checks inserted into the code are sufficient to guarantee that a global security property is enforced. A further problem is how such verification can be carried out in an incremental fashion. Incremental analysis is important for avoiding re-analysis of library code every time it is used, and permits the library developer to reason about the code without knowing its context of deployment. We propose a technique for inferring interfaces for stack-inspecting libraries in the form of secure calling context for methods. By a secure calling context we mean a precondition on the call stack sufficient for guaranteeing that execution of the method will not violate a given global property. The technique is a constraint-based static program analysis implemented via fixed point iteration over an abstract domain of linear temporal logic properties.
Intelligent Humanoid Robot with Japanese Wikipedia Ontology and Robot Action Ontology

WioNA (Wikipedia Ontology NAo) is proposed to build much better HRI by integrating four elements: Japanese speech interface, semantic interpretation, Japanese Wikipedia Ontology and Robot Action Ontology. WioNA is implemented on a humanoid robot “Nao”. In WioNA, we developed two ontologies: Japanese Wikipedia Ontology and Robot Action Ontology. Japanese Wikipedia Ontology has a large size of concept hierarchy and instance network with many properties from Japanese Wikipedia (semi) automatically. By giving Japanese Wikipedia Ontology to Nao as wisdom, Nao can dialogue with users on many topics of various fields. Robot Action Ontology, in contrast, is built by organizing various performable actions of Nao to control and generate robot actions. Aligning Robot Action Ontology with Japanese Wikipedia Ontology enables Nao to perform related actions to dialogue topics. To show the validities of WioNA, we describe human-robot conversation logs of two case studies whose dialogue topics are sport and rock singer. These case studies show us how HRI goes well in WioNA with these topics.
Disease profile and differential diagnosis of hereditary transthyretin-related amyloidosis with exclusively cardiac phenotype: an Italian perspective.

AIMS Hereditary transthyretin (TTR)-related amyloidosis (ATTR) is mainly considered a neurologic disease. We assessed the phenotypic and genotypic spectra of ATTR in a Caucasian area and evaluated the prevalence, genetic background, and disease profile of cases with an exclusively cardiac phenotype, highlighting possible hints for the differential diagnosis with hypertrophic cardiomyopathy (HCM) and senile systemic amyloidosis (SSA). METHODS AND RESULTS In this Italian multicentre study, 186 patients with ATTR were characterized at presentation. Thirty patients with SSA and 30 age-gender-matched HCM patients were used for comparison. Phenotype was classified as exclusively cardiac (n = 31, 17%), exclusively neurologic (n = 46, 25%), and mixed cardiac/neurologic (n = 109, 58%). Among the eight different mutations responsible for an exclusively cardiac phenotype, Ile68Leu was the most frequent. Five patients with an exclusively cardiac phenotype developed mild abnormalities at neurological examination, but no symptoms during a 36-month follow-up (range: 14-50). Exclusively cardiac phenotype was characterized by male gender, age >65 years, heart failure symptoms, symmetric left ventricular (LV) 'hypertrophy', and moderately depressed LV ejection fraction. This profile was similar to SSA, but relatively distinct from HCM. Compared with patients with a mixed phenotype, patients with an exclusively cardiac phenotype showed a more pronounced cardiac involvement on both echocardiogram and electrocardiogram (ECG). CONCLUSION A clinically relevant subset of Caucasian ATTR patients present with an exclusively cardiac phenotype, mimicking HCM or SSA. Echocardiographic and ECG findings are useful to differentiate ATTR from HCM but not from SSA. The role of liver transplantation in these patients should be reconsidered.
Specificity of Glomerular Targeting by Olfactory Sensory Axons

Axons from olfactory sensory neurons (OSNs) expressing a specific odorant receptor (OR) project to specific subsets of glomeruli in the olfactory bulb (for review, see Mombaerts, 1999, 2001). The aim of this study was to examine the trajectories that subsets of axons from OSNs expressing the same OR follow within the olfactory nerve and olfactory nerve layer (ONL) of adult mice. Using confocal microscopy, we generated serial reconstructions of axons from M72-IRES-tauGFP-expressing OSNs as they coursed within the ONL and into glomeruli. GFP-expressing axons were loosely aggregated in the outer ONL; however, as they entered the inner ONL, the majority fasciculated with other GFP-expressing axons before entering the glomerular neuropil. Although the vast majority of axons entered the glomerulus from the directly apposed ONL, some followed tortuous courses through and/or around adjacent glomeruli before terminating in the target glomerulus. Similar observations were made on subpopulations of axons in M71-IRES-tauGFP and P2-IRES-tauGFP mice. Ultrastructural analyses of labeled M72 glomeruli showed no evidence of axodendritic synapses other than those with GFP-labeled axon terminals. These data are consistent with the notion that OSN axons are highly precise in targeting glomeruli and that glomeruli, in turn, are highly homogeneous with regard to the OR expressed by the innervating OSNs. Because some single axons could follow idiosyncratic trajectories to the target glomerulus, it appears that stable homotypic fasciculation is not a prerequisite for correct targeting.
Advantages of Sheep Infrapatellar Fat Pad Adipose Tissue Derived Stem Cells in Tissue Engineering

Purpose: The goal of this study has been to evaluate adipose tissue derived stem cells (ADSCs) from infrapatellar fat pad and characterize their cell surface markers using anti-human antibodies, as adipose tissue derived stem cells (ADSCs) have great potential for cellular therapies to restore injured tissues. Methods: Adipose tissue was obtained from infrapatellar fat pad of sheep. Surface markers evaluated by flow cytometry. In order to evaluate cell adhesion, the Polycaprolactone (PCL) was sterilized under Ultraviolet (UV) light and about 1×105 cells were seeded on PCL. Then, ASCs- PCL construct were evaluated by Scanning Electron Microscopy (Mira3 Te Scan, Czech Republic). Results: We showed that adipose tissue derived stem cells (ADSCs) maintain their fibroblastic-like morphology during different subcultures and cell adhesion. They were positive for CD44 and CD90 markers and negative for CD31 and Cd45 markers by human antibodies. Conclusion: Our results suggest that ASCs surface markers can be characterized by anti-human antibodies in sheep. As stem cells, they can be used in tissue engineering.
Applying Differential Evolution to a Realistic Location Area Problem Using SUMATRA

The mobile networks are every day more commonand useful, but the costs involved in its management are high. The location area partitioning is a strategy of location management that tries to minimize the involved costs. In this paper we present a new approach based on differential evolution algorithm applied to the location area partitioning, as a cost optimization problem. We use realistic dat for generating the test networks. This work has the objective of defining the best values to the differential evolution (DE) parameters and setting the DE scheme, which allows us to obtain better results when compared to classical strategies and the other authors' results. The best solution is obtained after the development of four distinct experiments, each one applied to one of the differential evolution parameters. The final results obtained by this approach are very good.
Land-Use Mixing and Suburban Mobility

SUBURBAN traffic congestion has emerged as one of the most pressing problems in the transportation field today and, most probably, will hold center stage in the transportation policy arena for years to come. Most accounts link the suburbanization of congestion to the suburbanization of jobs during the 1980s.1 Indeed, recent surges in suburban office employment have fundamentally altered commuting patterns, giving rise to,far more cross-town, reverse-direction, and lateral travel movements than in years past. This dispersal of jobs and commuting has been a mixed blessing of sorts. While on theone hand it has relieved some downtowns of additional traffic and brought jobs closer to some suburbanites, on the other hand it has flooded many outlying thoroughfares with unprecedented volumes of traffic and seriously threatened the very quality of living that lured millions of Americans to the suburbs in the first place.
Stimulus predictability mediates a switch in locomotor smooth pursuit performance for Eigenmannia virescens

SUMMARY The weakly electric glass knifefish, Eigenmannia virescens, will swim forward and backward, using propulsion from an anal ribbon fin, in response to motion of a computer-controlled moving refuge. Fish were recorded performing a refuge-tracking behavior for sinusoidal (predictable) and sum-of-sines (pseudo-random) refuge trajectories. For all trials, we observed high coherence between refuge and fish trajectories, suggesting linearity of the tracking dynamics. But superposition failed: we observed categorical differences in tracking between the predictable single-sine stimuli and the unpredictable sum-of-sines stimuli. This nonlinearity suggests a stimulus-mediated adaptation. At all frequencies tested, fish demonstrated reduced tracking error when tracking single-sine trajectories and this was typically accompanied by a reduction in overall movement. Most notably, fish demonstrated reduced phase lag when tracking single-sine trajectories. These data support the hypothesis that fish generate an internal dynamical model of the stimulus motion, hence improving tracking of predictable trajectories (relative to unpredictable ones) despite similar or reduced motor cost. Similar predictive mechanisms based on the dynamics of stimulus movement have been proposed recently, but almost exclusively for nonlocomotor tasks by humans, such as oculomotor target tracking and posture control. These data suggest that such mechanisms might be common across taxa and behaviors.
Explaining Movements in the NZ Dollar - Central Bank Communication and the Surprise Element in Monetary Policy?

We conduct a high frequency event analysis to estimate the effects of monetary policy surprises, data surprises, and central bank verbal statements on the New Zealand-US dollar and the New Zealand-Australian dollar exchange rates. We find data surprises and monetary policy surprises have significant and large effects on exchange rate movements. More importantly, RBNZ interest rate decisions have a largely permanent impact on the exchange rate. Significantly, the impact of the published interest rate track seems to explain some 10 per cent additional variation in the exchange rate.
Performance Evaluation of Spread Spectrum Watermarking using Error Control Coding

Abstract- This paper proposes an oblivious watermarking algorithm with blind detection approach for high volume data hiding in image signals. We present a detection reliable signal adaptive embedding scheme for multiple messages in selective sub-bands of wavelet (DWT) coefficients using direct sequence spread spectrum (DS-SS) modulation technique. Here the impact of volumetric distortion sources the ability of is analyzed onanalytical bounds in order to recover the watermark messages. In this context, the joint source-channel coding scheme has been employed to obtain the better control of the system robustness. This structure prevents the desynchronisation between encoder and decoder due to selective embedding. The experimental results obtained for Spread Spectrum (SS) transformed domain watermarking demonstrate the efficiency of the proposed system. This algorithmic architecture utilizes the existing allocated bandwidth in the data transmission channel in a more efficient manner. Keywords-
Inter-satellite link design for the LEO/MEO two-layered satellite network

Inter-satellite link (ISL) design is an important part of the design for satellite networks. Dynamic characteristic of ISLs affects the network performance. We propose an ISL link stability model in this paper. Based on the stability model, a link design scheme for satellite networks is presented. The scheme includes static and dynamic link design phases where static and dynamic types of ISLs are treated respectively. Finally the performance of ISL design scheme is evaluated in a LEO/MEO two-layered satellite network. The simulation results shows that the link design scheme is applicable to requirement of diverse services.
On Parameterizations of First-Order Unimodular Filter Banks

In this paper, two parameterization methods are proposed for M-channel, first-order unimodular filter banks. For such a system with Mcmillan degree of rho, the proposed parameterizations can Q reduce the number of free parameters by rho2, compared with existing methods. At the same time, the resulting structures are still complete and minimal in the Mcmillan sense. Besides, perfect reconstruction, unimodular and the filter length constraints can be all structurally imposed. Moreover, the proposed structures offer unconstrained optimizations in the design, which can be hardly achieved by existing methods
Microarchitecture and performance analysis of a SPARC-V9 microprocessor for enterprise server systems

We developed a 1.3-GHz SPARC-V9 processor: the SPARC64 V. This processor is designed to address requirements for enterprise servers and high-performance computing. Processing speed under multiuser interactive workloads is very sensitive to system balance because of the large number of memory requests included. From many years of experience with such workloads in mainframe system developments, we give importance to design a well-balanced communication structure. To accomplish this task, a system-level performance study must begin at an early please. Therefore we developed a performance model, which consists of a detailed processor model and detailed memory model, before hardware design was started. We updated it continuously. Once a logic simulator became available, we used it to verify the performance model for improving its accuracy. The model quite effectively enabled us to achieve performance goals and finish development quickly. This paper describes the SPARC64 V microarchitecture and performance analyses for hardware design.
Collision Avoidance of Multiple UAS Using a Collision Cone-Based Cost Function Technical Report # CSSE 1207

Greater importance is being placed on unmanned aircraft systems (UAS) by both the military and civilian sectors. Currently, human interaction in the form of guidance and control is required for most applications involving UAS. Smart UAS exist to address this limitation; however, in order to be effective in real-life scenarios, several hurdles must be overcome. One such obstacle is the inability of UAS to avoid one another in a limited airspace. This paper addresses a collision avoidance algorithm which extends the concept of the collision cone for use with multiple UAS. A cost function based on the collision cones between each UAS and its possible aggressor UAS is computed. Using simulated annealing, the bearings of these UAS are adjusted until the minimum number of collisions is estimated to occur as determined by the minimization of the cost function. The algorithm is tested using a simulated environment with promising results.
The quality of a PeerWise MCQ repository

PeerWise allows students to create a repository of multiple choice questions which can be attempted by their peers, and discussed between them online. PeerWise has been shown to foster deep learning and to improve students' performance. In this paper, we consider the nature of the repository created by a large, first year programming class, looking in particular at the quality attributes of Coverage, Question Quality, Difficulty and Indexing. The effect of student ability (as measured by a class test given before use of PeerWise) on the contributions to the repository is also investigated. We find that the overall quality of the repository is good, with only a few minor deficiencies, and conclude that these small defects are a small price to pay when compared with the substantial learning benefits that result from PeerWise use.
Using Local Reaction Structure To Build A Global Metabolic Network Classifier

This work is motivated by the increasing requirement in bioinformatics to model complex networks, such as metabolism, in conjunction with data table observations, such as microarray experiments, to facilitate a greater understanding of experimental results. Our goal is to accurately classify a response variable using the local reaction structure of metabolic networks. We represent a metabolic network as a bipartite graph of compounds connected by the reactions. Each reaction is modeled as a function of its underlying gene expression, and the action of the compounds is to combine each reaction function into global network classifier. Our model has two major advantages:
Multilinear-NC/sub 1/ /spl ne/ multilinear-NC/sub 2/

An arithmetic circuit or formula is multilinear if the polynomial computed at each of its wires is multilinear. We give an explicit example for a polynomial f(x/sub 1/,., x/sub n/), with coefficients in {0,1}, such that over any field: (1) f can be computed by a polynomial-size multilinear circuit of depth O(log/sup 2/ n). (2) Any multilinear formula for f is of size n/sup /spl Omega/(log n)/. This gives a super-polynomial gap between multilinear circuit and formula size, and separates multilinear NC/sub 1/ circuits from multilinear NC/sub 2/ circuits.
The Cation−π Interaction Enables a Halo-Tag Fluorogenic Probe for Fast No-Wash Live Cell Imaging and Gel-Free Protein Quantification

The design of fluorogenic probes for a Halo tag is highly desirable but challenging. Previous work achieved this goal by controlling the chemical switch of spirolactones upon the covalent conjugation between the Halo tag and probes or by incorporating a “channel dye” into the substrate binding tunnel of the Halo tag. In this work, we have developed a novel class of Halo-tag fluorogenic probes that are derived from solvatochromic fluorophores. The optimal probe, harboring a benzothiadiazole scaffold, exhibits a 1000-fold fluorescence enhancement upon reaction with the Halo tag. Structural, computational, and biochemical studies reveal that the benzene ring of a tryptophan residue engages in a cation−π interaction with the dimethylamino electron-donating group of the benzothiadiazole fluorophore in its excited state. We further demonstrate using noncanonical fluorinated tryptophan that the cation−π interaction directly contributes to the fluorogenicity of the benzothiadiazole fluorophore. Mechanistically, this interaction could contribute to the fluorogenicity by promoting the excited-state charge separation and inhibiting the twisting motion of the dimethylamino group, both leading to an enhanced fluorogenicity. Finally, we demonstrate the utility of the probe in no-wash direct imaging of Halo-tagged proteins in live cells. In addition, the fluorogenic nature of the probe enables a gel-free quantification of fusion proteins expressed in mammalian cells, an application that was not possible with previously nonfluorogenic Halo-tag probes. The unique mechanism revealed by this work suggests that incorporation of an excited-state cation−π interaction could be a feasible strategy for enhancing the optical performance of fluorophores and fluorogenic sensors.
Ten Lessons for ICT and Education in the Developing World

World Links for Development Program The World Bank Institute T skills to productively transform knowledge and information into innovative products and services will define successful knowledge economies. Because knowledge and information have become the most important currency for productivity, competitiveness, and increased wealth and prosperity, nations have placed greater priority on developing their human capital. Governments around the world are thus focusing on strategies to increase access to and improve the quality of education. Decision makers find themselves asking key questions: What defines a quality education in today’s global information-based economy? Has education kept pace with a rapidly changing world? Are there good models for reform that we can follow?
Social Democracy and Labour Market Policy: Developments in Britain and Germany

This highly topical study reflects on the current problems faced by social democratic parties in government when espousing policies of severe pragmatism and fiscal prudence, and provides an historical medium-term perspective to both parties' substantial changes in labour market policies. There is now a good deal of interest in the Third Way and the Neue Mitte, and this book provides much needed empirical detail, and solid analysis of the substance of these ideas. It will be of great interest to students and researchers in comparative politics, social democracy and economic policy.
An Optimized Intrusion Detection System Using PCA and BNN

This paper proposes an optimized intrusion detection system (IDS) using principle component analysis (PCA) and back-propagation neural network (BNN). Existing neural network based IDS are mainly suffering from two problems: one is to determine the numbers of hidden layers and regulating weight values to configure its topology. The other is to process the large amounts of audit data. In order to increase detection rates and decrease the processing overheads, we exploit genetic algorithm (GA). The operation of GA enables IDS based on combination of PCA and BNN to increase their detection rates and decrease processing overheads. The experimental results on KDD 1999 intrusion detection dataset demonstrate the possibility of our approach