Miracle-dz/UniFAR-FTUs huggingface dataset:
Electrochemical characterisation of patina protectiveness evolution on outdoor bronze sculptures

A modern aesthetic criterion focuses on the visual effect produced by the original patinas colour transformations. The La Recoleta cemetery is one of the sites where numerous bronze sculptures, recognised by their aesthetic and historical value, can be found. Three works in this cemetery were selected for this study. The aim of this work was to elaborate an intervention criterion based on the present state of patinas by means of non-destructive in situ analyses. On different coloured areas the electrochemical behaviour and chemical composition of patinas were determined. Our interdisciplinary intervention policy considers the aesthetic intention of the sculptor and the transformation of the original patina since the sculpture installation to its present reading, in the frame of a scientific and historical study.
Event-based modelling, analysis and testing of user interactions: approach and case study: Research Articles

With the growing complexity of computer-based systems, their graphical user interfaces have also become more complex. Accordingly, the test and analysis process becomes more tedious and costly. This paper introduces a holistic view of fault modelling that is carried out as a complementary step to system modelling, enabling a scalability of the test process, and providing considerable potential for automation. Event-based notions and tools are used to generate and select test cases systematically. The elements of the approach are illustrated and validated by a case study. This paper does not claim to introduce a novel theoretic approach; rather, it makes use of graph-theoretic results for a practical and simple, but nevertheless powerful, view of modelling, analysis and testing of graphical user interfaces. Copyright © 2005 John Wiley & Sons, Ltd.
Metaphor Processing in Turkish: An Eye-movement Study

Insanin bilissel sisteminin dogal bir urunu oldugu kabul edilen metaforlarin islemlenmesine iliskin calismalarin bir kismi, metaforlarin surec-disinda, bir kismi da surec-icinde nasil islemlendigine odaklanmaktadir. Sessiz okuma sirasinda davranissal tepkilerin olculdugu surec-ici arastirmalar, kendi hizinda okuma, goz izleme, beyin goruntuleme gibi farkli yontemleri temel almaktadir. Bu arastirmada, sessiz okuma sirasinda ontursel ve onturden uzak kavramlarla, farkli bilinirlik duzeylerindeki metaforlarin islemlenmesi ele alinacaktir. Arastirmada, sessiz okuma sirasinda ontursel ve onturden uzak kavramlara ve bilinirlik duzeyi yuksek olan ve olmayan metaforlara yonelik davranissal tepkilerin sinanmasi amaclanmaktadir. Bu cercevede arastirmada, Turkcede sessiz okuma sirasinda (a) onturu temsil eden kavramlarin islemlenmesi, (b) onturden uzak kavramlarin islemlenmesi, (c) bilinirlik duzeyi yuksek olan metaforlarin islemlenmesi, (d) bilinirlik duzeyi dusuk olan metaforlarin islemlenmesi sureclerinde goz izleme yontemiyle olculen davranissal tepkilerin neler oldugu sorularina yanit aranmistir. Arastirmada farkli katilimcilardan olusan toplam uc deney gerceklestirilmistir. SMI RED 500 Hz goz izleme sistemiyle uygulanan deneylere hazirlayici olmasi amaciyla uygulanan davranissal deneylerin de bulgularinin tartisildigi bu arastirmada, onturden uzak kavramlarin onturu temsil eden kavramlardan, bilinirlik duzeyi dusuk olan metaforlarin bilinirlik duzeyi yuksek olan metaforlardan daha uzun surede islemlendigi sonucuna ulasilmistir.
FR/ASimJava: a federated approach to parallel and distributed network simulation in practice

The paper addresses issues associated with the application of federations of parallel/distributed simulators to large scale networks simulation. We discuss two principal paradigms for constructing simulations today. Particular attention is paid to an approach for federating parallel/distributed simulators. We describe the design and performance of frame relay network simulator (FR/ASimJava) implemented based on a Java-based library for distributed simulation – ASimJava. Six practical examples – six networks operating under frame relay – are presented to illustrate the operation of the given software tool. The focus is on the efficiency of presented network simulator. Keywords— parallel simulation, computer networks simulation, frame relay, federated simulators.
Cinematic Writing: Thinking Between The Viewer And The Screen

