Log in

Relevant bibliographies by topics / Temporal metrics / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Temporal metrics.

Dissertations / Theses on the topic 'Temporal metrics'

Author: Grafiati

Published: 4 June 2021

Last updated: 13 February 2022

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

Select a source type:

Consult the top 48 dissertations / theses for your research on the topic 'Temporal metrics.'

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

Berthold, Stefan. "Inter-temporal Privacy Metrics." Doctoral thesis, Karlstads universitet, Institutionen för matematik och datavetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-33972.

Full text

Abstract:

Informational privacy of individuals has significantly gained importance after information technology has become widely deployed. Data, once digitalised, can be copied, distributed, and long-term stored at negligible costs. This has dramatic consequences for individuals that leave traces in the form of personal data whenever they interact with information technology, for instance, computers and phones; or even when information technology is recording the personal data of aware or unaware individuals. The right of individuals for informational privacy, in particular to control the flow and use

APA, Harvard, Vancouver, ISO, and other styles

2

Berthold, Stefan. "Towards Inter-temporal Privacy Metrics." Licentiate thesis, Karlstads universitet, Avdelningen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-7319.

Full text

Abstract:

Informational privacy of individuals has significantly gained importance after information technology has become widely deployed. Data, once digitalised, can be copied and distributed at negligible costs. This has dramatic consequences for individuals that leave traces in form of personal data whenever they interact with information technology. The right of individuals for informational privacy, in particular to control the flow and use of their personal data, is easily undermined by those controlling the information technology. The objective of this thesis is the measurement of informational

APA, Harvard, Vancouver, ISO, and other styles

3

Aiello, Silvio. "Centrality metrics and epidemic spreading on persistent temporal networks." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/22106/.

Full text

Abstract:

La dinamica di un’epidemia che si diffonde su una rete di contatti dipende dalla topologia della rete. In questa tesi si indaga la relazione tra proprietà topologiche dei nodi e loro ruolo nell’epidemia nel caso di reti temporali. Nello specifico, si studiano epidemie che si diffondono, secondo il modello Susceptible - Infected (SI), su reti temporali di tipo Discreto Autoregressivo di ordine 1 (DARN(1)). Questo modello di rete permette di controllare il ruolo della densità e della persistenza dei link sulla diffusione dell'epidemia. Per reti temporali, la Dynamic Broadcast Centrality di un

APA, Harvard, Vancouver, ISO, and other styles

4

Tang, John Kit. "Temporal network metrics and their application to real world networks." Thesis, University of Cambridge, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.610365.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Khan, Hamzah I. "Evaluating Flexibility Metrics on Simple Temporal Networks with Reinforcement Learning." Scholarship @ Claremont, 2018. https://scholarship.claremont.edu/hmc_theses/116.

Full text

Abstract:

Simple Temporal Networks (STNs) were introduced by Tsamardinos (2002) as a means of describing graphically the temporal constraints for scheduling problems. Since then, many variations on the concept have been used to develop and analyze algorithms for multi-agent robotic scheduling problems. Many of these algorithms for STNs utilize a flexibility metric, which measures the slack remaining in an STN under execution. Various metrics have been proposed by Hunsberger (2002); Wilson et al. (2014); Lloyd et al. (2018). This thesis explores how adequately these metrics convey the desired information

APA, Harvard, Vancouver, ISO, and other styles

6

Mirkarimi, Hamed, and hamed mirkarimi@student rmit edu au. "Landscape ecological planning for protected areas using spatial and temporal metrics." RMIT University. Mathematical and Geospatial Sciences, 2007. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20080507.122506.

Full text

Abstract:

The natural characteristics of protected areas have changed for a variety of reasons through time. Changes in protected area landscapes can occur because of natural and/or cultural processes. Natural processes such as geomorphological disturbance and climatic condition can permanently and/or temporarily change the characteristics of the environment. In addition, changes in human needs, knowledge and activities are the cultural driving forces behind changing characteristics of landscape through time. These changes can be studied both spatially and temporally. Spatially, protected area landsc

