Miracle-dz/UniFAR-FTUs huggingface dataset:
A STEREO-BASED TECHNIQUE FOR THE REGISTRATION OF COLOR AND LADAR IMAGES

In many remote robotic tasks involving tele-operation, operator performance is enhanced by integrating information acquired from various sensors, such as color, infrared, and laser range cameras. A major difficulty in designing such a multi-sensor system is the development of methods for combining the various data sources into one world model for examination by the operator. By registering different sensing modalities with LADAR range images, visualization techniques can be employed for sensor integration. Using texture mapping, registered images can be displayed through projection onto the range model to provide for 3D visualization of the data acquired from each sensor. Presented in this thesis is a novel stereo-based method for registering color and LADAR images. In this approach, corresponding features in perspective-projected LADAR intensity images and images acquired using a color camera are employed to calculate depth using triangulation, given a rough initial guess of the relative sensor positions. The sum-squared-error of the stereo and LADAR range values is then calculated, and a downhill simplex algorithm is iteratively applied to refine the rotation and translation estimates while rejecting outliers. Finally, the rotation and translation values are used along with the LADAR range data to reproject the color image to the viewpoint of the scanner. This resulting registered color image is used as a texture map to create a photorealistic, 3D color
What Makes an Icon Effective

Several criteria like conspicuity, legibility, and comprehension must be met for an icon to be effective. Previous studies found that visual and cognitive features of icons have significant influence on meeting the criteria for icon effectiveness. The aim of this paper is to present a review on visual features (color, shape, size) and cognitive features (familiarity, concreteness, complexity, meaningfulness, semantic distance). The influence of these features on icon effectiveness was studied. The relationships amongst cognitive features and ways to quantify cognitive features were identified. Suggestions regarding opportunities for future research on icons were also highlighted. Such a review would be helpful in formulating research plans and methodologies for icon studies in the future. In addition, this review would facilitate graphic designers to create more user‐friendly icons in various contexts.
Towards an integrated model of feedforward-feedback processing in the visual cortex

The goal of this work is to explore a potential improvement on a visual recognition system. The system is a biologically-plausible computational model of the feedforward part of the ventral stream in the visual cortex and successfully models human performance on visual recognition tasks for the first 50-100 milliseconds since the presentation of the visual stimulus. We make the first steps to a possible augmentation of the system that will account for both feedforward and feedback processes in the ventral stream. We explore the plausibility of Bayesian network models for feedback. Our results show that although the resulting system underperforms the original, it has a better rate of improvement as more and more training examples are added to it. Thesis Supervisor: Tomaso Poggio Title: Eugene McDermott Professor Thesis Supervisor: Thomas Serre Title: Postdoctoral Associate
Type-Safe Operating System Abstractions

Operating systems and low-level applications are usually written in languages like C and assembly, which provide access to low-level abstractions. These languages have unsafe type systems that allow many bugs to slip by programmers. For example, in 1988, the Internet Worm exploited several insecure points in Unix including the finger command. A call to finger with an unexpected argument caused a buffer overflow, leading to the shutdown of most Internet traffic. A finger application written in a type-safe language would have prevented its exploit and limited the points the Internet Worm could attack. Such vulnerabilities are unacceptable in security-critical applications such as the secure coprocessors of the Marianas network [11, 21], secStore key storage from Plan 9 [6], and self-securing storage [25]. This research focuses on safe language techniques for building OS components that cannot cause memory or IO errors. For example, an Ethernet device driver communicates with its device through IO operations. The device depends on FIFO queues to send and receive packets. A mistake in an IO operation can overflow or underflow the FIFO queues, cause memory errors, or cause configuration inconsistencies on the device. Data structures such as FIFO queues can be written safely in safe languages such as Java and ML but these languages do not allow the access to the low-level resources that an OS programmer needs. Therefore, safe OS components require a language that combines the safety of Java with the low-level control of C. My research formalizes the concurrency, locks, and system state needed by the safety-critical areas of a device driver. These formal concepts are built on top of an abstract syntax and rules that guarantees basic memory safety using linear and singleton types to implement safe memory load and store operations. I proved that the improved abstract machine retains the property of soundness, which means that all well-typed programs will be able to execute until they reach an approved end-state. Together, the concurrency, locks, and state provide safety for IO operations and data structures. Using the OSKit from the University of Utah as a starting point, I developed a small operating system. I ported the 3c509 Ethernet device driver from C to Clay, a C-like type-safe language that uses a type system powerful enough to enforce invariants about low-level devices and data structures. The resulting driver works safely in a multi-threaded environment. It is guaranteed to obtain locks before using shared data. It cannot cause a FIFO queue to overflow or underflow and it will only call IO operations when invariants are satisfied. This type-safe driver demonstrates an actual working application of the theoretical components of my research. The abstract machine is powerful enough to encode a given OS specification and enforce a provably matching implementation. These results lead towards fundamentally secure computing environments.
Pedagogy, symbolic control, and identity : theory, research, critique

