Miracle-dz/UniFAR-FTUs huggingface dataset:
A parametric model for human faces.

Abstract : This report presents a computer model for the representation of human faces. This three-dimensional, parametric model produces shaded facial images. The face, constructed of polygonal surfaces, is manipulated through the use of parameters which control interpolation, translation, rotation and scaling of the various facial features. With this model, very little input information is needed to specify and generate a specific face with a specific expression. The model has been successfully used to produce a large variety of facial images and several animated sequences. The animated sequence illustrate the power of the model to change facial expression and conformation. Experience with the model indicates that fewer than 10 parameters must be manipulated to produce reasonable speech synchronized facial animation. (Author)
Video and image watermark synchronization

Digital watermarking is the practice of inserting a signal, known as the watermark, into an original signal in an imperceptible manner. The watermark encodes or represents information that can protect the watermarked signal, typically identifying the owner (source) or the intended recipient (destination) of the signal. The embedded watermark may be detected by using a watermark detector, which enables an application to react to the presence (or absence) of the watermark in a signal. However, the watermarked signal may be processed, or attacked, prior to watermark detection. Attacks may remove the embedded watermark or make the watermark more difficult to detect. One type of attack that has received considerable attention is synchronization attacks. A synchronization attack confuses the watermark detector by re-positioning the embedded watermark. Most watermark detectors will fail to detect the water mark embedded in the attacked signal unless the position of the watermark can be identified. This is a significant vulnerability in robust watermark detection. The process of identifying the position of the watermark is known as watermark detector synchronization. A new framework is developed for temporal synchronization in blind symmetric video watermarking. Embedding and detection models are proposed that encompass the behavior of many video watermarking techniques. These models demonstrate that synchronization is challenging when the watermark lacks redundancy, but also that efficient synchronization can be achieved by designing the watermark with temporal redundancy. The temporal synchronization models are adapted to spatial synchronization in still image watermarks. For spatial synchronization, redundancy is obtained by constructing a watermark which induces a pattern in the auto-correlation. Experimental results support the theoretical foundations for both temporal and spatial synchronization. In addition, earlier exploration in watermarking led to the development of a semi-fragile watermarking technique for image authentication. The semi-fragile technique is capable of detecting significant alterations to the watermarked image, but is tolerant to lossy JPEG compression and other, more subtle alterations. This earlier work is not related to watermark synchronization.
Computer-Aided Remote Driving

System for remote control of robotic land vehicle requires only small radio-communication bandwidth. Twin video cameras on vehicle create stereoscopic images. Operator views cross-polarized images on two cathode-ray tubes through correspondingly polarized spectacles. By use of cursor on frozen image, remote operator designates path. Vehicle proceeds to follow path, by use of limited degree of autonomous control to cope with unexpected conditions. System concept, called "computer-aided remote driving" (CARD), potentially useful in exploration of other planets, military surveillance, firefighting, and clean-up of hazardous materials.
Robust state estimation for uncertain systems

The problem of determining optimal state estimates in the face of plant uncertainties is investigated. An optimal guaranteed-cost state estimator that is easy to construct and requires a minimum of a priori assumptions is presented. The motivation for this work was the need for a robust procedure for state estimation for a Kalman-filter-based bar tension prediction system at a bar rolling mill. <<ETX>>
The benefits of using scratch to introduce basic programming concepts in the elementary classroom: poster session

Computer programming is traditionally reserved for the high school classroom. The majority of students often take their first programming course as a high school junior or senior as many high level mathematical concepts are prerequisites for the class. Consequently class sizes are shrinking as high school students find themselves overwhelmed with course options and intimidated by the rigor of the computer programming curriculum.
Content based video retrieval via spatial-temporal information discovery

