• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • 6
  • 6
  • 1
  • Tagged with
  • 23
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

SAKAI, Masahiko, WATANABE, Yoshitsugu, SAKABE, Toshiki 08 1900 (has links)
No description available.
2

The Efficiency of Good Software Practices : A Case Study on a Radar Meteor Analysis Software Rewrite

Kullbrandt, Kenneth January 2022 (has links)
Software engineering as a profession has since early on in its conception been focused with how to best maximize the quality of software. Quality in this regard is both objectively measurable things (like speed, size, and cost) and less measurable things (like conciseness, elegance, and customer satisfaction). A large part of this came from the software crisis in the 1960s, 1970s, and 1980s where many projects either failed, cost much more in time or money, or was inefficient or of low quality. Due to this, new technologies were developed to help combat these issues. Techniques like maintaining documentation, CASE tools, object-oriented programming etc. Today, one of the ways seen to improve quality is by employing good software practices. These are often a set of informal rules on how to write your programs, what to factor in when designing, and how to manage the project. Ranging from how testing should be done, the use of version control, continuous integration, and more. The purpose of this thesis is to make a case study on how a project employing good software practices compares to a project with limited use of it. To do this, a part of a software project was remade focusing on using good software practices during development. The chosen project was MU analysis - a project with the intent of analyzing meteor echoes and looking for signs of meteors or meteor trails. This project was rewritten in a combination of Python and C, with the system in focus being the event searcher and the converter. After the completion of the rewrite,the project was analyzed using a set of qualitative attributes as guidelines for the performance for each project. These were then examined between each project, comparing each qualitative attribute and each software practice used. It was found that making a rewrite with focus on good software practices, most relevant quality attributes increased. It was concluded that focusing on good software practices increases the quality of the software if emphasis is put on when to employ which strategies.
3

On collapsible pushdown automata, their graphs and the power of links

Broadbent, Christopher H. January 2011 (has links)
Higher-Order Pushdown Automata (HOPDA) are abstract machines equipped with a nested stacks of stacks ... of stacks of stacks. Collapsible pushdown automata (CPDA) enhance these stacks with the addition of ‘links’ emanating from atomic elements to the higher-order stacks below. For trees CPDA are equi-expressive with recursion schemes, which can be viewed as simply-typed λY terms. With vanilla HOPDA, one can only capture schemes satisfying a syntactic constraint called safety. This dissertation begins with some results concerning the significance of links in terms of recursion schemes. We introduce a fine-grained notion of safety that allows us to correlate the need for links of a given order with the imposition of safety on variables of a corresponding order. This generalises some joint work with William Blum that shows we can dispense with homogeneous types when characterising safety. We complement this result with a demonstration that homogeneity by itself does not constrain the expressivity of otherwise unrestricted recursion schemes. The main results of the dissertation, however, concern the configuration graphs of CPDA. Whilst the configuration graphs of HOPDA are well understood and have decidable MSO theories (they coincide with the Caucal hierarchy), relatively little is known about the transition graphs of CPDA. It is known that they already have undecidable MSO theories at order-2, but Kartzow recently showed that 2-CPDA graphs are tree automatic and hence first-order logic is decidable at order-2. We provide a characterisation of the decidability of first-order logic on CPDA graphs in terms of quantifier-alternation and the order of CPDA stacks and the links contained within. Whilst this characterisation is fairly comprehensive, we do leave open the question of decidability for some sub-classes of CPDA. It turns out that decidability can be highly sensitive to the order of links in a stack relative to the order of the stack itself. In addition to some strong and surprising undecidability results, we also develop further Kartzow’s work on 2-CPDA. We introduce prefix-rewrite systems for nested-words that characterise the configuration graphs of both 2-CPDA and 2-HOPDA, capturing the power of collapse precisely in terms outside of the language of CPDA. It also formalises and demonstrates the inherent asymmetry of the collapse operation. This generalises the rational prefix-rewriting systems characterising conventional pushdown graphs and we believe establishes the 2-CPDA graphs as an interesting and robust class.
4

But what I really want to do is write : adapting the Mike Leigh Method for writers for the stage

Irvine, Ian Kyle January 2008 (has links)
This thesis, comprised of a stage play and exegesis, asks whether the Mike Leigh Method, commonly used by Auteur directors could be adapted to benefit a playwright during the redrafting and development process. I seek to answer this question by examining differing methodologies of drama creation and charting my process as I work to redraft my character driven stage play Deceased Estate through the adaptation and application of the Mike Leigh Method. I contend that Leigh’s method affords a set of honed and proven guidelines that can help the playwright get to the heart of the character driven drama and offer an adapted method template that can be used and furthered by other Playwrights wishing to develop their work in this manner.
5