APA, Harvard, Vancouver, ISO, and other styles

7

Mcinerney, Ciaran. "Determining spatio-temporal metrics that distinguish play outcomes in field hockey." Thesis, Sheffield Hallam University, 2017. http://shura.shu.ac.uk/16599/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Rodríguez, Pupo Luis Enrique. "An Analytics Platform for Integrating and Computing Spatio-Temporal Metrics in Location-aware Games." Doctoral thesis, Universitat Jaume I, 2021. http://hdl.handle.net/10803/671588.

Full text

Abstract:

This thesis presents an analytics platform for calculating spatio-temporal metrics in the context of geogames and context-based applications. It is based on an underlying conceptual model for spatio-temporal metrics, which consists of dimensions and variables to describe spatial and temporal phenomena, metrics functions to calculate application-relevant information and conditions using these data models, and actions to be triggered when certain conditions are met. The analytics platform is implemented as a cloud-based, distributed application that allows developers to define data requirements,

APA, Harvard, Vancouver, ISO, and other styles

9

Watson, Eric Craig. "Use of Distance Weighted Metrics to Investigate Landscape-Stream Temperature Relationships Across Different Temporal Scales." PDXScholar, 2016. http://pdxscholar.library.pdx.edu/open_access_etds/3117.

Full text

Abstract:

Stream ecosystems have experienced significant negative impacts from land use, resource exploitation, and urban development. Statistical models allow researchers to explore the relationships between these landscape variables and stream conditions. Weighting the relevant landscape variables based on hydrologically defined distances offers a potential method of increasing the predictive capacity of statistical models. Using observations from three grouped watersheds in the Portland Metro Area (n=66), I have explored the use of three different weighting schemes against the standard method of taki

APA, Harvard, Vancouver, ISO, and other styles

10

Cooke, Richard Jeremy Edwin. "Link prediction and link detection in sequences of large social networks using temporal and local metrics." Master's thesis, University of Cape Town, 2006. http://hdl.handle.net/11427/6388.

Full text

Abstract:

Includes bibliographical references.<br>This dissertation builds upon the ideas introduced by Liben-Nowell and Kleinberg in The Link Prediction Problem for Social Networks [42]. Link prediction is the problem of predicting between which unconnected nodes in a graph a link will form next, based on the current structure of the graph.

APA, Harvard, Vancouver, ISO, and other styles

11

Oldoni, Lucas Volochen. "Mapeamento de soja e milho com mineração de dados e imagens sintéticas landsat e modis." Universidade Estadual do Oeste do Paraná, 2018. http://tede.unioeste.br/handle/tede/3724.

Full text

Abstract:

Submitted by Rosangela Silva (rosangela.silva3@unioeste.br) on 2018-06-04T17:12:56Z No. of bitstreams: 2 Lucas Oldoni.pdf: 9472745 bytes, checksum: 1b2c1a8ee59169fa471b43d27a762f6e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available in DSpace on 2018-06-04T17:12:56Z (GMT). No. of bitstreams: 2 Lucas Oldoni.pdf: 9472745 bytes, checksum: 1b2c1a8ee59169fa471b43d27a762f6e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-02-05<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>S

APA, Harvard, Vancouver, ISO, and other styles

12

Zhang, Qian. "Spatial-Temporal Patterns of Urban Growth in Shanghai, China: Monitoring, Analysis, and Simulation." Licentiate thesis, Geoinformatics Division, Department of Urban Planning and Environment, ABE, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-11868.

Full text

Abstract:

<p>Supporting huge population, megacities are definitely the hot spots of production, consumption, and waste generation. Without careful investment and planning, megacities will be overwhelmed by burgeoning negative impacts on the environment, natural resources, and human health, as well as a host of social and economic issues. The unprecedented combination of economic and population growth since the Reform and Open Policy has led China into transition from a largely rural society to a predominantly urban one. Chinese cities, without question, have not escaped the danger of the series of probl