Content based video retrieval (CBVR) has been strongly motivated by a variety of realworld applications. Most state-of-the-art CBVR systems are built based on Bag-of-visual- Words (BovW) framework for visual resources representation and access. The framework, however, ignores spatial and temporal information contained in videos, which plays a fundamental role in unveiling semantic meanings. The information includes not only the spatial layout of visual content on a still frame (image), but also temporal changes across the sequential frames. Specially, spatially and temporally co-occurring visual words, which are extracted under the BovW framework, often tend to collaboratively represent objects, scenes, or events in the videos. The spatial and temporal information discovery would be useful to advance the CBVR technology. In this thesis, we propose to explore and analyse the spatial and temporal information from a new perspective: i) co-occurrence of the visual words is formulated as a correlation matrix, ii) spatial proximity and temporal coherence are analytically and empirically studied to re ne this correlation. Following this, a quantitative spatial and temporal correlation (STC) model is de ned. The STC discovered from either the query example (denoted by QC) or the data collection (denoted by DC) are assumed to determine speci- city of the visual words in the retrieval model, i:e: selected Words-Of-Interest are found more important for certain topics. Based on this hypothesis, we utilized the STC matrix to establish a novel visual content similarity measurement method and a query reformulation scheme for the retrieval model. Additionally, the STC also characterizes the context of the visual words, and accordingly a STC-Based context similarity measurement is proposed to detect the synonymous visual words. The method partially solves an inherent error of visual vocabulary under the BovW framework. Systematic experimental evaluations on public TRECVID and CC WEB VIDEO video collections demonstrate that the proposed methods based on the STC can substantially improve retrieval e ectiveness of the BovW framework. The retrieval model based on STC outperforms state-of-the-art CBVR methods on the data collections without storage and computational expense. Furthermore, the rebuilt visual vocabulary in this thesis is more compact and e ective. Above methods can be incorporated together for e ective and e cient CBVR system implementation. Based on the experimental results, it is concluded that the spatial-temporal correlation e ectively approximates the semantical correlation. This discovered correlation approximation can be utilized for both visual content representation and similarity measurement, which are key issues for CBVR technology development.
Transposing a Global Vision of Knowledge Management to a Global Vision of Information Management

The definition of Information System do not consider individual as a component of the Information System. In this paper we present our postulates, and our definition of Knowledge Management and Knowledge Management Systems. We describe the Model for Global Knowledge Management within the Enterprise (MGKME) that has been conceived in order to serve as a referential for Knowledge Management Systems in enterprise. Then we suggest a transposition of this model to Information System. This transposition leads to highlight two axis of research: (i) How to consolidate the concept of Information System considering individuals as users and components of the system; and (ii) How to use Information System as one of the factors enabling organizational learning processes.
RCVDiff - a stand-alone tool for representation, calculation and visualization of model differences

In model comparison one can distinguish three major sub- problems: representation, calculation, and visualization of model di? erences. Existing stand-alone tools for managing model di? erences usually focus on one or sometimes two as- pects of model comparison. In this paper we discuss our stand-alone tool calledRCVDi? , that incorporates all three aspects of model comparison. Furthermore, we comment on some issues in the process of model comparison that are not easily perceived if the three aspects of model comparison are considered independently.
An Efficient Implementation of Acute Lymphoblastic Leukemia Images segmentation on the FPGA

In the medical field, image segmentation process is considered the most essential step in image analysis. In this work, the color segmentation for acute lymphoblastic leukemia images (ALL) is applied to segment each leukemia image into two clearly defined regions: blasts and background. The ALL segmentation process is based on hue channel (H) of HSV color space as a method in segmentation of WBC from its complicated background. This work presents an efficient framework for segmentation of ALL images on a reconfigurable logic platform using Simulink, MATLAB and Xilinx System Generator (XSG). This segmentation framework is implemented on a FPGA using basic Xilinx Blockset to minimize hardware resources and lower execution time to be suitable enough for medical applications. It is designed using XSG as DSP design tool that enables the use of Simulink models, implemented in VHDL and synthesized for three different Xilinx FPGA boards.
Exploring the Contribution of a Content-Infused Interactive Whiteboard for School Readiness.

This exploratory study examined the relationship between use of an interactive (touchscreen) whiteboard and development of school readiness skills. Over one school year, public school regular education prekindergarten classrooms used an interactive whiteboard with preloaded literacy and math activities. The children were low-income and English speaking. Randomly selected children (N=86) from each classroom were tested in the fall and spring using individually administered standardized tests of language/literacy and math. Statistically significant increases were found for children’s performance in literacy (namely print knowledge, phonological awareness, and emergent writing), and in mathematics (namely counting, operations, and shapes) over the course of their preschool year, with a 52% increase in literacy readiness and a 28% increase in mathematics readiness for the children. The study supports interactive educational technology as a meaningful and effective instructional component of a quality early childhood program in preparing low-income children to be school ready.
Extraction of neologisms from Japanese corpora

