Miracle-dz/UniFAR-FTUs huggingface dataset:
Traffic Measurement and Timestamp Accuracy Evaluation of Java ME Traffic Generator on Smartphone

Research on network traffic measurement is becoming popular because it could find the reason and valuable information regarding the occurrence of timestamp accuracy error. In this thesis the performance of UDP traffic between application level and link level has been investigated on three different Smartphone operating systems. One Java ME traffic generator and sink was developed for this thesis work. Distributed Passive Measurement Infrastructure with Measurement Point was used for the experiment. To get high timestamp accuracy DAG 3.5E card was used which was synchronized with GPS. Through the different tests under different protocol layers, it can be concluded that the Android mobile performs better as Java ME application works like a native application, whereas Symbian and Windows mobile struggles with incompatible implementation for poor JVM support. Time stamping at link level is more accurate and far different from application level. This thesis also investigated the performance evaluation of different JVM for Windows mobile.
Practical aspects of modern interferometry for optical manufacturing quality control: Part 1

Abstract Modern phase shifting interferometers enable the manufacture of optical systems that drive the global economy. Semiconductor chips, solid-state cameras, cell phone cameras, infrared imaging systems, space based satellite imaging and DVD and Blu-Ray disks are all enabled by phase shifting interferometers. Theoretical treatments of data analysis and instrument design advance the technology but often are not helpful towards the practical use of interferometers. An understanding of the parameters that drive system performance is critical to produce useful results. Any interferometer will produce a data map and results; this paper reviews some of the key issues to minimize error sources in that data and provide a valid measurement.
The case for institutional repositories : a SPARC position paper

Editor's Note: In July, the Scholarly Publishing and Academic Resources Coalition (SPARC) released a major position paper that examines the strategic roles institutional repositories serve for colleges and universities. What follows are excerpts from the paper (footnotes omitted) that introduce the concept and describe the essential elements of an institutional repository. The full paper is available on the SPARC Web site .
Academic and Social Experiences of Spanish Native Speakers in an Immersion Program

This Thesis is protected by copyright and/or related rights. It has been brought to you by ScholarWorks@UNO with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rightsholder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/or on the work itself.
Real-Time Projection Mapping Using High-Frame-Rate Structured Light 3D Vision

In this paper, the authors report on the development of a projection-mapping system that can project RGB light patterns that are enhanced for three dimensional (3D) scenes using a graphics processing unit (GPU) based highframe-rate (HFR) vision system synchronized with HFR projectors. The proposed system can acquire 512 × 512 depthimages in real time at 500 fps. The depth-images processing is accelerated by installing a GPU board for parallel processing of Gray-code structured light illumination using infrared (IR) light patterns projected from an IR projector. Using the computed depth-image, suitable RGB light patterns to be projected are generated in real time for enhanced application tasks. They are projected from an RGB projector as augmented information onto a 3D scene with pixel-wise correspondence even when the 3D scene is time-varied. Experimental results obtained from enhanced application tasks for time-varying 3D scenes such as (1) depth-based color mapping, (2) augmented reality (AR) spirit level and (3) AR wristwatch confirm the efficacy of our system.
Columba - A Database of Annotations of Protein Structure

Researchers on protein structures are often interested in sets of proteins sharing certain properties, such as subfolds, protein function, organism source, or pathways. Being able to generate such sets quickly has two major applications. First, researchers may select such a set to perform some special analysis only on the structures within this set, trying to find set-specific properties. Second, researchers may generate groups of proteins by doing some analysis, and are then interested in correlating those groups with common properties of the protein structures contained. We have created the Columba database of annotations for protein structures to support both types of research. Columba physically combines resources on protein structures into a single relational database ready for queries. Columba can answer questions such as
Decoding Note-Taking Abbreviations and Symbols Using a Mobile Device

This research indicates that students who take notes increase their retention levels and make better grades on tests. This research also indicates that students using abbreviations and symbols, as an alphabetic shorthand system, take notes more quickly and more efficiently. It examines note taking research, a brief history of shorthand, Apple’s dedicated decoder, and reports on an action research project whose purpose was to develop a comprehensive alphabetic and symbolic decoder. The decoder has a copyright, trademark, and a patent pending designation.
TelematicsTelematics Transport System Transport System

The paper introduces a self-organizing traffic signal system for an urban road network. In the presented system, the traffic control decisions are made on the basis of predictions that are obtained from a fuzzy cellular traffic model. The fuzzy cellular model represents traffic streams at the microscopic level. Therefore it can directly map parameters of individual vehicles and the vehicle classes can be taken into account in making the control decisions. Simulation experiments were performed to compare the performance of the self-organizing traffic control for two scenarios: first, when the class of vehicles is taken into account and second, when the information on the vehicle class is unavailable. Results of the simulations allow us to explore the possibility of performance enhancement of the urban traffic control through the utilisation of microscopic traffic models and vehicle classification systems.
Design And Implementation Of Image Compression Routine Using Enhanced SPIHT

