Miracle-dz/UniFAR-FTUs huggingface dataset:
Nonlinear modelling and state estimation in a real power plant using neural networks and stochastic approximation

The paper deals with two main contributions. The first is the definition of a very accurate model of a section of a real 320 MW power plant. The second is the online tuning of such a model, in accordance with the measures provided by the available sensors of the real system, by suitably using neural networks and stochastic approximation techniques. The proposed approach exhibits very general features so that it can be used for different types of plants. It is therefore possible to design a simulator that can be connected in parallel with the real plant, thus providing the plant technician with information about non-accessible variables that are very useful for supervision purposes. A validation procedure applied to the real power plant and simulation results for the tuning phase show the effectiveness of the approach.
Diagram Design: A Constructive Theory

A systematic analysis of diagrams as visual representations of factual knowledge. The analysis shows that the design process may be divided into three phases: data classification, graphical decision, and layout. Performed in this order, the three phases more or less reflect the design process of a human expert. They also serve as a basis for a constructive theory for diagram design, which is the main focus of this book. XXXXXXX Neuer Text This book is a thorough presentation on the foundations of visualizing information, providing a systematic analysis of diagrams as visual representations of factual knowledge. The analysis shows that the design process may be divided into three phases: a data classification phase, a graphical decision phase, and a layout phase. Performed in this order, the three phases reflect the design process of a human expert and serve as a basis for a constructive theory for diagram design.
Teacher participation in computer conferencing: socio-psychological dimensions

Abstract It has been pointed out in the literature on computer-mediated communication that the social dimensions of network design, user behaviour and user participation on computer networks are very important to the building of an electronic community. So far, no study has examined these dimensions systematically and the ways in which they mediate user participation. This article reports on a study conducted on a computer network for English teachers in Hong Kong schools, TeleNex, to investigate the teachers' participation on the network, and the technical and social psychological dimensions that mediated their participation. Data were obtained by questionnaires and by interviews with a small sample of teachers. The questionnaire results show significant differences between teachers who participated actively in conferencing and those who did not. The interview data provided further insights into the social psychological dimensions. Implications to be considered when building an electronic community of teachers are discussed.
Computer experiments and global optimization

A complex mathematical model that produces output values from input values is now commonly called a computer model. This thesis considers the problem of finding the global optimum of the response with few function evaluations. A small number of function evaluations is desirable since the computer model is often expensive (time consuming) to evaluate. The function to be optimized is modeled as a stochastic process from initial function evaluations. Points are sampled sequentially according to a criterion that combines promising prediction values with prediction uncertainty. Some graphical tools are given that allow early assessment about whether the modeling strategy will work well. The approach is generalized by introducing a parameter that controls how global versus local the search strategy is. Strategies to conduct the optimization in stages and for optimization subject to constraints on additional response variables are presented. Special consideration is given to the stopping criterion of the global optimization algorithm. The problem of achieving a tolerance on the global minimum can be represented by determining whether the first order statistic of N dependent variables is greater than a certain value. An algorithm is developed that quickly determines bounds on the probability of this event. A strategy to explore high-dimensional data informally through effect plots is presented. The interpretation of the plots is guided by pointwise standard errors of the effects which are developed. When used in the context of global optimization, the graphical analysis sheds light on the number and location of local optima.
An MPEG-4 virtual video conferencing system with robust video object segmentation

We introduce a practical MPEG-4 virtual conferencing system using a robust video object segmentation algorithm. This algorithm takes advantage of high-order statistic features of video sequences and the relation between continuous frames to get the final segmentation. The method can produce satisfying results with pixel-wise precision and is robust to the effects of noise and the changing of lighting condition.
Side-Channel Analysis Based on Input Collisions in Modular Multiplications and its Countermeasure

ABSTRACT The power analysis attack is a cryptanalytic technique to retri eve an user's secret key using the side-channel power leakage occurred during the execution of cryptographic algorithm embedd ed on a physical device. Especially, many power analysis attacks have targeted on an exponentiation algorithm which is c omposed of hundreds of squarings and multiplications and adopted in public key cryptosystem such as RSA. Recently, a new correlation power attack, which is tried when two modular multiplications have a same input, is proposed in order to reco ver secret key. In this paper, after reviewing the principle of side-channel attack based on input collisions in modular multip lications, we analyze the vulnerability of some exponentiation algorithms having regularity property. Furthermore, we present an improved exponentiation countermeasure to resist against the input collision-based CPA(Correlation Power Analysis) attack an d existing side channel attacks and compare its security with other countermeasures.Keywords: Power Analysis Attack, Exponentiation Algorithm, Modular Multi plication, Input Collision-based CPA
A handoff algorithm for wireless systems using pattern recognition

