Miracle-dz/UniFAR-FTUs huggingface dataset:
An undergraduate primary education teaching practicum design and undergraduate primary teachers' satisfaction on developing technological, pedagogical and mathematical knowledge

During the 2008-2009 spring semester, 25 fourth-year undergraduate primary teachers attended the compulsory course 'Teaching Mathematics-Practicum Phase'. The course was organised so as to incorporate ICT and special mathematical scenarios in the teaching approaches of undergraduate primary teachers. This article presents this course's satisfaction of participants as found in the research study. A set of powerful ordinal regression methods has been applied on a survey database. The most important results focus on the determination of the course's weak and strong points, according to the MUSA methodology. The results show a high satisfaction level from the course. The global satisfaction level reaches 98% whereas partial (per criterion) satisfaction levels range from 90% to 97%, the lowest rate corresponding to the theoretical component of the course. These findings raise a number of research questions regarding ICT integration in undergraduate primary teachers' teaching practice.
Leaving telephone answering machine messages: Who’s afraid of speaking to machines?

The aim of this paper is to examine some of the special characteristics of telephone answering machine messages (ΤΑΜMs) s 'discourse types'. First an attempt is made to distinguish 'discourse types' from 'text types', 'genres', and Register s'. Then letters, telephone conversations and ΤΑΜ Ms are compared along several dimensions which serve to show similarities and differences between the three types according to their manner ofproduction and processing. ΤΑΜ Μ s appear to share characteristics ofboth letters and telephone conversations. This is reflected in the language used in leaving messages on answering machines, samples of which are includedfrom data collected in Switzerland. It remains to be seen to what extent TAMMs evolve their own conventional means of expression or adopt conventions f r om letter-writing or telephone conversations.
Large scale ATM switch architecture for Tbit/s systems

This paper discusses a large-scale ATM switch architecture toward a T(tera) bit/s system. A single-stage 40-Gbit/s ATM switch was developed using a parallel processing architecture incorporating current 0.35 /spl mu/m-CMOS device technology and conventional printed circuit boards (300mm/spl times/300mm approx.). This architecture is applicable to a 160-Gbit/s switch using the latest 0.25 /spl mu/m-CMOS device technology. Moreover, a scalable solution for different smaller capacity switches using the same switch elements is introduced. This paper also introduces an innovative method for switch capacity extension. By employing the multipath parallel distribution approach at the cell level with cell sequence integrity guaranteed, this method enables an existing switch to be efficiently expanded.
Wireless infrared communications

Wireless infrared communications can be used to establish short range high-data-rate wireless links. The primary commercial applications are short-term cable-less connectivity for information exchange and wireless local area networking. In the article, the major optical design issues and communication design issues are discussed. An overview of current systems and standards is provided, along with a comparison of infrared systems to radio systems. Keywords: wireless infrared communications; channel modeling; digital modulation; IRDA
Automated registration of sensor images based on object extraction

Automatic image registration is important for many multiframe-based image analysis applications. With an increasing number of images collected every day from different sensors, automated registration of multi-sensor/multi-spectral images has become an important issue. A wide range of registration techniques exists for different types of applications and data sources, however no algorithm is known that can accurately register multi-source images consistently. This research addresses this problem by investigating the development of a fully automatic registration system for remote sensing images. The development of this new automatic image registration method is based on the extraction and matching of common features that are visible in both images. The algorithm involves the following five steps: noise removal, edge extraction, edge linking pattern extraction and pattern matching.
A sophisticated library search strategy using folksonomies and similarity matching

Libraries, private and public, offer valuable resources to library patrons. As of today, the only way to locate information archived exclusively in libraries is through their catalogs. Library patrons,however,often ﬁnd it difﬁcult to formulate a proper query, which requires using speciﬁc keywords assigned to different ﬁelds of desired library catalog records, to obtain relevant results.These improperly formulated queries often yield irrelevant results or no results at all. This negative experience in dealing with existing library systems turns library patrons away from directly querying library catalogs; instead, they rely on Web search engines to perform their searches ﬁrst, and upon obtaining the initial information (e.g., titles, subject headings, or authors) on the desired library materials, they query library catalogs. This searching strategy is an evidence of failure of today’s library systems. In solving this problem, we propose an enhanced library system, which allows partial , similarity matching of (a) tags deﬁned by ordinary users at a folksonomy site that describe the content of books and (b) unrestricted keywords speciﬁed by an ordinary library patron in a query to search for relevant library catalog records. The proposed library system allows patrons posting a query Q using commonly used words and ranks the retrieved results according to their degrees of resemblance with Q while maintaining the query processing time comparable with that achieved by current library search engines.
Delay fault propagation in synchronous sequential circuits

