Bibliografías temáticas / Register Automata / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Register Automata.

Tesis sobre el tema "Register Automata"

Autor: Grafiati
Publicado: 25 de mayo de 2024

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

Elija tipo de fuente:

Consulte los 24 mejores tesis para su investigación sobre el tema "Register Automata".

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

Rueda, Cebollero Guillem. "Learning Cache Replacement Policies using Register Automata." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-212677.

Texto completo
Resumen
Processors are a basic unit of the computer which accomplish the mission of processing data stored in the memory. Large memories are required to process a big amount of data. Not all data is required at the same time, few data is required faster than other. For this reason, the memory is structured  in a hierarchy, from smaller and faster to bigger and slower. The cache memory is one of the fastest elements and closest to the processor in the memory hierarchy. The processor design companies hides its characteristics, usually under a confidential documentation that can not be accessed by the so
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Exibard, Léo. "Automatic synthesis of systems with data." Electronic Thesis or Diss., Aix-Marseille, 2021. http://www.theses.fr/2021AIXM0312.

Texto completo
Resumen
Nous interagissons régulièrement avec des machines qui réagissent en temps réel à nos actions (robots, sites web etc). Celles-ci sont modélisées par des systèmes réactifs, caractérisés par une interaction constante avec leur environnement. L'objectif de la synthèse réactive est de générer automatiquement un tel système à partir de la description de son comportement afin de remplacer la phase de développement bas-niveau, sujette aux erreurs, par l'élaboration d'une spécification haut-niveau.Classiquement, on suppose que les signaux d'entrée de la machine sont en nombre fini. Un tel cadre échoue
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Kuriakose, R. B., and F. Aghdasi. "Automatic student attendance register using RFID." Interim : Interdisciplinary Journal, Vol 6, Issue 2: Central University of Technology Free State Bloemfontein, 2007. http://hdl.handle.net/11462/406.

Texto completo
Resumen
Published Article<br>The purpose of this project is to investigate the application of Radio Frequency Identification, RFID, to automatic student attendance register. The aim is that the students in any class can be recorded when they carry their student cards with them without having to individually swipe the card or allocate special interaction time. The successful implementation of this proposal will facilitate such record keeping in a non-intrusive and efficient manner and will provide the platform for further research on the correlation between attendance and performance of the students. T
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Hauck, Shahram. "Automated CtP Calibration for Offset Printing : Dot gain compensation, register variation and trapping evaluation." Doctoral thesis, Linköpings universitet, Institutionen för teknik och naturvetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-119366.

Texto completo
Resumen
Although offset printing has been and still is the most common printing technology for color print productions, its print productions are subject to variations due to environmental and process parameters. Therefore, it is very important to frequently control the print production quality criteria in order to make the process predictable, reproducible and stable. One of the most important parts in a modern industrial offset printing is Computer to Plate (CtP), which exposes the printing plate. One of the most important quality criteria for printing is to control the dot gain level. Dot gain refe
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Jouhet, Vianney. "Automated adaptation of Electronic Heath Record for secondary use in oncology." Thesis, Bordeaux, 2016. http://www.theses.fr/2016BORD0373/document.

Texto completo
Resumen
Avec la montée en charge de l’informatisation des systèmes d’information hospitaliers, une quantité croissante de données est produite tout au long de la prise en charge des patients. L’utilisation secondaire de ces données constitue un enjeu essentiel pour la recherche ou l’évaluation en santé. Dans le cadre de cette thèse, nous discutons les verrous liés à la représentation et à la sémantique des données, qui limitent leur utilisation secondaire en cancérologie. Nous proposons des méthodes basées sur des ontologies pour l’intégration sémantique des données de diagnostics. En effet, ces donné
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

MANSOURI, NAZANIN. "AUTOMATED CORRECTNESS CONDITION GENERATION FOR FORMAL VERIFICATION OF SYNTHESIZED RTL DESIGNS." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin982064542.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Tabani, Hamid. "Low-power architectures for automatic speech recognition." Doctoral thesis, Universitat Politècnica de Catalunya, 2018. http://hdl.handle.net/10803/462249.

