Automata Serialization for Manipulation and Drawing

GUItar is a GPL-licensed, cross-platform, graphical user interface for automata drawing and manipulation, written in C++ and Qt5. This tool offers support for styling, automatic layouts, several format exports and interface with any foreign finite automata manipulation library that can parse the serialized XML or JSON produced. In this paper we describe a new redesign of the GUItar framework and specially the method used to interface GUItar with automata manipulation libraries

FAdo and GUItar: tools for automata manipulation and visualization

Abstract. FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy prototyping of algorithms, and portability (to use in computer grid systems for example), are its main features. Our main motivation is the theoretical and experimental research, but we have also in mind the construction of a pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive manipulation a new interface application, GUItar, is being developed. In this paper, we describe the main components of the FAdo system as well as the basics of the graphical interface and editor, the export/import filters and its generic interface with external systems, such as FAdo.

ON A MODEL REGARDING THE PRODUCT LIFE CYCLE

In this paper we analyze a modified model for the so-called PLC – Product Life Cycle, the original model being proposed by N. Al. Pop (2000). This PLC is considered here from a reliability theory viewpoint: our modification lies in the fact that the PLC - curve is transformed in a probability density function which allows the application of statistical inferential procedures.average sales, PLC – Product Life Cycle, PLC – curve, Pop’s model, reparametrization, pdf – probability density function.

Wheels within wheels: an examination of the nature of psychological explanation via a theoretically oriented history of some mechanical models

The aim of this thesis is to ask, and attempt to answer, some pertinent questions about that type of psychological explanation which proceeds by simulation, or model building. The method chosen is a detailed examination of some models, mostly 18th and 19th century mechanical ones, together with a theoretically motivated discussion of the relations between these models and the development of psychological theories contemporary with them. Two types of model, formal and intimate, are distinguished, both by their aetiology and by the way they are used by working scientists, and several examples of each type are subjected to scrutiny, as are the intentions of their modellers in building or adopting them. Four main foci of interest emerge: the history of experimental psychology (the myth that experimental psychology was born circa 1870 is exploded); the sociology of science (the impact of developing technology on psychological theory, via the proffering of models, is clearly demonstrated); the philosophy of psychology (issues such as the nature of explanation and the problem of representation are dis¬ cussed); and, last but not least, theoretical psychology (the value of work in cognitive simulation, and of some work in Artificial Intelligence, is stressed and, partly, explained)

A Scientific Approach to Thomas Pynchon\u27s Mason and Dixon

This paper is an analysis of how a writer of fiction with a strong sense of social and moral values uses the scientific history of the 18th century to convey his ideals in an historical novel. Through a constant showcasing of both scientific theories and historical embellishments, Pynchon builds his argument against the surveying of right lines upon the Earth. These lines, he believes, serve only to separate a people and allow a government to have a more total control over its divided citizens

Assigning an Inflectional Paradigm using the Longest Matching Affix

Peer reviewe

Dynamic Protocol Reverse Engineering a Grammatical Inference Approach

Round trip engineering of software from source code and reverse engineering of software from binary files have both been extensively studied and the state-of-practice have documented tools and techniques. Forward engineering of protocols has also been extensively studied and there are firmly established techniques for generating correct protocols. While observation of protocol behavior for performance testing has been studied and techniques established, reverse engineering of protocol control flow from observations of protocol behavior has not received the same level of attention. State-of-practice in reverse engineering the control flow of computer network protocols is comprised of mostly ad hoc approaches. We examine state-of-practice tools and techniques used in three open source projects: Pidgin, Samba, and rdesktop . We examine techniques proposed by computational learning researchers for grammatical inference. We propose to extend the state-of-art by inferring protocol control flow using grammatical inference inspired techniques to reverse engineer automata representations from captured data flows. We present evidence that grammatical inference is applicable to the problem domain under consideration

'A Philosophical Gossip': Science and sociability in Frances Burney's Cecilia

In Frances Burney’s second novel, Cecilia, or Memoirs of an Heiress (1782), the social taxonomist Mr. Gosport educates the protagonist in the ways of the bon ton by applying classificatory principles to metropolitan polite society. This article argues that Gosport’s methodology derives principally from the discourse of Linnaean taxonomy, with which Burney was familiar primarily through the personal tutelage of the botanist Daniel Solander (a social acquaintance of her father Charles, and a professional contact of her brother James). Ultimately, taxonomic discourse supplied Burney with a vocabulary with which to express anxieties about her place in an increasingly stratified and hierarchized print marketplace. Her eventual rejection of taxonomic sociability in Cecilia replicates her resistance to literary classification, and points towards a desire to be accounted, as she wrote to her sister Susan, “quelque chose extraordinaire.

Human Automata, Identity and Creativity in George Du Maurier\u27s Trilby and Raymond Roussel\u27s Locus Solus

George Du Maurier’s Trilby (1895) and Raymond Roussel’s Locus Solus (1914) feature a unique figure, the human automaton, a human being who has been transformed into a machine. Rather than becoming objectified and dehumanized, thus transformed they produce great music and art defined by the single quality supposedly irreproducible by machines—variability. Drawing multiplicity from the sameness of exact repetition in their art, the human automata’s identities are equally capable of embodying otherness and oppositions in a plural identity that remains uniquely singular. This challenges contemporary attitudes towards automation as a fixative, deterministic and reductive, and ultimately dehumanizing transformation. Linking automatism, otherness located within the self, and creativity, the human automaton becomes a marker of the potential for the malleability of identity that, in enriching creative expression, interrogates the boundary limits of human and machine