Part 1 Towards a Revised Theory of Pedagogy Chapter 2 Pedagogic Codes and their Modalities of Practice Chapter 3 The Pedagogic Device Chapter 4 Pedagogizing Knowledge: Studies in Recontextualizing Chapter 5 Official Knowledge and Pedagogic Identities: The Politics of Recontextualizing Chapter 6 The Divorce of Knowledge from the Knower Part 7 Theory and Research Chapter 8 Codes and Research Chapter 9 Research and Language of Description Part 10 Critique and Response Chapter 11 Sociolinguistics: A Personal View Chapter 12 Vertical and Horizontal Discourses: An Essay Chapter 13 Codes and their Positioning: A Case Study in Misrecognition Chapter 14 Bernstein Interviewed
ATM transport network operation system based on object oriented technologies

A telecommunications management network (TMN) based operation systems (OpS) development platform, including TNMS kernel (transport network management systems kernel) and OpS development support tools, is introduced. The platform adapts the object oriented design approach and the GDMO template based program development. In order to confirm the platform's capability, an ATM transport network OpS is designed and experimentally implemented. The experimental OpS uses a layered architecture of OpS subsystems to manage ATM virtual paths. For the evaluation measures of system development efficiency and operation response time, the platform and the experimental OpS are shown to be suitable for developing future OpSs.
Big Brother is watching but helping you : analyse et interprétation de mouvements humains (expressions, gestes, postures)

Mes activites de recherche portent sur l'analyse et l'interpretation des mouvements humains a partir de donnees visuelles avec comme application principale l'amelioration du processus de communication entre l'homme et la machine. L'idee sous-jacente est de tendre vers une communication homme machine non pas par l'intermediaire des traditionnels ecran/clavier/souris mais vers un processus plus « humain » de communication. Ceci suppose que la machine est capable de reconnaitre et d'interpreter tous les signes de communication humaine a savoir le langage verbal mais aussi tous les signes de communication non verbale. Nous nous placons donc en amont de la problematique des interactions homme-machine proprement dites. Ces travaux se focalisent sur l'interpretation des gestes humains de communication non verbale et en particulier sur l'interpretation des expressions faciales, des mouvements de la tete rigides (hochements.) ou non rigides (clignements, bâillement.), de certains gestes de mains (langage parle complete destine aux malentendants) ainsi que de certaines postures (assis, debout.).
Key Management in Mobile ADHOC Networks

Ad hoc networking is a wireless networking paradigm for self-organizing networks that until recently has mainly been associated with military battlefield networks. However, with the availability of wireless technologies such as Bluetooth and 802.11 and the development of the next generation networks, civilian applications that exploit the advantages of ad hoc networking are being envisioned. So far most of the research has been carried out to address the routing issues. Whereas other issues such as security, key management and network addressing have received considerably less attention and these issues need to be addressed before any successful applications will appear. In this paper, we propose a security model by implementing a simple authentication along with Key Management technique. It is observed that the proposed security concept may increase the level of confidence in this network.
Benefits of Using Automated Software Testing Tools to Achieve Software Quality Assurance

for: Benefits of Using Automated Software Testing Tools to Achieve Software Quality Assurance The increasing complexity of software development demands that developers use automated software testing tools. This study analyzes selected literature published between 1997 and 2005 to provide an analysis of benefits of automated software testing tools to increase software quality assurance. Benefits are presented for software engineers and business analysts and classified in relation to five quality factors (in reference to web applications) described by QA Labs, including quality, reliability, recoverability, security, usability and performance. [This page intentionally left blank. ]
Design of SCADA Systems for Medical & Industrial Applications using Arduino AtMega8 & MATLAB

The main intention of this Research work is to design low cost supervisory control and data acquisition(SCADA) systems using Arduino AtMega8 and MATLAB. This Research work will be implemented for two distinct areas that are Industrial and Medical. In industries this can be used for the controlling of Water tank Motor that means ON and OFF mechanism, various power section controlling, data acquisition from the sensors for example boiler temperature measurement etc. And in the Medical field which is used for pulse rate monitoring of patient and it warns if the pulse rate exceeds beyond the limit. The design interpretation of SCADA Systems as follows,. First the sever programming is to port on to the microcontroller ( AtMega8). This program facilitates to access all pins from MATLAB. This project includes the design of GUI(Graphical User Interface) using Guide tool in MATLAB environment. The user communicates with the external hardware through MATLAB GUI. This can be achieved by interfacing MATLAB GUI with AtMega8 microcontroller. The microcontroller responds according to instructions given by the MATLAB GUI.
Performance tradeoffs in multistreamed superscalar architectures