A new handoff algorithm based on recognition of patterns in the received signal power is presented. The handoff algorithm uses the constancy of the large scale signal variation with respect to a base station to improve handoff performance in comparison with the conventional hysteresis rule. A probabilistic neural network (PNN) is used for a pattern classifier. For a given environment, a training run is performed. A set of training patterns consists of averaged signal power samples (in dB) from nearby base stations within adjacent spatial windows. A probability of failure based on signal strength is defined and determines the possible serving base station(s) for each training class. A handoff is performed if a nearby class in the sequence of classes requires a handoff. Performance comparison of this handoff algorithm and the hysteresis rule is made for environments with four and five base stations. Simulation results indicate that for a fixed probability of failure, the pattern recognition-based handoff algorithm results in considerably fewer handoffs in comparison to the hysteresis rule. This reduction of unnecessary handoffs decreases the signalling load.
Systematic design of high-linearity current-mode integrators for low-power continuous-time /spl Sigma//spl Delta/ modulators

In this paper, the main sources of nonlinearity in current-mode continuous-time /spl Sigma//spl Delta/ modulators are analyzed. The first integrator gain of the current-mode integrator is optimized to improve the linearity of the /spl Sigma//spl Delta/ modulator. It is shown that by properly choosing the gain of the first integrator, harmonic distortion can be significantly reduced. A systematic design method for continuous-time /spl Sigma//spl Delta/ modulators is presented. This method has been used to design two third order continuous-time /spl Sigma//spl Delta/ modulators using 0.6 /spl mu/m and 0.18 /spl mu/m CMOS processes. Operating at a sampling frequency of 25.6 MHz, these modulators achieve 80 dB of SNDR for a 100 kHz input signal bandwidth.
From policy to practice: One university's experience of implementing strategic change through wholly online teaching and learning

One institution's attempts to implement an ambitious wholly online learning policy is examined in the Australian higher education setting. The conditions that led to a diversity of models of wholly online unit development are considered, along with teachers' design intents in establishing their online teaching and learning environments. The emphasis of the analysis is on those wholly online units created or redeveloped from existing offerings which held out the greatest possibilities for what we have categorised as 'transformatory' learning and teaching as related to the development of highly valued lifelong learning capacities in students. Organisational learning from the offering of the first major suite of wholly online units is outlined and impacts on policy reformulation described. The case study concludes with a consideration of more general lessons learnt from policy driven initiatives directed at transforming teaching and learning in higher education.
A new buffer-memory architecture for FFT computation

Memory-based designs of the fast Fourier transform (FFT) processor are attractive for single-chip implementation. Basically, their architectures can be divided into three types: single-memory design, dual-memory design, and buffer-memory design. Among them, the buffer-memory design can balance the trade-off between memory size and control circuit complexity. In this paper, we present a new buffer-memory architecture for realizing the radix-2 decimation-in-time N-point FFT algorithm. As compared with previous related works, the proposed design reaches the same throughput performance of two transform samples per log2N+1 clock cycles and 100% utilization efficiency in butterfly unit with fewer ROM access times of N-2. It is rather attractive for long-length FFT applications, such as very-high-rate digital subscriber lines and digital video broadcasting.
Descoberta de conhecimento considerando aspectos temporais

A descoberta de conhecimento em banco de dados é uma área nova, mas que está sendo cada vez mais desenvolvida e utilizada em escala empresarial. Este trabalha aborda uma parte dessa área, ainda pouco explorada, que considera os aspectos temporais. Inicialmente serão definidos os principais conceitos relativos a descoberta de conhecimento considerando aspectos temporais. Em seguida é apresentado as etapas do processo de descoberta de conhecimento e finalmente a abordagem é validada com um experimento util izando dados da Secretaria da Saúde do estado do Rio Grande do Sul.
Conditional histogram vector quantization for spellmode recognizer

