Log in

Relevant bibliographies by topics / Automaton inference / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Automaton inference.

Dissertations / Theses on the topic 'Automaton inference'

Author: Grafiati

Published: 1 June 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Automaton inference.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Ansin, Rasmus, and Didrik Lundberg. "Automated Inference of Excitable Cell Models as Hybrid Automata." Thesis, KTH, Skolan för teknikvetenskap (SCI), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154065.

Full text

Abstract:

In this paper, we explore from an experimental point of view the possibilities and limitations of the new HYCGE learning algorithm for hybrid automata. As an example of a practical application, we study the algorithm’s performance on learning the behaviour of the action potential in excitable cells, specifically the Hodgkin-Huxley model of a squid giant axon, the Luo-Rudy model of a guinea pig ventricular cell, and the Entcheva model of a neonatal rat ventricular cell. The validity and accuracy of the algorithm is also visualized through graphical means.<br>I denna uppsats undersöker vi från e

APA, Harvard, Vancouver, ISO, and other styles

2

Rasoamanana, Aina Toky. "Derivation and Analysis of Cryptographic Protocol Implementation." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAS005.

Full text

Abstract:

TLS et SSH sont deux protocoles de sécurité très répandu et étudiés par la communauté de la recherche. Dans cette thèse, nous nous concentrons sur une classe spécifique de vulnérabilités affectant les implémentations TLS et SSH, tels que les problèmes de machine à états. Ces vulnérabilités sont dues par des différences d'interprétation de la norme et correspondent à des écarts par rapport aux spécifications, par exemple l'acceptation de messages non valides ou l'acceptation de messages valides hors séquence.Nous développons une méthodologie généralisée et systématique pour déduire les machines

APA, Harvard, Vancouver, ISO, and other styles

3

Gransden, Thomas Glenn. "Automating proofs with state machine inference." Thesis, University of Leicester, 2017. http://hdl.handle.net/2381/40814.

Full text

Abstract:

Interactive theorem provers are tools that help to produce formal proofs in a semiautomatic fashion. Originally designed to verify mathematical statements, they can be potentially useful in an industrial context. Despite being endorsed by leading mathematicians and computer scientists, these tools are not widely used. This is mainly because constructing proofs requires a large amount of human effort and knowledge. Frustratingly, there is limited proof automation available in many theorem proving systems. To address this limitation, a new technique called SEPIA (Search for Proofs Using Inferred

APA, Harvard, Vancouver, ISO, and other styles

4

Paige, Timothy Brooks. "Automatic inference for higher-order probabilistic programs." Thesis, University of Oxford, 2016. https://ora.ox.ac.uk/objects/uuid:d912c4de-4b08-4729-aa19-766413735e2a.

Full text

Abstract:

Probabilistic models used in quantitative sciences have historically co-evolved with methods for performing inference: specific modeling assumptions are made not because they are appropriate to the application domain, but because they are required to leverage existing software packages or inference methods. The intertwined nature of modeling and computational concerns leaves much of the promise of probabilistic modeling out of reach for data scientists, forcing practitioners to turn to off-the-shelf solutions. The emerging field of probabilistic programming aims to reduce the technical and cog

APA, Harvard, Vancouver, ISO, and other styles

5

MERINO, JORGE SALVADOR PAREDES. "AUTOMATIC SYNTHESIS OF FUZZY INFERENCE SYSTEMS FOR CLASSIFICATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2015. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27007@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>PROGRAMA DE EXCELENCIA ACADEMICA<br>Hoje em dia, grande parte do conhecimento acumulado está armazenado em forma de dados. Para muitos problemas de classificação, tenta-se aprender a relação entre um conjunto de variáveis (atributos) e uma variável alvo de interesse. Dentre as ferramentas capazes de atuar como modelos representativos de sistemas reais, os Sistemas de Inferência Fuzzy são considerados excelentes co

APA, Harvard, Vancouver, ISO, and other styles

6

Rainforth, Thomas William Gamlen. "Automating inference, learning, and design using probabilistic programming." Thesis, University of Oxford, 2017. http://ora.ox.ac.uk/objects/uuid:e276f3b4-ff1d-44bf-9d67-013f68ce81f0.

Full text

Abstract:

Imagine a world where computational simulations can be inverted as easily as running them forwards, where data can be used to refine models automatically, and where the only expertise one needs to carry out powerful statistical analysis is a basic proficiency in scientific coding. Creating such a world is the ambitious long-term aim of probabilistic programming. The bottleneck for improving the probabilistic models, or simulators, used throughout the quantitative sciences, is often not an ability to devise better models conceptually, but a lack of expertise, time, or resources to realize such

APA, Harvard, Vancouver, ISO, and other styles

7

Dixon, Heidi. "Automating pseudo-Boolean inference within a DPLL framework /." view abstract or download file of text, 2004. http://wwwlib.umi.com/cr/uoregon/fullcit?p3153782.

Full text

Abstract:

Thesis (Ph. D.)--University of Oregon, 2004.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 140-146). Also available for download via the World Wide Web; free to University of Oregon users.