Superscalar processors employ multiple functional unit designs that can dispatch several instructions every cycle. Two factors limiting the number of instructions dispatched per cycle are: (1) the number of functional units available (hardware), and (2) the amount of parallelism in the workload (software). While the number of functional units determines the peak throughput of a processor, the instruction-level parallelism determines the actual performance obtained. Data dependencies and control breaks constrain instruction-level parallelism resulting in a sustained system performance that is well below the peak. The ability to execute simultaneously multiple instruction streams, referred to as multistreaming, significantly increases the number of independent instructions that can be issued in a cycle. A multistreamed, superscalar processor can dispatch instructions from multiple streams simultaneously. Each stream context is stored internally. The processor adjusts the scheduling policy as the workload changes to maximize throughput. This dissertation explores a methodology for the design of a distributed multistreamed-superscalar processor that addresses instruction issue, implementation of precise interrupts, speculative execution, scheduling, and cache sharing. One of the goals of the design of a processor architecture is to minimize the number of global interconnections and reduce the need for clock synchronization. Variants in the design are possible because of tradeoffs that can be done in the design. We explore several problems present in multistreamed architectures and discuss possible solutions. We present an analytic model to estimate the overall performance of multistreamed architectures. The model uses simple workload and architectural descriptions that are obtained using commonly available tools. The model produces instructions executed per cycle (IPC) as the number of streams is varied.
An Overview of Approaches to Extract Information from Natural Language Corpora

It becomes increasingly important to be able to handle large amounts of data more e? ciently, as anyone could need or generate a lot of information at any given time. However, distinguishing between relevant and non-relevant information quickly, as well as responding to newly obtained data of interest adequately, remain cumbersome tasks. Therefore, a lot of research aiming to alleviate and support the increasing need of information by means of Natural Language Processing (NLP) has been conducted during the last decades. This paper reviews the state-of-the-art of approaches on information extraction from text. A distinction is made between statistic-based approaches, pattern-based approaches, and hybrid approaches to NLP. It is concluded that it depends on the user's need which method suits best, as each approach to natural language processing has its own advantages and disadvantages.
Review of Computer Girl Games in Spain

By computer games for girls we mean recreational and/or educational software −also known as "edutainment"− aimed at female users between the ages of three and fourteen. It is not surprising that the sector should initially have been monopolized by pink design, that is, the type of game design that reproduces the inequality of the genders in society. The first games offered for girls gave a totally stereotyped image of what a girl and a woman should be. The assumption is that girls are interested in romantic tales, make−up, dieting, cooking and fashion. The heroines of these games perform completely conventional roles such as housewife, mother, schoolteacher, nurse, model or princess. Men appear mainly in the form of princes or kings, and usually have better jobs than the women, such as doctor, manager or lawyer. The graphics tend to be based on smooth, rounded shapes, and the dominant colours are pink, lavender and other pastel tones. Generally speaking, the games are simple, uncomplex and not very interactive.
Grammar and the Research Article

The research article (RA) is one of the most important genres in academic discourse, one reason being that progression in an academic career can hinge on the quality and quantity of an academic's publication record. Keywords: discourse analysis; syntax; corpus; grammar; language for academic purposes; writing
New MLFQ Scheduling Algorithm for Operating Systems Using Dynamic quantum

The new design of multilevel feedback queue will depend on usage new technique in computing the quantum to produce (ADQ) Auto Detect Quantum which is relied on the burst of each process has enrolled to the system. By summating the burst time of each process has arrived and dividing it by the number of available processes, we can obtained the dynamic quantum in each level of scheduling. The processes are scheduled and shifted down from queue to other according to their remaining bursts time that should be updated periodically. Every queue has a unique auto detected quantum which is gradually increased or decreased from top level to bottom level queues according to the case of arriving processes. Depending on the results of graphical simulating algorithm on cases study, we can discover that a dynamic quantum is very suitable to accommodate low priority processes that still for a long duration to complete their requests, i.e. avoid the starvation of CPU- bounded processes. Although, it stills compatible with high priority processes (I/O-Bounded) to provide a fair interactivity with them. In comparison to traditional MLFQ the performance of the new scheduling technique is better and practical according to the applied results. Additional, we developed suitable software to simulate the new design and test it on different cases to prove it.
Clean, green, and not so mean: Can business save the world?

