• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1079
  • 501
  • 14
  • 3
  • 2
  • 2
  • Tagged with
  • 1601
  • 799
  • 691
  • 494
  • 413
  • 343
  • 276
  • 210
  • 192
  • 179
  • 149
  • 138
  • 121
  • 111
  • 109
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Opportunistic Data Gathering and Dissemination in Urban Scenarios

Bujari, Armir <1984> 19 May 2014 (has links)
In the era of the Internet of Everything, a user with a handheld or wearable device equipped with sensing capability has become a producer as well as a consumer of information and services. The more powerful these devices get, the more likely it is that they will generate and share content locally, leading to the presence of distributed information sources and the diminishing role of centralized servers. As of current practice, we rely on infrastructure acting as an intermediary, providing access to the data. However, infrastructure-based connectivity might not always be available or the best alternative. Moreover, it is often the case where the data and the processes acting upon them are of local scopus. Answers to a query about a nearby object, an information source, a process, an experience, an ability, etc. could be answered locally without reliance on infrastructure-based platforms. The data might have temporal validity limited to or bounded to a geographical area and/or the social context where the user is immersed in. In this envisioned scenario users could interact locally without the need for a central authority, hence, the claim of an infrastructure-less, provider-less platform. The data is owned by the users and consulted locally as opposed to the current approach of making them available globally and stay on forever. From a technical viewpoint, this network resembles a Delay/Disruption Tolerant Network where consumers and producers might be spatially and temporally decoupled exchanging information with each other in an adhoc fashion. To this end, we propose some novel data gathering and dissemination strategies for use in urban-wide environments which do not rely on strict infrastructure mediation. While preserving the general aspects of our study and without loss of generality, we focus our attention toward practical applicative scenarios which help us capture the characteristics of opportunistic communication networks.
82

Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

Baldovin, Andrea <1983> 19 May 2014 (has links)
The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs. Factoring functional, reusable logic in the application favors incremental development and contains costs. Yet, achieving incrementality in the timing behavior is a much harder problem. Complex features at all levels of the execution stack, aimed to boost average-case performance, exhibit timing behavior highly dependent on execution history, which wrecks time composability and incrementaility with it. Our goal here is to restitute time composability to the execution stack, working bottom up across it. We first characterize time composability without making assumptions on the system architecture or the software deployment to it. Later, we focus on the role played by the real-time operating system in our pursuit. Initially we consider single-core processors and, becoming less permissive on the admissible hardware features, we devise solutions that restore a convincing degree of time composability. To show what can be done for real, we developed TiCOS, an ARINC-compliant kernel, and re-designed ORK+, a kernel for Ada Ravenscar runtimes. In that work, we added support for limited-preemption to ORK+, an absolute premiere in the landscape of real-word kernels. Our implementation allows resource sharing to co-exist with limited-preemptive scheduling, which extends state of the art. We then turn our attention to multicore architectures, first considering partitioned systems, for which we achieve results close to those obtained for single-core processors. Subsequently, we shy away from the over-provision of those systems and consider less restrictive uses of homogeneous multiprocessors, where the scheduling algorithm is key to high schedulable utilization. To that end we single out RUN, a promising baseline, and extend it to SPRINT, which supports sporadic task sets, hence matches real-world industrial needs better. To corroborate our results we present findings from real-world case studies from avionic industry.
83

Leopoli-Cencelle beyond virtual reality Documentazione, interpretazione e comprensione di una città medievale / Leopoli-Cencelle beyond virtual reality Documentation, interpretation and comprehension of a medieval city