In speech recognition, vector quantizers have traditionally been used as a pre-processor for sophisticated algorithms such as hidden Markov modelling (HMM) or dynamic time warping (DTW). Recently, simpler systems based more directly on vector quantization (VQ) have been proposed for recognizing isolated words with small vocabularies. The major problem with these simple algorithms is the lack of temporal information. This paper describes a conditional histogram technique which incorporates temporal information by considering the relative likelihoods that certain codewords follow others. Simulation results show that this approach produces better decoding results than the simple VQ algorithm with similar complexity.
Hardware JPEG Decompression

Due to the ever increasing popularity of mobile devices, and the growing number of pixels in digital photography, there becomes a strain on viewing one’s own photos. Similar to Desktop PCs, a common trend occurring in the mobile market to compensate for the increased computational requirements is faster and multi-processor systems. The observation that the number of transistors in integrated circuits doubles approximately every 18-24 months is known as Moore’s law. Some believe that this trend, Moore’s law, is plateauing which enforces alternate methods to aid in computation. This thesis explores supplementing the processor with a dedicated hardware module to reduce its workload. This provides a software-hardware combination that can be utilized when large and long computations are needed, such as in the decompression of high pixel count JPEG images. The results show that this proposed architecture decreases the viewing time of JPEG images significantly.
The flexibility of the QuickLogic FPGA architecture

The QuickLogic pASiC 1 architecture, gives the designer unprecedented flexibility for design, utilization and speed. The automatic placement and routing tools will compile a design using 100% of the logic and 110 resources. Designs entered in high-level description languages and run through many common logic synthesis tools still make effective use of the device resources, thanks to a fragmented logic cell in combination with an "expert" technology mapping algorithm. in addition to all this, the QuickLogic architecture provides speed. The newest.65 micron WildCat devices offer 50 MHz 16-bit accumulators, 160 MHz data path circuits, and 140 MHz counters. The high-speed, 100% routable, logic-efficient pASIC 1 architecture gives designers a highly flexible alternative for FPGA designs. <<ETX>>
Achievable multiplexing gains for wireless PCS with packetized speech

While there have been various proposals to approach the statistical multiplexing limit of 2.35 for packetized speech, the system capacity of wireless PCS under the constraints of maximum packet delay and loss probability has not been determined. The TDMA system is modeled as a . /D/1/K queue where the input process is an superposition of on-off sources. We then describe an imbedded Markov chain approximation and demonstrate its accuracy by simulation. The effects of allowable packet delay and TDMA frame size on system capacity are studied. We show, for example, that for 1% loss probability and maximum delay of two TDMA frame periods, the achievable multiplexing gain is only 2.05 for a 20-slot system. The bounds are useful for establishing limits on any multiple access schemes for different combinations of packet delay and loss constraints.
Content-based news video story segmentation and video retrieval

extraction and speech recognition, etc,which realize news video story segmentation and video retrieval. In this article, first, we use image analysis technologyto detect the frames that contain the texts or the close captions, and we use the video OCR technology to detect the textsof these frames, which provides a good source of textual information for story segmentation and classification. Thespeech digital processing technology is also used to find the boundaries of the news video story and the speechrecognition technology is used to extract the voice texts of the anchorperson and also used to classify the stories that are
Agreement in Mawng: productive and lexicalised uses of agreement in an Australian language

nominals Yes Yes Yes No Yes No 2.3 The article The Mawng article is a small word that optionally occurs at the beginning of an NP and obligatorily occurs between nominals that are part of the same NP (except in determiner NPs see section 3.2). Thus the one form has two quite separate functions: as a marker of information status and as a linking article. The use of the NP-initial article is clearly influenced by information status but its distribution cannot simply be explained with reference to the categories 'definiteness' or 'specificity' as is the case with articles in many other languages. The article is clearly not a demonstrative as it cannot be used as a referring expression on its own and lacks spatial contrasts. Neither is the NP-initial article simply a gender marker as its distribution is related to information status. It 43 Although it appears formally similar to Arabic and Hebrew definite articles at first glance, because they can also occur before all elements of an NP (Ferguson and Barlow 1988).
A single conditional access system for satellite-cable and terrestrial TV

A conditional access system called Eurocrypt is described. It is aimed at the DBS (direct broadcasting satellite) and cable services of Europe. Its implementation uses smart cards, and it is designed to be simple and user-friendly. Entitlements are transmitted in the signal, and the system can manage multiple program providers. Evolution of security aspects is ensured. Functionalities include true impulse buys. >
Extended convergence analysis for multi-grid algorithms and its application in mobility models