The main task of the fault simulation process is to manage the propagation of the fault effects through the circuit. This paper addresses the problem of propagating gate delay faults in synchronous sequential circuits. The rules for propagating such gate delay faults without any restriction on their size and without considering explicitly the fault size, will be established in this paper. These propagation rules are the foundations of the fault simulator we are developing. This fault simulator will be suitable for simulating gate delay fault in synchronous sequential circuits whatever the fault size may be. <<ETX>>
Data Unfolding PCA Modelling and Monitoring of Multiphase Batch Processes

Abstract Multiple phases are inherently characteristics of most batch processes in industrial manufacturing. In order to monitor this kind of batch process more accurately and efficiently, different multivariate statistical methods have been proposed recently. In this work, a new online monitoring approach is proposed with an efficient regularized batch-wise unfolding modeling approach. The approach computes the average correlation structure of the L-length moving window, while capturing the time varying characteristics of the batch process. Based on principal component analysis modeling, the control limits of SPE and T2 statistics are then calculated for each phase PCA model for online monitoring. The approach needs fewer observations in the construction of batch data than traditional batch-wise unfolding monitoring methods. The L consecutive time periods are effectively averaged over a window, which results in a smoother PCA model especially for the transition period between phases. It makes the approach more applicable to online monitoring of the multiphase batch processes. Application examples show the advantages of the proposed method on online monitoring of multiphase batch processes.
A Comparison Study between Integrated OBFARX-NN and OBF-NN for Modeling of Nonlinear Systems in Extended Regions of Operation

In this paper the combination of linear and nonlinear models in parallel for nonlinear system identification is investigated. A residuals-based sequential identification algorithm using parallel integration of linear Orthornormal basis filters-Auto regressive with exogenous input (OBFARX) and a nonlinear neural network (NN) models is developed. The model performance is then compared against previously developed parallel OBF-NN model in a nonlinear CSTR case study in extended regions of operation (i.e. extrapolation capability).
Single-pole double-throw CMOS switches for 900-MHz and 2.4-GHz applications on p-silicon substrates

A 900-MHz single-pole double-throw (SPDT) switch with an insertion loss of 0.5 dB and a 2.4-GHz SPDT switch with an insertion loss of 0.8 dB were implemented using 3.3-V 0.35-/spl mu/m NMOS transistors in a 0.18-/spl mu/m bulk CMOS process utilizing 20-/spl Omega//spl middot/cm p/sup -/ substrates. Impedance transformation was used to reduce the source and load impedances seen by the switch to increase the power handling capability. SPDT switches with 30-/spl Omega/ impedance transformation networks exhibit 0.97-dB insertion loss and 24.3-dBm output P/sub 1dB/ when tuned for 900-MHz operation, and 1.10-dB insertion loss and 20.6-dBm output P/sub 1dB/ when tuned for 2.4-GHz operation. The 2.4-GHz switch is the first bulk CMOS switch which can be used for 802.11b wireless local area network applications.
Distributed collaborative system of product designing and manufacturing based on grid services

A distributed collaborative system based on grid services is proposed in this paper to support collaborative designing and manufacturing of products. The base of this system is an abstract model of collaborative designing and manufacturing. Resources are encapsulated into service objects and then the integration and sharing of these distributed heterogeneous resources are realised by using service proxy and open grid services architecture (OGSA). Services and interfaces of resources are described by extensible markup language (XML). The publishing and discovery of services are realised by utilising standardisation rule and similar vector matching technology. Lastly, the practicality of this system is validated by its application in the designing and manufacturing process of a product.
Multiple frequencies estimation from compressive phase-only data: performance analysis

The algorithm and application issues of multiple frequencies estimation from compressive phase-only data are addressed in Fan, Wan, Chen, You, and Wang (2012). An alternative minimisation algorithm is proposed. In this article, we give three theoretical properties of the proposed algorithm. The first one enables the algorithm produce correct sparse solution by iteration. The second one guarantees estimation error and is within any given threshold when signal-to-noise ratio (SNR) is high enough. The last one is the SNR, enhanced after processing under suitable conditions.
A staged carry-save-adder array for Montgomery modular multiplication

In this paper, an efficient VLSI architecture to compute the n-bit Montgomery modular multiplication is proposed. By using the staged carry save adder (CSA) array, the computation cycles of addition reduced by about 3n/8. In addition, we apply the switch unit to save 2Q-2 registers from the traditional Q-bit CSA. Compare with the original method, the total clock cycles can be reduced by 68% in the case of n=1024 and Q=512 bits.
Uncertainty in a situation analysis perspective