This practice-based research project explores modes of thinking and writing that are generated during and after my encounter with one film, Christopher Petit’s Unrequited Love: On Stalking And Being Stalked (2006). As opposed to a frame by frame analysis of film, this project explores how the anomalous affects and after-effects engendered by film, for example, the disorientations in time and memory produced by camera movement, might generate forms of ‘cinematic writing’. This project approaches these affects as an integral part of the film viewing experience, and asks how they alter the way we think, feel, see, remember, and write. What connections in thought and memory can be provoked and engendered by them? How can our experience of being captivated, disoriented, and absorbed by these filmic affects be enveloped by, rather then represented in, writing? With the aim of developing a practice-based written response to these questions, this project investigates the visual and text-based cinematic techniques used by three writers: William S. Burroughs, Don DeLillo, and Alain Robbe-Grillet. It establishes how cinema has impacted on and been used as a resource to alter and transform their writing practice. The central claim of my project is that the visual and text-based cinematic techniques used by these writers make a valuable contribution to the development of a practice-based mode of writing that is engaged with, but that is not representative of film. I call this mode of writing cinematic writing. This research project claims that a theoretical and practice-based investigation into the anomalous affects and after-effects generated by film could contribute to our knowledge of how film can alter and transform the way we think, see, feel, and write. It explores what cinematic writing does in being read/seen by a reader, and asks how cinematic techniques in writing could impact on and alter our conventional literary reading habits.
Software reliability engineering : more reliable software, faster development and testing

This hands-on tutorial shows how to develop tests that ensure the reliability of software systems. Software developers learn how to establish reliable objectives, develop operational profiles, and prepare and execute test cases, as well as about useful formulae and recommended software tools. FAQ sections in each chapgter provide a useful way to review or reference specific information, and practical exercises allow readers to immediately apply what they have learned. John D. Musa is the author of "Software Reliability: Measurement, Prediction, Application".
Science and scientists in stories narrated by children: an experiment of illustrated and narrative focus groups*

Utilizing a new method of illustrated and narrative focus groups (Castelfranchi, 2013), associated with techniques from semiotic analysis and storytelling, the researchers interviewed and documented speeches and collective drawings made by groups of 6-10 children, aged around 7-12 yo, in 5 city schools of Diamantina, Vespasiano and Belo Horizonte (Minas Gerais, Brazil). In the context of collective invention of illustrated stories, the children talked about science, the scientists and their practices. Relevant results were found: 1. Our subjects are equipped, in general, with less
Reconsideration of Event Structure in the Generative Lexicon: Event-Related Lexical Inferences

This paper proposes the addition of inferential relations – presupposition and entailment – between an event and its subevents to event structure in the Generative Lexicon (Pustejovsky, 1995). The inferential relations reflect the lexical semantic properties of verbs. For example, the verb kill is related semantically with die by an inferential relation based on the event structure of the verb kill. That is, kill lexically entails die since the latter denotes a caused subevent in the event structure of the former. In this paper, I present various types of lexical inferences of verbs to support the proposal and suggest a modified event structure.
Verification of Component-based Distributed Real-time Systems

Component-based software architectures enable reuse by separating application-specific concerns into modular components that are shielded from each other and from common concerns addressed by underlying services. Even so, concerns such as invocation rates, execution latencies, deadlines, and concurrency and scheduling semantics still cross-cut component boundaries in many real-time systems. Verification of these systems therefore must consider how composition of components relates to timing, resource utilization, and other properties. However, existing approaches only address a sub-set of the concerns that must be modeled in component-based distributed real-time systems, and a new more comprehensive approach is thus needed. To address that need, this paper offers three contributions to the state of the art in verification of component-based distributed real-time systems: (1) it introduces a formal model called real-time component automata that combines and extends interface automata and timed automata models; (2) it presents new component composition operations for single-threaded and cooperative multitasking forms of concurrency; and (3) it describes how the composed models can be combined with task locations, a scheduling model, and a Notes: This research was supported in part by NSF grant CCF-0448562 titled "CAREER: Time and Event Based Type of Report: Other Department of Computer Science & Engineering Washington University in St. Louis Campus Box 1045 St. Louis, MO 63130 ph: (314) 935-6160 Verification of Component-based Distributed Real-time Systems∗ Huang-Ming Huang and Christopher Gill Department of Computer Science and Engineering Washington University, St. Louis, MO, USA {hh1, cdgill}@cse.wustl. edu
New approaches and their applications in measuring mixing patterns of complex networks

