Academic literature on the topic 'Linhas temporais'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Linhas temporais.'
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.
Journal articles on the topic "Linhas temporais"
Gonçalves, Rodrigo Mikosz, Leandro dos Santos Coelho, Claudia Pereira Krueger, and Bernhard Heck. "Modelagem preditiva de linha de costa utilizando redes neurais artificiais." Boletim de Ciências Geodésicas 16, no. 3 (September 2010): 420–44. http://dx.doi.org/10.1590/s1982-21702010000300004.
Full textFernandes, Rogério Taygra de Vasconcelos, Marcos Douglas Lucas Cavalcante, Gabriela Nogueira Cunha, Aruza Rayana Morais Pinto, Carlos Jorge Bezerra França, Jessika Mayara Claudino Idalino da Silva, Louize Nascimento, Nildo Da Silva Dias, and Jônnata Fernandes de Oliveira. "GEOPROCESSAMENTO APLICADO A ANÁLISE DE EROSÃO COSTEIRA NO DELTA DO PIRANHAS-AÇU, RIO GRANDE DO NORTE." Revista Gestão & Sustentabilidade Ambiental 9, no. 3 (September 30, 2020): 460. http://dx.doi.org/10.19177/rgsa.v9e32020460-479.
Full textBonetto, Pedro Xavier Russo, and Marcos Garcia Neira. "A escrita-currículo da perspectiva cultural da Educação Física: por que os professores fazem o que fazem?" Educação (UFSM) 44 (February 7, 2019): 11. http://dx.doi.org/10.5902/1984644433532.
Full textWiedermann, Sebastian. "AZUL PROFUNDO: ESCULPINDO UM DIAMANTE CRISTALINO DO E NO PENSAMENTO." Linha Mestra, no. 41 (September 2, 2020): 316–20. http://dx.doi.org/10.34112/1980-9026a2020n41p316-320.
Full textAnjos, Viviane Silveira, Edson Eyji Sano, Heleno da Silva Bezerra, and Roberto Rosa. "Caracterização espectro-temporal de pastagens do triângulo mineiro utilizando dados MODIS EVI2 (2000-2010)." Sociedade & Natureza 25, no. 1 (April 2013): 205–15. http://dx.doi.org/10.1590/s1982-45132013000100016.
Full textKulesza, Wojciech Andrzej. "História da pedagogia no Brasil: a contribuição das pesquisas centradas em manuais de ensino." Revista Brasileira de Estudos Pedagógicos 95, no. 240 (August 2014): 328–45. http://dx.doi.org/10.1590/s2176-66812014000200005.
Full textMaués, Josenilda. "Currículos de formação docente do PARFOR/ UFPA: atualizações e virtualidades." Revista @mbienteeducação 10, no. 1 (January 1, 2017): 36. http://dx.doi.org/10.26843/ae19828632v10n12017p36a47.
Full textPegoraro Junior, Paulo Roberto, and José Maria Tesheiner. "O Tempo do Processo e o Processo Eletrônico." Conpedi Law Review 1, no. 9 (June 6, 2016): 165. http://dx.doi.org/10.26668/2448-3931_conpedilawreview/2015.v1i9.3377.
Full textRosa, Gessica Carneiro da, and Vilene Moehlecke. "Clínica, Música e Tempo: Agenciamentos Possíveis para uma Experiência Afetiva." Revista Polis e Psique 7, no. 3 (January 15, 2018): 84. http://dx.doi.org/10.22456/2238-152x.76348.
Full textFilippo Gonzalez Neves dos Santos, Alejandra, Bruno De Carvalho Bonfim, and Ana Paula Di Beneditto. "A PESCA EXTRATIVA MARINHA NO PORTO DE ATAFONA, SÃO JOÃO DA BARRA - RJ: PASSADO E PRESENTE." Brazilian Journal of Aquatic Science and Technology 21, no. 1 (December 8, 2017): 1. http://dx.doi.org/10.14210/bjast.v21n1.10346.
Full textDissertations / Theses on the topic "Linhas temporais"
Oliveira, Regis Levino de. "Modelo para geração de linhas temporais contextuais em investigações digitais." reponame:Repositório Institucional da UnB, 2016. http://repositorio.unb.br/handle/10482/23433.
Full textSubmitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-05-02T15:58:16Z No. of bitstreams: 1 2016_RegisLevinodeOliveira.pdf: 2685432 bytes, checksum: f9200b42b69730261b2d1114b3efa607 (MD5)
Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-05-03T00:16:07Z (GMT) No. of bitstreams: 1 2016_RegisLevinodeOliveira.pdf: 2685432 bytes, checksum: f9200b42b69730261b2d1114b3efa607 (MD5)
Made available in DSpace on 2017-05-03T00:16:07Z (GMT). No. of bitstreams: 1 2016_RegisLevinodeOliveira.pdf: 2685432 bytes, checksum: f9200b42b69730261b2d1114b3efa607 (MD5) Previous issue date: 2017-05-02
Para a elucidação de casos em que o uso de equipamentos digitais está presente, os peritos necessitam realizar a reconstrução dos eventos ocorrida no tempo. Assim, o processo de análise de linhas temporais é uma técnica bastante empregada em exames periciais em ambientes computacionais. No entanto, a maioria dos estudos em linhas temporais concentra-se nos desafios da extração de registros temporais e na normalização desses dados, tratando dos problemas advindos da aquisição de diversas fontes, com menos ênfase em como visualizar e analisar um grande volume desses dados. Este trabalho propõe um modelo para gerar linhas temporais contextualizadas, onde cada rótulo temporal é associado a outras quatro dimensões: local, pessoa, assunto e evento. Um algoritmo de clusterização é então utilizado para gerar linhas temporais com dados similares, que são mais fáceis de visualizar e interpretar. Algoritmos de agrupamento facilitam o descobrimento de novos conhecimentos a partir dos dados analisados. Após obter as linhas temporais contextuais, o perito analisa os dados em conjunto com a linha temporal única, sem contextos, que contém todos os registros temporais extraídos das diversas fontes coletadas, observando os registros que, antes do processo de contextualização, eram mais difíceis de serem observados. Nos resultados obtidos, por meio do estudo de caso, foram obtidas linhas temporais cujos registros apresentam semelhança contextual entre si, reduzindo a interferência de outros registros não relacionados. No experimento proposto, pode-se identificar com mais facilidade os suspeitos com maior interação e os momentos de maior atividade relacionados às condutas investigadas.
For the elucidation of cases where the use of digital equipment is present, the experts need to perform the reconstruction of the events occurred in time. Thus, the process of analysis of timelines is a technique widely used in expert examinations in computational environments. However, most timeline studies focus on the challenges of extracting temporal records and normalizing these data, addressing the problems of acquiring multiple sources, with less emphasis on how to view and analyze a large volume of such data. This work proposes a model to generate contextualized time lines, where each time label is associated with four other dimensions: location, person, subject and event. A clustering algorithm is then used to generate timelines with similar data, which are easier to visualize and interpret. Grouping algorithms facilitate the discovery of new knowledge from the analyzed data. After obtaining the contextual timelines, the expert analyzes the data in conjunction with the single timeline, without contexts, which contains all the temporal records extracted from the various sources collected, observing the records that, prior to the contextualization process, were more difficult to be observed. In the obtained results, through the case study, temporal lines were obtained whose registers present contextual similarity among themselves, reducing the interference of other unrelated records. In the proposed experiment, it is possible to identify more easily the suspects with greater interaction and the moments of greater activity related to the conducts investigated.
OLIVEIRA, Gabrielle Bezerra. "Análise de padrões temporais da dinâmica do vento associadas ao ambiente de formação das linhas de instabilidade amazônica." Universidade Federal de Campina Grande, 2017. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1757.
Full textMade available in DSpace on 2018-09-19T20:06:03Z (GMT). No. of bitstreams: 1 GABRIELLE BEZERRA OLIVEIRA – DISSERTAÇÃO (PPGMet) 2017.pdf: 2219344 bytes, checksum: b1c40baaf11a5f1e293aa66cdc9139b9 (MD5) Previous issue date: 2017-02-24
CNPq
O enfoque deste trabalho é contribuir para a compreensão dos mecanismos responsáveis pela formação das Linhas de Instabilidade Tropicais da Amazônia. Analisou-se 3 anos de dados de reanálises investigando as características dinâmicas dos perfis verticais do vento zonal e meridional a partir da média do período e das médias trimestrais dos dias com e sem a formação de LI. Mostrou-se que o JBN é uma característica intrínseca do ambiente amazônico, entretanto nos dias com a formação de LI esse jato é mais intenso e profundo. Os trimestres março-abril-maio e junho-julho-agosto não apresentam um JBN bem definido, principalmente em relação à sua profundidade. Destaca-se ainda que o cisalhamento vertical do vento é mais intenso nos dias com a formação de LI. Já o maior cisalhamento direcional da componente meridional do vento é visto nos perfis dos dias sem LI. Para auxiliar o entendimento da variabilidade temporal dos perfis verticais do vento foi aplicada a técnica de Análise Fatorial em Componentes Principais com o intuito de investigar a existência de padrões atmosféricos associados à ocorrência de LI. As três primeiras componentes principais da componente zonal do vento explicaram aproximadamente 89% da variância total dos dados, enquanto que os 93% da variância total da componente meridional foi explicado pelas cinco primeiras componentes principais. A análise dos padrões temporais associados a cada fator sugere que os trimestres DJF e SON são influenciados pela variação sazonal da ZCIT e os trimestres MAM e JJA pela ASAS e DOL.
The aim of this work is to contribute to the understanding the mechanisms responsible for the formation of Amazon Tropical Squall Lines (ASL). 3 years of reanalysis data were analyzed investigating the dynamic characteristics of vertical profiles of the zonal and meridional wind from the a average of period and quarterly of the days with and without the ASL formation. It has been shown that low level jet (LLJ) is an intrinsic characteristic of Amazonian environment, however in the days with the formation of SL this LLJ is more intense and deep. The quarters March-April-May and June-July-August do not present a well defined LLJ, mainly in relation their depth. It was also pointed out that vertical shear of wind is more intense on days with ASL formation. However, the greatest directional shear of meridional component wind is seen in the profiles of days without ASL. To aid the understanding of temporal variability of vertical profiles wind were applied the method Principal Components Fatorial Analysis in order to investigate the existence of atmospheric patterns associated with the occurrence of ASL. The first three Principal Components of the zonal wind component explained approximately 89% of the total variance of the data, while the 89% of the total variance of the meridional wind component were explained by the first five principal components. The analysis of the time patterns associated with each factor suggests that the DJF and SON quarters are influenced by the seasonal variation of the ITCZ and the quarters MAM and JJA by South Atlantic Subtropical High (SASH) and Easterly Wave Disturbances (EWD).
Dájer, Maria Eugenia. "Padrões visuais de sinais de voz aravés de técnica de análise não linear." Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/82/82131/tde-16052006-095323/.
Full textHuman voice has been the focus of study for different areas of science. Researches in the last two decades have demonstrated the existence of chaos in human voice production. The purpose of this work is to use nonlinear dynamics techniques in the analysis of normal voices from healthy subjects and correlate them to traditional acoustic parameters as well as perceptual analysis. Human voice signals from healthy subjects, both male and female, ranging in age from 19 to 39 years old were analyzed. Sustained vowel sounds /a/, /e/ and /i/, from brazilian Portuguese were recorded at a sampling rate of 22,050 Hz and analyzed in order to obtain acoustic measures (Jitter, Shimmer and coefficient of excess EX). The phase space reconstruction technique was used to describe the nonlinear dynamic characteristics of voice signal samples. The results show, that non-linear dynamical method as phase space reconstruction seems to be a suitable technique for voice signals analysis, due to the chaotic component of the human voice. It is suggested, that non-linear dynamic analysis does not replace existing techniques instead, it may improve and complement the recent voice analysis methods available for health professionals, speech therapist and clinician
Miranda, Carla da Fonseca. "Modelação linear de séries temporais na presença de outliers." Dissertação, Universidade do Porto. Reitoria, 2001. http://hdl.handle.net/10216/10001.
Full textNa análise de séries temporais, encontram-se frequentemente outliers e mudanças estruturais, que podem estar associadas a acontecimentos inesperados ou incontroláveis como por exemplo, greves, guerras, mudanças políticas, ou podem dever-se simplesmente a erros de medição ou de registo de observações.Estas observações podem comprometer os procedimentos usuais de modelação linear de uma série temporal, nomeadamente podem induzir a uma identificação incorrecta de um modelo ARIMA e a uma estimação enviezada dos parâmetros do modelo. O objectivo principal deste trabalho é apresentar alguns procedimentos de modelação linear de uma série temporal na presença de outliers e de mudanças estruturais. A abordagem usualmente adoptada neste tipo de procedimentos consiste na identificação da localização e dos tipos de outliers ou mudanças estruturais e na utilização de modelos de intervenção de Box e Tiao (1975) para acomodar os seus efeitos. Esta aproximação requere iterações entre etapas de detecção, utilizando estatísticas de razão de verosimilhanças para localizar e identificar os outliers e as mudanças estruturais de acordo com o seu tipo, e de estimação de um modelo gerador destas perturbações, para acomodar os seus efeitos. Os outliers usualmente considerados são os outliers do tipo aditivo (AO) e os outliers do tipo inovador (IO) e as mudanças estruturais são as alterações de nível permanentes e transitórias (LC) e (TC). Uma abordagem alternativa ao uso de estatísticas de razão de verosimilhanças paradetectar outliers e alterações de nível, consiste na utilização de estatísticas que se baseiam na exclusão de uma ou de um grupo de observações para medir as consequentes alterações nas estimativas dos parâmetros do modelo. Esta aproximação permite detectar observações influentes que podem ser outliers. Neste sentido, também serão apresentados neste trabalho diagnósticos indicadores de observações e de outliers influentes.
Miranda, Carla da Fonseca. "Modelação linear de séries temporais na presença de outliers." Master's thesis, Universidade do Porto. Reitoria, 2001. http://hdl.handle.net/10216/10001.
Full textNa análise de séries temporais, encontram-se frequentemente outliers e mudanças estruturais, que podem estar associadas a acontecimentos inesperados ou incontroláveis como por exemplo, greves, guerras, mudanças políticas, ou podem dever-se simplesmente a erros de medição ou de registo de observações.Estas observações podem comprometer os procedimentos usuais de modelação linear de uma série temporal, nomeadamente podem induzir a uma identificação incorrecta de um modelo ARIMA e a uma estimação enviezada dos parâmetros do modelo. O objectivo principal deste trabalho é apresentar alguns procedimentos de modelação linear de uma série temporal na presença de outliers e de mudanças estruturais. A abordagem usualmente adoptada neste tipo de procedimentos consiste na identificação da localização e dos tipos de outliers ou mudanças estruturais e na utilização de modelos de intervenção de Box e Tiao (1975) para acomodar os seus efeitos. Esta aproximação requere iterações entre etapas de detecção, utilizando estatísticas de razão de verosimilhanças para localizar e identificar os outliers e as mudanças estruturais de acordo com o seu tipo, e de estimação de um modelo gerador destas perturbações, para acomodar os seus efeitos. Os outliers usualmente considerados são os outliers do tipo aditivo (AO) e os outliers do tipo inovador (IO) e as mudanças estruturais são as alterações de nível permanentes e transitórias (LC) e (TC). Uma abordagem alternativa ao uso de estatísticas de razão de verosimilhanças paradetectar outliers e alterações de nível, consiste na utilização de estatísticas que se baseiam na exclusão de uma ou de um grupo de observações para medir as consequentes alterações nas estimativas dos parâmetros do modelo. Esta aproximação permite detectar observações influentes que podem ser outliers. Neste sentido, também serão apresentados neste trabalho diagnósticos indicadores de observações e de outliers influentes.
Randell, David. "Bayes linear variance learning for mixed linear temporal models." Thesis, Durham University, 2012. http://etheses.dur.ac.uk/3646/.
Full textLopes, Elsa Rosa Arantes. "Análise não linear de séries temporais e aplicações à Psicologia." Master's thesis, Universidade de Évora, 2009. http://hdl.handle.net/10174/20031.
Full textMachado, Telmo Nuno. "Modelação de séries temporais – métodos lineares e não lineares." Master's thesis, Instituto Politécnico de Bragança, Escola Superior de Tecnologia e de Gestão, 2009. http://hdl.handle.net/10198/2102.
Full textMilhorança, Igor André. "Modelos paramétricos para séries temporais de contagem." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-07072014-195809/.
Full textMany practical situations require the analysis of time series of counts, which may present trend, seasonality and effects of covariates. The motivation of this work is the analysis of daily hospital admissions for respiratory diseases in people over 65 living in the city of São Paulo. The effect of climatic variables and concentrations of pollutants were included in the models and the sine and cosine functions with annual period were included to explain the seasonal pattern and obtain the effects of pollutants and climatic variables partially controlled by this seasonality. Another aspect to be considered is the inclusion of the population in the analys es in order to interpret the effects based on daily hospitalization rates . Different parametric models have been proposed for hospitalizations. The simplest is the linear regression model for the logarithm of the hospitalization rate. The generalized linear models (GLM) were adjusted for daily admissions with logarithmic link function and the population as offset to consider the Poisson and Negative Binomial distributions for counting data. Due to the extra heteroscedasticity, GAMLSS models were proposed including variables to explain the standard error. Moreover, the ARMA and GARMA models were fitted to include the serial correlation structure. The aim of this work is to compare estimates, standard errors, coverage of confidence intervals and mean squared error of predicted value for the various models and choose the most appropriate model, which depends on a complete analysis of residuals, usually omitted in the literature. The GARMA model with Negative Binomial distribution was the best fit since the errors seem to follow the proposed distribution and they have small values of autocorrelation. Besides, this model had low mean squared error and a good coverage of confidence interval. The effect of autocorrelation of data in the estimates was also analyzed in the setting of several models based on simulated data.
Mazzarotto, Marco André. "Análise não-linear de séries temporais univariadas: modelagem, previsão e caos." Florianópolis, SC, 1996. http://repositorio.ufsc.br/xmlui/handle/123456789/76946.
Full textMade available in DSpace on 2012-10-16T23:21:32Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T21:17:37Z : No. of bitstreams: 1 182479.pdf: 2973416 bytes, checksum: 41ab8e1638af878b07002be2ca207b1b (MD5)
Books on the topic "Linhas temporais"
Padgett, Fred. Wood amongst the wires: The temporary solution. Livermore, CA: S. Padgett, 2000.
Find full textHeath, Christopher, and Robert Houghton, eds. Conflict and Violence in Medieval Italy 568-1154. NL Amsterdam: Amsterdam University Press, 2021. http://dx.doi.org/10.5117/9789462985179.
Full textGermana, Michael. Ralph Ellison, Temporal Technologist. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190682088.001.0001.
Full textHoerl, Christoph, and Teresa McCormack. Time in Cognitive Development. Edited by Craig Callender. Oxford University Press, 2011. http://dx.doi.org/10.1093/oxfordhb/9780199298204.003.0015.
Full textMoulin, Bernard, Jianhong Wu, and Dongmei Chen. Analyzing and Modeling Spatial and Temporal Dynamics of Infectious Diseases. Wiley & Sons, Incorporated, John, 2014.
Find full textMoulin, Bernard, Jianhong Wu, and Dongmei Chen. Analyzing and Modeling Spatial and Temporal Dynamics of Infectious Diseases. Wiley & Sons, Incorporated, John, 2014.
Find full textAnalyzing and Modeling Spatial and Temporal Dynamics of Infectious Diseases. Wiley & Sons, Limited, John, 2015.
Find full textSchmidt, Alexandra, Jennifer Hoeting, João Batista M. Pereira, and Pedro Paulo Vieira. Mapping malaria in the Amazon rain forest: A spatio-temporal mixture model. Edited by Anthony O'Hagan and Mike West. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198703174.013.5.
Full textNobre, Anna C. (Kia), and Gustavo Rohenkohl. Time for the Fourth Dimension in Attention. Edited by Anna C. (Kia) Nobre and Sabine Kastner. Oxford University Press, 2014. http://dx.doi.org/10.1093/oxfordhb/9780199675111.013.036.
Full textSizemore, Michelle. Future Passing. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190627539.003.0007.
Full textBook chapters on the topic "Linhas temporais"
Kerutt, R., K. Rinast, W. Martin, and K. Brinkmann. "Comparison of the Linear and Non-Linear Temperature Properties and Model Simulations of the In Vivo Glycolytic System." In Temporal Order, 201–2. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70332-4_28.
Full textStirling, Colin. "Comparing linear and branching time temporal logics." In Temporal Logic in Specification, 1–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51803-7_19.
Full textBozzelli, Laura, and César Sánchez. "Visibly Linear Temporal Logic." In Automated Reasoning, 418–33. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6_33.
Full textLeucker, Martin, and César Sánchez. "Regular Linear Temporal Logic." In Theoretical Aspects of Computing – ICTAC 2007, 291–305. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75292-9_20.
Full textKuiper, Ruurd. "Enforcing nondeterminism via linear time temporal logic specifications using hiding." In Temporal Logic in Specification, 295–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51803-7_31.
Full textLindeberg, Tony. "Linear spatio-temporal scale-space." In Scale-Space Theory in Computer Vision, 113–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63167-4_44.
Full textWildi, Otto. "Linear trend in multi-species time series." In Temporal and Spatial Patterns of Vegetation Dynamics, 51–56. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2275-4_5.
Full textSerre, Olivier. "Vectorial Languages and Linear Temporal Logic." In Foundations of Information Technology in the Era of Network and Mobile Computing, 576–87. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35608-2_47.
Full textNavidpour, Sara, and Mohammad Izadi. "Linear Temporal Logic of Constraint Automata." In Communications in Computer and Information Science, 972–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89985-3_146.
Full textEnciso, Manuel, Inma P. Guzmán, and Carlos Rossi. "Temporal reasoning over linear discrete time." In Logics in Artificial Intelligence, 303–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61630-6_22.
Full textConference papers on the topic "Linhas temporais"
Emmett, J. "Temporary television outside broadcast links." In IEE Colloquium on Optical Free Space Communication Links. IEE, 1996. http://dx.doi.org/10.1049/ic:19960200.
Full textChen, Zhaohua, Bill Jefferies, Paul Adlakha, Bahram Salehi, and Des Power. "Automatic Linear Disturbance Footprint Extraction Based on Dense Time-Series Landsat Imagery." In 2014 10th International Pipeline Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/ipc2014-33172.
Full textLeucker, Martin, and Cesar Sanchez. "Regular Linear-Time Temporal Logic." In 2010 17th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2010. http://dx.doi.org/10.1109/time.2010.29.
Full textNeider, Daniel, and Ivan Gavran. "Learning Linear Temporal Properties." In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2018. http://dx.doi.org/10.23919/fmcad.2018.8603016.
Full textMcCabe-Dansted, John, Mark Reynolds, and Tim French. "Modelling Systems over General Linear Time." In 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2016. http://dx.doi.org/10.1109/time.2016.21.
Full textMousa, Mahmoud A. A., Sven Schewe, and Dominik Wojtczak. "Optimal Control for Simple Linear Hybrid Systems." In 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2016. http://dx.doi.org/10.1109/time.2016.9.
Full textFuria, Carlo A., and Paola Spoletini. "On Relaxing Metric Information in Linear Temporal Logic." In 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. http://dx.doi.org/10.1109/time.2011.9.
Full textFrench, Tim, John McCabe-Dansted, and Mark Reynolds. "Complexity of Model Checking over General Linear Time." In 2013 20th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2013. http://dx.doi.org/10.1109/time.2013.21.
Full textDiba, Ali, Vivek Sharma, and Luc Van Gool. "Deep Temporal Linear Encoding Networks." In 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2017. http://dx.doi.org/10.1109/cvpr.2017.168.
Full textBollig, Benedikt, Normann Decker, and Martin Leucker. "Frequency Linear-time Temporal Logic." In 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.43.
Full textReports on the topic "Linhas temporais"
Sherman, Rivi, and Amir Pnueli. Model Checking for Linear Temporal Logic: An Efficient Implementation. Fort Belvoir, VA: Defense Technical Information Center, June 1990. http://dx.doi.org/10.21236/ada225189.
Full textSchanze, Kirk S. Chromophores and Materials for Temporal and Frequency Agile Non-Linear Absorption. Fort Belvoir, VA: Defense Technical Information Center, May 2014. http://dx.doi.org/10.21236/ada603136.
Full textBasu, Saikat, Malcolm Stagg, Robert DiBiano, Manohar Karki, and Supratik Mukhopadhyay. Human Action Recognition in Surveillance Videos using Abductive Reasoning on Linear Temporal Logic. Fort Belvoir, VA: Defense Technical Information Center, August 2012. http://dx.doi.org/10.21236/ada586486.
Full textSadigh, Dorsa, Eric Kim, Samuel Coogan, S. S. Sastry, and Sanjt A. Seshia. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. Fort Belvoir, VA: Defense Technical Information Center, September 2014. http://dx.doi.org/10.21236/ada623517.
Full textDiprose, Rachael, Amalinda Savirani, Annisa Sabrina Hartoto, and Ken M. P. Setiawan. Jalan Perubahan melalui Aksi Kolektif Perempuan Perdesaan: Upaya Perempuan dalam Menantang Arus untuk Memengaruhi Pembangunan Perdesaan di Indonesia. University of Melbourne with Universitas Gadjah Mada and MAMPU, 2020. http://dx.doi.org/10.46580/124330.
Full textDiprose, Rachael, Amalinda Savirani, Annisa Sabrina Hartoto, and Ken M. P. Setiawan. Jalan Perubahan melalui Aksi Kolektif Perempuan Perdesaan: Upaya Perempuan dalam Menantang Arus untuk Memengaruhi Pembangunan Perdesaan di Indonesia. University of Melbourne with Universitas Gadjah Mada and MAMPU, 2020. http://dx.doi.org/10.46580/124330.
Full textUkkusuri, Satish, Lu Ling, Tho V. Le, and Wenbo Zhang. Performance of Right-Turn Lane Designs at Intersections. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317277.
Full textVargas-Herrera, Hernando, Juan Jose Ospina-Tejeiro, Carlos Alfonso Huertas-Campos, Adolfo León Cobo-Serna, Edgar Caicedo-García, Juan Pablo Cote-Barón, Nicolás Martínez-Cortés, et al. Monetary Policy Report - April de 2021. Banco de la República de Colombia, July 2021. http://dx.doi.org/10.32468/inf-pol-mont-eng.tr2-2021.
Full textCapturing the Digital Economy—A Proposed Measurement Framework and Its Applications: A Special Supplement to Key Indicators for Asia and the Pacific 2021. Asian Development Bank, August 2021. http://dx.doi.org/10.22617/fls210307-3.
Full text