Revisão e reescrita do texto escrito no Ensino Fundamental II: uma proposta de avaliação da produção textual em uma perspectiva dialógica. / Revision and rewriting of written text in Elementary School: a proposal of evaluation of textual production in a dialogical perspective.

DIAS, Juliane Aparecida da Silva. 02 January 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-01-02T15:50:20Z No. of bitstreams: 1 JULIANE APARECIDA DA SILVA DIAS - DISSERTAÇÂO PROFLETRAS 2016..pdf: 4464382 bytes, checksum: cebf936fc48a0649fb7d89f1f74a527c (MD5) / Made available in DSpace on 2018-01-02T15:50:20Z (GMT). No. of bitstreams: 1 JULIANE APARECIDA DA SILVA DIAS - DISSERTAÇÂO PROFLETRAS 2016..pdf: 4464382 bytes, checksum: cebf936fc48a0649fb7d89f1f74a527c (MD5) Previous issue date: 2016-11-11 / Escrever bons textos é requisito importante em sociedades letradas. Entretanto, segundo pesquisas mais recentes, baseadas nas avaliações de larga escala, e ainda de acordo com relatos de professores do ensino básico, grande parte do alunado do Ensino Fundamental II não tem alcançado a excelência esperada nessa habilidade. Nosso trabalho nasceu a partir dessa problemática, objetivando descrever e discutir as práticas docentes de trabalho com o texto escrito, especificamente com o processo de revisão textual, na sala de aula, com vista à apresentação de uma proposta de intervenção. A fim de atender a esse objetivo, desenvolvemos uma pesquisa de natureza aplicada para investigar a prática docente, com uma abordagem de cunho qualitativo e exploratório, na qual aplicamos um questionário para o professor e outro para o aluno. As informações coletadas mostraram-nos que a prática docente persiste na abordagem baseada na língua concebida enquanto mero sistema e das regras da gramática normativa, relegando a segundo plano questões mais complexas de textualidade e negando o espaço devido para procedimentos de revisão e reescrita do texto, ignorando que o texto deve ser fruto de um processo recursivo, no qual a orientação docente faz-se necessária para o aprendizado mais eficaz. Comprovamos também que o resultado dessa prática refletese no aluno, o qual revela compreender a revisão textual apenas como retificação dos aspectos formais. Ancorando nossa visão nas práticas dialógicas e sociointerativas da língua, defendemos o importante papel da revisão e da reescrita do texto, com intervenções que proporcionem a reflexão do aluno quanto ao seu texto, por ser uma forma de ajudá-lo a compreender os mecanismos de textualidade construtores de todo gênero textual e, consequentemente, aprender a escrever cada vez melhor. Devido a isso, cumprindo a proposta do Programa de Mestrado Profissional (PROFLETRAS) elaboramos uma proposta de intervenção cujo intuito foi demonstrar uma forma de garantir que tais pressupostos sejam implementados nas aulas de escrita, contribuindo para o aluno ser motivado a escrever, passando a ser autor de textos significativos, advindos de planejamento e de um trabalho de aprimoramento. / Writing good texts is an important requirement in literate societies. However, according to latest research, based on large-scale assessments, and also according to primary teachers reports, much of the Secondary School student body expected excellence has not reached this skill. Our work was born out of this problem, aiming to describe and discuss teaching practices work with written text, specifically the process of textual revision, in the classroom, with a view to submitting a proposal for intervention. In order to meet this goal, we developed a kind of applied research to investigate the teaching practice, with a qualitative and exploratory nature approach, in which we applied a questionnaire to the teacher and one for the student. The information collected showed us that the teaching practice persists in the approach based on valuation code and the normative grammar rules, pushed into the background more complex issues of textuality and denying space due to review procedures and rewrite the text, ignoring that the text should be the result of a recursive process in which the teacher guidance is needed for the most effective learning. Also proved that the result of this practice is reflected in the student, which reveals understand the textual revision only as rectifying the formal aspects. Anchoring our vision in dialogic practices and language sociointerativas, we defend the important role of reviewing and rewriting the text, with interventions that promote student reflection as to its text, as a way to help you to understand the mechanisms of textuality builders of every genre and thus learn to write better. Because of this, fulfilling the proposal of the Professional Master's Program (PROFLETRAS) prepared a proposal for intervention whose aim was to demonstrate a way to ensure that such assumptions are implemented in writing classes, helping students be motivated to write, becoming author of important texts, arising from planning and an improvement of work.
6