Gnanakumar Thedchanamoorthy Master of Philosophy The University of Sydney April 2015 New approaches and their applications in measuring mixing patterns of complex networks In this thesis, mixing patterns of complex networks are analysed. Both synthesised as well as existing, real-world networks are studied using various approaches to analyse the mixing patterns of them. A sample set of canonical networks, scale-free networks, small-world networks and random networks were created with varying characteristics and their mixing patterns were studied. Many large-scale, real-world networks were also analysed in order to understand their mixing patterns. Assortativity is a measure that quantifies the similarity among nodes that are connected. This could be calculated for each node and for the whole network as well. In this thesis, two new approaches to quantify node assortativity have been proposed. First approach presented eliminates the dependency of node assortativity calculation on average excess degree. This dependency was found in the definition that is widely used currently. Using the new approach, it is shown that most real-world scale-free networks have disassortative hubs, though we can synthesise model networks which have assortative hubs. It is also shown that real-world networks do display assortative hubs in some instances, particularly when high robustness to targeted attacks is a necessity. The second approach to node assortativity proposed is calculated based on the contribution of nodes toward the network assortativity. Using this approach it was shown that in most real-world networks, hubs are assortative when the network is assortative and vice versa. However, anatomical and physical networks, where there are physical constrains on the length of links, tend to have both assortative and disassortative hubs, despite the overall assortativity. It was also found that networks with high density, have highly assortative peripheral nodes. Similarly, a new approach to quantify the heterogeneity of nodes’ neighbors has been proposed. It is shown that standard deviations of degree differences between nodes could be used to quantify the heterogeneity of nodes, in terms of connectedness. This measure, which is called ‘versatility’ in this thesis, is then used to classify networks and used to identify the impact of versatility on other measures of networks. Then these methods were applied on networks and the results were analysed to understand the mixing tendencies of networks. Using versatility calculations, it was found that there are three classes of real world networks: (i) Networks where the versatility converges to a non-zero value with node degrees (ii) Networks where the versatility converges to zero with node degrees
Looking for Squark Pair Production in the Early LHC Data

We examine the ability of LHC experiments to observe jets from squark pair production at the center-of-mass energy E$_{CM}$=10 TeV and 1 fb$^{-1}$ of integrated luminosity. We point out the crucial influence of initial- and final-state radiation on the signal/background discriminating ability of different kinematic variables. The reliable measurements of missing transverse energy and stransverse mass would play a key role in picking out the signal against the background.
Conception et évaluation de nouvelles techniques d'interaction dans le contexte de la télévision interactive

La television n’a cesse de se populariser et d’evoluer en proposant de nouveaux services. Ces services de plus en plus interactifs rendent les telespectateurs plus engages dans l’activite televisuelle. Contrairement a l’usage d’un ordinateur, ils interagissent sur un ecran distant avec une telecommande et des applications depuis leur canape peu propice a l’usage d’un clavier et d’une souris. Ce dispositif et les techniques d’interaction actuelles qui lui sont associees peinent a repondre correctement a leurs attentes. Afin de repondre a cette problematique, les travaux de cette these explorent les possibilites offertes par la modalite gestuelle pour concevoir de nouvelles techniques d’interaction pour la television interactive en tenant compte de son contexte d’usage. Dans un premier temps, nous presentons le contexte singulier de l’activite televisuelle. Puis, nous proposons un espace de caracterisation des travaux de la litterature cherchant a ameliorer la telecommande pour, finalement, nous focaliser sur l’interaction gestuelle. Nous introduisons un espace de caracterisation qui tente d’unifier l’interaction gestuelle contrainte par une surface, mains libres, et instrumentee ou non afin de guider la conception de nouvelles techniques. Nous avons concu et evalue diverses techniques d’interaction gestuelle selon deux axes de recherche : les techniques d’interaction gestuelle instrumentees permettant d’ameliorer l’expressivite interactionnelle de la telecommande traditionnelle, et les techniques d’interaction gestuelles mains libres en explorant la possibilite de realiser des gestes sur la surface du ventre pour controler sa television.
Service-Oriented Access Control