APA, Harvard, Vancouver, ISO, and other styles

8

Losekoot, Théo. "Automatic program verification by inference of relational models." Electronic Thesis or Diss., Université de Rennes (2023-....), 2024. http://www.theses.fr/2024URENS102.

Full text

Abstract:

Cette thèse porte sur la preuve automatique de propriétés concernant la relation entrée/sortie de programmes fonctionnels manipulant des types de données algébriques (ADT). De récents résultats montrent comment approximer un programme fonctionnel en utilisant un automate d'arbre. Bien qu'expressives, ces techniques ne peuvent pas prouver de propriété reliant l'entrée et la sortie d'une fonction, par exemple qu'inverser une liste préserve sa longueur. Dans cette thèse, nous nous appuyons sur ces résultats et définissons une procédure pour calculer ou sur-approximer une telle relation. Formellem

APA, Harvard, Vancouver, ISO, and other styles

9

MacNish, Craig Gordon. "Nonmonotonic inference systems for modelling dynamic processes." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.240195.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lin, Ye. "Internet data extraction based on automatic regular expression inference." [Ames, Iowa : Iowa State University], 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

El, Kaliouby Rana Ayman. "Mind-reading machines : automated inference of complex mental states." Thesis, University of Cambridge, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.615030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Mugambi, Ernest Muthomi. "Automated inference of comprehensible models for medical data mining." Thesis, University of Sunderland, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425238.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Serrano, Lucas. "Automatic inference of system software transformation rules from examples." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS425.

Full text

Abstract:

Le noyau Linux est aujourd'hui présent dans tous les types de systèmes informatiques, des smartphones aux supercalculateurs, comprenant à la fois le matériel le plus récent et les systèmes "anciens". Cette diversité d'environnement a pour conséquence une base de code importante, d'une dizaine de millions de lignes de code, pour les pilotes matériels. Cependant par souci d'introduction de nouvelles fonctionnalités, ou pour des raisons de performance ou de sécurité, certaines interfaces de programmation (APIs) internes doivent être parfois revues, ce qui peut impliquer des changements pour des m

APA, Harvard, Vancouver, ISO, and other styles

14

Lipovetzky, Nir. "Structure and inference in classical planning." Doctoral thesis, Universitat Pompeu Fabra, 2012. http://hdl.handle.net/10803/101416.

Full text

Abstract:

Classical planning is the problem of finding a sequence of actions for achieving a goal from an initial state assuming that actions have deterministic effects. The most effective approach for finding such plans is based on heuristic search guided by heuristics extracted automatically from the problem representation. In this thesis, we introduce alternative approaches for performing inference over the structure of planning problems that do not appeal to heuristic functions, nor to reductions to other formalisms such as SAT or CSP. We show that many of the standard benchmark domains can