Texto completo
Resumen
Automatic Speech Recognition (ASR) is one of the most important applications in the area of cognitive computing. Fast and accurate ASR is emerging as a key application for mobile and wearable devices. These devices, such as smartphones, have incorporated speech recognition as one of the main interfaces for user interaction. This trend towards voice-based user interfaces is likely to continue in the next years which is changing the way of human-machine interaction. Effective speech recognition systems require real-time recognition, which is challenging for mobile devices due to the compute-in
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Elrod, JoAnn Broeckel, Raina Merchant, Mohamud Daya, et al. "Public health surveillance of automated external defibrillators in the USA: protocol for the dynamic automated external defibrillator registry study." BMJ PUBLISHING GROUP, 2017. http://hdl.handle.net/10150/623946.

Texto completo
Resumen
Introduction: Lay use of automated external defibrillators (AEDs) before the arrival of emergency medical services (EMS) providers on scene increases survival after out-of-hospital cardiac arrest (OHCA). AEDs have been placed in public locations may be not ready for use when needed. We describe a protocol for AED surveillance that tracks these devices through time and space to improve public health, and survival as well as facilitate research. Methods and analysis: Included AEDs are installed in public locations for use by laypersons to treat patients with OHCA before the arrival of EMS provid
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Giancoli, Ana Paula Müller. "Proposta de sistema para registro eletrônico de ponto com gerenciamento remoto." Universidade de Taubaté, 2011. http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=243.

Texto completo
Resumen
O presente trabalho propõe uma arquitetura de sistema para registro eletrônico de ponto baseado em software livre e capaz de atender os principais requisitos extraídos da portaria 1510 do Ministério do Trabalho. Essa arquitetura utiliza o sistema operacional Linux, a linguagem de programação Python, o framework Web Plone e o servidor de aplicações Zope, a fim de proporcionar, entre outros benefícios, a segurança, o acesso ao código fonte da aplicação e a independência de fornecedores. A validação é obtida por meio de testes práticos realizados em protótipo que adota os elementos do sistema. Os
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Sánchez, Belenguer Carlos. "Surface Registration Techniques Applied to Archaeological Fragment Reconstruction." Doctoral thesis, Universitat Politècnica de València, 2015. http://hdl.handle.net/10251/56152.

Texto completo
Resumen
[EN] Reconstruction of broken archaeological artifacts from fragments is a very time-consuming task that requires a big effort if performed manually. In fact, due to budgetary limitations, this is not even attempted in countless sites around the world, leaving vast quantities of material unstudied and stored indefinitely. This Thesis dissertation faces the application of surface registration techniques to the automatic re-assembly of broken archaeological artifacts from fragments. To efficiently do so, the reconstruction problem has been divided into two groups: 3 degrees of freedom and 6 de
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Bezerra, Andrea Fernanda Fontes. "Geração de layout de interfaces gráficas baseado em ontologias para documentos do Registro Eletrônico em Saúde." Universidade Federal da Paraíba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/7828.

Texto completo
Resumen
Submitted by Clebson Anjos (clebson.leandro54@gmail.com) on 2016-02-11T19:57:13Z No. of bitstreams: 1 arquivototal.pdf: 4682448 bytes, checksum: 9f9a7a72b4132cb9d61c8cc0c1591ea3 (MD5)<br>Made available in DSpace on 2016-02-11T19:57:13Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 4682448 bytes, checksum: 9f9a7a72b4132cb9d61c8cc0c1591ea3 (MD5) Previous issue date: 2014-05-23<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>Health informatics is a domain that presents several challenges to be overcome. Electronic Health Records (EHR) are one of its most important
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Косар, Ліля Петрівна, та Lilya Kosar. "Автоматизоване робоче місце медичного працівника відділу реєстратури". Master's thesis, Тернопільський національний технічний університет імені Івана Пулюя, 2020. http://elartu.tntu.edu.ua/handle/lib/33187.

Texto completo
Resumen
Проект виконано на кафедрі біотехнічних систем Тернопільського національного технічного університету імені Івана Пулюя<br>В роботі проведено аналіз технічного завдання, аналітичний огляд відомих рішень та вибір напряму дослідження, розроблено математичну модель процесу роботи реєстратури, побудовано фізичну та логічну моделі. Представлено структуру і функціональне призначення програмного комплексу для автоматизації роботи реєстратури<br>The analysis of the technical task, the analytical review of the known decisions and the choice of the direction of research are carried out in the work, the m
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Maia, Josà Everardo Bessa. "Uma Nova metaheurÃstica evolucionÃria para a formaÃÃo de mapas topologicamente ordenados e extensÃes." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6933.