Abstract : As networks grow in complexity and data breaches become more costly, network administrators need better tools to help design networks that provide service-level availability while restricting unauthorized access. Current research, specifically in declarative network management, has sought to address this problem but fails to bridge the gap between service-level requirements and low-level configuration directives. We introduce service-oriented access control, an approach that frames the problem in terms of maintaining service-level paths between users and applications. We show its use in several scenarios involving tactical networks typically seen in the military's field artillery community.
Synthetic Vision: Visual Perception for Computer Generated Forces Using the Programmable Graphics Pipeline

Abstract : In visual simulations, the human must make most of her decisions based on the visual cues rendered to her display. On the other hand, synthetic forces have the luxury of basing their decisions on the data contained in the simulation's model. Line of sight calculations are often examples of the synthetic player's excess of information. Current methodologies for determining a synthetic player's line of sight to a target are generally variations of a ray-casting technique. Hiding from a synthetic player in plain sight by using shadow, camouflage, or by simply remaining motionless is not possible. Synthetic vision is an alternative to ray-casting. We perform multiple renders from each synthetic player's point of view and temporarily maintain those images in graphics memory. We then execute vertex and fragment shader programs to make comparisons of the stored images. All the renders and calculations are performed on the Graphics Processing Unit (GPU) and the result is returned to the synthetic player in the form of an annotated list of visible targets. Performing these target visibility calculations on the GPU gives the synthetic player a more robust spectrum of visual inputs with which to make decisions, enabling more realistic behaviors.
Hidden semi-Markov models

As an extension to the popular hidden Markov model (HMM), a hidden semi-Markov model (HSMM) allows the underlying stochastic process to be a semi-Markov chain. Each state has variable duration and a number of observations being produced while in the state. This makes it suitable for use in a wider range of applications. Its forward– backward algorithms can be used to estimate/update the model parameters, determine the predicted, ﬁltered and smoothed probabilities, evaluate goodness of an observation sequence ﬁtting to the model, and ﬁnd the best state sequence of the underlying stochastic process. Since the HSMM was initially introduced in 1980 for machine recognition of speech, it has been applied in thirty scientiﬁc and engineering areas, such as speech recognition/synthesis, human activity recognition/prediction, handwriting recognition, functional MRI brain mapping, and network anomaly detection. There are about three hundred papers published in the literature. An overview of HSMMs is presented in this paper, including modelling, inference, estimation, implementation and applications. It ﬁrst provides a uniﬁed description of various HSMMs and discusses the general issues behind them. The boundary conditions of HSMM are extended. Then the conventional models, including the explicit duration, variable transition, and residential time of HSMM, are discussed. Various duration distributions and observation models are presented. Finally, the paper draws an outline of the applications.
Analiza czasowa cyfrowych interfejsów mikroprocesorowych z architekturą master-slave

temów sterowania polegają na rozpraszaniu sprzętu i inteligencji. Decentralizacja sprzętu jest dobrze ugruntowana w systemach sterowania i polega na zastosowaniu odpowiednich systemów transmisji danych bazujących na magistrali miejscowej (fieldbus). Magistrale miejscowe w odróżnieniu od zwykłych sieci komputerowych, spełniają szereg warunków systemów czasu rzeczywistego. Do najpopularniejszych magistral przemysłowych możemy zaliczyć: PROFIBUS, CAN, InterBus, Modbus [8]. Magistrale miejscowe pracują zwykle na odległości rzędu setek metrów czy kilometrów. Postęp technologiczny sprawił, że rozproszona technika mikroprocesorowa znalazła się praktycznie wszędzie za pomocą sieciowych interfejsów mikrokontrolerów są łączone ze sobą komponenty znajdujące się w obrębie pojedynczego urządzenia elektronicznego. Najchętniej używane są interfejsy szeregowe, które pozwalają na stosowanie tanich dwóch, trzech kabli do transmisji danych. Spośród wielu cyfrowych interfejsów szeregowych, do najczęściej używanych należą: I2CBus i 1-Wire. W artykule nie są prezentowane szczegółowe (sprzętowe) mechanizmy funkcjonowania tych interfejsów, ale skupiono się na protokołach wymiany danych w celu przedstawienia modelu analizy czasowej i modelu odpytywania wielocyklowego.
pDAML+OIL: a probabilistic extension to DAML+OIL based on probabilistic Datalog