In this thesis an exploration of the application of natural-language processing techniques to the extraction of neologisms from Japanese corpora is described. The research aim was to establish techniques which can be developed and exploited to assist significantly in neologism extraction for compiling Japanese monolingual and bilingual dictionaries. The particular challenge of the task is presented by the lack of word boundaries in Japanese text which creates a problem in the identification of unrecorded words. Three broad approaches have been explored, using a variety of language processing and artificial intelligence techniques, and drawing on large-scale Japanese corpora and reference lexicons: synthesis of possible Japanese words by mimicking Japanese morphological processes, followed by testing for the presence of candidate words in Japanese corpora; analysis of morpheme sequences in Japanese texts to determine the presence of potential new or unrecorded terms; and analysis of language patterns which are often used in Japanese in association with new and emerging terms. The research described in this thesis has identified a number of processes which
Some remarks on musical instrument design at STEIM

At STEIM most research is applied towards specific projects of resident artists and composers. A large portion of this work is for live performance with digital electronics. Hardware and software designers are guided to take idiosyncrasy rather than generality as the prime guiding principle but have managed to create recyclable musical tools. An empirical method is promoted for both artist and technologist in order to recover the physicality of music lost in adapting to the abstractions of technology. The emphasis is on instrument design as a response to the questions posed by each artist's heterogeneous collections of ideas and tools.
Arctic Ocean trials of Trackpoint ultrashort baseline acoustic positioning systems

As part of the development of Theseus, an under-ice autonomous underwater vehicle, trials were conducted to evaluate the performance of Trackpoint II and LXT ultrashort baseline (USB) acoustic positioning systems. These systems have been proposed to provide long range vehicle homing and surface station tracking of the Theseus AUV. These trials were carried out in the Arctic Ocean in 1992 and 1993. The trials were performed by operating the Trackpoint master stations from temporary ice stations with warm tents and living quarters. Helicopters or snow machines were used to carry the remote field party and transponders to distant sites for range and bearing measurements. GPS positioning systems and a Geodometer laser survey instrument were used for position reference. Measured range and bearing error data for the USB positioning systems are presented. Ray trace analysis was used to give understanding into acoustic propagation anomalies. The experience gained through these field trials was used in selection of USB positioning systems for the Theseus vehicle.
Internet’te Bilgi Arama Davranışları

Internet bilgi yonunden zengin bir icerige sahip olmasina ragmen, kullanicilarin internette bilgi ararken sikintiya dustukleri bir gercektir, interneti kullananlarin interneti nicin ve nasil kullandiklari konusu oldukca onemlidir. Bu calismada internette bilgi arama davranislari ile ilgili literaturde bulunan calismalara yer verilmekle birlikte, birbirinden farkli ozellikler gosteren Internet kullanicilari ve bunlarin interneti kullanim ozellikleri uzerinde durulmaktadir. Ayrica kullanici sistem etkilesimi, sik yapilan hatalar ve bu hatalarin en aza indirgenmesi icin yapilmasi gereken kullanici egitiminin onemi dile getirilmektedir.
Chain of data quality algorithms for 3‐D single‐polarization radar reflectivity (RADVOL‐QC system)

A set of quality control algorithms developed in the framework of the RADVOL‐QC system is described. The algorithms are dedicated to 3‐D radar reflectivity data (volumes) provided by a weather radar with single‐polarization of the beam. The system consists of two paths of data processing: quality correction and quality characterization. Processing by means of data correction algorithms allows the reduction of uncertainty in the data, whereas quality characterization algorithms generate a map of quality index (QI) that can be attached to the data. The following correction algorithms are included in the proposed scheme: (1) removal of geometrically shaped non‐meteorological echoes (from the Sun and other emitters); (2) removal of measurement noise (specks); (3) beam blockage correction, and, (4) attenuation in the rain correction. The list of quality characterization algorithms is longer, as it also includes evaluation of data uncertainty due to technical radar parameters, distance to radar related effects, and ground clutter. All the algorithms have been developed paying special attention to possibility of operational application. The system is planned to be extended successively by other quality factors. Copyright © 2012 Royal Meteorological Society
Extraction Of Visible Patterns Of 3-Dimensional Objects

In the fields of computer vision and scene analysis, it is difficult to recognize a 3-dimensional object from 2-dimensional image taken by a TV camera, because the image changes as the object is rotated in 3-dimensional space. This paper deals with convex polyhedrons, and proposes a method for determining 2-dimensional visible patterns of a given 3-dimensional object. Each visible pattern is defined by the shapes of visible faces of the 3-dimensional object, and by the connection relationships between the faces. This method makes it easier to recognize a 3-dimensional object from 2-dimensional images. Finally we present some experimental results to show the effectiveness of our method.
Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories.
A Preliminary Report on Perceptual Resolutions of Korean Consonant Cluster Simplification and Their Possible Change over Time