This paperproposes a discussion on the role of iincerfainty in situation analysis. An overview of the princi- pal typologies of uncertainty foundin the recent literuture is presented. This wide array of uncet-tainty conceptions is a consequence of the intrinsic richness and ambiguity of nat- ural language, but also a consequence of the complexplivs- ical nature of information. Definitions of a liniited number of concepts are proposed in order to better understand the diflerent facets of uncertainty. The benefits sought are: (I) the avoidance of untimely uses of dejniriorls and models of uncertainty. (2) clarifications allowing links with the al- ready well developed logics of knowledge and belief; and (3) guidelines for the selection of the appropriate mathe- matical model to process uncertainty-based information.
Multi-control channel very high-speed optical fiber local area networks and their interconnections using a passive star topology

A multi-control-channel LAN (local area network) configuration is introduced for optical star networks using Aloha protocols. It works on the principle of grouping the users of the system into various groups and providing a separate control channel for each group. The users in a group usually monitor their control channel for a possible control packet from other users. The users in a group can temporarily become members of other groups, thus achieving intergroup communication very easily. This principle can also be used to interconnect optical star LANs using the WDM (wavelength division multiplexing) technology and Aloha protocols. Two methods for star interconnections are presented, their choice depending upon whether there is a limitation on the optical star size or on the number of WDM channels. <<ETX>>
A New Record of Pre-Columbian Engravings in Urubici (SC), Brazil using Polynomial Texture Mapping

© Author(s). In this article we evaluate the application of Polynomial Texture Mapping (PTM), a technique within Reflectance Transformation Imaging (RTI), to a group of preColumbian rock art panels in southern Brazil. Our case study, the Avencal 1 rock art site (Urubici, Santa Catarina state), is one of the largest and most recognised sites in the southern Brazilian highlands. This study is the first detailed analysis of the site since it was recorded five decades ago. The record produced with PTM is more complete when compared with preceding sketches. Furthermore, its utility as a prospection tool is underscored by revealing for the first time the existence of multiple eroded motifs. Interpreting the PTM data, we recognise several new aspects of the panels that have gone unnoticed. Discrepancies between the published plans and the panels are illustrated, as are hypothesised sequences of production for specific panels and multiple techniques of engraving used at Avencal 1. Following our study, it is clear that PTM has applications for both analysis and conservation of preColumbian rock art and beyond. This article is accompanied by the dataset produced from our project in Urubici, which is referred to extensively. The data files are hosted by the Archaeology Data Service.
Efficient FPGA Hardware Implementation of Secure Hash Function SHA-2

The Hash function has been studied by designers with the goal to improve its performances in terms of area, frequency and throughput. The Hash function is used in many embedded systems to provide security. It is become the default choice for security services in numerous applications. In this paper, we proposed a new design for the SHA-256 and SHA-512 functions. Moreover, the proposed design has been implemented on Xilinx Virtex-5 FPGA. Its area, frequency and throughput have been compared and it is shown that the proposed design achieves good performance in term of area, frequency and throughput. Index Terms—Security, SHA-256, SHA-512, FPGA Implementation.
Detection of gait perturbations based on proprioceptive information. Application to Limit Cycle Walkers

Walking on irregular surfaces and in the presence of unexpected events is a challenging problem for bipedal machines. Up to date, their ability to cope with gait disturbances is far less successful than humans': Neither trajectory controlled robots, nor dynamic walking machines Limit Cycle Walkers are able to handle them satisfactorily. On the contrary, humans reject gait perturbations naturally and efficiently relying on their sensory organs that, if needed, elicit a recovery action. A similar approach may be envisioned for bipedal robots and exoskeletons: An algorithm continuously observes the state of the walker and, if an unexpected event happens, triggers an adequate reaction. This paper presents a monitoring algorithm that provides immediate detection of any type of perturbation based solely on a phase representation of the normal walking of the robot. The proposed method was evaluated in a Limit Cycle Walker prototype that suffered push and trip perturbations at different moments of the gait cycle, providing 100% successful detections for the current experimental apparatus and adequately tuned parameters, with no false positives when the robot is walking unperturbed.
PKG‐VUL: Security Vulnerability Evaluation and Patch Framework for Package‐Based Systems

In information security and network management, attacks based on vulnerabilities have grown in importance. Malicious attackers break into hosts using a variety of techniques. The most common method is to exploit known vulnerabilities. Although patches have long been available for vulnerabilities, system administrators have generally been reluctant to patch their hosts immediately because they perceive the patches to be annoying and complex. To solve these problems, we propose a security vulnerability evaluation and patch framework called PKG‐VUL, which evaluates the software installed on hosts to decide whether the hosts are vulnerable and then applies patches to vulnerable hosts. All these operations are accomplished by the widely used simple network management protocol (SNMP). Therefore, system administrators can easily manage their vulnerable hosts through PKG‐VUL included in the SNMP‐based network management systems as a module. The evaluation results demonstrate the applicability of PKG‐VUL and its performance in terms of devised criteria.
Operator-coached machine vision for space telerobotics