APA, Harvard, Vancouver, ISO, and other styles

15

Zakroum, Mehdi. "Machine Learning for the Automation of Cyber-threat Monitoring and Inference." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0108.

Full text

Abstract:

Au cours des dernières décennies, les cyber-menaces ont connu une augmentation significative et continuent de croître de façon exponentielle. Les opérateurs de réseau et les praticiens de la sécurité s'efforcent constamment d'automatiser leurs stratégies de défense contre les cyberincidents à grande échelle et les événements particuliers à plus petite échelle ciblant leurs réseaux. Améliorer la surveillance des événements de sécurité et détecter les attaques à un stade précoce sont des éléments clés pour prévenir des éventuels dommages ou au moins atténuer leurs impacts. Le trafic enregistré p

APA, Harvard, Vancouver, ISO, and other styles

16

Voss, Chelsea (Chelsea S. ). "A tool for automated inference in rule-based biological models." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/106447.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 45-46).<br>Rule-based biological models help researchers investigate systems such as cellular signalling pathways. Although these models are generally programmed by hand, some research efforts aim to program them automatically using biological facts extracted from papers via natural language processing. However, NLP facts cannot always be directly converted into mechanistic reaction rules

APA, Harvard, Vancouver, ISO, and other styles

17

Raghavendra, Archana. "(Semi) automatic wrapper generation for production systems by knowledge inference." [Gainesville, Fla.] : University of Florida, 2001. http://purl.fcla.edu/fcla/etd/UFE0000345.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2001.<br>Title from title page of source document. Document formatted into pages; contains viii, 73 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

18

Bhuiyan, Touhid. "Trust-based automated recommendation making." Thesis, Queensland University of Technology, 2011. https://eprints.qut.edu.au/49168/1/Touhid_Bhuiyan_Thesis.pdf.

Full text

Abstract:

Recommender systems are one of the recent inventions to deal with ever growing information overload in relation to the selection of goods and services in a global economy. Collaborative Filtering (CF) is one of the most popular techniques in recommender systems. The CF recommends items to a target user based on the preferences of a set of similar users known as the neighbours, generated from a database made up of the preferences of past users. With sufficient background information of item ratings, its performance is promising enough but research shows that it performs very poorly in a cold st

APA, Harvard, Vancouver, ISO, and other styles

19

Rybalka, A. I., A. S. Kutsenko, and S. V. Kovalenko. "Modelling of an automated food quality assessment system based on fuzzy inference." Thesis, Харківський національний університет радіоелектроніки, 2020. http://openarchive.nure.ua/handle/document/14769.

Full text

Abstract:

The purpose of this study is to create a methodology for developing an automated system for assessing the quality of food products based on a comprehensive quality indicator and the use of fuzzy logic theory, namely, fuzzy inference. In our opinion, such an approach to quality assessment can reduce the subjective component that has a significant impact on making a final decision. The system, built on a given algorithm, allows us to assess the quality of food products, taking into account the data of laboratory studies on measurable quality indicators and expert opinions on difficult to measur

APA, Harvard, Vancouver, ISO, and other styles

20

Marques, Henrique Costa. "An inference model with probabilistic ontologies to support automation in effects-based operations planning." Instituto Tecnológico de Aeronáutica, 2012. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2190.

Full text

Abstract:

In modern day operations, planning has been an increasingly complex activity. This is especially true in scenarios where there is an interaction between civilian and military organizations, involving multiple actors in a diversified way, with the intertwining requirements that limit the solution space in non-trivial ways. Under these circumstances, decision support systems are an essential tool that can also become a problem if not properly used. Although this has been widely recognized by the planning and decision support systems communities, there has been little progress in designing a comp

APA, Harvard, Vancouver, ISO, and other styles

21

Gennari, Rosella. "Mapping Inferences: Constraint Propagation and Diamond Satisfaction." Diss., Universiteit van Amsterdam, 2002. http://hdl.handle.net/10919/71553.