Internetový obchod s lyžařským vybavením / Internet Shop with Skiing Equipment

Štrbík, Zdeněk January 2007 (has links)
The objective of this project is to design and create internet shop offering functions, which are common and essential for this type of application. It will also offer functions, which will ensure troublefree and safe run. The base of design are UML models (ER diagram, USE CASE diagram). This models will be created for compact design of database, and structure of whole application. This shop will offer standard administrative functions, which will allow administrators to control the shop. Users will be not only offered by goods, but also will have their own account, where they will be allowed to check the history of their operations. The system will use PHP, html, JavaScript and SQL languages. It will be based on MySql database, Apache server and Rewrite modul of Apache.
7

Écriture de la pureté dans l’œuvre d’Anatole France / Writing of the purity in the works of Anatole France

Rokukawa, Yuko 16 September 2013 (has links)
Alors qu’Anatole France (1844–1924) est considéré comme écrivain sceptique et ironique, un de ses contes intitulé « Le Jongleur de Notre-Dame » échappe à une telle définition. Le ton pieux et sincère de ce conte, fondé sur une légende du Moyen Âge, semble aller à l’encontre du scepticisme, de l’anticléricalisme, et du classicisme déclarés de l’auteur. Au lieu de tenir pour exceptionnels ce type de textes qui mettent en scène une forme de « pureté » dans un sens religieux, tenter de les intégrer dans l’œuvre d’A. France permettra de découvrir une nouvelle facette de l’écrivain, et d’appréhender son idée et son œuvre dans une complexité et une profondeur qui sont cachées sous une apparence simple. Dans un premier temps, on mettra en relation les thèmes médiévaux chez A. France et la mode du médiévisme au XIXe siècle, tant dans le domaine scientifique que dans le courant littéraire, afin d’éclairer l’influence de son époque sur son image médiévale, et la signification de cette image. Dans un deuxième temps, on traitera de la pratique de la réécriture. Par une comparaison, d’une part, entre les textes d’A. France et leurs hypotextes, et d’autre part, entre la réécriture francienne et la réécriture chez les écrivains contemporains, on précisera les caractéristiques et les procédés de la réécriture de notre écrivain. En outre, on montrera que la mise en cadre, ainsi que la réécriture, s’impose dans ses textes, soulignant ainsi la modestie de l’auteur, et la diminution de l’autorité auctoriale. Toutes ces analyses révèleront l’importance de la « simplicité » qui apparaît à plusieurs niveaux dans les textes franciens, et qui peut donner accès à une « pureté » harmonieuse. / While Anatole France (1844–1924) is considered a skeptical, ironic writer, one of his short stories, entitled “Le Jongleur de Notre-Dame” can not easily be reduced to such a reading. Instead, it is a pious and sincere story based on a legend from the Middle Ages – a perspective contradictory to his skepticism, anticlericalism, and classicism. Rather than counting as exceptional cases texts like this that portray “purity” in a religious sense, an attempt to integrate them into the overall view of the works of A. France will enable us to discover a new side to the writer and apprehend his ideas and his works in a complexity and depth that are hidden under simple surface appearances. As a first step, we connect the medieval themes of A. France with the medievalist movement of the 19th century, seen in both historical study and literature, in order to clarify the influence of his times on his image of the Middle Ages, and the meaning of that image. As a second step, we consider the practice of rewriting. By comparing the texts of A. France with their sources, and comparing rewriting of those sources by A. France with rewriting of similar sources by his contemporaries, we identify A. France’s method of rewriting and the characteristics of the product. In addition, we find that the use of “frame story” narration is as necessary as rewriting in the texts of A. France, serving to accentuate the modesty of the author and as a result affecting a decrease in authorial authority. All these analyses reveal the importance of the “simplicity” that appears at several levels in the texts of A. France, and which can give access to the harmonious “purity”.
8

Reescrita sentencial baseada em traços de personalidade / Text rewrite based on psychological profiles