A prototype system for interactive object modeling has been developed and tested. The goal of this effort has been to create a system which would demonstrate the feasibility of highly interactive operator-coached machine vision in a realistic task environment and to provide a testbed for experimentation with various modes of operator interaction. The purpose for such a system is to use human perception where machine vision is difficult i. e. to segment the scene into objects and to designate their features and to use machine vision to overcome limitations of human perception i. e. for accurate measurement of object geometry. The system captures and displays video images from a number of cameras allows the operator to designate a polyhedral object one edge at a time by moving a 3-D cursor within these images performs a least-squares fit of the designated edges to edge data detected with a modified Sobel operator and combines the edges thus detected to form a wire-frame object model that matches the Sobel data.
Building extraction and modeling in urban area by image sequence analysis

3D city modeling from airborne imagery includes mainly two parts: (1) image processing procedures and (2) 3D modeling for man-made objects such as buildings, roads and other objects. Line or feature extraction and stereo matching are usually utilized as an image processing procedures, and geometrical data acquisition for man-made objects are performed. However, there are some issues for automatic or semi-automatic man-made object modeling. These problems include uncertainty within matching, extraction of man-made objects and spatial data acquisition. In particular, spatial data acquisition of buildings are important for reliable city modeling. With this objective, this paper focuses especially on efficient and robust line matching method using optical flow, which enable an automatic building extraction since line gives important information for building extraction and satisfied results are depend on rigorous line extraction and matching. Furthermore, building extraction using morphological opening and 3D modeling for urban area are also investigated in this paper.
The role of the syllable in foreign language learning: Improving oral production through dual-coded, sound-synchronised, typographic annotations

Abstract The CNRS-financed authoring system SWANS (Synchronised Web Authoring Notation System), now used in several CercleS centres, was developed by teams from four laboratories as a personalised learning tool for the purpose of making available knowledge about lexical stress patterns and mother-tongue interference in L2 speech production – helping students see what clearly they do not always hear. Studying listening perception is often a novel experience for students, involving syllable recognition, distinguishing strong and weak forms and grappling with the pluri-parametric acoustic features of volume, pitch and length. The objective is to improve listening perception and oral intelligibility in European languages, particularly in the context of authentic case studies, such as those of the EXPLICS project (Socrates), and in debates and papers given at international conferences. Test results with the authoring system have shown that the use of dual coding (synchronised sound and SWANS annotations) can have a permanent destabilizing effect on deviant oral production habits, e.g. final-syllable lengthening in French speakers of English. Some students managed to correct genuinely “fossilised” habits for the first time. This effect is noticeable in controlled contexts (case studies) and less in spontaneous conversation. The implications for continuous assessment via case studies are important as such evaluation is often better contextualized, less stressful, more authentic and more credible than traditional testing. The networked exchange of annotated, synchronised texts announces the emergence of a useful teacher-training tool based on the cooperative analysis of perception problems in video documents. This paper outlines techniques for automatic syllable recognition and recommends a Europe-wide project for raising awareness of the importance of lexical stress patterns in all European languages.
An Inter-Process Communication Facility for UNIX. Revision

Abstract : An inter-process communication facility implemented at Carnegie-Mellon University for VAX/UNIX version seven is described. This facility was designed to provided language, operating system and machine independent communication between processes performing distributed computations. Its relationships to previously existing UNIX facilities and other systems for distributed computing are discussed. Keywords: Networking; UNIX; Network operating systems; Message processing; Compatibility.
VLSI Architectures For Syntactic Image Analysis

Earley's algorithm has been commonly used for the parsing of general context-free languages and error-correcting parsing in syntactic pattern recognition. The time complexity for parsing is 0(n3). In this paper we present a parallel Earley's recognition algorithm in terms of "x*" operation. By restricting the input context-free grammar to be X-free, we are able to implement this parallel algorithm on a triangular shape VLSI array. This system has an efficient way of moving data to the right place at the right time. Simulation results show that this system can recognize a string with length n in 2n+1 system time. We also present an error-correcting recognition algorithm. The parallel error-correcting recognition algorithm has also been im-plemented on a triangular VLSI array. This array recognizes an erroneous string length n in time 2n+1 and gives the correct error count. Applications of the proposed VLSI architectures to image analysis are illus-trated by examples.