The purpose of this thesis is to extend the Fourier-based convergence theory for multi-grid algorithms. The extension allows an efficient multi-grid algorithm to be configured for situations in which a system shows local variations that cannot be handled by Fourier analysis. The focus of this new convergence analysis is a precise description of aliasing effects on the system and the coarsening strategy of the algorithm. Particular cases where this new analysis can be applied are studied, including systems with square-wave eigen-vectors and mobility models based on correlated random walks. The application of the convergence analysis to a given system allows one to obtain the factors by which the modal components of the error in one multi-grid iteration are reduced (convergence factors) and mixed (aliasing factors). These factors show the strength and weakness of inter-grid operators used by the algorithm to transfer information between multiple levels of description of a system. Thus, the convergence analysis can be used to evaluate and design efficient inter-grid operators for the application of the multi-grid algorithm. An application of this theory to models of the mobility of vehicles in a city is considered. An algebraic multi-grid configuration is considered for computation of absorbing times that provide important information for the evaluation of communication protocols in Mobile Ad-hoc NETworks (MANETs). In simple cases, the convergence analysis can be applied to show the efficiency of the configuration and numerical results are provided for more complicated scenarios.
Data Mining Techniques: For Marketing, Sales, and Customer Relationship Management

The leading introductory book on data mining, fully updated and revised! When Berry and Linoff wrote the first edition of Data Mining Techniques in the late 1990s, data mining was just starting to move out of the lab and into the office and has since grown to become an indispensable tool of modern business. This new editionmore than 50% new and revisedis a significant update from the previous one, and shows you how to harness the newest data mining methods and techniques to solve common business problems. The duo of unparalleled authors share invaluable advice for improving response rates to direct marketing campaigns, identifying new customer segments, and estimating credit risk. In addition, they cover more advanced topics such as preparing data for analysis and creating the necessary infrastructure for data mining at your company.Features significant updates since the previous edition and updates you on best practices for using data mining methods and techniques for solving common business problemsCovers a new data mining technique in every chapter along with clear, concise explanations on how to apply each technique immediatelyTouches on core data mining techniques, including decision trees, neural networks, collaborative filtering, association rules, link analysis, survival analysis, and moreProvides best practices for performing data mining using simple tools such as ExcelData Mining Techniques, Third Edition covers a new data mining technique with each successive chapter and then demonstrates how you can apply that technique for improved marketing, sales, and customer support to get immediate results.
Modelling timing assumption with trace theory

An extension of trace theory is described that allows for the verification of asynchronous circuits that are not speed-independent, but instead rely on assumptions about the delays of their components for correct operation. The theory has been implemented in an automatic verifier that checks whether a circuit satisfies a given formal specification in time linear in the number of states of both the specification and the circuit. The ability of the verifier to model timing assumptions greatly expands the class of circuits that can be automatically verified, making the verifier a more useful tool in the design of asynchronous circuits. The verifier is demonstrated on a self-timed queue element. <<ETX>>
Spot-diffusing and fly-eye receivers for indoor infrared wireless communications

A new configuration featured as using spot-diffusing, multiple line-of-sights and fly-eye receivers is proposed for indoor optical wireless communications. Design issues such as suitable light sources, power budget, ambient light interference and fly-eye design are discussed based on simple geometric models. An experiment is conducted to demonstrate the feasibility of the spot diffusing concept. <<ETX>>
Resolving Co-Reference Anaphora Using Semantic Constraints

The field of Artificial Intelligence strives to use the notion of human intelligence to build computer systems to solve various problems. The development and the use of language by humans is a highly intelligent trait depicted by humans for millions of years. With the advent of the internet, an overwhelming amount of written text becomes available for humans to process and there is thus an increased demand for automatic processing of text. The research for this PhD falls in the area of Natural Language Engineering, which deals with building computer systems which can be used to interact with machines using natural language rather than structured commands dictated by the vocabulary of the machine. More specifically, this PhD is about resolving words used to co-reference other words in a document, referred to as anaphora. A common form of anaphora in English is the use of pronouns and phrases such as ``the driver”, ``the tall slim man” and others that contain the definite article “the”. Anaphora use occurs in all natural languages and its resolution is thus crucial for text understanding. Humans display an immense ability to resolve co-referring words using a complex combinat