As a representative of ontology languages, DAML+OIL is well-suited for describing objects and their properties. We show that real-life problems require uncertain facts and general rules, which are not supported by DAML+OIL. We extend DAML+OIL accordingly while preserving as much of the original semantics as possible, by mapping DAML+OIL models onto probabilistic Datalog
Pranlukast hydrate in the treatment of pediatric bronchial asthma

Pranlukast hydrate is a potent, selective, orally active, cysteinyl leukotriene antagonist that binds at the type 1 receptor. It is used as a 10% dry syrup to treat asthma and allergic rhinitis in pediatric patients. In a 4-week, dose-finding study, a dose-dependent improvement in lung function was observed in pediatric patients with asthma at an optimal dose of 5.1-10 mg/kg/ day. In a comparative, randomized, double-blind, 4-week multicenter trial, pranlukast dry syrup 7 mg/kg/day achieved significantly better final overall improvement (71.4%) versus oxatomide 1 mg/kg/day (37.2%) in pediatric patients older than one year with asthma. In two 12-week, open-label trials and in a long-term open-label trial of treatment for up to 24 months, pranlu- kast dry syrup improved asthma control over baseline values. In a prospective post-marketing surveillance study and a long-term follow-up study, the safety and efficacy of pranlukast dry syrup was confirmed in infants younger than one year with bronchial asthma. In a 4-week, open-label trial, pranlukast dry syrup improved overall health-related quality of life and physical and emotional domain scores over baseline in pediatric patients with asthma. In a randomized, multicenter, double-blind, placebo-controlled, two-period crossover trial, pranlukast dry syrup significantly inhibited exercise-induced bronchospasm in children with asthma compared with placebo. In a modified Childhood Asthma Control Test, pranlukast dry syrup was significantly more effective in controlling asthma in patients younger than 4 years with the common cold. These findings show that pranlukast is useful and beneficial for treating pediatric patients with bronchial asthma.
A Research on Multi-path Routing Protocol for Video Streaming over Ad hoc Networks

報告番号: ; 学位授与年月日: 2006-03-23 ; 学位の種別: 修士; 学位の種類: 修士(科学) ; 学位記番号: 修創域第1651号 ; 研究科・専攻: 新領域創成科学研究科基盤情報学専攻
Budgeted Learning of Bounded Active Classifiers

Since resources for data acquisition are seldom infinite, the need exists for learners and classifiers that act intelligently under hard budgets. In this paper, we consider problems in which feature values are unknown to the learner and classifier, but can be acquired at a cost. The goal is a learner that spends its learning budget bL acquiring training data so as to produce the most accurate active classifier that spends at most bC per instance. From the learner’s perspective, purchasing every feature of every instance is sure to approach the underlying distribution asymptotically, but will this yield the best distribution when only bL dollars worth of data can be collected? In this work, we show empirically that the answer is no (especially for small bL) and present alternate learning strategies that achieve superior performance on a variety of realworld datasets.
An Xdata Architecture for Federated Graph Models and Multi-tier Asymmetric Computing

Abstract : Scalable, data-parallel graph analytics on GPUs is a fundamentally hard problem that goes beyond the current state of the art. Scalable graph analytics are critical for a large range of application domains with a vital impact on both national security and the national economy. CPU graph algorithms are known to scale poorly due to non-locality and limited memory bandwidth. Our research shows that GPUs provide a high-performance, data-parallel, commodity hardware platform for graph analytics.