The objective of this paper is to design and implement an image compression routine using SPIHT proposed here for achieving higher compression ratio. This paper focuses on the study of SPIHT algorithm and compares its result with SPIHT proposed in terms of compression ratio. First of all on gray scale image (i.e. standard image), discrete wavelet transform (DWT) is applied to break it into wavelets (i.e. high pass wavelet coefficients and low pass wavelet coefficients). Then applying proposed SPIHT on the DWT process output, which is followed by reconstruction of original gray scale image by using SPIHT decoding algorithm and inverse discrete wavelet transform. At last, experimental results show that for obtaining higher compression ratio, proposed SPIHT is more beneficial than the conventional SPIHT.
Glocal Multimedia Retrieval

Personal experience is intrinsically local while common knowledge is global. As a consequence, standard multimedia search engines suffer from a gap between local content and global concept, due to the diversity of context. Here we design a new multimedia retrieval system which integrates local diversity into an evolving global knowledge. A suitable personalization of global ontologies allows to extract information from multimedia content according to context-sensitive relevance, while a peer-to-peer communication model provides a decentralized and scalable logical architecture for media search.
The Game Design Reader: A Rules of Play Anthology

The Game Design Reader is a one-of-a-kind collection on game design and criticism, from classic scholarly essays to cutting-edge case studies. A companion work to Katie Salen and Eric Zimmerman's textbook Rules of Play: Game Design Fundamentals, The Game Design Reader is a classroom sourcebook, a reference for working game developers, and a great read for game fans and players. Thirty-two essays by game designers, game critics, game fans, philosophers, anthropologists, media theorists, and others consider fundamental questions: What are games and how are they designed? How do games interact with culture at large? What critical approaches can game designers take to create game stories, game spaces, game communities, and new forms of play? Salen and Zimmerman have collected seminal writings that span 50 years to offer a stunning array of perspectives. Game journalists express the rhythms of game play, sociologists tackle topics such as role-playing in vast virtual worlds, players rant and rave, and game designers describe the sweat and tears of bringing a game to market. Each text acts as a springboard for discussion, a potential class assignment, and a source of inspiration. The book is organized around fourteen topics, from The Player Experience to The Game Design Process, from Games and Narrative to Cultural Representation. Each topic, introduced with a short essay by Salen and Zimmerman, covers ideas and research fundamental to the study of games, and points to relevant texts within the Reader. Visual essays between book sections act as counterpoint to the writings. Like Rules of Play, The Game Design Reader is an intelligent and playful book. An invaluable resource for professionals and a unique introduction for those new to the field, The Game Design Reader is essential reading for anyone who takes games seriously.
Improve The Accuracy Of IVC Simulation Using Coupled Traffic And Network Simulator

Now a days, Vehicular Ad-Hoc Network (VANET) is very popular wireless network for vehicular applications. It is practically difficult to do the experiments on vehicular applications because it is very costly and it will take more time. So it is preferable to use the simulator tools for testing purpose before it is deployed in a real world to use. There are several research challenges in VANET. One of the main challenges in the VANET is realistic simulation of Inter-Vehicle Communication (IVC) protocols. For providing meaningful evaluation result of IVC protocols, an exact modelling of road traffic i.e. an exact movement and position of involved vehicles is very important. To obtain the more realistic simulation result in case of Inter-Vehicle Communication, one of the latest coupled traffic and network simulator (Vehicles In Network Simulation) is used in this paper. Here, the example of Distance based routing protocol using location service with packets power analysis, of vehicle to vehicle communication is taken and their result using VEINS (Vehicles In Network Simulation) simulation is shown.
A socket interface for GALS using locally dynamic voltage scaling for rate-adaptive energy saving

A low-power amendment to the globally-asynchronous, locally-synchronous paradigm (GALS) is presented A proposed socket interface provides locally dynamic voltage scaling (LDVS) adapted to the actual processing rate requirements for each module. Local clock generation by ring oscillators tracks the local device speed at the local supply voltage. Asynchronous I/O handshakes provide the elasticity required to permit the substantial intra-die delay variations present in low voltage, deep sub-micron digital designs to give high yield. By the proposed socket interface, synchronous design methodology can be continued at module level including use of industry standard HDL-based synthesis tools, while module reuse and system design,can be substantially simplified.
A 6 ns 4 Mb ECL I/O BiCMOS SRAM with LV-TTL mask option