Stávracas Neto, Georges Basile 13 March 2018 (has links)
Sistemas de Geração de Língua Natural tentam produzir textos de maneira automatizada. Em sistemas desse tipo, é desejável produzir textos de forma realista - ou psicologicamente plausível - como forma de aumentar o engajamento do leitor. Uma das formas de alcançar esse objetivo é gerando textos de modo a refletir uma personalidade-alvo de interesse. Por exemplo, uma pessoa extrovertida usaria palavras mais simples e seus textos teriam mais interjeições e traços de oralidade. Esse trabalho tem o objetivo de desenvolver um modelo de reescrita sentencial para o português brasileiro com base em traços de personalidade de um locutor-alvo. Para isso, foi coletado um córpus de textos e inventários de personalidade e, com base em uma análise preliminar desses dados, foram encontrados fortes indícios de correlação entre os fatores de personalidade e as características observadas dos textos em português brasileiro. Foram gerados três modelos de lexicalização, referentes à adjetivos, substantivos e verbos. Esses modelos de lexicalização, então, foram utilizados na proposta de um modelo de reescrita sentencial para selecionar as palavras mais adequadas à personalidade-alvo. Os resultados demonstram que o uso de personalidade permite que o texto gerado seja mais próximo do desempenho humano se comparado a um sistema de baseline que faz escolhas lexicais mais frequentes / Natural Language Generation Systems attempt to produce texts in an automated fashion. In systems of this kind, it is desired to produce texts realisticaly - or at least psychologically plausible - as a way to increase reader\'s engagement. One way to achieve this goal is generating texts in such a way to reflect a target personality profile. For example, an extroverted individual would use simpler words and its texts would have more interjections and orality traces. This work proposes the development of a Brazilian Portuguese personality-based sentence rewrite model. To this end, a corpus with text samples and personality inventories has been collected, and, based on a preliminary analysis, strong correlations between personality and text features have been found. Three lexicalization models were generated, related to adjectives, nouns and verbs. These models were then used by the sentence rewrite model to select the most appropriate word for the target personality. Results show that the usage of personality allows the generated text to be closer to human performance when compared to a baseline system that makes lexical choices based on frequency
9

Reescrita sentencial baseada em traços de personalidade / Text rewrite based on psychological profiles

Georges Basile Stávracas Neto 13 March 2018 (has links)
Sistemas de Geração de Língua Natural tentam produzir textos de maneira automatizada. Em sistemas desse tipo, é desejável produzir textos de forma realista - ou psicologicamente plausível - como forma de aumentar o engajamento do leitor. Uma das formas de alcançar esse objetivo é gerando textos de modo a refletir uma personalidade-alvo de interesse. Por exemplo, uma pessoa extrovertida usaria palavras mais simples e seus textos teriam mais interjeições e traços de oralidade. Esse trabalho tem o objetivo de desenvolver um modelo de reescrita sentencial para o português brasileiro com base em traços de personalidade de um locutor-alvo. Para isso, foi coletado um córpus de textos e inventários de personalidade e, com base em uma análise preliminar desses dados, foram encontrados fortes indícios de correlação entre os fatores de personalidade e as características observadas dos textos em português brasileiro. Foram gerados três modelos de lexicalização, referentes à adjetivos, substantivos e verbos. Esses modelos de lexicalização, então, foram utilizados na proposta de um modelo de reescrita sentencial para selecionar as palavras mais adequadas à personalidade-alvo. Os resultados demonstram que o uso de personalidade permite que o texto gerado seja mais próximo do desempenho humano se comparado a um sistema de baseline que faz escolhas lexicais mais frequentes / Natural Language Generation Systems attempt to produce texts in an automated fashion. In systems of this kind, it is desired to produce texts realisticaly - or at least psychologically plausible - as a way to increase reader\'s engagement. One way to achieve this goal is generating texts in such a way to reflect a target personality profile. For example, an extroverted individual would use simpler words and its texts would have more interjections and orality traces. This work proposes the development of a Brazilian Portuguese personality-based sentence rewrite model. To this end, a corpus with text samples and personality inventories has been collected, and, based on a preliminary analysis, strong correlations between personality and text features have been found. Three lexicalization models were generated, related to adjectives, nouns and verbs. These models were then used by the sentence rewrite model to select the most appropriate word for the target personality. Results show that the usage of personality allows the generated text to be closer to human performance when compared to a baseline system that makes lexical choices based on frequency
10

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems

IWAMI, Munehiro, SAKAI, Masahiko, TOYAMA, Yoshihito 09 1900 (has links)
No description available.

Page generated in 0.0356 seconds