Miracle-dz/UniFAR-FTUs huggingface dataset:
The Revised VLISP PreScheme Front End

The Veri ed Programming Language Implementation Project developed a formally veri ed implementation of the Scheme programming language. It used a systems programming dialect of Scheme, called vlisp PreScheme, to program the vlisp Virtual Machine, a byte-code interpreter. The original compiler only accepted programs that specify iterative processes. This document describes a revision of the language and its compiler. The most important change is the compiler provides a stack to save control information for procedure calls so programs that specify recursive processes are accepted. The revision expands the systems programming tasks for which vlisp PreScheme can be used and simpli es the task of matching an algorithm with its code.
DEVELOPMENT OF A ‘BIPOLAR’ R‐INDEX

A new 'bipolar' R-index analysis was proposed and evaluated. Eighteen judges evaluated red color in eight wine samples by comparing each sample with the control. Judges indicated whether the sample had 'more', the 'same', or 'less' red color than the control, and whether they were sure or unsure of their decision. Three computational methods were used to examine the results: the 'traditional' R-index, the 'bipolar' R-index (R more or R less ) and the 'weighted-bipolar' R-index. While all three methods provided consistent results, the bipolar' R-indices reflected bidirectional differences among the samples thus providing more information. A refinement to the computation ('weighted-bipolar' R-index) was an approach for eliminating the bias associated with overestimation of the sample size and accordingly changed some of the significance levels. Further research is currently underway to expand the scope and application of this method.
Creating a Mediated Schema Based on Initial Correspondences.

Video Place, a company that sells videos through its website, has entered a partnership with Movie Reviews, a website that lists movie facts and reviews. Video Place and Movie Reviews wish to set up a data integration system to allow both databases to be accessed at once. Much schema level work is required to do this: a mediated schema must be developed, mappings must be created between the source schemas and the mediated schema, and a mechanism must be provided for translating queries over the mediated schema into queries over source schemas. In addition, if Video Place and Movie Reviews want to change their previous queries to retrieve data from both sources, queries must be translated from the source schemas to the mediated schema. First, we must create the mediated schema. We can reduce the problem of creating the mediated schema to three tasks: (1) creating a mapping between the source schemas by matching the two schemas to determine where they overlap, (2) merging the two schemas to create a data-model-independent mediated schema, and (3) applying a translation operator to transform the schema into a specific data model (e.g., relational). Consider the first task of creating a mapping between the two schemas [DMDH02, MHH00, MBR01, RB01]. Suppose each database’s actor information is structured as an XML-tree-like representation where each edge is a sub-element relationship, as shown in Figure 1. In this example, the matching task is trivial since elements that correspond to each another have the same name. However, even with such a perfect mapping, differences can remain. For example, the Video Place database (VPDB) represents an actor’s name by a single element while the Movie Reviews database (MRDB) represents it by two elements, FirstName and LastName. Given this difference, should the mediated schema represent Name as one element, two elements (FirstName and LastName), three elements (Name with FirstName and LastName as children), or some other way? The answer affects the behavior of Merge, the amount of guidance about the merge result that should be encoded in the mapping, and the semantics of the mapping needed between the source schemas and mediated schema. The first two issues are largely data-model-independent. Often the third is too, as in our example where the semantics can be expressed by concatenation, an operator present in most view definition languages. Yet most work on merging schemas concentrates on performing the task in a data-model-specific way, e.g., for XML [BM99], or relational and object-oriented databases [LNE89, BC86]. Our goal here is to show how to abstract out the data-model-independent part of the task so it can be reused for any data model. The data-model-dependent part can be performed as a separate subsequent step. Section 2 describes how to merge two source schemas to create a mediated schema, given an initial mapping between the source schemas. Section 3 describes the kinds of conflicts encountered in creating the mediated
User reactions to antrhopomorphized interface

It is still an open question whether software agents should be personified in the interface. In order to study the effects of faces and facial expressions in the interface, a series of experiments was conducted to compare subjects' responses to and evaluation of different faces and facial expressions. The experimental results obtained demonstrate that: 1) personified interfaces help users engage in a task, and are well suited for an entertainment domain; 2) people's impressions of a face in a task are different from ones of the face in isolation. Perceived intelligence of a face is determined not by the agent's appearance but by its competence; 3) there is a dichotomy between user groups which have opposite opinions about personification. Thus, agent-based interfaces should be flexible to support the diversity of users' preferences and the nature of tasks.
Managing the Shape Function of Analog Devices in a Slicing Tree Floorplan