The authors report on a 4-Mb BiCMOS SRAM which achieves 6-ns and 8-ns access times with ECL (emitter coupled logic) and TTL (transistor-transistor logic) I/O interfaces, respectively, using: (1) a BinMOS converter directly connecting the ECL level to the CMOS level, (2) a high-speed BinMOS circuit with low-threshold voltage nMOSFETs, (3) an optimum word decoder, and (4) high-speed bipolar sensing circuits with a 3.3-V supply. The SRAM is applicable to either an ECL 100 K interface (VCC=0 V, VEE=4.5 V) or an LV-TTL interface (VCC=3.3 V, VEE=0 V), depending on the mask option used. <<ETX>>
A high effective algorithm of 32-bit multiply and MAC instructions' VLSI implementation with 32/spl times/8 multiplier-accumulator in DSP applications

Multiply and multiply-accumulate (MAC) instructions (see ARM DDI0l00E, ARM Architecture Reference Manual) are fundamental instructions in DSP applications. In an embedded digital signal processing (DSP) core and high-performance enhanced DSP instruction processor core, the implementation of high-performance multiply and MAC instructions is very important. An algorithm of 32/spl times/32 multiply and MAC instructions' VLSI implementation with 32/spl times/8 multiplier-accumulator in DSP applications is presented. The 32/spl times/32 multiplication is achieved by 4 times 32/spl times/8 multiplication. The result of one 32/spl times/8 multiplication serves as a partial product of the next 32/spl times/8 operation; when the result of four such multiplications is accumulated, we get the result of 32/spl times/32. The 32/spl times/8 multiplication is only implemented by the hardware Booth multiplier. The algorithm of multiply and MAC instructions' implementation is the better trade-off between serial multiplier and parallel multiplier.
Framework for Participative and Collaborative Governance using Social Media Mining Techniques

