Miracle-dz/UniFAR-FTUs huggingface dataset:
Identification des divisions logiques de fichiers logs

Plusieurs domaines d'application comme la Recherche d'Information (RI) ou la traduction automatique utilisent des methodes de segmentation de textes. La segmentation de texte correspond au decoupage d'un texte en unites plus petites. Il existe trois categories principales de methodes de segmentation : thematique, fenetre, et discours.
A NEWWATERMARKING ATTACK USING BLIND SOURCES SEPARATION

In this paper, we show that the watermarking method based on sources separation can be easily detected and destroyed. Indeed, the previous method is based on a simple linear mixture between the watermarks (signatures) and the original signal (the signal to be protected) with grossly different proportions. In this paper, we propose an attack based on blind sources separation that has the ability to extract the signatures independently from the original signal using just one observed mixture.
Reconstruction et complétion de maillages sous contraintes

Dans le cadre d'un projet visant la realisation d'un simula-teur d'accouchement, nous cherchons a creer les modeles geometriques des organes impliques a partir d'images medicales. Mais ces images medi-cales ne contiennent generalement qu'une partie significative de l'organe. Nous nous focalisons ainsi sur la reconstruction des maillages generes et la completion des parties manquantes. Pour cela, nous avons etudie dif-ferentes methodes de modification et de completion des maillages. Par rapport aux methodes existantes, notre solution ne concerne pas seule-ment la completion de maillages mais elle tient aussi compte de diffe-rentes contraintes pre-definies. Notre solution inclut la triangulation, le raffinement et la deformation sous contraintes des maillages surfaciques. Abstract In the context of the Childbirth Simulator Project, we need to create the geometric models of organs from medical imaging. In the general case, the medical images contain only a significant part of the organ, thus, our problem is how to reconstruct and complete the mesh by filling the missing parts. To achieve this goal,we have studied the main approaches for mesh editing and holes filling in order to offer our approach. Compared with the existing methods, our approach also take into account the various pre-defined constraints particularly during the mesh completion. Our method includes triangulation, refinement and constrained deformation of surface meshes.
Hybrid modelling and emulation of mem‐systems

The recently published memristor emulator is based on a digital potentiometer, which is controlled by a microprocessor according to a programmed algorithm. After completing the emulator with suitable mutators, it is possible to emulate also memcapacitors and meminductors. This paper describes a novel approach to the modelling and emulation of general mem‐systems without the necessity of utilizing a digital potentiometer and additional mutators. Copyright © 2011 John Wiley & Sons, Ltd.
Cognitive Robotics in Industrial Environments

Industrial robotics is a challenging domain for cognitive systems, especially, when human intelligence meets solid machinery with many degrees of freedom like most of today’s industrial robots. Hence, for guaranteeing safety for human workers, safety fences are installed to separate humans and robots. As consequence no time and space sharing interaction or cooperation can be found in industrial robotics.
Other Minds, Support, and Likelihoods

This paper investigates the possibility of extending the likelihood treatment of support to situations in which the evidence and the hypotheses supported by the evidence are all outcomes of a chance process. An example is when we ask how much support the observed sequence of heads and tails gives to the hypothesis that the next toss will be a head. I begin by discussing Sober’s approach to a problem of this type: that of estimating how much support the observation that I have a mind gives to the hypothesis that you do. I criticize his approach, and offer a general solution to the problem.
Noise figure and impedance matching in RF cascode amplifiers

The noise figure in low-noise radio frequency cascode amplifiers using narrow-band input-impedance matching is exhaustively analyzed and accurate equations are derived which fit simulated results well. Moreover, the effect on noise performance of different impedance-matching approaches is discussed and fundamental limitations caused by specific matching networks are pointed out. Finally, an improved matching network is proposed which reduces dominant noise components, greatly improving noise figure. By using the same process parameters, calculations and simulations show that the proposed matching arrangement achieves a noise figure at 0.9 GHz, which is about 0.9-dB better than the state-of-the-art solution.
Semi-Automatic Construction of Comparable Genre-Oriented Corpora of Serbian in Cyrillic and Latin Scripts

This article deals with methods for the semi-automatic construction of genre-oriented corpora from the web, drawing on the BootCaT toolkit. In particular, it reports the results of two parallel studies on Serbian. The first factor that makes Serbian interesting in this respect is its rich inflectional morphology; the second concerns the use of two alphabets, Cyrillic and Latin. Four different methods for the creation of genre-oriented corpora are compared for each script, based on keywords and sequences of words (n-grams) of different lengths (unigrams, bigrams and trigrams). The genre under scrutiny is that of cooking recipes, a genre that is very formulaic and also highly represented on the web. The analysis of the corpora created using the different methods shows that for the Latin script no single method substantially outperforms the others, with excellent results obtained across the board, while for Cyrillic there is a clear advantage for bigrams and trigrams over keywords and unigrams. As well as further confirming the potential of genre-oriented methods of corpus construction for languages with a rich system of inflectional morphology, the results also point to a functional split between the two scripts of Serbian.
Digital carrier recovery with frequency offset in TDMA transmission