Analog Intellectual Property Cores design is still under study [1, 2]. The precharacterized cell libraries concept cannot be applied because the devices (transistors, capacitors, resistors,.) are electrically sized regarding a specific context. Thus, the trend is to develop reusable generators. To guarantee a reusable and fast placement, slicing tree floorplan can be used. Considering a particular electrical sizing and a specific process, the analog devices may occupy a wide range of shapes because of folding. Finding the correct aspect ratio for each device which optimizes the placement under a specific height and/or width constraint may lead to examine a high number of cases. This paper presents a general placement method to manage rectangular objects with varying aspect ratio. This approach allows hierarchical layout-aware electrical sizing of analog circuits.
Co-Ordinated Coscheduling in Clusters through a Generic Framework

Communication-driven scheduling is known to be an effective technique to improve the performance of parallel workloads in time-sharing clusters. Although several such coscheduling algorithms have been proposed, to our knowledge, none of these techniques have been adopted in commercial systems. We believe this is primarily because many of these algorithms has not been exhaustively tested on real systems in presence of mixed workloads, and hence, have not been demonstrated as a favorable alternative to the traditional, batch scheduling. Moreover, practical issues like lack of a methodological approach to efficiently implement, port or reuse the necessary software have dissuaded designers from including coscheduling as a feature in the mainstream system software layer. In this paper, we attempt to fill these crucial voids by addressing several key issues. First, we propose a generic framework for deploying coscheduling techniques by providing a reusable and dynamically loadable kernel module. Second, we implement three prior dynamic coscheduling algorithms (Dynamic coscheduling (DCS), Spin Block (SB) and Periodic Boost (PB)) and a new coscheduling technique, called Co-ordinated coscheduling (CC), using the above framework. Then, we demonstrate the effectiveness of these strategies by implementing a prototype on a Myrinet connected 16-node Linux cluster that uses industry standard Virtual more » Interface Architecture (VIA) as the user-level communication abstraction. Our indepth performance analysis using a variety of workloads reveals several interesting observations and better insights on the relative merits of the four coscheduling schemes. First, in contrast to some previous results, where PB was shown as the best performer, we observe that SB and the proposed CC scheme outperform all other techniques on a Linux platform that dominates the current market place. This leads to the second conclusion that the choice of the native scheduler plays a significant role in deciding a competitive coscheduling strategy. Third, we find that SB and CC schemes are effective alternatives to batch processing even at a reasonable multiprogramming level of 4 to 6. Finally, we show that despite being an early prototype attempt, the proposed coscheduling scheme (CC) provides equal or slightly better performance than SB with the added advantages of flexibility, generality, and potential for incorporating specialized services such as QoS. « less
Editor's Comments: Why Do Top Journals Reject Good Papers

1 Lewis et al. (2007) report that journal acceptance rates from Cabell and English (2004) show no statistical relationships with IS journal rankings. In my March 2008 editorial, I suggested that, " At a journal, everyday life is measured by factors like: (1) paper cycle times, (2) quality and usefulness of the reviewing, (3) readability of the articles, (4) managerial implications of published work, (5) policy constraints, and (6) quality of the papers, " and promised to spend some time in future editorials discussing these issues. Factors (5) and (6) have been the focus to date, with discussions about taking steps to ensure that good papers are not rejected, and policy constraints that restrict the scope of a journal to something less than the scope of the field it serves. The current editorial will be the last attempt for the nonce to deal with this critical topic. In the December 2008 editorial, we will turn to factor (3) readability of articles, which will segue later into (4) managerial implications of published work. On factor (6)—how to assure that we publish the highest quality papers—I have argued that the biggest problem a journal has is when it rejects papers that its community would have welcomed. Since the purpose of a journal is the dissemination of the most advanced scientific knowledge, rejecting good papers subverts the mission of the journal. The policy at MISQ is to consider all papers that meet our mission, which has been recently enhanced to read: The editorial objective of the MIS Quarterly is the enhancement and communication of knowledge concerning the development of IT-based services, the management of IT resources, and the use, impact, and economics of IT with managerial, organizational, and societal implications. Professional issues affecting the IS field as a whole are also in the purview of the journal. If we miss publishing a good paper that fits this mission, then it hurts the journal more than publishing weak papers, which will not be deemed useful and, therefore, not widely cited. In my June 2008 editorial, I proposed that we deal with this issue by adopting a very different reviewing stance toward papers, in so far as it is possible to do this while maintaining the high standards for acceptance. The topic is so important that, as indicated above, I would like to spend a few more moments of your valuable time by expanding on …
CASE STUDY OF INDUSTRIAL ESPIONAGE THROUGH SOCIAL ENGINEERING

The Federal Bureau of Investigation estimates that U.S. Corporations lose $100 Billion annually due to industrial espionage. While many people believe that the espionage is committed by well financed organizations that can only be stopped by national agencies, that is very incorrect. Industrial espionage usually exploits simple and very preventable vulnerabilities to produce tremendous results. By focusing on comprehensive security, and not just technical security, information security professionals can significantly hamper adversary attempts to steal their organization’s information assets. The presentation that describes this paper presents a case study of an actual industrial espionage attack against a large U.S. corporation.
Object Oriented Systems Analysis: Modeling the World in Data