APA, Harvard, Vancouver, ISO, and other styles

13

Dias, Lívia Caroline César. "Análise da paisagem da área de Proteção Ambiental Estadual do Rio Pandeiros, MG : subsídios para o manejo e conservação da fauna." Universidade Federal de São Carlos, 2017. https://repositorio.ufscar.br/handle/ufscar/9118.

Full text

Abstract:

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-30T18:07:03Z No. of bitstreams: 1 DissLCCD.pdf: 4056126 bytes, checksum: ed6319985f95cfa7a1084a7fd08bef23 (MD5)<br>Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T18:11:08Z (GMT) No. of bitstreams: 1 DissLCCD.pdf: 4056126 bytes, checksum: ed6319985f95cfa7a1084a7fd08bef23 (MD5)<br>Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T18:11:15Z (GMT) No. of bitstreams: 1 DissLCCD.pdf: 4056126 bytes, checksum: ed6319985f95cfa7a1084a7fd08bef23 (MD5)<br>Made available in

APA, Harvard, Vancouver, ISO, and other styles

14

Sapena, Moll Marta. "Development and analysis of land-use/land-cover spatio-temporal metrics in urban environments: Exploring urban growth patterns and linkages to socio-economic factors." Doctoral thesis, Universitat Politècnica de València, 2021. http://hdl.handle.net/10251/158626.

Full text

Abstract:

[ES] Esta tesis aborda el desarrollo y análisis de nuevas herramientas y métodos para monitorizar y caracterizar el crecimiento urbano utilizando datos geográficos y bases de datos de usos y coberturas del suelo (LULC), así como explorar sus relaciones con factores socioeconómicos, aportando nuevas evidencias sobre el uso de los datos LULC para la caracterización urbana en diferentes niveles mediante métodos espaciales y estadísticos. En primer lugar, se compilaron e implementaron las métricas espacio-temporales más comunes dentro de una herramienta software, IndiFrag. A continuación, se prese

APA, Harvard, Vancouver, ISO, and other styles

15

Unal, Calargun Seda. "Fuzzy Association Rule Mining From Spatio-temporal Data: An Analysis Of Meteorological Data In Turkey." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12609308/index.pdf.

Full text

Abstract:

Data mining is the extraction of interesting non-trivial, implicit, previously unknown and potentially useful information or patterns from data in large databases. Association rule mining is a data mining method that seeks to discover associations among transactions encoded within a database. Data mining on spatio-temporal data takes into consideration the dynamics of spatially extended systems for which large amounts of spatial data exist, given that all real world spatial data exists in some temporal context. We need fuzzy sets in mining association rules from spatio-temporal databases since

APA, Harvard, Vancouver, ISO, and other styles

16

Silva, Kmila Gomes da. "Avaliação da cobertura florestal da sub-bacia hidrográfica do rio Alegre, Sul do estado do Espírito Santo, utilizando geotecnologias." Universidade Federal do Espírito Santo, 2013. http://repositorio.ufes.br/handle/10/5824.

Full text

Abstract:

Made available in DSpace on 2016-12-23T13:51:55Z (GMT). No. of bitstreams: 1 kmila Gomes da Silva.pdf: 1840290 bytes, checksum: 71792d0ca0267bf6f9206f3a5d471245 (MD5) Previous issue date: 2013-03-12<br>The analysis of the plant covering behavior on a temporal scale addresses practices that make forest remnant sustainability possible. The present study seeks to analyze the dynamics of the forest fragments in the hydrographic subbasin of the Alegre river, Espirito Santo state, based on the alterations of the plant covering and the structure of the forest landscape on a space-time scale, throug

APA, Harvard, Vancouver, ISO, and other styles

17

Müller, Daniel. "Trajectory Generation under Metric Interval Temporal Logic Specifications." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-217122.

Full text

Abstract:

Metric interval temporal logic (MITL) provides a tool to formulate high level tasks in an easyway. This allows to specify behaviour of a dynamical system in a given environment which liesbeyond the scope of simple stabilization. Finding an input of the system which satises the MITLformula, demands new techniques and algorithms. In this thesis, a novel approach is presented whichabstracts the dynamical system into a time optimal weighted transition system (WTS) and convertsthe MITL formula into a Timed Buchi Automaton (TBA). From the graph product of the WTS andTBA a sequence of environment sta

APA, Harvard, Vancouver, ISO, and other styles

18

Silva, Normandes Matos da. "Dinâmica de uso das terras nos municípios de Bonito, Jardim e Bodoquena (MS) e o estado e conservação dos recursos biológicos do Parque Nacional da Serra da Bodoquena e de sua zona de amortecimento." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/41/41134/tde-09062008-141526/.

Full text

Abstract:

A pesquisa abordou o processo de uso e ocupação das terras nos municípios de Bodoquena, Bonito e Jardim, situados na borda leste do Parque Nacional da Serra da Bodoquena (PNSB), região sudoeste de Mato Grosso do Sul. Além disso, foi estudado o estado de conservação, em termos de estrutura e configuração da paisagem, dos remanescentes de cerrado e floresta contidos no interior do PNSB e em sua zona de amortecimento. O objetivo foi o de analisar a dinâmica de ocupaçao das terras nos municípios mencionados nos últimos 18 anos, com vistas à subsidiar estratégias de planejamento do uso e ocupação d

APA, Harvard, Vancouver, ISO, and other styles

19

Olšák, Ondřej. "Verifikace za běhu systémů s vlastnostmi v MTL logice." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-449176.

Full text

Abstract:

This work is focused on the design of an algorithm for run-time verification over requirements given as formulas in metric temporal logic (MTL). Tree structure is used for verification of these requirements, which is similar to run of alternating timed automata from which the final algorithm is derivated. Designed algorithm is able to verify given MTL formulas over the runs of a program without a need to remember the whole program's trace. This allows to monitor a given program on potentially infinite runs.

APA, Harvard, Vancouver, ISO, and other styles

20

Andersson, Sofie. "Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187716.

Full text

Abstract:

The problem of synthesizing controllers for motion planning of multi-agent systems under Linear Temporal Logic (LTL) high-level speciﬁcations has been of great interest and has been widely studied over the last years. However, LTL cannot handle time constraints as speciﬁcations. The time aspect would allow more complicated and speciﬁc tasks and it is therefore desirable to incorporate. This work aims to determine how control synthesis for a continuous linear system can be performed based on Metric Interval Temporal Logic (MITL), which is able to handle desired time constraints to high-level sp

APA, Harvard, Vancouver, ISO, and other styles

21

Rossi, Alfred Vincent III. "Temporal Clustering of Finite Metric Spaces and Spectral k-Clustering." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu1500033042082458.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Paul, Brandon Tyler. "The Cognitive Organization of Rhythmic Sounds: Metric Influence on Temporal Order Acuity." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1337631041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Brucato, Matteo. "Temporal Information Retrieval." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5690/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Chan, Alton. "The Kinetic Structures of Metric Temporal Patterns in Selected Beginning Piano Method Series." Thesis, University of North Texas, 1994. https://digital.library.unt.edu/ark:/67531/metadc279319/.

Full text

Abstract:

The purpose of this study was to investigate the kinetic structures or reinforcement schedules of metric temporal patterns (metric combination of note values within a measure) in five best-selling beginning piano method series. Based upon a survey mailed to 98 music dealers, the five best-selling beginning piano method series in 1992 and 1993 were identified as: the Alfred Basic Piano Library, Bastien Piano Basics, David Carr Glover Piano Library, John. W. Schaum Piano Course, and John Thompson Modern Course for Piano. A coding system was developed for identifying the numerical appearances and

APA, Harvard, Vancouver, ISO, and other styles

25

Ahlberg, Sofie. "Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications." Licentiate thesis, KTH, Reglerteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251666.

Full text

Abstract:

With the increase of robotic presence in our homes and work environment, it has become imperative to consider human-in-the-loop systems when designing robotic controllers. This includes both a physical presence of humans as well as interaction on a decision and control level. One important aspect of this is to design controllers which are guaranteed to satisfy specified safety constraints. At the same time we must minimize the risk of not finding solutions, which would force the system to stop. This require some room for relaxation to be put on the specifications. Another aspect is to design t

APA, Harvard, Vancouver, ISO, and other styles

26

Fogaça, Isis Caroline Oliveira de Sousa. "Análise da evolução temporal de dados métricos." Universidade Federal de São Carlos, 2016. https://repositorio.ufscar.br/handle/ufscar/8661.

Full text

Abstract:

Submitted by Alison Vanceto (alison-vanceto@hotmail.com) on 2017-03-17T12:24:22Z No. of bitstreams: 1 DissCOSF.pdf: 3751345 bytes, checksum: 50050f093a497de77a404a0a957ad02c (MD5)<br>Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-04-24T13:10:09Z (GMT) No. of bitstreams: 1 DissCOSF.pdf: 3751345 bytes, checksum: 50050f093a497de77a404a0a957ad02c (MD5)<br>Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-04-24T13:10:17Z (GMT) No. of bitstreams: 1 DissCOSF.pdf: 3751345 bytes, checksum: 50050f093a497de77a404a0a957ad02c (MD5)<br>Made availabl

APA, Harvard, Vancouver, ISO, and other styles

27

Rana, Atul, and Yaser Hamed. "Performance Management System for Temporary Employees : Understanding differences in Performance Management between Temporary and Permanent Employees." Thesis, Internationella Handelshögskolan, Högskolan i Jönköping, IHH, Företagsekonomi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-31694.

Full text

Abstract:

Purpose – The purpose of this study is to find the organizational practices in place for the performance evaluation of temporary employees and how that varies from permanent employees. Method – The study takes an inductive and interpretive approach to find out the unknown practices. The study is conducted over 7 respondents from different organizations split between recruitment agencies and client organizations and represents practices maintained by both set of industries. Findings – The study identifies low standardization in performance evaluation and discusses the variance from literature o

APA, Harvard, Vancouver, ISO, and other styles

28

Bueno, Renato. "Tratamento de tempo e dinamicidade em dados representados em espaços métricos." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-142105/.

Full text

Abstract:

Os Sistemas de Gerenciamento de Bases de Dados devem atualmente ser capazes de gerenciar dados complexos, como dados multimídia, sequências genéticas, séries temporais, além dos dados tradicionais. Em consultas em grandes coleções de dados complexos, a similaridade entre os dados é o fator mais importante, e pode ser adequadamente expressada quando esses dados são representados em espaços métricos. Independentemente do domínio de um tipo de dados, existem aplicações que devem acompanhar a evolução temporal dos elementos de dados. Porém, os Métodos de Acesso Métrico existentes consideram que os

APA, Harvard, Vancouver, ISO, and other styles

29

Bezerra, Tiago dos Santos. "Predi??o de s?ries temporais de par?metros de redes HSPA - WCDMA." Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br/handle/123456789/19937.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-02T22:51:53Z No. of bitstreams: 1 TiagoDosSantosBezerra_DISSERT.pdf: 2629795 bytes, checksum: 9ffd5ffe3a05204b53801a61891c5393 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-04T00:16:01Z (GMT) No. of bitstreams: 1 TiagoDosSantosBezerra_DISSERT.pdf: 2629795 bytes, checksum: 9ffd5ffe3a05204b53801a61891c5393 (MD5)<br>Made available in DSpace on 2016-03-04T00:16:01Z (GMT). No. of bitstreams: 1 TiagoDosSantosBezerra_DISSERT.pdf: 2629795 bytes, checksum: 9ffd5ffe3a0520

APA, Harvard, Vancouver, ISO, and other styles

30

Hong, Sujin. "Neural correlates of beat and metre perception : the role of the inferior frontal gyrus." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/21112.

Full text

Abstract:

Temporal regularity and metrical organisation are important factors in beat and metre perception. The current thesis aims to investigate neural correlates of beat and metre perception in healthy non-musician volunteers, using functional magnetic resonance imaging (fMRI). In particular, the thesis focuses on determining the role of the Inferior Frontal Gyrus (IFG, in particular BA44/45) in beat and metre perception. The IFG has been proposed to be involved in higher order cognitive processes during various temporal sequencing, such as speech, movement, and music. Previous studies have shown tha

APA, Harvard, Vancouver, ISO, and other styles

31

Dhein, Guilherme. "Problemas de roteamento de veículos com dependência temporal e espacial entre rotas de equipes de campo." Universidade Federal de Santa Maria, 2016. http://repositorio.ufsm.br/handle/1/3700.

Full text

Abstract:

This thesis presents two new routing problems, both with objective functions focused on relative positioning of teams during the routing horizon. The relative positioning results in temporal and spatial dependencies among routes and is quantified with a nonlinear dispersion metric, designed to evaluate the instantaneous distances among teams over a time interval. This metric allows the design of objective functions to approximate teams during routes execution, when minimized, or disperse them, when maximized. Both approximation and dispersion are important routing characteristics in some pract

APA, Harvard, Vancouver, ISO, and other styles

32

Jenkins, Mark Daniel. "Synthesis and alternating automata over real time." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a.

Full text

Abstract:

Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, in providing verification algorithms for prominent specification formalisms such as Metric Temporal Logic. Unfortunately, when interpreted over an infinite dense time domain (such as the reals), alternating timed automata have an undecidable language emptiness problem. In this thesis we consider restrictions on this model that restore the decidability of the language emptiness problem. We consider the restricted class

APA, Harvard, Vancouver, ISO, and other styles

33

Rossholm, Andreas. "On Enhancement and Quality Assessment of Audio and Video in Communication Systems." Doctoral thesis, Blekinge Tekniska Högskola, Institutionen för tillämpad signalbehandling, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00604.

Full text

Abstract:

The use of audio and video communication has increased exponentially over the last decade and has gone from speech over GSM to HD resolution video conference between continents on mobile devices. As the use becomes more widespread the interest in delivering high quality media increases even on devices with limited resources. This includes both development and enhancement of the communication chain but also the topic of objective measurements of the perceived quality. The focus of this thesis work has been to perform enhancement within speech encoding and video decoding, to measure influence fa

APA, Harvard, Vancouver, ISO, and other styles

34

Occhipinti, Carlotta. "Analisi quantitativa del controllo motorio fine tramite sensori inerziali in bambini in età scolare: lo studio i-MOVE." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021.

Find full text

Abstract:

In ogni attività quotidiana o professionale noi interagiamo costantemente con il mondo attraverso il movimento: tutta la comunicazione, che sia sotto forma di parola, scrittura o gesti, è mediata dal sistema motorio. Lo studio dei movimenti umani e del loro sviluppo nel tempo permette di comprendere il modo in cui le persone normalmente sviluppano le proprie abilità motorie e di individuare disturbi di varia natura in soggetti che, invece, presentano delle anormalità. Inoltre, esiste una forte relazione tra sviluppo motorio e sviluppo cognitivo. Questo lavoro ha permesso di fare un'analisi del

APA, Harvard, Vancouver, ISO, and other styles

35

Wooller, René William. "Techniques for automated and interactive note sequence morphing of mainstream electronic music." Queensland University of Technology, 2007. http://eprints.qut.edu.au/20232/.

Full text

Abstract:

Note sequence morphing is the combination of two note sequences to create a ‘hybrid transition’, or ‘morph’. The morph is a ‘hybrid’ in the sense that it exhibits properties of both sequences. The morph is also a ‘transition’, in that it can segue between them. An automated and interactive approach allows manipulation in realtime by users who may control the relative influence of source or target and the transition length. The techniques that were developed through this research were designed particularly for popular genres of predominantly instrumental electronic music which I will refer to c