The present study examined how listeners of Seoul Korean would recover deleted phonemes in consonant cluster simplification. In a phoneme monitoring experiment, listeners had to monitor for C2 (/k/ or /p/) in C1C2C3 when C2 was deleted (C1 was preserved) or preserved (C1 was deleted). The target consonant (C2) was either /k/ or /p/ (e.g., ilk-t? lato vs. palp-t? lato), and there were two listener groups, one group tested in 2002 and the other in 2009. Some points have emerged from the results. First, listeners were able to detect deleted phonemes as accurately and rapidly as preserved phonemes, showing that the physical presence of the acoustic information did not improve the listeners' performance. This suggests that listeners must have relied on language-specific phonological knowledge about the consonant cluster simplification, rather than relying on the low-level acoustic-phonetic information. Second, listener groups (participants in 2002 vs. 2009), differed in processing /p/ versus /k/: listeners in 2009 failed to detect /p/ more frequently than those in 2002, suggesting that the way the consonant cluster sequence is produced and perceived has changed over time. This result was interpreted as coming from statistical patterns of speech production in contemporary Seoul Korean as reported in a recent study by Cho & Kim (2009): /p/ is deleted far more often than /p/ is preserved, which is likely reflected in the way listeners process simplified variants. Finally, listeners processed /k/ more efficiently than /p/, especially when the target was physically present (in C-preserved condition), indicating that listeners benefited more from the presence of /k/ than of /p/. This was interpreted as supporting the view that velars are perceptually more robust than labials, which constrains shaping phonological patterns of the language. These results were then discussed in terms of their implications for theories of spoken word recognition.
The Atlas of New Librarianship

An essential guide to a librarianship based not on books and artifacts but on knowledge and learning. Libraries have existed for millennia, but today the library field is searching for solid footing in an increasingly fragmented (and increasingly digital) information environment. What is librarianship when it is unmoored from cataloging, books, buildings, and committees? In The Atlas of New Librarianship, R. David Lankes offers a guide to this new landscape for practitioners. He describes a new librarianship based not on books and artifacts but on knowledge and learning; and he suggests a new mission for librarians: to improve society through facilitating knowledge creation in their communities. The vision for a new librarianship must go beyond finding library-related uses for information technology and the Internet; it must provide a durable foundation for the field. Lankes recasts librarianship and library practice using the fundamental concept that knowledge is created though conversation. New librarians approach their work as facilitators of conversation; they seek to enrich, capture, store, and disseminate the conversations of their communities. To help librarians navigate this new terrain, Lankes offers a map, a visual representation of the field that can guide explorations of it; more than 140 Agreements, statements about librarianship that range from relevant theories to examples of practice; and Threads, arrangements of Agreements to explain key ideas, covering such topics as conceptual foundations and skills and values. Agreement Supplements at the end of the book offer expanded discussions. Although it touches on theory as well as practice, the Atlas is meant to be a tool: textbook, conversation guide, platform for social networking, and call to action. Copublished with the Association of College & Research Libraries.
ASAFES.2: a novel, neuro-fuzzy architecture for fuzzy computing based on functional reasoning

The proposed architecture, ASAFES2, is a function approximator which combines the functional reasoning or Sugeno's fuzzy reasoning method with stochastic reinforcement learning-a class of quite powerful neural network training algorithms. It is a simple and versatile mathematical tool for fuzzy computing, featuring smooth and quick convergence and ease of use. The main ideas are the fuzzy partitioning of the input space into fuzzy subspaces (each corresponding to a possible fuzzy rule), and the use of a separate, stochastic reinforcement learning neural unit (ANASA II) for every fuzzy subspace, in order to calculate the optimum consequence parameters. Some preliminary results are presented, proving ASAFES2 superior over backpropagation. A new, and "flexible" membership function is also proposed. <<ETX>>
Verifying the L4 virtual memory subsystem

We describe aspects of the formalisation and verification of the L4 μ-kernel. Starting from an abstract model of the virtual memory subsystem in L4, we prove safety properties about this model, and then refine the page table abstraction, one part of the model, towards C source code. All formalisations and proofs have been carried out in the theorem prover Isabelle.