Texto completo
Resumen
Mapas topologicamente ordenados sÃo tÃcnicas de representaÃÃo de dados baseadas em reduÃÃo de dimensionalidade com a propriedade especial de preservaÃÃo da vizinhanÃa espacial entre os protÃtipos no espaÃo dos dados e entre suas respectivas posiÃÃes no espaÃo de saÃda. Com base nesta propriedade, mapas topologicamente ordenados sÃo aplicados principalmente em agrupamento, quantizaÃÃo vetorial ou reduÃÃo de dimensionalidade e visualizaÃÃo de dados. Esta tese propÃe uma nova classificaÃÃo para os algoritmos de formaÃÃo de mapas topologicamente ordenados baseada no mecanismo de correlaÃÃo entre o
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Козирод, В. М. "Комплексна система захисту інформації клієнтської частини автоматизованої інформаційно-телекомунікаційній системи “Оберіг”". Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/24850.

Texto completo
Resumen
Козирод, В. М. Комплексна система захисту інформації клієнтської частини автоматизованої інформаційно-телекомунікаційній системи “Оберіг” : випускна кваліфікаційна робота : 125 "Кібербезпека" / В. М. Козирод ; керівник роботи В. І. Гур’єв ; НУ "Чернігівська політехніка", кафедра кібербезпеки та математичного моделювання . – Чернігів, 2021. – 70 с.<br>Метою даної роботи є створення комплексної системи захисту інформації на клієнтській частині автоматизованої інформаційно-телекомунікаційній системи з метою захисту інформації з обмеженим доступом. Об’єктом дослідження виступає автоматизована ін
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Jaume, Bennasar Andrés. "Las nuevas tecnologías en la administración de justicia. La validez y eficacia del documento electrónico en sede procesal." Doctoral thesis, Universitat de les Illes Balears, 2009. http://hdl.handle.net/10803/9415.

Texto completo
Resumen
La tesis se encarga de analizar, por un lado, la integración y el desarrollo de las nuevas tecnologías en la Administración de Justicia; y, por otro, los parámetros que constituyen la validez y eficacia del documento electrónico. <br/>La primera cuestión se centra en la configuración de los Sistemas de Información de la Oficina Judicial y del Ministerio Fiscal, así como de la informatización de los Registros Civiles, donde el art. 230 LOPJ es la pieza clave. Se estudian sus programas, aplicaciones, la videoconferencia, los ficheros judiciales y las redes de telecomunicaciones que poseen la cob
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Tröger, Ralph. "Supply Chain Event Management – Bedarf, Systemarchitektur und Nutzen aus Perspektive fokaler Unternehmen der Modeindustrie." Doctoral thesis, Universitätsbibliothek Leipzig, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-155014.

Texto completo
Resumen
Supply Chain Event Management (SCEM) bezeichnet eine Teildisziplin des Supply Chain Management und ist für Unternehmen ein Ansatzpunkt, durch frühzeitige Reaktion auf kritische Ausnahmeereignisse in der Wertschöpfungskette Logistikleistung und -kosten zu optimieren. Durch Rahmenbedingungen wie bspw. globale Logistikstrukturen, eine hohe Artikelvielfalt und volatile Geschäftsbeziehungen zählt die Modeindustrie zu den Branchen, die für kritische Störereignisse besonders anfällig ist. In diesem Sinne untersucht die vorliegende Dissertation nach einer Beleuchtung der wesentlichen Grundlagen zunäch
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Wang, Jiing-Yuh, and 王景裕. "An Automatic Map Processing System for Land Register Map." Thesis, 1994. http://ndltd.ncl.edu.tw/handle/64370741694584901163.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Yang, Shih-Lii, and 楊世禮. "Handwritten Numeral Recognition Based on the Neural Network and Its Application in an Automatic Score Register System." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/62315500368623754715.

Texto completo
Resumen
碩士<br>淡江大學<br>電機工程學系<br>85<br>Handwritten numeral recognition has high potential in some applications in our daily life. It can be used in a wide range of applications, such as an automatic score register system, license-plate data verification, ZIP code recognition, etc. As a result, in the recent years many researchers have proposed relevant methods and systems for handwritten numeral recognition. In this paper, the author proposed a handwritten digit recognition system based on a supervised HyperRectangular Composite Neural Network (HRCNN) and then applied this system to an automatic
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Karakaya, Fuat. "Automated exploration of the asic design space for minimum power-delay-area product at the register transfer level." 2004. http://etd.utk.edu/2004/KarakayaFuat.pdf.