APA, Harvard, Vancouver, ISO, and other styles

36

"Cluster Metrics and Temporal Coherency in Pixel Based Matrices." Master's thesis, 2014. http://hdl.handle.net/2286/R.I.24849.

Full text

Abstract:

abstract: In this thesis, the application of pixel-based vertical axes used within parallel coordinate plots is explored in an attempt to improve how existing tools can explain complex multivariate interactions across temporal data. Several promising visualization techniques are combined, such as: visual boosting to allow for quicker consumption of large data sets, the bond energy algorithm to find finer patterns and anomalies through contrast, multi-dimensional scaling, flow lines, user guided clustering, and row-column ordering. User input is applied on precomputed data sets to provide for r

APA, Harvard, Vancouver, ISO, and other styles

37

Mushamiri, Memory. "Spatial and temporal changes of greenness metrics in Kruger National Park from 2000-2010." Thesis, 2013. http://hdl.handle.net/10539/12717.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Cooke, Richard J. E. "Link prediction and link detection in sequences of large social networks using temporal and local metrics." Thesis, 2006. http://pubs.cs.uct.ac.za/archive/00000370/.

Full text

Abstract:

This dissertation builds upon the ideas introduced by Liben-Nowell and Kleinberg in The Link Prediction Problem for Social Networks [42]. Link prediction is the problem of predicting between which unconnected nodes in a graph a link will form next, based on the current structure of the graph. The following research contributions are made: • Highlighting the difference between the link prediction and link detection problems, which have been implicitly regarded as identical in current research. Despite hidden links and forming links having very highly significant differing metric values, they co

APA, Harvard, Vancouver, ISO, and other styles

39

Yesserie, Addis Getnet. "Spatio-temporal land use/land cover changes analysis and monitoring in the Valencia Municipality, Spain." Master's thesis, 2009. http://hdl.handle.net/10362/2537.

Full text

Abstract:

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies<br>Issues of land use/land cover changes and the direct or indirect relationships of these changes have drawn much attention in recent years. In the Mediterranean Spain, observed environmental changes influenced with dramatic urban growth and their likely changes can have extensive unforeseen ramification. Thus, the objectives of this research were to map and determine the nature, extent and rate of changes and to analyze the spatio-temporal land use/land cover chang

APA, Harvard, Vancouver, ISO, and other styles

40

Burak, Matthew K. "Developing Standardized Metrics to Quantify the Temporal Distribution of Migrating Anadromous Herring: Comparing Adult Returns Across Coastal Rivers." 2011. https://scholarworks.umass.edu/theses/667.

Full text

Abstract:

Understanding, quantifying, and comparing the temporal distribution of anadromous fish spawning migrations is an important yet vexing problem for fisheries research, management, and conservation. Central to this problem is the lack of a representative and comprehensive standardized suite of quantitative metrics to characterize the complex, multidimensional temporal distribution of migrating anadromous fish. Without this, it is not possible to develop effective sampling regimes, extrapolate counts to accurate population estimates, understand the basic ecology and behavior of anadromous fish, or

APA, Harvard, Vancouver, ISO, and other styles

41

Asabere, Stephen Boahen. "Urbanisation, Land Use and Soil Resource: Spatio-Temporal Analyses of Trends and Environmental Effects in Two Metropolitan Regions of Ghana (West Africa)." Thesis, 2020. http://hdl.handle.net/21.11130/00-1735-0000-0005-1534-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

"On metric interval temporal languages." Thesis, 2011. http://hdl.handle.net/10210/3705.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Menninghaus, Mathias. "Automated Performance Test Generation and Comparison for Complex Data Structures - Exemplified on High-Dimensional Spatio-Temporal Indices." Doctoral thesis, 2018. https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-20180823528.

Full text

Abstract:

There exist numerous approaches to index either spatio-temporal or high-dimensional data. None of them is able to efficiently index hybrid data types, thus spatio-temporal and high-dimensional data. As the best high-dimensional indexing techniques are only able to index point-data and not now-relative data and the best spatio-temporal indexing techniques suffer from the curse of dimensionality, this thesis introduces the Spatio-Temporal Pyramid Adapter (STPA). The STPA maps spatio-temporal data on points, now-values on the median of the data set and indexes them with the pyramid technique. For

APA, Harvard, Vancouver, ISO, and other styles

44

Motala, A., James Heron, P. V. McGraw, N. W. Roach, and D. Whitaker. "Temporal rate is not a distinct perceptual metric." 2020. http://hdl.handle.net/10454/17861.

Full text

Abstract:

yes<br>Sensory adaptation experiments have revealed the existence of ‘rate after-effects’ - adapting to a relatively fast rate makes an intermediate test rate feel slow, and adapting to a slow rate makes the same moderate test rate feel fast. The present work aims to deconstruct the concept of rate and clarify how exactly the brain processes a regular sequence of sensory signals. We ask whether rate forms a distinct perceptual metric, or whether it is simply the perceptual aggregate of the intervals between its component signals. Subjects were exposed to auditory or visual temporal rates (a ‘s

APA, Harvard, Vancouver, ISO, and other styles

45

"Dynamic Programming algorithm for Computing Temporal Logic Robustness." Master's thesis, 2013. http://hdl.handle.net/2286/R.I.18026.

Full text

Abstract:

abstract: In this thesis we deal with the problem of temporal logic robustness estimation. We present a dynamic programming algorithm for the robust estimation problem of Metric Temporal Logic (MTL) formulas regarding a finite trace of time stated sequence. This algorithm not only tests if the MTL specification is satisfied by the given input which is a finite system trajectory, but also quantifies to what extend does the sequence satisfies or violates the MTL specification. The implementation of the algorithm is the DP-TALIRO toolbox for MATLAB. Currently it is used as the temporal logic robu

APA, Harvard, Vancouver, ISO, and other styles

46

LEE, YI-SHENG, and 李易陞. "No-reference Video Quality Metric Computation Using Spatial, Temporal, Transform, and Spatiotemporal Features." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/q8h52q.

Full text

Abstract:

碩士<br>國立中正大學<br>資訊工程研究所<br>106<br>Nowadays, Internet is booming and the perception of video quality by video providers and users is becoming more important, but limit by the bandwidth of network transmission. No reference video quality computation is the best and well-known in three types of video quality assessment metrics. In this study, the proposed video quality computation metric is based on no reference and extracted spatial, temporal, transform, and spatiotemporal features as the basis for predicting quality scores. First, edge detection and blockiness are extracted as the spatial featu

APA, Harvard, Vancouver, ISO, and other styles

47

Martins, André Gil Cardeira. "Time series forecast and anomaly detection at scale applied to business metrics in an ERP environment." Master's thesis, 2019. http://hdl.handle.net/10071/20281.

Full text

Abstract:

In the business world, dashboards are a widely used analytical mechanism that helps in the decision-making process by displaying insights, key performance indicators, and business metrics. The information provided by this type of mechanism is strongly aggregated, to obtain a high level of summarization and consequently make reading easier. However, the necessary summarization causes “blind spots” to appear by hiding important information such as a sharp drop in revenue from a specific customer, seller, or product/ service. These “blind spots” make it difficult to detect potential business prob

APA, Harvard, Vancouver, ISO, and other styles

48

(9738650), Dante P. Francomano. "Soundscape dynamics in the social-ecological systems of Tierra del Fuego." Thesis, 2020.

Find full text

Abstract:

<p>Human society is presently beset by an array of anthropogenic social-ecological crises that threaten the sustainability of the social-ecological systems that sustain our livelihoods. While research alone will not rectify these issues, it can help to answer key questions that must be addressed to develop effective solutions. To address such questions in a cohesive, compelling manner, social-ecological research can be bounded, structured, and distilled through innumerable organizing principles or theoretical frameworks. For this dissertation, I focused on the geographic region of Tierra del F

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!