1. Why Information Modeling? 2. Basic Ideas. 3. Objects. 4. Attributes. 5. Relationships. 6. Constructions Involving Many Objects. 7. Representation of the Informal Method. 8. Techniques. 9. The Role of the Information Model in System Development. Appendix A: Tape Robot Information Model. Appendix B: Tables and Columns: A Model for Shared Real-time Data. References.
Metadata-based Data Auditing

Data quality is one of the most challenging problems today's organisations have to cope with. Knowledge discovery in databases and data mining seem to be promising concepts with regard to error detection and correction in databases. In this paper, we propose a process model for mining-based data cleansing, so-called data auditing, which we derived from the "classical" KDD model. Furthermore, we present a software system for data auditing that implements this process model. The auditing system makes extensive use of metadata, providing a flexible adaptability to various application domains. Our metadata model is based on an established standard to ensure system interoperability. The prototype of our data auditing system has been evaluated by means of cancer registry data.
Dynamic Topic Identification: Towards Combination of Methods

This paper presents several statistical methods for topic identification (TID): topic unigrams, cache model, TFIDF classifier, topic perplexity, and weighted model. Our work aims to improve these methods by confronting them to very different data, measuring their potential complementarity and their TID performance with simple combinations. Statistical topic identification methods depend not only on a corpus, but also on its type. This study allows to advance the cache model which achieves a TID performance of 82 %. This performance has been increased to 82.3 % with our best linear combination.
La valutazione della ricerca in economia

E' stato osservato che i criteri di valutazione della ricerca nelle scienze economiche tendono a scoraggiare le innovazioni e a privilegiare le linee di ricerca aderenti al "mainstream". In realta, questa critica non sembra tenere conto degli sviluppi recenti delle discipline economiche, della diffusione di internet e della perdita di influenza delle universita di maggiore prestigio.
Foreground segmentation and tracking based on foreground and background modeling techniques

The Project Framework is the detection and tracking of foreground objects in static and moving video sequences. The objective of a foreground segmentation and Tracking is to segment the scene in foreground objects and background and establish the temporal correspondence of the foreground objects. In this project we will focus on techniques that are based on a classification using a statistical model of the background and the foreground. For this reason, we will assume that the segmentation of the first frame is provided. Our objective will be to improve the models and define an appropriate updating of these models to reach a correct foreground-background segmentation minimizing False Negatives and False Positives. The tracking process makes the correspondence of the segmented objects with the objects being tracked from previous frames. Depending on the technique, the tracking can be clearly separated from the segmentation (when previous foreground information is not used for the segmentation) or can be implicit in the foreground segmentation (when we are using a priori information of the object).
Index Tracking com controle do número de ativos e aplicação com uso de algoritmos genéticos

In this paper, we discuss the implementation of an index tracking strategy. Our goal is to solve index tracking problems with limited number of assets using Genetic Algorithms (AG). The benchmark is the IBOVESPA index between jan/2009 and jul/2012. We chose four different windows to rebalance the portfolio: monthly, quarterly, semiannual and annual. Previous works have shown that, without using a heuristic approach, those problems could not be solved to form portfolios with a constraint of 20 assets and one hour of computing time with average GAP below 10%. In this study, we provide portfolios with 5 and 10 assets with computational time under five minutes and average MIP GAP below 10%. Relaxing the computing time for 8 minutes, the average MIP Gap was on average below 5%.
Communication techniques for analog VLSI perceptive systems

These Ecole polytechnique federale de Lausanne EPFL, n° 1329 (1995) Reference doi:10.5075/epfl-thesis-1329Print copy in library catalog Record created on 2005-03-16, modified on 2016-08-08
What makes Mentoring Effective? How Research can Guide you in Selecting a Program

C practitioners and policymakers widely accept that having a significant, positive relationship with an adult is instrumental in helping a vulnerable youth demonstrate resilience or even thrive. This conclusion, rooted in current resilience and mentoring literatures, has led policymakers to promote mentoring programs for children, especially those at risk for developmental difficulties due to the adversities they face. Reflecting widespread public support, mentoring programs have proliferated in recent years. In the U.S., over 4,500 programs existed for mentoring youth in 2002. Given mentoring programs’ national popularity, it may come as a surprise when mentoring researchers advocate for a more critical and specific approach to designing and delivering services. Emerging findings show that not all mentoring programs achieve similar outcomes. Thus, available options should be considered thoughtfully and with clear ideas as to what different programs may and may not provide. The nature and quality of mentoring relationships, as well as their impact on the lives of vulnerable youth and families, can vary widely based on factors such as program quality, parent involvement, frequency of shared time, and the stressors affecting the child. The current enthusiasm for mentoring programs may have outpaced what we know about making these programs effective and relevant for improving children’s lives. With poorly designed programs or mismatched mentor-protégé relationships, the promised benefits of mentoring may fail to materialize. This article briefly summarizes some lessons learned about effective mentoring programs and the conditions that promote positive mentoring relationships. We then give examples of promising practices that have been developed to serve youth who have special needs. Finally, we provide recommendations designed to help parents and practitioners make choices regarding mentoring program involvement for their children.
Richesses du français et géographie linguistique

