O artigo apresenta breve incursão sobre o conceito de cultura segundo a tradição marxista, atravé... more O artigo apresenta breve incursão sobre o conceito de cultura segundo a tradição marxista, através deste exercício reflexivo, traz apontamentos para um debate sobre teorias da história que se apresentam na escola em confronto com a perspectiva marxista que se expõe no conceito de cultura corporal como objeto das aulas de Educação Física, destacando o conteúdo lutas como uma das suas dimensões que estão ocultadas nas formações de professores e consequentemente da educação básica. Palavras-chave: Cultura; Cultura Corporal; Lutas; Marxismo Não se pode construir uma casa sem pregos e sem tábuas. Se você não quer que uma casa seja construída, esconda os pregos e as tábuas. Ray Bradbury, Fahrenheit 451 O primeiro pressuposto do pensamento marxista é a ideia de que para existirem os homens devem transformar constantemente a natureza, denominamos trabalho a este ato de transformação. "O trabalho é o fundamento do ser social porque transforma a natureza na base material indispensável ao mundo dos homens. Ele possibilita que, ao transformarem a natureza, os homens também se transformem." (LESSA e TONET, 2008, p.26). Dai decorre o entendimento, na tradição marxista, de que o homem não nasce humano, tal condição ontológica é originada na relação homem natureza, mas se dá através da distinção deste para com ela, mediante o ato do trabalho. Para Engels (1876): O trabalho é a fonte de toda riqueza [...] Assim é, com efeito, ao lado da natureza, encarregada de fornecer os materiais que ele converte em riqueza. O trabalho, porém, é muitíssimo mais do que isso. É a condição básica e fundamental de toda a vida humana. E em tal grau que, até certo ponto, podemos afirmar que o trabalho criou o próprio homem. (ENGELS, 1876) 1 O presente trabalho (não) contou com apoio financeiro de nenhuma natureza para sua realização.
XVII Congresso Brasileiro de Ciências do Esporte / IV Congresso Internacional de Ciências do Esporte, Jul 17, 2011
A capoeira, após transformações no Brasil no século XX, essa manifestação ganha espaço social, as... more A capoeira, após transformações no Brasil no século XX, essa manifestação ganha espaço social, assumindo uma nova dinâmica. Esse processo se inicia quando a docência da capoeira estrutura-se como mercadoria. O objetivo desse trabalho é demonstrar nas esferas da sociedade civil onde a capoeira se insere, a lógica dos interesses privados, em uma estrutura que une a ideologia burguesa e o estado liberal.
XVII Congresso Brasileiro de Ciências do Esporte / IV Congresso Internacional de Ciências do Esporte, Jul 17, 2011
A capoeira, após as transformações sociais no Brasil do século XX, ganha espaço social, assumindo... more A capoeira, após as transformações sociais no Brasil do século XX, ganha espaço social, assumindo uma nova dinâmica. Esse processo se inicia quando a docência da capoeira estrutura-se como mercadoria. Destaca-se como marco desse processo, a atuação da Capoeira Regional (1929), que sob influência do pensamento positivista, materializou a fragmentação da capoeira, apartando-se de seu produtor. Para compreender esse fenômeno, concentramos a atenção na mercadoria prática docente da capoeira, destacando nela as contradições que evidenciem a lógica da mercadoria e suas determinações.
This article is an open access article distributed under the terms and conditions of the Creative... more This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY
International Journal of Quantum Information, Jun 1, 2020
Semi-quantum key distribution (SQKD) can share secret keys by using less quantum resource than it... more Semi-quantum key distribution (SQKD) can share secret keys by using less quantum resource than its fully quantum counterparts, and this likely makes SQKD become more practical and realizable. In this paper, we present a new SQKD protocol by introducing the idea of B92 into semi-quantum key distribution and prove its unconditional security. In this protocol, the sender Alice just sends one qubit to the classical Bob and Bob just prepares one state in the preparation process. Indeed the classical user's measurement is not necessary either. This protocol can reduce some quantum communication and make it easier to be implemented. It can be seen as the semi-quantum version of B92 protocol, comparing to the protocol BKM2007 as the semi-quantum version of BB84 in fully quantum cryptography. We verify it has higher key rate and therefore is more efficient. Specifically we prove it is unconditionally secure by computing a lower bound of the key rate in the asymptotic scenario from information theory aspect. Then we can find a threshold value of errors such that for all error rates less than this value, the secure key can be established between the legitimate users definitely. We make an illustration of how to compute the threshold value in case of the reverse channel is a depolarizing one with parameter p. Though the threshold value is a little smaller than those of some existed SQKD protocols, it can be comparable to the B92 protocol in fully quantum cryptography.
We reduce the problem of factoring a semiprime integer to the problem of (numerically) integratin... more We reduce the problem of factoring a semiprime integer to the problem of (numerically) integrating a certain highly oscillatory function. We provide two algorithms for addressing this problem, one based on the residue theorem and the other on the (extended) Cauchy argument principle. We show that in the former algorithm, computing the residue of the function at a certain pole leads to us obtaining the factors of the semiprime integer. In the latter, we consider a contour integral for which we are able to obtain an analytical solution with several branches. The computational difficulty reduces to that of discovering the branch of the solution which gives the precise integral. We address this problem by numerically computing an upper and a lower bound of the integral and then considering the branch that fits these bounds. The time complexity of the algorithms is left as an open problem.
We show that there are quantum devices that accept all regular languages and that are exponential... more We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of one-way quantum finite automata (1QFA), namely, one-way quantum finite automata together with classical states (1QFAC), which extends naturally both measure-only 1QFA and DFA and whose state complexity is upperbounded by both. The original contributions of the paper are the following. First, we show that the set of languages accepted by 1QFAC with bounded error consists precisely of all regular languages. Second, we prove that 1QFAC are at most exponentially more concise than DFA. Third, we show that the previous bound is tight for families of regular languages that are not recognized by measure-once (RMO), measure-many (RMM) and multi-letter 1QFA. Fourth, we give a polynomial-time algorithm for determining whether any two 1QFAC are equivalent. Finally, we show that state minimization of 1QFAC is decidable within EXPSPACE. We conclude the paper by posing some open problems.
We investigate the geometry of one-norm geometric quantum discord and present a geometric interpr... more We investigate the geometry of one-norm geometric quantum discord and present a geometric interpretation of one-norm geometric quantum discord for a class of two-qubit states. It is found that one-norm geometric quantum discord has geometric behavior different from that described in Lang and Caves (
Brazilian Journal of Animal and Environmental Research
O achigã (Micropterus salmoides Lacépède, 1802) é uma espécie piscícola de águas interiores com e... more O achigã (Micropterus salmoides Lacépède, 1802) é uma espécie piscícola de águas interiores com elevado interesse gastronómico em Portugal. A Eisenia fetida (Savigny, 1826) é uma boa fonte de proteína para utilizar na alimentação animal. No entanto, o baixo teor em matéria seca (19,03%) e os elevados teores em fibra bruta (5,83%) e em cinzas (10,70%), principalmente terra, poderão ser um fator limitante à sua utilização como alimento para peixes carnívoros. Com o objetivo de avaliar o interesse da utilização de E. fetida na alimentação de peixes, em setembro foram capturados 22 juvenis de achigã (0+ anos) numa pequena barragem de rega (N 39º49’27,89’’; O 07º26’57,92’’). Os achigãs foram colocados em três tanques para habituação a um alimento composto comercial. Como em Portugal não se produzem alimentos compostos específicos para achigãs foi utilizado um alimento composto comercial formulado para douradas (Sparus aurata Linnaeus, 1758) e robalos (Dicentrarchus labrax Linnaeus, 1758)...
O fogo constitui um factor ecológico omnipresente no território e na história da gestão dos espaç... more O fogo constitui um factor ecológico omnipresente no território e na história da gestão dos espaços silvestres em Portugal e é central na formulação das políticas públicas. O artigo aborda 4 temas relevantes para a gestão integrada dos fogos rurais, nomeadamente os regimes do fogo pretéritos e atuais, a evolução da administração pública florestal e das principais linhas de política, o uso do fogo como ferramenta silvícola e o papel dos modelos de intervenção à escala da paisagem na diminuição do risco de incêndio, bem como o seu contributo para o futuro da floresta.
Portugal struggles with an abnormally high forest fire incidence in the context of southern Europ... more Portugal struggles with an abnormally high forest fire incidence in the context of southern Europe. In an earlier issue of the journal, Mourão and Martinho applied time-series analysis to official forest fire data (1980-2013) and legislation in Portugal and concluded that fire-related legislation is issued as a reaction to fire occurrence. In this viewpoint paper we show that Mourão and Martinho analysis is compromised because of poorly chosen fire variables that are inconsistent across time and do not depict fire damage. Identification of the pertinent legislation was subjective and incomplete, therefore biasing the results, and its relevance was equated to the volume of laws and regulations produced. Moreover, added production of legislation in the aftermath of catastrophic fires reflects a variety of responses, from ordinary adjustments to paradigm changes, including proactive elements therein. We ultimately argue that surges in fire legislation activity should not be simply interpreted or categorized as 'reactive' or 'proactive'.
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories... more Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of partial algebras. We introduce for the latter the crucial notion of saturation, which characterises those partial algebras which are isomorphic to the ones obtained from their enveloping algebras. We also set up a factorisation system for partial algebras, via epimorphisms and (monic) Kleene morphisms and relate the latter to saturation.
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocol... more We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of computationally bounded adversaries. We illustrate these concepts on oblivious transfer, an example from cryptography. We also compare our approach with a framework based on interactive Turing machines.
Based on the monoid classi er , we give an alternative axiomatization of Freyd's paracategori... more Based on the monoid classi er , we give an alternative axiomatization of Freyd's paracategories. This abstract reformulation can be interpreted in any category which admits the construction of a bicategory of partial maps. Assuming furthermore a free monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, and put paramonoids (and paracategories) in the more general context of partial algebras. We then consider the cartesian closed structure of the category of paracategories and the relevant notion of adjunction in the enriched context which ensues. We conclude by presenting in this framework some ( bred) paracategories which arise in the theory of probabilistic automata.
Proceedings of SPIE - The International Society for Optical Engineering, 2010
In this work we present the results of an experiment aiming to measure and model atmospheric dela... more In this work we present the results of an experiment aiming to measure and model atmospheric delay by means of GPS, Weather Research and Forecasting (WRF) model and Synthetic Aperture Radar Interferometry (InSAR). Examples of maps of the atmospheric delay over the region of Lisbon are shown.
Proceedings of SPIE - The International Society for Optical Engineering, 2010
Atmosphere water vapour remains the largest limitation in high precision applications that make u... more Atmosphere water vapour remains the largest limitation in high precision applications that make use of microwave signals as Interferometric Synthetic Aperture Radar (InSAR). In the last decade several methods like GPS (Global Positioning System), MERIS (MEdium Resolution Imaging Spectrometer) and NWP (Numerical weather prediction) models were studied with the aim of obtaining a reliable water vapour product of high spatial
International Geoscience and Remote Sensing Symposium (IGARSS), 2012
ABSTRACT In this work we investigate the use of Synthetic Aperture Radar (SAR) images acquired by... more ABSTRACT In this work we investigate the use of Synthetic Aperture Radar (SAR) images acquired by the TerraSAR-X satellite operating a very high resolution X-band SAR sensor to generate maps of temporal and spatial variations of the water vapour distribution with a horizontal resolution of 27×27 m over the Lisbon region, Portugal. We present the result of a time series of delay maps obtained by processing a set of interferometric SAR images acquired by the TerraSAR-X mission. The maps are calibrated by means of GPS estimations of the delay over the same area and covering the time interval between the first and the last SAR acquisition. The availability of maps with a high spatial resolution could increase the quality of quantitative precipitation forecasting and open interesting perspectives for nowcasting applications.
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories... more Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of partial algebras. We introduce for the latter the crucial notion of saturation, which characterises those partial algebras which are isomorphic to the ones obtained from their enveloping algebras. We also set up a factorisation system for partial algebras, via inclusions and Kleene morphisms.
O artigo apresenta breve incursão sobre o conceito de cultura segundo a tradição marxista, atravé... more O artigo apresenta breve incursão sobre o conceito de cultura segundo a tradição marxista, através deste exercício reflexivo, traz apontamentos para um debate sobre teorias da história que se apresentam na escola em confronto com a perspectiva marxista que se expõe no conceito de cultura corporal como objeto das aulas de Educação Física, destacando o conteúdo lutas como uma das suas dimensões que estão ocultadas nas formações de professores e consequentemente da educação básica. Palavras-chave: Cultura; Cultura Corporal; Lutas; Marxismo Não se pode construir uma casa sem pregos e sem tábuas. Se você não quer que uma casa seja construída, esconda os pregos e as tábuas. Ray Bradbury, Fahrenheit 451 O primeiro pressuposto do pensamento marxista é a ideia de que para existirem os homens devem transformar constantemente a natureza, denominamos trabalho a este ato de transformação. "O trabalho é o fundamento do ser social porque transforma a natureza na base material indispensável ao mundo dos homens. Ele possibilita que, ao transformarem a natureza, os homens também se transformem." (LESSA e TONET, 2008, p.26). Dai decorre o entendimento, na tradição marxista, de que o homem não nasce humano, tal condição ontológica é originada na relação homem natureza, mas se dá através da distinção deste para com ela, mediante o ato do trabalho. Para Engels (1876): O trabalho é a fonte de toda riqueza [...] Assim é, com efeito, ao lado da natureza, encarregada de fornecer os materiais que ele converte em riqueza. O trabalho, porém, é muitíssimo mais do que isso. É a condição básica e fundamental de toda a vida humana. E em tal grau que, até certo ponto, podemos afirmar que o trabalho criou o próprio homem. (ENGELS, 1876) 1 O presente trabalho (não) contou com apoio financeiro de nenhuma natureza para sua realização.
XVII Congresso Brasileiro de Ciências do Esporte / IV Congresso Internacional de Ciências do Esporte, Jul 17, 2011
A capoeira, após transformações no Brasil no século XX, essa manifestação ganha espaço social, as... more A capoeira, após transformações no Brasil no século XX, essa manifestação ganha espaço social, assumindo uma nova dinâmica. Esse processo se inicia quando a docência da capoeira estrutura-se como mercadoria. O objetivo desse trabalho é demonstrar nas esferas da sociedade civil onde a capoeira se insere, a lógica dos interesses privados, em uma estrutura que une a ideologia burguesa e o estado liberal.
XVII Congresso Brasileiro de Ciências do Esporte / IV Congresso Internacional de Ciências do Esporte, Jul 17, 2011
A capoeira, após as transformações sociais no Brasil do século XX, ganha espaço social, assumindo... more A capoeira, após as transformações sociais no Brasil do século XX, ganha espaço social, assumindo uma nova dinâmica. Esse processo se inicia quando a docência da capoeira estrutura-se como mercadoria. Destaca-se como marco desse processo, a atuação da Capoeira Regional (1929), que sob influência do pensamento positivista, materializou a fragmentação da capoeira, apartando-se de seu produtor. Para compreender esse fenômeno, concentramos a atenção na mercadoria prática docente da capoeira, destacando nela as contradições que evidenciem a lógica da mercadoria e suas determinações.
This article is an open access article distributed under the terms and conditions of the Creative... more This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY
International Journal of Quantum Information, Jun 1, 2020
Semi-quantum key distribution (SQKD) can share secret keys by using less quantum resource than it... more Semi-quantum key distribution (SQKD) can share secret keys by using less quantum resource than its fully quantum counterparts, and this likely makes SQKD become more practical and realizable. In this paper, we present a new SQKD protocol by introducing the idea of B92 into semi-quantum key distribution and prove its unconditional security. In this protocol, the sender Alice just sends one qubit to the classical Bob and Bob just prepares one state in the preparation process. Indeed the classical user's measurement is not necessary either. This protocol can reduce some quantum communication and make it easier to be implemented. It can be seen as the semi-quantum version of B92 protocol, comparing to the protocol BKM2007 as the semi-quantum version of BB84 in fully quantum cryptography. We verify it has higher key rate and therefore is more efficient. Specifically we prove it is unconditionally secure by computing a lower bound of the key rate in the asymptotic scenario from information theory aspect. Then we can find a threshold value of errors such that for all error rates less than this value, the secure key can be established between the legitimate users definitely. We make an illustration of how to compute the threshold value in case of the reverse channel is a depolarizing one with parameter p. Though the threshold value is a little smaller than those of some existed SQKD protocols, it can be comparable to the B92 protocol in fully quantum cryptography.
We reduce the problem of factoring a semiprime integer to the problem of (numerically) integratin... more We reduce the problem of factoring a semiprime integer to the problem of (numerically) integrating a certain highly oscillatory function. We provide two algorithms for addressing this problem, one based on the residue theorem and the other on the (extended) Cauchy argument principle. We show that in the former algorithm, computing the residue of the function at a certain pole leads to us obtaining the factors of the semiprime integer. In the latter, we consider a contour integral for which we are able to obtain an analytical solution with several branches. The computational difficulty reduces to that of discovering the branch of the solution which gives the precise integral. We address this problem by numerically computing an upper and a lower bound of the integral and then considering the branch that fits these bounds. The time complexity of the algorithms is left as an open problem.
We show that there are quantum devices that accept all regular languages and that are exponential... more We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of one-way quantum finite automata (1QFA), namely, one-way quantum finite automata together with classical states (1QFAC), which extends naturally both measure-only 1QFA and DFA and whose state complexity is upperbounded by both. The original contributions of the paper are the following. First, we show that the set of languages accepted by 1QFAC with bounded error consists precisely of all regular languages. Second, we prove that 1QFAC are at most exponentially more concise than DFA. Third, we show that the previous bound is tight for families of regular languages that are not recognized by measure-once (RMO), measure-many (RMM) and multi-letter 1QFA. Fourth, we give a polynomial-time algorithm for determining whether any two 1QFAC are equivalent. Finally, we show that state minimization of 1QFAC is decidable within EXPSPACE. We conclude the paper by posing some open problems.
We investigate the geometry of one-norm geometric quantum discord and present a geometric interpr... more We investigate the geometry of one-norm geometric quantum discord and present a geometric interpretation of one-norm geometric quantum discord for a class of two-qubit states. It is found that one-norm geometric quantum discord has geometric behavior different from that described in Lang and Caves (
Brazilian Journal of Animal and Environmental Research
O achigã (Micropterus salmoides Lacépède, 1802) é uma espécie piscícola de águas interiores com e... more O achigã (Micropterus salmoides Lacépède, 1802) é uma espécie piscícola de águas interiores com elevado interesse gastronómico em Portugal. A Eisenia fetida (Savigny, 1826) é uma boa fonte de proteína para utilizar na alimentação animal. No entanto, o baixo teor em matéria seca (19,03%) e os elevados teores em fibra bruta (5,83%) e em cinzas (10,70%), principalmente terra, poderão ser um fator limitante à sua utilização como alimento para peixes carnívoros. Com o objetivo de avaliar o interesse da utilização de E. fetida na alimentação de peixes, em setembro foram capturados 22 juvenis de achigã (0+ anos) numa pequena barragem de rega (N 39º49’27,89’’; O 07º26’57,92’’). Os achigãs foram colocados em três tanques para habituação a um alimento composto comercial. Como em Portugal não se produzem alimentos compostos específicos para achigãs foi utilizado um alimento composto comercial formulado para douradas (Sparus aurata Linnaeus, 1758) e robalos (Dicentrarchus labrax Linnaeus, 1758)...
O fogo constitui um factor ecológico omnipresente no território e na história da gestão dos espaç... more O fogo constitui um factor ecológico omnipresente no território e na história da gestão dos espaços silvestres em Portugal e é central na formulação das políticas públicas. O artigo aborda 4 temas relevantes para a gestão integrada dos fogos rurais, nomeadamente os regimes do fogo pretéritos e atuais, a evolução da administração pública florestal e das principais linhas de política, o uso do fogo como ferramenta silvícola e o papel dos modelos de intervenção à escala da paisagem na diminuição do risco de incêndio, bem como o seu contributo para o futuro da floresta.
Portugal struggles with an abnormally high forest fire incidence in the context of southern Europ... more Portugal struggles with an abnormally high forest fire incidence in the context of southern Europe. In an earlier issue of the journal, Mourão and Martinho applied time-series analysis to official forest fire data (1980-2013) and legislation in Portugal and concluded that fire-related legislation is issued as a reaction to fire occurrence. In this viewpoint paper we show that Mourão and Martinho analysis is compromised because of poorly chosen fire variables that are inconsistent across time and do not depict fire damage. Identification of the pertinent legislation was subjective and incomplete, therefore biasing the results, and its relevance was equated to the volume of laws and regulations produced. Moreover, added production of legislation in the aftermath of catastrophic fires reflects a variety of responses, from ordinary adjustments to paradigm changes, including proactive elements therein. We ultimately argue that surges in fire legislation activity should not be simply interpreted or categorized as 'reactive' or 'proactive'.
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories... more Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of partial algebras. We introduce for the latter the crucial notion of saturation, which characterises those partial algebras which are isomorphic to the ones obtained from their enveloping algebras. We also set up a factorisation system for partial algebras, via epimorphisms and (monic) Kleene morphisms and relate the latter to saturation.
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocol... more We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of computationally bounded adversaries. We illustrate these concepts on oblivious transfer, an example from cryptography. We also compare our approach with a framework based on interactive Turing machines.
Based on the monoid classi er , we give an alternative axiomatization of Freyd's paracategori... more Based on the monoid classi er , we give an alternative axiomatization of Freyd's paracategories. This abstract reformulation can be interpreted in any category which admits the construction of a bicategory of partial maps. Assuming furthermore a free monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, and put paramonoids (and paracategories) in the more general context of partial algebras. We then consider the cartesian closed structure of the category of paracategories and the relevant notion of adjunction in the enriched context which ensues. We conclude by presenting in this framework some ( bred) paracategories which arise in the theory of probabilistic automata.
Proceedings of SPIE - The International Society for Optical Engineering, 2010
In this work we present the results of an experiment aiming to measure and model atmospheric dela... more In this work we present the results of an experiment aiming to measure and model atmospheric delay by means of GPS, Weather Research and Forecasting (WRF) model and Synthetic Aperture Radar Interferometry (InSAR). Examples of maps of the atmospheric delay over the region of Lisbon are shown.
Proceedings of SPIE - The International Society for Optical Engineering, 2010
Atmosphere water vapour remains the largest limitation in high precision applications that make u... more Atmosphere water vapour remains the largest limitation in high precision applications that make use of microwave signals as Interferometric Synthetic Aperture Radar (InSAR). In the last decade several methods like GPS (Global Positioning System), MERIS (MEdium Resolution Imaging Spectrometer) and NWP (Numerical weather prediction) models were studied with the aim of obtaining a reliable water vapour product of high spatial
International Geoscience and Remote Sensing Symposium (IGARSS), 2012
ABSTRACT In this work we investigate the use of Synthetic Aperture Radar (SAR) images acquired by... more ABSTRACT In this work we investigate the use of Synthetic Aperture Radar (SAR) images acquired by the TerraSAR-X satellite operating a very high resolution X-band SAR sensor to generate maps of temporal and spatial variations of the water vapour distribution with a horizontal resolution of 27×27 m over the Lisbon region, Portugal. We present the result of a time series of delay maps obtained by processing a set of interferometric SAR images acquired by the TerraSAR-X mission. The maps are calibrated by means of GPS estimations of the delay over the same area and covering the time interval between the first and the last SAR acquisition. The availability of maps with a high spatial resolution could increase the quality of quantitative precipitation forecasting and open interesting perspectives for nowcasting applications.
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories... more Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of partial algebras. We introduce for the latter the crucial notion of saturation, which characterises those partial algebras which are isomorphic to the ones obtained from their enveloping algebras. We also set up a factorisation system for partial algebras, via inclusions and Kleene morphisms.
Uploads
Papers by Paulo Mateus