De Padova, Maria Doriana <1977> 14 May 2013 (has links)
La città medievale di Leopoli-Cencelle (fondata da Papa Leone IV nell‘854 d.C. non lontano da Civitavecchia) è stata oggetto di studio e di periodiche campagne di scavo a partire dal 1994. Le stratigrafie investigate con metodi tradizionali, hanno portato alla luce le numerose trasformazioni che la città ha subìto nel corso della sua esistenza in vita. Case, torri, botteghe e strati di vissuto, sono stati interpretati sin dall’inizio dello scavo basandosi sulla documentazione tradizionale e bi-dimensionale, legata al dato cartaceo e al disegno. Il presente lavoro intende re-interpretare i dati di scavo con l’ausilio delle tecnologie digitali. Per il progetto sono stati utilizzati un laser scanner, tecniche di Computer Vision e modellazione 3D. I tre metodi sono stati combinati in modo da poter visualizzare tridimensionalmente gli edifici abitativi scavati, con la possibilità di sovrapporre semplici modelli 3D che permettano di formulare ipotesi differenti sulla forma e sull’uso degli spazi. Modellare spazio e tempo offrendo varie possibilità di scelta, permette di combinare i dati reali tridimensionali, acquisiti con un laser scanner, con semplici modelli filologici in 3D e offre l’opportunità di valutare diverse possibili interpretazioni delle caratteristiche dell’edificio in base agli spazi, ai materiali, alle tecniche costruttive. Lo scopo del progetto è andare oltre la Realtà Virtuale, con la possibilità di analizzare i resti e di re-interpretare la funzione di un edificio, sia in fase di scavo che a scavo concluso. Dal punto di vista della ricerca, la possibilità di visualizzare le ipotesi sul campo favorisce una comprensione più profonda del contesto archeologico. Un secondo obiettivo è la comunicazione a un pubblico di “non-archeologi”. Si vuole offrire a normali visitatori la possibilità di comprendere e sperimentare il processo interpretativo, fornendo loro qualcosa in più rispetto a una sola ipotesi definitiva. / The medieval city of Leopoli-Cencelle (founded by Pope Leo IV in 854 AD, surrounded by walls, protected by towers, located on the top of a hill in not far from Civitavecchia - a harbour city about 60 kilometres North-East of Rome-) has been investigated since 1994 using traditional excavation. The stratigraphy brought to light the huge number of transformation the city encountered along its life-time (about 600 years). Houses, towers, workshops have been interpreted in the past years according to the two-dimensional drawn excavation data. The main goal of this work is to re-interpret excavation data using digital technologies. The experiment involves laser-scanning, computer vision (Structure From Motion) and 3D modelling technologies. A three-dimensional visualization of the remains acquired by a laser-scanner, is combined with 3D models allowing several interpretation hypotheses about the shape of the buildings and the purpose of the spaces. Modelling space and time as room of possibilities, combines scanned data with philological 3D reconstruction, and gives the opportunity to switch between several possible interpretation of the building features. The project aims to go beyond virtual reality, giving the opportunity to analyse the remains and to re-interpret the buildings’ purposes both during and after the excavation. From a research point of view, the visualization of hypothesis in the fieldwork process, provides a deeper understanding of an archaeological context. A second goal deals with the public communication, allowing also non-archaeologists to understand and experience the archaeological interpretation process, providing more than just one final hypothesis.
84

A formal approach to conformance testing

Tretmans, Gerrit Jan, January 1992 (has links)
Proefschrift Enschede. / Auteursnaam op omslag: Jan Tretmans. Met lit. opg., reg. Met Nederlandse samenvatting.
85

Specification and assessment of methods supporting the development of neural networks in medicine

Egmont-Petersen, Michael. January 1996 (has links)
Proefschrift Universiteit Maastricht. / Met lit. opg., bibliogr. - Met een samenvatting in het Nederlands, Duits en Deens.
86

Criação e desenvolvimento da indústria de informática no Rio Grande do Sul : influência do estado, da universidade e centros de p&d e do empreendedor (um estudo exploratório)