Social media and networking sites have broken the barriers in communication and brought about a revolution in information access, dissemination and communication. Given the inclusive and collaborative nature of social media, political leaders and government organizations too have attempted to harness it for building support, gauging popularity and analyzing the opinions of citizens. This paper, proposes a framework which focuses on the application of text mining techniques on social media content for achieving participative, collaborative and inclusive governance. Most of the political entities and government departments have twitter accounts. Though the tweet text is limited to 140 characters, the accompanying metadata and hashtag (#tag) embedded content make it a potent source for extracting entities, concepts and topics. Web Crawling for content pertaining to these entities and compilation of the same, results in a corpus suitable for text mining. Applying Natural Language Processing (NLP) and mining techniques like Part-of-Speech (POS) tagging, classification, clustering to this generated corpus enables categorizing and summarizing: a) sentiments b) queries and c) grievances. Summarized view of the content makes it amenable for decision making and formulation of responses. A Knowledgebase (KB) is created and perpetually updated with the concepts, entities, summaries, queries and responses. The continued process of creation and enhancement contributes to machine learning. The scope of this paper is limited to proposing a conceptual framework for social media mining facilitating informed decision making for better governance.
UML 2 Toolkit

Gain the skills to effectively plan software applications and systems using the latest version of UML UML 2 represents a significant update to the UML specification, from providing more robust mechanisms for modeling workflow and actions to making the modeling language more executable. Now in its second edition, this bestselling book provides you with all the tools you'll need for effective modeling with UML 2. The authors get you up to speed by presenting an overview of UML and its main features. You'll then learn how to apply UML to produce effective diagrams as you progress through more advanced topics such as use-case diagrams, classes and their relationships, dynamic diagrams, system architecture, and extending UML. The authors take you through the process of modeling with UML so that you can successfully deliver a software product or information management system. With the help of numerous examples and an extensive case study, this book teaches you how to: * Organize, describe, assess, test, and realize use cases * Gain substantial information about a system by using classes * Utilize activity diagrams, state machines, and interaction diagrams to handle common issues * Extend UML features for specific environment or domains * Use UML as part of a Model Driven Architecture initiative * Apply an effective process for using UML The CD-ROM contains all of the UML models and Java? TM code for a complete application, Java? TM 2 Platform, Standard Edition, Version 1.4. 1, and links to the Web sites for vendors of UML 2 tools.
A multiple secretary problem with switch costs

In this thesis, we utilize probabilistic reasoning and simulation methods to determine the optimal selection rule for the secretary problem with switch costs, in which a known number of applicants appear sequentially in a random order, and the objective is to maximize the sum of the qualities of all hired secretaries over all time. It is assumed that the quality of each applicant is uniformly distributed and any hired secretary can be replaced by a better qualified one at a constant switch cost. A dynamic program is formulated and the optimal selection rule for the single secretary case is solved. An approximate solution is given for the multiple secretary case, in which we are allowed to have more than one secretary at a time. An experiment was designed to simulate the interview process, in which respondents were sequentially faced with random numbers that represent the qualities of different applicants. Finally, the experimental results are compared against the optimal selection strategy.
Participation de l'IRISA à DeFT2017 : systèmes de classification de complexité croissante

Cet article decrit la participation de l'equipe LinkMedia de l'IRISA a DeFT 2017. Notre equipe a participe aux 3 tâches : classification des tweets non figuratifs selon leur polarite (tâche 1), l'identifi-cation du langage figuratif (tâche 2) et la classification des tweets figuratifs et non figuratifs selon leur polarite (tâche 3). Pour ces trois tâches, nous adoptons une demarche d'apprentissage artificiel. Plus precisement, nous explorons l'interet de trois methodes de complexite croissante : i) les k plus proches voisins issues de la recherche d'information, ii) le boosting d'arbres de decision, et iii) les reseaux neuronaux recurrents. Nos approches n'exploitent aucune ressource externe riche (lexiques, corpus annotes) et sont uniquement fondees sur le contenu textuel des tweets (et d'autres tweets pour la derniere approche). Cela nous permet d'evaluer l'interet de chacune de ces methodes, mais aussi des representations qu'elles exploitent, a savoir les sacs-de-mots pour la premiere, les n-grams pour la deuxieme et le plongement de mots (word embedding) pour les reseaux neuronaux.
Mechanization and overhaul of feature featherweight Java

Specifying a language using an Interactive Theorem Prover (ITP) is seldom faithful to its original pen-and-paper speci cation. However, the process of mechanizing a language and type safety proofs might also unearth insights for improving the original speci cation. In this work, we detail some design decisions related to our process of rst specifying Featherweight Java (FJ) in Coq and thus evolving such a speci cation to prove the type system properties of an revised version of Feature Featherweight Java (FFJ) a core-calculus for a family of languages that address variability management in highly con gurable systems, such as software product lines (SPLs); which we name as Overhaul Feature Featherweight Java (FFJ? ). Indeed, FFJ? is the rst mechanization of FFJ, and as such it might also help researchers to derive proofs about software product line renements without considering several assumptions about the underlying SPL assets. We believe that the whole process led us to a clearer, unambiguous, and equivalent syntax and semantics of FFJ, while keeping the proofs as well as our FJ extensions as simple as possible.
Automatic visual inspection system for small stampings with free-form surfaces

The authors present an application in quality control where a 100% inspection of the surface and shape of small stampings is done. The stampings have a size of approximately 1 inch in diameter and a complex disc-shaped geometry with free-form surfaces. Typical defects are various deformations like cutoffs, incomplete stampings, cracks and scratches, etc. on both sides of the parts. For the inspection of the two sides two independent sensor units with an extreme diffuse IR-LED flash illumination are used. The parts are turned back between the two inspection tasks by a specially developed turning arrangement. The image processing is based on an image subtraction approach and it is guided by an inspection plan to handle the part variants. The difference image between the actually controlled image and a reference image contains the potential defects. The reference image is computed from various master parts in a teaching process. With the help of a so called region image built from a CAD model of the stamping the defect pixels are sorted by the use of a clustering method according to their spatial appearance. The preprocessing and alignment of these images, the segmentation of the defects and the steps of the final decision are described.
Feedback linearizability of multi-link manipulations with one flexible link

The feedback linearization properties of a class of multilink manipulators with one flexible link are studied. This class includes the 5-bar-linkage and the elbow manipulator. It is shown that the input-output equations are feedback linearizable when the output variable is chosen appropriately. It is shown that the input-state equations are not feedback linearizable. Alternate methods of controlling these manipulators must be studied. <<ETX>>
Analog FIR filters using the Sigma - Delta oversampling technique

The authors present a filter structure which employs an oversampled Sigma - Delta modulator, a binary shift register, and an SC (switched capacitor) summer to implement lowpass and bandpass type FIR (finite impulse response) filters. A long line of analog delay elements accumulates noise, offset, supply coupled noise, and clock feedthrough, and consumes large area and power. It can be replaced by a simple binary shift register if the analog input is first coded by a Sigma - Delta modulator into a binary string. Doing so saves area, reduces circuit complexity, and makes the signal immune to delay element imperfections. The high frequency quantization noise produced by the Sigma - Delta modulator is removed by the lowpass or bandpass FIR filter being implemented. The price paid for these advantages is that the clock rate in the proposed oversampled FIR structure is about a factor of four to five times higher than conventional SC circuits for similar signal bandwidths. <<ETX>>