Full text

Abstract:

The main theme shared by the two main parts of this thesis is EFFICIENT AUTOMATED REASONING.Part I is focussed on a general theory underpinning a number of efficient approximate algorithms for Constraint Satisfaction Problems (CSPs),the constraint propagation algorithms.In Chapter 3, we propose a Structured Generic Algorithm schema (SGI) for these algorithms. This iterates functions according to a certain strategy, i.e. by searching for a common fixpoint of the functions. A simple theory for SGI is developed by studying properties of functions and of the ways these influence the basic strategy

APA, Harvard, Vancouver, ISO, and other styles

22

Siegel, Holger [Verfasser]. "Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs / Holger Siegel." München : Verlag Dr. Hut, 2016. http://d-nb.info/108438521X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Morettin, Paolo. "Learning and Reasoning in Hybrid Structured Spaces." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/264203.

Full text

Abstract:

Many real world AI applications involve reasoning on both continuous and discrete variables, while requiring some level of symbolic reasoning that can provide guarantees on the system's behaviour. Unfortunately, most of the existing probabilistic models do not efficiently support hard constraints or they are limited to purely discrete or continuous scenarios. Weighted Model Integration (WMI) is a recent and general formalism that enables probabilistic modeling and inference in hybrid structured domains. A difference of WMI-based inference algorithms with respect to most alternatives

APA, Harvard, Vancouver, ISO, and other styles

24

Morettin, Paolo. "Learning and Reasoning in Hybrid Structured Spaces." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/264203.

Full text

Abstract:

Many real world AI applications involve reasoning on both continuous and discrete variables, while requiring some level of symbolic reasoning that can provide guarantees on the system's behaviour. Unfortunately, most of the existing probabilistic models do not efficiently support hard constraints or they are limited to purely discrete or continuous scenarios. Weighted Model Integration (WMI) is a recent and general formalism that enables probabilistic modeling and inference in hybrid structured domains. A difference of WMI-based inference algorithms with respect to most alternatives

APA, Harvard, Vancouver, ISO, and other styles

25

TEIXEIRA, TAIRO DOS PRAZERES. "A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2016. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28405@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>PROGRAMA DE EXCELENCIA ACADEMICA<br>Turbinas a gás são equipamentos muito complexos e caros. No caso de falha em uma turbina, há obviamente perdas diretas, mas as indiretas são normalmente muito maiores, uma vez que tal equipamento é crítico para a operação de instalações industriais, aviões e veículos pesados. Portanto, é fundamental que turbinas a gás sejam providas com um sistema eficiente de monitoramento e diagnóstico. Isto é especialmente relevante no Brasil, cuja frota d

APA, Harvard, Vancouver, ISO, and other styles

26

Cura, Rémi. "Inverse procedural Street Modelling : from interactive to automatic reconstruction." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1034/document.

Full text

Abstract:

La population mondiale augmente rapidement, et avec elle, le nombre de citadins, ce qui rend d'autant plus importantes la planification et la gestion des villes.La gestion "intelligente" de ces villes et les nombreuses applications (gestion, tourisme virtuel, simulation de trafic, etc.) nécessitent plus de données réunies dans des modèles virtuels de villes.En milieu urbain, les rues et routes sont essentielles par leur rôle d'interface entre les espaces publics et privés, et entre ces différents usages.Il est difficile de modéliser les rues (ou de les reconstruire virtuellement) car celles-ci

APA, Harvard, Vancouver, ISO, and other styles

27

El, Maadani Khalid. "Identification de systèmes séquentiels structurés : Application à la validation du test." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0003.

Full text

Abstract:

Le travail presente dans ce memoire s'inscrit dans le cadre de l'evaluation et de la validation du test des systemes sequentiels deterministes, au niveau comportemental. Le critere d'evaluation adopte est celui de l'identification. L'identification d'un systeme sequentiel est generalement un probleme d'inference d'automate, dans les domaines de la synthese de systemes sequentiels, de l'inference reguliere et de l'apprentissage sequentiel, et un probleme de generation de sequence, dans le domaine de la generation de test. L'evaluation d'une sequence de test par identification est traitee ici co