Time-division multiple-access (TDMA) data transmission is used in various radio communication systems. In TDMA systems, demodulation requires the estimation of some parameters. In the systems considered, the phase is acquired at the beginning of each burst, while clock and frequency are tracked from burst to burst. Two classical algorithms are considered for phase estimation: the feedforward structure proposed by Viterbi & Viterbi (1983), and feedback structures like decision-directed loops. Their acquisition and tracking performance are compared both for coded and uncoded M-ary phase-shift keying (MPSK) modulations. The feedforward structure may be very sensitive to frequency offsets; therefore, the performance of a digital frequency estimator is analyzed in detail. All the algorithms considered are easily implemented with digital hardware. <<ETX>>
Housing Consumption and Residential Crowding in U.S. Housing Markets

As families progress through the life cycle they generate different needs for housing space. The ability to satisfy these needs is clearly dependent on income, but at the same time it is affected by changes in household composition. The aggregate outcomes of the individual ability to adjust housing needs can be seen as a measure of the success of the housing market. This article examines changes in housing space consumption in the United States in the last two and a half decades at both the individual level and in aggregate outcomes. The research uses the data from the Panel Study of Income Dynamics to explore the relationship of housing consumption to income, and the overall success of the adjustment process. Despite the concerns about housing affordability and income polarization in large metropolitan housing markets, the US housing market as a whole, as measured by crowding and roomstress, is continuing to provide a wide range of paths to increased consumption. At the same time the research shows that there is greater pressure on housing consumption in markets with substantial recent immigration.
Investigação de estratégias de seleção de conteúdo baseadas na UNL (Universal Networking Language)

The field of Natural Language Processing (NLP) has witnessed increased attention to Multilingual Multidocument Summarization (MMS), whose goal is to process a cluster of source documents in more than one language and generate a summary of this collection in one of the target languages. In MMS, the selection of sentences from source texts for summary generation may be based on either shallow or deep linguistic features. The purpose of this research was to investigate whether the use of deep knowledge, obtained from a conceptual representation of the source texts, could be useful for content selection in texts within the newspaper genre. In this study, we used a formal representation system – the UNL (Universal Networking Language). In order to investigate content selection strategies based on this interlingua, 3 clusters of texts were represented in UNL, each consisting of 1 text in Portuguese, 1 text in English and 1 human-written reference summary. Additionally, in each cluster, the sentences of the source texts were aligned to the sentences of their respective human summaries, in order to identify total or partial content overlap between these sentences. The data collected allowed a comparison between content selection strategies based on conceptual information and a traditional selection method based on a superficial feature the position of the sentence in the source text. According to the results, content selection based on sentence position was more closely correlated with the selection made by the human summarizer, compared to the conceptual methods investigated. Furthermore, the sentences in the beginning of the source texts, which, in newspaper articles, usually convey the most relevant information, did not necessarily contain the most frequent concepts in the text collection; on several occasions, the sentences with the most frequent concepts were in the middle or at the end of the text. These results indicate that, at least in the clusters analyzed, other criteria besides concept frequency help determine the relevance of a sentence. In other words, content selection in human multidocument summarization may not be limited to the selection of the sentences with the most frequent concepts. In fact, it seems to be a much more complex process.
Rapid prototyping of biorthogonal discrete wavelet transforms on FPGAs

The purpose of this paper is to present a methodology for rapid prototyping of biorthogonal wavelet transforms on FPGAs. The methodology is based on adequate partitioning of a time interleaved "wait cycles" free architecture. The design has been captured using a schematic capture tools and can be parameterised in terms of the number of filter coefficients, data and coefficient word-lengths, digit size and degree of pipelining. The efficiency of the approach has been verified on the Xilinx 4000 FPGA series.
Verification Model and Approximation-Based Implementation of Information-Based Access Control

