Acceder

Bibliografías temáticas / Automaton inference / Tesis

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Automaton inference.

Tesis sobre el tema "Automaton inference"

Autor: Grafiati

Publicado: 1 de junio de 2024

Última modificación: 19 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Automaton inference".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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ě

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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/.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

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

Texto completo

Resumen

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é

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!