Wittmann, Milton Luiz January 1988 (has links)
O presente trabalho apresenta os resultados de uma pesquisa exploratória sobre a influência do Estado, da Universidade e Centros de NO e do Empreendedor na criação e desenvolvimento de Empresas de Informática no Rio Grande do Sul. Os resultados da pesquisa compeSem-se de duas partes. A primeira parte analisa os aspectos favoráveis e desfavoráveis ao nascimento e desenvolvimento destas Empresas de modo a caracterizar três agentes no processo empreendedor: a- O Estado, que através de políticas setoriais, influi de maneira positiva ou restritiva à criação e desenvolvimento de novas empresas. b- A Universidade e Centros Oficiais de PU, que se destacam pela pesquisa, serviços e formação de recursos humanos. c- O Empreendedor (ENTREPRENEUR), que assume a realização de novas combinações dos recursos produtivos. A segunda parte analisa o perfil do empreendedor, ou seja, apresenta características dos criadores de empresas de Informática, o que vai permitir estabelecer idéias em como identificar potenciais empreendedores. A pesquisa teve por base as respostas obtidas junto a empreendedores de indóstrias de informática cadastradas no Centro das Indóstrias do Estado do Rio Grande do Sul - CIERGS e que não pertenciam a grupos empresariais. ou seja, indostrias de informática oue foram criadas a partir de uma ou mais pessoas e cuja atividade empreendedora originou-se fora de organizaçbes pré-existentes. / This work presents the results of an exploratory research on the influence of the State, of the University and Centers of research b development and of the entrepreneur itself upon the creation and development of new ventures on informatics in the State of Rio Grande do Sul, Brazil. Results presented are divided into two paris. The first one analyses factors both favorable and unfavorable that gave rise to the creation and development of such entreprises so that three agents of the entrepreneurial process could be characterized, namely. a.The State, that influences positively or restrictively the creation and development of new ventures by means of sector policies. b.The University as well as Centers of R&D that are prominent in research, services and preparation of human resources c.The entrepreneur itself who is capable of developing new combinations of productive resources. The second part analyses the entrepreneur's profile, i. e., essential caracteristics of the "creators" of new ventures on the informatics field, thus makinq us able to identify who can become an entrepreneur. Data were collected by interviewing entrepreneurs of the informatics" industry as registered in the Center for industries of the State of Rio Grande do Sul - CIERGS) and that were created by one or more people outside of pre-existing organizations. Thus, new ventures created by financial groups were not considered as part of the sample.
87

Roteiro para desenvolvimento de componentes enterprise javabeans

Costa, Edjandir Corrêa January 2000 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T21:02:40Z (GMT). No. of bitstreams: 1 203176.pdf: 743132 bytes, checksum: 4d608b11a991090f42b900bff5ecca63 (MD5) / Este trabalho apresenta um roteiro que mostra as atividades existentes no processo de desenvolvimento de componentes de negócio. O roteiro mostra, também, a seqüência de execução dessas atividades. O roteiro sugere, como forma de organização, a divisão do processo de desenvolvimento em quatro etapas: modelagem de negócio, projeto, implementação e instalação de componentes. O roteiro assume que os componentes sejam implementados de acordo com o modelo Enterprise Javabeans. Além do roteiro desenvolvido, este trabalho apresenta tecnologias envolvidas no processo de construção de componentes de negócio como objetos de negócio, objetos distribuídos e o modelo Enterprise Javabeans.
88

Transdisciplinaridade como (re)ligação entre ciencia e cultura: da antiga China à informática educativa e musical /

Guerra, Carlos Gustavo Marcante January 1996 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciencias da Educação / Made available in DSpace on 2012-10-16T10:16:52Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T20:24:07Z : No. of bitstreams: 1 109361.pdf: 13515058 bytes, checksum: 45e41e362a602532124def999fe3b71d (MD5) / As transformações deste século nos trazem uma nova visão de conhecimento, associada a novas concepções em ciência e educação. O estudo da Cultura Tradicional Chinesa, aqui aprofundada com o do-in e a acupuntura, vem tanto trazer subsídios para uma melhor compreensão da relação entre ciência, arte, filosofia e tradições espirituais (na China se alcançou o maior desenvolvimento científico da antigüidade) quanto salientar como nosso modo de entender e fazer ciência está inserido em nosso ambiente cultural. A transdisciplinaridade e o multiculturalismo são neste trabalho tanto ferramentas quanto objetos de estudo. Assim, tramamos uma rede, contexto no qual trazemos propostas gerais para uma melhor utilização da informática na educação. Retomamos a questão geradora desta pesquisa, o aprendizado e pesquisa musical auxiliado por computador voltado para o não-especialista, apresentando a Abordagem de Construção Musical, AbCMus, que resgata o valor da sensibilidade, da intuição, da vivência, da criatividade, do movimento corporal e da interação entre diferentes estilos e culturas.
89