Verification Model and Approximation-Based Implementation of Information-Based Access Control Pablo LAMILLA ALVAREZ Information-Based Access Control (IBAC) has been proposed as an improvement to History-Based Access Control (HBAC) model. In modern component-based systems, these access control models verify that all the code responsible for a security-sensitive operation is sufficiently authorized to execute that operation. The HBAC model, although safe, may incorrectly prevent the execution of operations that should be executed. The IBAC has been shown to be more precise than HBAC maintaining its safety level while allowing sufficiently authorized operations to be executed. However the verification problem of IBAC program has not been discussed and also the semantics of the IBAC model are relatively recent and complicated to be easily implemented in a real environment. Related to the first matter, this thesis presents a formal model for IBAC programs based on extended weighted pushdown systems (EWPDS). The mapping process between the IBAC original semantics and the EWPDS structure is described. Moreover, the verification problem for IBAC programs is discussed and several typical IBAC program examples using our model are implemented. Related to the second matter, in this thesis we also propose an algorithm to approximate a subset of IBAC programs to a program that uses HBAC semantics. Accomplishing this, an IBAC program from the subset we defined could be implemented in an environment that is supported by HBAC. key words Access Control Models, Model-Checking, Pushdown Systems
Advanced CORBA® Programming with C++

Here is the CORBA book that every C++ software engineer has been waiting for. Advanced CORBA® Programming with C++ provides designers and developers with the tools required to understand CORBA technology at the architectural, design, and source code levels. This book offers hands-on explanations for building efficient applications, as well as lucid examples that provide practical advice on avoiding costly mistakes. With this book as a guide, programmers will find the support they need to successfully undertake industrial-strength CORBA development projects.The content is systematically arranged and presented so the book may be used as both a tutorial and a reference. The rich example programs in this definitive text show CORBA developers how to write clearer code that is more maintainable, portable, and efficient. The authors' detailed coverage of the IDL-to-C++ mapping moves beyond the mechanics of the APIs to discuss topics such as potential pitfalls and efficiency. An in-depth presentation of the new Portable Object Adapter (POA) explains how to take advantage of its numerous features to create scalable and high-performance servers. In addition, detailed discussion of advanced topics, such as garbage collection and multithreading, provides developers with the knowledge they need to write commercial applications.Other highlights:In-depth coverage of IDL, including common idioms and design trade-offsComplete and detailed explanations of the Life Cycle, Naming, Trading, and Event ServicesDiscussion of IIOP and implementation repositoriesInsight into the dynamic aspects of CORBA, such as dynamic typing and the new DynAny interfacesAdvice on selecting appropriate application architectures and designsDetailed, portable, and vendor-independent source code
Extraction d'information à partir de transcription de conversations téléphoniques spécialisées

Information extraction (lE) is about seeking instances of event classes and relations and extracting their arguments from text within a particular domain. Standard approaches rely heavily on syntactic processing to determine the thematic roles of relevant information, while little semantic processing is done and is restricted to named entity extraction. Applying standard approaches to specialized conversational texts faces two problems that have to do with the text’s rhetoric structure and with specialization. Scattered information and disfluencies such as repetitions and omissions are examples of difficulties in TE from conversational texts. Question-answer pairs, widely used in conversa tions, are examples where bits of information are conveyed through successive utterances. In addition, the spontaneous character of composition decreases information density conveyed in utterances while increasing their number. Information is often conveyed through several utterances by the means of pronominal anaphora. Edited words, omissions and interruptions are examples of disfluencies that alter the utterance structure causing a significant decrease of performance in part-of-speech tagging and parsing. Furthermore, altering the syntactic structure of utterances makes syntactic driven learning of extraction patterus difficult if flot impossible. C On the other hand, specialized texts are characterized by a sub-language including
Contributions to the Analysis of Multistate and Degradation Data

Contributions to the Analysis of Multistate and Degradation Data by Yang Yang Co-Chairs: Yves A. Atchade and Vijayan N. Nair Traditional methods in survival, reliability, actuarial science, risk, and other event-history applications are based on the analysis of time-to-occurrence of some event of interest, generically called “failure”. In the presence of high-degrees of censoring, however, it is difficult to make inference about the underlying failure distribution using failure time data. Moreover, such data are not very useful in predicting failures of specific systems, a problem of interest when dealing with expensive or critical systems. As an alternative, there is an increasing trend towards collecting and analyzing richer types of data related to the states and performance of systems or subjects under study. These include data on multistate and degradation processes. This dissertation makes several contributions to the analysis of multistate and degradation data. The first part of the dissertation deals with parametric inference for multistate processes with panel data. These include interval, right, and left censoring, which arise naturally as the processes are not observed continuously. Most of the literature in this area deal with Markov models, for which inference with censored data
Managing Knowledge: Building Blocks for Success