2010 BRASS Program Planning Committee members are Andy Spackman, chair, Brigham Young University; Celia Ross, University of Michigan; Christy Donaldson, Utah Valley University; Louise Feldman, Colorado State University; Patrick Griffis, University of Nevada-Las Vegas; Elizabeth Stephan, Western Washington University; Laurie Bridges, Oregon State University; Baseema Krkoska, Cornell University; Tony Lin, University of California-Irvine; and Mark Siciliano, University of Alabama. FROM COMMITTEES OF RUSA
Intelligent Caching for World-Wide Web Objects

The continued increase in demand for information services on the Internet is showing signs of strain. While the Internet is a highly distributed system, individual data objects most often have only a single source. Host computers and network links can easily become overloaded when a large number of users access very popular data. Proxy-caching is currently a popular way to reduce network bandwidth, server load and to improve response time to the user. The original caching proxy, from CERN, is probably still the most widely used. This paper describes software developed by the author that investigates some alternative techniques for caching WorldWide Web objects. This software complements traditional proxy-caching by allowing servers to explicitly grant or deny permission to cache an object, and with support for server-initiated callback in-validation of changed objects.
Of minds and language : a dialogue with Noam Chomsky in the Basque country

1. Introduction PART 1: OVERTURES 2. Opening Remarks 3. The nature of Merge: Consequences for Language, Mind, and Biology 4. Evoling: The Nature of the Language Faculty 5. The Foundational Abstractions 6. Pointers to a Biology of Language? 7. Language in an Epigenetic Framework 8. Brain Wiring Optimization and Non-Genomic Nativism PART 2: ON LANGUAGE 9. Hierarchy, Merge, and Truth 10. Two Interfaces 11. Movement and Concepts of Locality 12. Uninterpretable Features in Syntactic Evolutiion 13. The Brain Differentiates Hierarchical and Probabilistic Grammars 14. Round Table: Language Universals: Yesterday, Today, and Tomorrow PART 3: ON ACQUISITION 15. Innate Learning and Beyond 16. The Learned Component of Language Learning 17. Syntactic Acquisition: An Evaluation Measure After All? 18. Remarks on the Individual Basis for Linguistic Structures PART 4: OPEN TALKS ON OPEN INQUIRIES 19. The Illusion of Biological variation: A Minimalist Approach to the Mind 20. What is There in Universal Grammar? On Innate and Specific Aspects of Language 21. Individual Differences in Foreigh Sound Perception 22. Language and the Brain 23. Conclusion Bibliography Index
Recherche documentaire sur le Web : Les hyperliens sont-ils vraiment utiles ?

There is an increasing interest in hypertext systems, digital li braries and the Web. Due to the huge number of pages and links, browsing cannot be viewed as an adequate searching process, even with the introduction of subject directories or other classified lists (e.g., Yahoo! ). Therefore, an effective query-based mechanism for accessing information is needed. Nowadays, search engines available on the Web are far from covering all available information, and present many drawbacks. Moreover, most of them ignore hypertext links to enhance their retrieval effectiveness. Recent work in IR on the Web seems to recognize that the hyperlink structure can be very valuable for locating information. This paper exposes some search strategies using hyperlinks. Only a few rigorous experiments deal with such large-sized networked information, and we present some preliminary experiments using a snapshot of around 2.3 Gb extracted from the Web. Our study suggests that the usefulness of interdocument relationships for searching purpose is questionable, at least as implemented actually.
Network-attached storage systems

With the dramatic shift towards distributed computing, and its associated client-server model of computation, storage facilities are now found attached to file servers and distributed throughout the network. The paper discusses the underlying technology trends that are leading to high performance network-based storage, namely advances in networks, storage devices, and I/O controller and server architectures. It describes a research prototype, developed at Berkeley, that takes a new approach to high performance computing based on network-attached storage. <<ETX>>
A sub-0.5 V dynamic threshold PMOS (DTPMOS) scheme for bulk CMOS technologies

A new dynamic threshold PMOS (DTPMOS) scheme is presented. In this scheme, the gate of a PMOS transistor is connected to its well in a conventional bulk CMOS technology. This technique results in improved switching speed compared to conventional CMOS in the sub-0.5 V regime. A 32-bit carry skip adder is designed for low voltage, low energy applications using the DTPMOS scheme. This adder consumes only 0.25 pJ of energy at a frequency of 5 MHz. The proposed design results in a 64% reduction in delay and 26% saving in energy compared to the conventional CMOS implementation.