Texto completo
Resumen
Thesis (Ph. D.)--University of Tennessee, Knoxville, 2004.<br>Title from title page screen (viewed May 13, 2004). Thesis advisor: Donald W. Bouldin. Document formatted into pages (x, 102 p. : ill. (some col.)). Vita. Includes bibliographical references (p. 99-101).
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Yu, Huan. "Automated Segmentation of Head and Neck Cancer Using Texture Analysis with Co-registered PET/CT images." Thesis, 2010. http://hdl.handle.net/1807/24920.

Texto completo
Resumen
Radiation therapy is often offered as the primary treatment for head and neck cancer(HNC). Accurate target delineation is essential for the success of radiation therapy. The current target definition technique - manual delineation using Computed Tomography(CT) - is subject to high observer variability. Functional imaging modalities such as 2-[18F]-fluoro-2-deoxy-D-glucose Positron Emission Tomography(FDG-PET) can greatly improve the visualization of tumor. FDG-PET co-registered with CT has shown potential to improve the accuracy of target localization and reduce observer variability. Unfortuna
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Markel, Daniel. "Automatic Segmentation of Lung Carcinoma Using 3D Texture Features in Co-registered 18-FDG PET/CT Images." Thesis, 2011. http://hdl.handle.net/1807/31332.

Texto completo
Resumen
Variability between oncologists in defining the tumor during radiation therapy planning can be as high as 700% by volume. Robust, automated definition of tumor boundaries has the ability to significantly improve treatment accuracy and efficiency. However, the information provided in computed tomography (CT) is not sensitive enough to differences between tumor and healthy tissue and positron emission tomography (PET) is hampered by blurriness and low resolution. The textural characteristics of thoracic tissue was investigated and compared with those of tumors found within 21 patient PET and CT
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Barros, Ana Rita Amaro. "Classificação automática de registos eletrónicos médicos por diagnóstico." Master's thesis, 2020. http://hdl.handle.net/10071/21974.

Texto completo
Resumen
A crescente implementação de sistemas de registos eletrônicos médicos (REM’s) nos Hospitais, com vista a apoiar o atendimento individual dos pacientes, está a provocar um aumento do processamento e armazenamento dos dados clínicos diariamente. Estes registos contêm uma fonte infindável de informação clínica, no entanto o facto de não haver estrutura no texto produzido pelos médicos e o facto das informações introduzidas divergirem de paciente para paciente e de especialidade médica para especialidade médica, dificulta o aproveitamento destes dados. Outra dificuldade que existe na análise
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Faria, Mário André Oliveira. "Controlo de qualidade e inspeção visual por imagem: definição de uma aplicação para registo de alterações e avaliação de desempenho." Master's thesis, 2015. http://hdl.handle.net/1822/40160.

Texto completo
Resumen
Dissertação de mestrado em Engenharia e Gestão da Qualidade<br>O processo de soldadura eletrónica Surface Mounting Technology (SMT) é amplamente utilizado na produção de bens eletrónicos nos dias de hoje. Para melhorar a qualidade dos produtos a empresa onde se desenvolveu este projeto utiliza um sistema de inspeção ótica automático (AOI) para identificar eventuais defeitos. Este sistema de inspeção é complexo e pode mesmo introduzir falhas que resultam em classificações erradas de produtos bons e defeituosos. Tal sistema é complementado por um especialista que analisa os mesmos produtos
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Rainho, Inês Margarida Louro. "Validação das Folhas de Cálculo Eletrónicas dos Produtos Acabados e de Estabilidade dos Laboratórios Vitória, S.A." Master's thesis, 2018. http://hdl.handle.net/10362/58225.

Texto completo
Resumen
As folhas de cálculo eletrónicas são bastante utilizadas na indústria farmacêutica no processamento e registo de informação, sendo equiparadas aos sistemas computadorizados e consideradas registos eletrónicos quando armazenadas eletronicamente, sendo fundamental que cumpram todas as Boas Práticas de Fabrico relativas a estes dois aspetos e que sejam validadas de modo a assegurar que estas são cumpridas e que as folhas de cálculo eletrónicas estão corretas. Assim, um dos principais objetivos deste trabalho é a validação das folhas de cálculo eletrónicas dos produtos acabados e de estabilidade
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!

Pasar a la bibliografía