Um algoritmo de filtragem colaborativa baseado em SVD

Pereira Filho, João Bosco A. 25 October 2012 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T08:55:33Z (GMT). No. of bitstreams: 1 286638.pdf: 551379 bytes, checksum: e816c4734203fde09171e8dbaf05ced4 (MD5) / A presente dissertação tem como objetivo contribuir com a pesquisa na área de sistemas de recomendaçãao e propõe um algoritmo de ?ltragem colaborativa baseado em Decomposição por Valor Singular (SVD) que modela o per?l de um grande grupo de usuários, com o intuito de fazer recomendações personalizadas a eles. Tal algoritmo utiliza técnicas normalmente utilizadas no treinamento de redes neurais arti?cais, técnicas de estatística e de álgebra linear para processar as recomendações. É proposta uma maneira inteligente de se inicializar o modelo do algoritmo, que acaba por acelerar a convergência do treinamento e melhora a e?cácia do mesmo. As experimentações foram realizadas no contexto do concurso Net?ix Prize, que disponibiliza uma grande base de dados e uma metodologia de avaliação dos resultados. Tais experimentações realizadas e uma análise comparativa com outro algoritmo demonstram que o algoritmo proposto retorna resultados mais precisos, apesar de ser mais lento. Além disso, o algoritmo também foi experimentado em conjunto com este outro algoritmo e as recomendações geradas por esta combinação se mostraram ainda mais precisas.
90

Escalonamento redirecionável de código sob restrições de tempo real

Carlomagno Filho, José Otávio January 2007 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T00:58:50Z (GMT). No. of bitstreams: 1 238111.pdf: 2161716 bytes, checksum: 597716c5a6074a9e93a760112ded0c97 (MD5) / A evolução dos sistemas computacionais deu origem aos systems-on-chip ou SoCs, onde diversos componentes (como memória, barramentos e processador(es)) estão presentes em um único circuito integrado. Os SoCs possivelmente contêm múltiplos processadores de diferentes tipos, portanto a exploração de seu espaço de projeto requer ferramentas redirecionáveis. O aumento da complexidade de tais sistemas, juntamente com a diminuição do time-to-market e a necessidade de iniciar-se o desenvolvimento do software embarcado o mais cedo possível, deu origem à modelagem no nível de transações ou TLM (transaction-level modeling). O projeto inicia-se com um modelo TLM atemporal, mas a posterior anotação de restrições temporais exige que o software embarcado seja revisado, sendo úteis ferramentas de análise de restrições temporais pós-compilação. Esta dissertação descreve uma técnica automaticamente redirecionável que combina análise de restrições temporais e escalonamento de código assembly. A técnica baseia se na extração de informações específicas da arquitetura-alvo através de uma descrição formal do processador e na codificação de restrições temporais e de precedência em uma representação unificada usando grafos. Resultados experimentais mostram que a técnica não somente lida eficientemente com restrições temporais, mas também as explora para guiar as otimizações. São apresentados resultados para os processadores MIPS, PowerPC e SPARC, onde acelerações na execução do código de até 1,3 vezes foram obtidas em relação ao código pré-otimizado. Este trabalho aborda ainda um estudo da viabilidade de se integrar a técnica proposta em um tradutor binário, contribuindo para que, ao se traduzir código compilado de uma arquitetura para outra, o código traduzido resulte otimizado. Resultados preliminares são apresentados como um forte indício de viabilidade.

Page generated in 0.0637 seconds