APA, Harvard, Vancouver, ISO, and other styles

28

Pernestål, Anna. "A Bayesian approach to fault isolation with application to diesel engine diagnosis." Licentiate thesis, KTH, School of Electrical Engineering (EES), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4294.

Full text

Abstract:

<p>Users of heavy trucks, as well as legislation, put increasing demands on heavy trucks. The vehicles should be more comfortable, reliable and safe. Furthermore, they should consume less fuel and be more environmentally friendly. For example, this means that faults that cause the emissions to increase must be detected early. To meet these requirements on comfort and performance, advanced sensor-based computer control-systems are used. However, the increased complexity makes the vehicles more difficult for the workshop mechanic to maintain and repair. A diagnosis system that detects and locali

APA, Harvard, Vancouver, ISO, and other styles

29

Surovič, Marek. "Statická detekce malware nad LLVM IR." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2016. http://www.nusl.cz/ntk/nusl-255427.

Full text

Abstract:

Tato práce se zabývá metodami pro behaviorální detekci malware, které využívají techniky formální analýzy a verifikace. Základem je odvozování stromových automatů z grafů závislostí systémových volání, které jsou získány pomocí statické analýzy LLVM IR. V rámci práce je implementován prototyp detektoru, který využívá překladačovou infrastrukturu LLVM. Pro experimentální ověření detektoru je použit překladač jazyka C/C++, který je schopen generovat mutace malware za pomoci obfuskujících transformací. Výsledky předběžných experimentů a případná budoucí rozšíření detektoru jsou diskutovány v závě

APA, Harvard, Vancouver, ISO, and other styles

30

Ahnlén, Fredrik. "Automatic Detection of Low Passability Terrain Features in the Scandinavian Mountains." Thesis, KTH, Geodesi och satellitpositionering, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254709.

Full text

Abstract:

During recent years, much focus have been put on replacing time consuming manual mappingand classification tasks with automatic methods, having minimal human interaction. Now it ispossible to quickly classify land cover and terrain features covering large areas to a digital formatand with a high accuracy. This can be achieved using nothing but remote sensing techniques,which provide a far more sustainable process and product. Still, some terrain features do not havean established methodology for high quality automatic mapping.The Scandinavian Mountains contain several terrain features with low

APA, Harvard, Vancouver, ISO, and other styles

31

Sun, Wenzhe. "Bus Bunching Prediction and Transit Route Demand Estimation Using Automatic Vehicle Location Data." Kyoto University, 2020. http://hdl.handle.net/2433/253498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Bossert, Georges. "Exploiting Semantic for the Automatic Reverse Engineering of Communication Protocols." Thesis, Supélec, 2014. http://www.theses.fr/2014SUPL0027/document.

Full text

Abstract:

Cette thèse propose une approche pratique pour la rétro-conception automatisée de protocoles de communication non-documentés. Les travaux existants dans ce domaine ne permettent qu'un apprentissage incomplet des spécifications ou exigent trop de stimulation de l'implémentation du protocol cible avec le risque d'être vaincu par des techniques de contre-inférence. Cette thèse adresse ces problématiques en s'appuyant sur la sémantique du protocole cible pour améliorer la qualité, la rapidité et la furtivité du processus d'inférence. Nous appliquons cette approche à la rétro-conception des deux pr

APA, Harvard, Vancouver, ISO, and other styles

33

Zhao, Jinhua 1977. "The planning and analysis implications of automated data collection systems : rail transit OD matrix inference and path choice modeling examples." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28752.

Full text

Abstract:

Thesis (M.C.P.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning; and, (S.M. in Transportation)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2004.<br>Includes bibliographical references (leaf 124).<br>(cont.) by presenting two case studies both in the context of the Chicago Transit Authority. One study proposes an enhanced method of inferring the rail trip OD matrix from an origin-only AFC system to replace the routine passenger survey. The proposed algorithm takes advantage of the pattern of a person's consecutive transit tri

APA, Harvard, Vancouver, ISO, and other styles

34

Aho, P. (Pekka). "Automated state model extraction, testing and change detection through graphical user interface." Doctoral thesis, Oulun yliopisto, 2019. http://urn.fi/urn:isbn:9789526224060.

Full text

Abstract:

Abstract Testing is an important part of quality assurance, and the use of agile processes, continuous integration and DevOps is increasing the pressure for automating all aspects of testing. Testing through graphical user interfaces (GUIs) is commonly automated by scripts that are captured or manually created with a script editor, automating the execution of test cases. A major challenge with script-based GUI test automation is the manual effort required for maintaining the scripts when the GUI changes. Model-based testing (MBT) is an approach for automating also the design of test cases. Tra

APA, Harvard, Vancouver, ISO, and other styles

35

Durand, William. "Automated test generation for production systems with a model-based testing approach." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22691/document.

Full text

Abstract:

Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâc

APA, Harvard, Vancouver, ISO, and other styles

36

Gordon, Jason B. (Jason Benjamin). "Intermodal passenger flows on London's public transport network : automated inference of full passenger journeys using fare-transaction and vehicle-location data." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/78242.

Full text

Abstract:

Thesis (M.C.P.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning; and, (S.M. in Transportation)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2012.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (p. 147-155).<br>Urban public transport providers have historically planned and managed their networks and services with limited knowledg

APA, Harvard, Vancouver, ISO, and other styles

37

Kazakov, Mikhaïl. "A Methodology of semi-automated software integration : an approach based on logical inference. Application to numerical simulation solutions of Open CASCADE." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0001.

Full text

Abstract:

Application integration is a process of bringing of data or functionality from one program together with that from another application programs that were not initially created to work together. Recently, the integration of numerical simulation solvers gained the importance. Integration within this domain has high complexity due to the presence of non-standard application interfaces that exchange complex, diverse and often ambiguous data. Nowadays, the integration is done mostly manually. Difficulties of the manual process force to increase the level of automation of the integration process. Th

APA, Harvard, Vancouver, ISO, and other styles

38

Zheng, Ning. "Discovering interpretable topics in free-style text diagnostics, rare topics, and topic supervision /." Columbus, Ohio : Ohio State University, 2008. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1199237529.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Lopes, Victor Dias. "Proposta de integração entre tecnologias adaptativas e algoritmos genéticos." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/.

Full text

Abstract:

Este trabalho é um estudo inicial sobre a integração de duas áreas da engenharia da computação, as tecnologias adaptativas e os algoritmos genéticos. Para tanto, foi realizada a aplicação de algoritmos genéticos na inferência de autômatos adaptativos. Várias tácnicas foram estudas e propostas para a implementação do algoritmo, visando µa obtenção de resultados cada vez mais satisfatórios. Ambas as tecnologias, algoritmos genéticos e tecnologia adaptativa, possuem caráter fortemente adaptativo, porém com características bastante diferentes na forma que são implementadas e executadas. As inferên

APA, Harvard, Vancouver, ISO, and other styles

40

Galvanin, Edinéia Aparecida dos Santos. "Extração automática de contornos de telhados de edifícios em um modelo digital de elevação, utilizando inferência Bayesiana e campos aleatórios de Markov /." Presidente Prudente : [s.n.], 2007. http://hdl.handle.net/11449/100258.

Full text

Abstract:

Orientador: Aluir Porfírio Dal Poz<br>Banca: Nilton Nobuhiro Imai<br>Banca: Maurício Galo<br>Banca: Edson Aparecido Mitishita<br>Resumo: As metodologias para a extração automática de telhados desempenham um papel importante no contexto de aquisição de informação espacial para Sistemas de Informação Geográficas (SIG). Neste sentido, este trabalho propõe uma metodologia para extração automática de contornos de telhado de edifícios utilizando dados de varredura a laser. A metodologia baseiase em duas etapas principais: 1) Extração de regiões altas (edifícios, árvores etc.) de um Modelo Digital de

APA, Harvard, Vancouver, ISO, and other styles

41

Furlong, Vitor Badiale. "Automation of a reactor for enzymatic hydrolysis of sugar cane bagasse : Computational intelligencebased adaptive control." Universidade Federal de São Carlos, 2015. https://repositorio.ufscar.br/handle/ufscar/7394.

Full text

Abstract:

Submitted by Luciana Sebin (lusebin@ufscar.br) on 2016-09-21T13:52:44Z No. of bitstreams: 1 DissVBF.pdf: 4418595 bytes, checksum: aaae3efb173c8760a1039251a31ea973 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-23T18:23:48Z (GMT) No. of bitstreams: 1 DissVBF.pdf: 4418595 bytes, checksum: aaae3efb173c8760a1039251a31ea973 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-23T18:24:01Z (GMT) No. of bitstreams: 1 DissVBF.pdf: 4418595 bytes, checksum: aaae3efb173c8760a1039251a31ea973 (MD5)<br>Made available in DS

APA, Harvard, Vancouver, ISO, and other styles

42

Sandillon, Rezer Noémie Fleur. "Apprentissage de grammaires catégorielles : transducteurs d’arbres et clustering pour induction de grammaires catégorielles." Thesis, Bordeaux 1, 2013. http://www.theses.fr/2013BOR14940/document.

Full text

Abstract:

De nos jours, il n’est pas rare d’utiliser des logiciels capables d’avoir une conversation, d’interagir avec nous (systèmes questions/réponses pour les SAV, gestion d’interface ou simplement Intelligence Artificielle - IA - de discussion). Ceux-ci doivent comprendre le contexte ou réagir par mot-clefs, mais générer ensuite des réponses cohérentes, aussi bien au niveau du sens de la phrase (sémantique) que de la forme (syntaxe). Si les premières IA se contentaient de phrases toutes faites et réagissaient en fonction de mots-clefs, le processus s’est complexifié avec le temps. Pour am

APA, Harvard, Vancouver, ISO, and other styles

43

Galvanin, Edinéia Aparecida dos Santos [UNESP]. "Extração automática de contornos de telhados de edifícios em um modelo digital de elevação, utilizando inferência Bayesiana e campos aleatórios de Markov." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/100258.

Full text

Abstract:

Made available in DSpace on 2014-06-11T19:30:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-03-29Bitstream added on 2014-06-13T18:40:49Z : No. of bitstreams: 1 galvanin_eas_dr_prud.pdf: 5173646 bytes, checksum: aae51c2e230277eff607da015efe8a65 (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>As metodologias para a extração automática de telhados desempenham um papel importante no contexto de aquisição de informação espacial para Sistemas de Informação Geográficas (SIG). Neste sentido, este trabalho propõe uma metodologia para extração automática de c

APA, Harvard, Vancouver, ISO, and other styles

44

Vitorino, dos Santos Filho Jairson. "CHROME: a model-driven component-based rule engine." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1638.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:51:39Z (GMT). No. of bitstreams: 2 arquivo2757_1.pdf: 5759741 bytes, checksum: 8075c58c36a6d409b242f2a7873fb02f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Vitorino dos Santos Filho, Jairson; Pierre Louis Robin, Jacques. CHROME: a model-driven component-based rule engine. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

APA, Harvard, Vancouver, ISO, and other styles

45

Chatalic, Philippe. "Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer." Toulouse 3, 1986. http://www.theses.fr/1986TOU30189.

Full text

Abstract:

Ce memoire s'interesse aux approches quantitatives permettant de modeliser les notions d'incertitude et d'imprecision, dans les methodes de raisonnement automatiques. La premiere partie donne une vue d'ensemble des outils actuels, permettant de representer et manipuler des connaissances imprecises ou incertaines. La seconde partie a pour cadre general, celui des fonctions de croyances de shafer qui presente l'avantage d'englober les cadres propabiliste et possibliste comme cas particuliers

APA, Harvard, Vancouver, ISO, and other styles

46

Maddali, Hanuma Teja. "Inferring social structure and dominance relationships between rhesus macaques using RFID tracking data." Thesis, Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/51866.

Full text

Abstract:

This research address the problem of inferring, through Radio-Frequency Identification (RFID) tracking data, the graph structures underlying social interactions in a group of rhesus macaques (a species of monkey). These social interactions are considered as independent affiliative and dominative components and are characterized by a variety of visual and auditory displays and gestures. Social structure in a group is an important indicator of its members’ relative level of access to resources and has interesting implications for an individual’s health. Automatic inference of the social structur

APA, Harvard, Vancouver, ISO, and other styles

47

Rusinowitch, Michaël. "Démonstration automatique par des techniques de réécritures." Nancy 1, 1987. http://www.theses.fr/1987NAN10358.

Full text

Abstract:

Introduction à la logique du premier ordre et aux systèmes de réécriture. Étude de quelques ordres de simplification. Arbres sémantiques transfinis. Stratégies de paramodulation. Complétude en présence de règles de réduction. Stratégies de superposition. Ensembles complets de règles d'inférence pour les axiomes de régularité

APA, Harvard, Vancouver, ISO, and other styles

48

Singh, Vidisha. "Integrative analysis and modeling of molecular pathways dysregulated in rheumatoid arthritis Computational systems biology approach for the study of rheumatoid arthritis: from a molecular map to a dynamical model RA-map: building a state-of-the-art interactive knowledge base for rheumatoid arthritis Automated inference of Boolean models from molecular interaction maps using CaSQ." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASL039.

Full text

Abstract:

La polyarthrite rhumatoïde (PR) est unemaladie auto-immune complexe qui entraîne uneinflammation synoviale et une hyperplasie pouvantprovoquer une érosion osseuse et une destruction ducartilage dans les articulations. L'étiologie de la PR restepartiellement inconnue, mais elle implique de multiplescascades de signalisation croisées et l'expression demédiateurs pro-inflammatoires. Dans la première partie demon projet de doctorat, nous présentons un effortsystématique pour construire une base de connaissancessur la PR, entièrement annotée et validée par des experts.Cette carte de la PR illustre

APA, Harvard, Vancouver, ISO, and other styles

49

Malmgren, Henrik. "Revision of an artificial neural network enabling industrial sorting." Thesis, Uppsala universitet, Institutionen för teknikvetenskaper, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-392690.

Full text

Abstract:

Convolutional artificial neural networks can be applied for image-based object classification to inform automated actions, such as handling of objects on a production line. The present thesis describes theoretical background for creating a classifier and explores the effects of introducing a set of relatively recent techniques to an existing ensemble of classifiers in use for an industrial sorting system.The findings indicate that it's important to use spatial variety dropout regularization for high resolution image inputs, and use an optimizer configuration with good convergence properties. T

APA, Harvard, Vancouver, ISO, and other styles

50

Krtek, Lukáš. "Učení jazykových obrázků pomocí restartovacích automatů." Master's thesis, 2014. http://www.nusl.cz/ntk/nusl-335550.

Full text

Abstract:

There are many existing models of automata working on two-dimensional inputs (pictures), though very little work has been done on the subject of learning of these automata. In this thesis, we introduce a new model called two-dimensional limited context restarting automaton. Our model works similarly as the two-dimensional restarting tiling automaton, yet we show that it is equally powerful as the two-dimensional sgraffito automaton. We propose an algorithm for learning of such automata from positive and negative samples of pictures. The algorithm is implemented and subsequently tested with sev

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!