Managing Knowledge: The Challenge. The Companya s Knowledge Base. Building Blocks of Knowledge Management. Defining Knowledge Goals. Identifying Knowledge. Acquiring Knowledge. Developing Knowledge. Sharing and Distributing Knowledge. Using Knowledge. Preserving Knowledge. Measuring Knowledge. Incorporating Knowledge Management. Getting Started. First Experiences of Implementation. Appendices. Notes. Bibliography. Index.
The Place of Game-Based Learning in an Age of Austerity.

Digital games have the potential to create active and engaging environments for learning, supporting problem-solving, communication and group activities, as well as providing a forum for practice and learning through failure. The use of game techniques such as gradually increasing levels of difficulty and contextual feedback support learning, and they can motivate users, using challenges and rewards, competition and mystery. Above all, computer games provide safe spaces in which learners can play, explore, experiment, and have fun. However, finding appropriate games for specific educational contexts is often problematic. Commercial entertainment games are designed for enjoyment, and may not map closely to desired learning outcomes, and the majority of educators do not have the time or specialist expertise to create their own games. Computer games are expensive to purchase or produce, and learners, particularly busy adult learners, need to be convinced of their effectiveness. So while there are many theoretical benefits to the use of computer games for learning, it given the increasing economic constraints in education, their use may simply not be practical. This paper presents three alternative ways in which the theory and practice of computer games can be applied to education, without the expense. First, the option of developing simple and cost-effective games with low technical specifications, such as alternate reality games, or using virtual worlds or one of the growing number of accessible game-builder toolkits to create educational games, will be explored. Second, learning from games rather than with them is discussed, examining game techniques that naturally enhance learning, and embedding those elements in traditional teaching practices. Third, the paper presents the option of giving learners agency as game creators rather than simply players, so that it becomes the process, not the product, which facilitates learning. The advantages and drawbacks of each approach are discussed, looking at both practical and pedagogic issues. In this way, the paper aims to offer alternative ways of thinking about the potential of digital games for learning, and present possible solutions to the increasing financial constraints that face the field.
OpenEssayist: an automated feedback system that supports university students as they write summative essays

OpenEssayist is an automated, interactive feedback system designed to provide an acceptable level of support for students as they write essays for summative assessment. There are two main components to the system: (1) a linguistic analysis engine and (2) a web application that generates feedback for students The main pedagogical challenge in the e-assessment of free text is how to provide meaningful “advice for action” in order to support students writing their summative assessments. We have built a first working version of the system in which we use unsupervised graph-based ranking algorithms (following Mihalcea & Tarau, 2005) to automatically extract key words, phrases and sentences from student essays. We have developed several external representations of these summarisation techniques. For examples, key words and key phrases can be viewed in a word cloud or in a dispersion graph, and they can be explored and organised into groups. Holistic approaches have also been tested using ‘mash ups’ where key words and key sentences are highlighted in context in the essay itself, helping students to investigate the distribution of key words and its potential implications for the clarity of the narrative. This paper will report the findings from our pilot studies of the interactive models associated with the summarisation techniques.
The Acceptance of Women-Centric Websites

Cyberspace has shown a growing number of websites that are meant for female visitors. This paper studies the acceptance of the appearance of such gender-specific service based on an extended Technology Acceptance Model (TAM). In other words, this is a study of TAM as affected by women-centric sites. An online questionnaire survey of Internet users who have visited women-centric sites was conducted. Six factors were extracted from the design features of women-centric websites, forming 3C30 constructs: context, content, community, orderliness, originality, and outreach. It is concluded that context, content, community, and orderliness are the four key factors that affect users' perceptions on the sites. The originality of themes and the outreach of service, however, present no significant benefit to forming positive perceptions. The results further show that TAM and the extended TAM are subject to modification in the women-centric context. Perceived usefulness no longer contributes to the intention to visit. Furthermore, perceived ease of use is less important compared to perceived usefulness and perceived playfulness. This is distinctively so for the male visitors, as the path between perceived ease of use and the attitude toward women-centric sites is statistically insignificant.
A Detector of Sleep Disorders for Using at Home

Abstract—Obstructive sleep apnea usually requires all-night examination in a specialized clinic, under the supervision of a medical staff. Because of those requirements it is an expensive and a non-widely utilized test. Moving the examination procedure to patients’ home with automatic analysis algorithms involved will decrease the costs and make it available for larger group of patients. The developed device allows all-night recordings of the following biosignals: three channels ECG, thoracic impedance (respiration), snoring sounds and larynx vibrations. Additional information, like patient’s body position changes and electrodes’ attachment quality are estimated as well. The reproducible and high quality signals are obtained using the developed and unobtrusive device.