Ce recueil reunit sept contributions originales portant sur les particularites lexicales du francais de zones francophones dont la plupart sont historiquement apparentees : l’Ouest francais, le Quebec et l’Ouest de l’Amerique, les Antilles, l’Ile Maurice et la Nouvelle-Caledonie. Dans la lignee des grands travaux de lexicographie historique et differentielle francophone (Dictionnaire historique du francais quebecois de Claude Poirier, Dictionnaire suisse romand d’Andre Thibault, Dictionnaire des regionalismes de France de Pierre Rezeau), elles apportent chacune a sa facon de nouvelles donnees a notre comprehension de l’histoire de l’expansion du francais a l’epoque coloniale. Inka Wissner y analyse les regionalismes lexicaux releves dans l’oeuvre d’Yvon Viollier, auteur vendeen ; Robert Vezina presente sous la forme d’un riche article lexicographique les nombreux sens du mot medecine en francais d’Amerique, ainsi que les locutions auxquelles il a donne naissance, dans une perspective historique et encyclopedique ; Andre Thibault consacre un article monographique a l’etymologie du quebecisme enfirouaper (et de toute sa famille), longtemps considere a tort par certains auteurs comme un anglicisme ; Pierre Rezeau expose des aspects du francais et du creole de Saint-Domingue a la fin du 18e siecle, d’apres le precieux temoignage d’un lexicographe anonyme ; un glossaire philologique des regionalismes de l’auteur antillais Joseph Zobel, tires de son celebre roman Rue Cases-Negres, est ensuite presente par Andre Thibault ; puis, Christel Pan Yan propose un releve explicatif des regionalismes lexicaux de la presse mauricienne, de 1777 a nos jours ; enfin, Pierre Rezeau clot l’ouvrage avec un riche recueil de regionalismes du francais de Nouvelle-Caledonie, tires de romans policiers. L’ouvrage, qui servira de modele methodologique au public etudiant desireux de se consacrer aux etudes lexicales francophones, se termine par un index lexical qui facilitera son exploitation dans une optique dictionnairique.
Méthode d'implantation parallèle d'applications de TSI sur SoPC

In this paper, we introduce a new method for hardware and software architecture design dedicated to processing signal application on SoPC. This new approach is based on the concept of parallelization of the application on a homogeneous network of communicating coreprocessors. This approach tends to drive the designer choices for configuring the network by using a library of parameterizable IP. Specifics tools ease the parallelization of the algorithm and help the designer to converge to the suitable architecture definition. The hardware design step is strongly automatized and easily enables to refine the hardware architecture. We present here the whole method and the associated hardware and software design tools.
Wavelet Signal Processing of Physiologic Waveforms

The prime objective of this piece of work is to devise novel techniques for computer based classification of Electrocardiogram (ECG) arrhythmias with a focus on less computational time and better accuracy. As an initial stride in this direction, ECG beat classification is achieved by using feature extracting techniques to make a neural network (NN) system more effective. The feature extraction technique used is Wavelet Signal Processing. Coefficients from the discrete wavelet transform were used to represent the ECG diagnostic information and features were extracted using the coefficients and were normalised. These feature sets were then used in the classifier i.e. a simple feed forward back propagation neural network (FFBNN). This paper presents a detail study of the classification accuracy of ECG signal by using these four structures for computationally efficient early diagnosis. Neural network used in this study is a well-known neural network architecture named as multi-Layered perceptron (MLP) with back propagation training algorithm. The ECG signals have been taken from MIT-BIH ECG database, and are used in training to classify 3 different Arrhythmias out of ten arrhythmias. These are normal sinus rhythm, paced beat, left bundle branch block. Before testing, the proposed structures are trained by back propagation algorithm. The results show that the wavelet decomposition method is very effective and efficient for fast computation of ECG signal analysis in conjunction with the classifier.
RESEARCH NOTE Fixed versus Variable Letter Width for Televised Text

The efficiency of two character sets to be used on television screens was evaluated. Subjects performed various tasks (reading, error identification, line finding) with each of the two character sets. The text was presented using dot--matrix characters having either a fixed matrix size or a variable width. The variable--matrix character design resulted in significantly improved efficiency in two of the three tasks, and this character design is recommended for use on television screens.