Relevant bibliographies by topics / Temporal symmetry

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Temporal symmetry'

Author: Grafiati
Published: 7 June 2025
Last updated: 17 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Temporal symmetry.'

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 "Temporal symmetry"

1

BLACKBURN, H. M., and J. M. LOPEZ. "Modulated waves in a periodically driven annular cavity." Journal of Fluid Mechanics 667 (November 25, 2010): 336–57. http://dx.doi.org/10.1017/s0022112010004520.

Full text
Abstract:
Time-periodic flows with spatio-temporal symmetry Z2 × O(2) – invariance in the spanwise direction generating the O(2) symmetry group and a half-period-reflection symmetry in the streamwise direction generating a spatio-temporal Z2 symmetry group – are of interest largely because this is the symmetry group of periodic laminar two-dimensional wakes of symmetric bodies. Such flows are the base states for various three-dimensional instabilities; the periodically shedding two-dimensional circular cylinder wake with three-dimensional modes A and B being the generic example. However, it is not easy to physically realize the ideal flows owing to the presence of end effects and finite spanwise geometries. Flows past rings are sometimes advanced as providing a relevant idealization, but in fact these have symmetry group O(2) and only approach Z2 × O(2) symmetry in the infinite aspect ratio limit. The present work examines physically realizable periodically driven annular cavity flows that possess Z2 × O(2) spatio-temporal symmetry. The flows have three distinct codimension-1 instabilities: two synchronous modes (A and B), and two manifestations of a quasi-periodic (QP) mode, either as modulated standing waves or modulated travelling waves. It is found that the curvature of the system can determine which of these modes is the first to become unstable with increasing Reynolds number, and that even in the nonlinear regime near onset of three-dimensional instabilities the dynamics are dominated by mixed modes with complicated spatio-temporal structure. Supplementary movies illustrating the spatio-temporal dynamics are available at journals.cambridge.org/flm.
APA, Harvard, Vancouver, ISO, and other styles
2

Bellagarda, Cayla A., James E. Dickinson, Jason Bell, and David R. Badcock. "Haemodynamic Signatures of Temporal Integration of Visual Mirror Symmetry." Symmetry 14, no. 5 (2022): 901. http://dx.doi.org/10.3390/sym14050901.

Full text
Abstract:
EEG, fMRI and TMS studies have implicated the extra-striate cortex, including the Lateral Occipital Cortex (LOC), in the processing of visual mirror symmetries. Recent research has found that the sustained posterior negativity (SPN), a symmetry specific electrophysiological response identified in the region of the LOC, is generated when temporally displaced asymmetric components are integrated into a symmetric whole. We aim to expand on this finding using dynamic dot-patterns with systematically increased intra-pair temporal delay to map the limits of temporal integration of visual mirror symmetry. To achieve this, we used functional near-infrared spectroscopy (fNIRS) which measures the changes in the haemodynamic response to stimulation using near infrared light. We show that a symmetry specific haemodynamic response can be identified following temporal integration of otherwise meaningless dot-patterns, and the magnitude of this response scales with the duration of temporal delay. These results contribute to our understanding of when and where mirror symmetry is processed in the visual system. Furthermore, we highlight fNIRS as a promising but so far underutilised method of studying the haemodynamics of mid-level visual processes in the brain.
APA, Harvard, Vancouver, ISO, and other styles
3

Matsuno, Koichiro. "Unidirectional temporal symmetry underlying biology." Symmetry: Culture and Science 31, no. 4 (2020): 425–38. http://dx.doi.org/10.26830/symmetry_2020_4_425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hutchison, Keith. "Differing Criteria for Temporal Symmetry." British Journal for the Philosophy of Science 46, no. 3 (1995): 341–47. http://dx.doi.org/10.1093/bjps/46.3.341.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Malone, Laura A., Amy J. Bastian, and Gelsy Torres-Oviedo. "How does the motor system correct for errors in time and space during locomotor adaptation?" Journal of Neurophysiology 108, no. 2 (2012): 672–83. http://dx.doi.org/10.1152/jn.00391.2011.

Full text
Abstract:
Walking is a complex behavior for which the healthy nervous system favors a smooth, symmetric pattern. However, people often adopt an asymmetric walking pattern after neural or biomechanical damage (i.e., they limp). To better understand this aberrant motor pattern and how to change it, we studied walking adaptation to a split-belt perturbation where one leg is driven to move faster than the other. Initially, healthy adult subjects take asymmetric steps on the split-belt treadmill, but within 10–15 min people adapt to reestablish walking symmetry. Which of the many walking parameters does the nervous system change to restore symmetry during this complex act (i.e., what motor mappings are adapted to restore symmetric walking in this asymmetric environment)? Here we found two parameters that met our criteria for adaptive learning: a temporal motor output consisting of the duration between heel-strikes of the two legs (i.e., “when” the feet land) and a spatial motor output related to the landing position of each foot relative to one another (i.e., “where” the feet land). We found that when subjects walk in an asymmetric environment they smoothly change their temporal and spatial motor outputs to restore temporal and spatial symmetry in the interlimb coordination of their gait. These changes in motor outputs are stored and have to be actively deadapted. Importantly, the adaptation of temporal and spatial motor outputs is dissociable since subjects were able to adapt their temporal motor output without adapting the spatial output. Taken together, our results suggest that temporal and spatial control for symmetric gait can be adapted separately, and therefore we could potentially develop interventions targeting either temporal or spatial walking deficits.
APA, Harvard, Vancouver, ISO, and other styles
6

Simon, Jonathan Z., Didier A. Depireux, David J. Klein, Jonathan B. Fritz, and Shihab A. Shamma. "Temporal Symmetry in Primary Auditory Cortex: Implications for Cortical Connectivity." Neural Computation 19, no. 3 (2007): 583–638. http://dx.doi.org/10.1162/neco.2007.19.3.583.

Full text
Abstract:
Neurons in primary auditory cortex (AI) in the ferret (Mustela putorius) that are well described by their spectrotemporal response field (STRF) are found also to have a distinctive property that we call temporal symmetry. For temporally symmetric neurons, every temporal cross-section of the STRF (impulse response) is given by the same function of time, except for a scaling and a Hilbert rotation. This property held in 85% of neurons (123 out of 145) recorded from awake animals and in 96% of neurons (70 out of 73) recorded from anesthetized animals. This property of temporal symmetry is highly constraining for possible models of functional neural connectivity within and into AI. We find that the simplest models of functional thalamic input, from the ventral medial geniculate body (MGB), into the entry layers of AI are ruled out because they are incompatible with the constraints of the observed temporal symmetry. This is also the case for the simplest models of functional intracortical connectivity. Plausible models that do generate temporal symmetry, from both thalamic and intracortical inputs, are presented. In particular, we propose that two specific characteristics of the thalamocortical interface may be responsible. The first is a temporal mismatch between the fast dynamics of the thalamus and the slow responses of the cortex. The second is that all thalamic inputs into a cortical module (or a cluster of cells) must be restricted to one point of entry (or one cell in the cluster). This latter property implies a lack of correlated horizontal interactions across cortical modules during the STRF measurements. The implications of these insights in the auditory system, and comparisons with similar properties in the visual system, are explored.
APA, Harvard, Vancouver, ISO, and other styles
7

Natale, Gianfranco, Michela Ferrucci, Paola Lenzi, Emanuele Armocida, Riccardo Ruffoli, and Domenico Ribatti. "Symmetry and asymmetry in humans." Symmetry: Culture and Science 36, no. 1 (2025): 7–32. https://doi.org/10.26830/symmetry_2025_1_007.

Full text
Abstract:
Symmetry is mostly used to describe body shapes. In humans, symmetry can be investigated at microscopic and macroscopic level. At molecular level life is asymmetric. Most compounds are chiral, such as carbohydrates, amino acids, and nucleic acids. Since only one enantiomer of a chiral molecule predominates, this concept is referred to as homochirality. Amino acids appear almost exclusively in the left-handed form, whereas sugars appear in the right-handed form. At cellular level, some examples of symmetric structures are represented by the mitotic spindle, which allows cell division, and the primary organizer, which is responsible for the bilateral symmetry of the embryo. At macroscopic level, the sagittal plane divides an organism into roughly mirror image halves, with respect to external appearance only. Asymmetry is often an indication of unfitness, including defects during development or injuries throughout a lifetime. Facial symmetry influences human judgments of attractiveness. Nevertheless, nearly all organs of the thorax and abdomen are asymmetric. Although cerebral hemispheres look roughly symmetric, there are asymmetries, such as the planum temporale of the temporal cortex, which is larger in the left hemisphere. This difference correlates with right-handedness and language and opened the study on the functional asymmetry. Intriguing dilemmas occur when interrupting the connection of the two hemispheres, as in the split-brain syndrome: when patients are shown an image only in the left half of each visual field, they cannot verbally name what they have seen, because the language area is contralateral.
APA, Harvard, Vancouver, ISO, and other styles
8

Sharman, Rebecca J., Sebastian Gregersen, and Elena Gheorghiu. "Temporal dynamics of mirror-symmetry perception." Journal of Vision 18, no. 5 (2018): 10. http://dx.doi.org/10.1167/18.5.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sharman, Rebecca, and Elena Gheorghiu. "Temporal properties of mirror-symmetry perception." Journal of Vision 17, no. 10 (2017): 731. http://dx.doi.org/10.1167/17.10.731.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Miller, Alice, Alastair Donaldson, and Muffy Calder. "Symmetry in temporal logic model checking." ACM Computing Surveys 38, no. 3 (2006): 8. http://dx.doi.org/10.1145/1132960.1132962.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Temporal symmetry"

1

Léonard, Christian, Sylvie Roelly, and Jean-Claude Zambrini. "Temporal symmetry of some classes of stochastic processes." Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6459/.

Full text
Abstract:
In this article we analyse the structure of Markov processes and reciprocal processes to underline their time symmetrical properties, and to compare them. Our originality consists in adopting a unifying approach of reciprocal processes, independently of special frameworks in which the theory was developped till now (diffusions, or pure jump processes). This leads to some new results, too.
APA, Harvard, Vancouver, ISO, and other styles
2

Mavimbela, Gcina A. "Time Reparametrization Symmetry and Spatial-Temporal Fluctuations in Glasses." Ohio University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1354211400.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pike, Stephen Mace. "A model of mind from the perspective of temporal structuralism." Thesis, University of Canterbury. Humanities, 2009. http://hdl.handle.net/10092/4624.

Full text
Abstract:
Symmetry and symmetry-breaking have, in the last one hundred and fifty years, become incorporated as central explanatory concepts within the natural sciences and mathematics. An abbreviated review of the incorporation of symmetry within the disciplines of mathematics, physics, philosophy and biology, provides a frame within which to develop of a model of mind. This thesis combines the framework provided by symmetry and symmetry-breaking with a structural understanding of self-referential dynamics in examining the implied Kantian model of mind. It considers that Kant’s assumption of a transcendental self unnecessarily isolates consciousness from being understood as a product of complex natural processes. Kant’s structural model of mind is examined and reformulated in terms of a more fundamental form and process. The space required for any non-reductionist model of mind is proposed as being generated through an enfolding of dimensionality in the occurrence of categorical level symmetry breaking during evolutionary development. The temporally extended function is accounted for in terms of self-referential structural dynamics operating within the primary temporal asymmetry. The model of mind proposed is created through application of naturalistic explanations incorporating symmetry and has attributes that may prove of interest to non-reductionists. The phenomenological geometry established provides a framework to understand the experiential phenomenon of qualia while conforming to the requirements of a natural explanation. Information is conceived as being transmitted inwaveforms propagated across spaces of enfolded dimensionalities through structural framesdemarcating nested spaces and condensing in the synthesis of unity in the object of attention,or image, and returning to distribute, the now reformulated, information outward acrosscontextual frames and spaces. This simplified dynamic is considered to operate at all levels of natural phenomena and involves the reintroduction of Bohm’s concepts of implicate and explicate order. The result is a model of mind employing a minimum structural form and self-referential dynamics that has potential for integration across the discipline theoretic frames of the natural sciences while retaining, for the domain of conscious phenomena, an independent causal significance in terms of a temporal structuralism.
APA, Harvard, Vancouver, ISO, and other styles
4

Frank, Andrea Jean. "An examination of the temporal and spatial stimulus control in emergent symmetry in pigeons." Diss., University of Iowa, 2007. http://ir.uiowa.edu/etd/157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Siminos, Evangelos. "Recurrent spatio-temporal structures in presence of continuous symmetries." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/28215.

Full text
Abstract:
Thesis (M. S.)--Physics, Georgia Institute of Technology, 2009.<br>Committee Chair: Cvitanovic, Predrag; Committee Member: Dieci, Luca; Committee Member: Grigoriev, Roman; Committee Member: Schatz, Michael; Committee Member: Wiesenfeld, Kurt
APA, Harvard, Vancouver, ISO, and other styles
6

Silva, Erick Rodrigues. "Simetrias de paridade e de reversão temporal no Efeito Hanbury Broen-Twiss." Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/8164.

Full text
Abstract:
Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-05-02T10:49:21Z No. of bitstreams: 1 arquivototal.pdf: 1791577 bytes, checksum: ecd7a6eb8a18230d0145c24932d9e248 (MD5)<br>Made available in DSpace on 2016-05-02T10:49:22Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1791577 bytes, checksum: ecd7a6eb8a18230d0145c24932d9e248 (MD5) Previous issue date: 2015-08-03<br>Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq<br>The Hanbury Brown-Twiss experiment is very well established in quantum optics literature, so we devoted this dissertation in order to embed the parity and temporal reversal symmetry in the former experiment. Therefore, we developed the scattering matrix formalism which allow us use some techniques such as the scattering matrices' concatenation of di erent sections in terms of one matrix and the scattering problem of a parity and temporal reverse symmetric system. In this manner, we could derive the scattering matrix of a parity and temporal reverse symmetric Hanbury Brown- Twiss experiment(HBT-PT). With the possession of this matrix, we proposed a theoretical model which provides how to measure the symmetry of this system, which we called correlation functions formalism. In order to stablish the former formalism, we studied B uttiker formalism, which we veri ed how the correlation between 2 incident particles in a system relates to the noise due transport of this particles and what kind of noise we are treating in a given regime which the system is operating. Then, we found the input states in terms of the output states of two particles inciding in a multiterminal system, which we used it's scattering matrix to stablish the relation between the states. Thereat, we derived all the possibles correlations(therefore, the noise) of two incident particles in the former system. Thereby, we analysed the extreme cases of a barrier coupled to the HBT-PT experiment for the purpose of stablish which regime the experiment is symmetric adjusted, so, demonstrating the Hanbury Brown-Twiss E ect with parity and temporal reverse symmetries.<br>Sendo o experimento Hanbury Brown-Twiss bem estabelecido na literatura da otica quântica, dedicamos esta dissertação a embutir no mesmo experimento a questão da simetria por paridade e reversão temporal. Para tanto, abrimos mão do formalismo da matriz de espalhamento que permitiu nos utilizar tecnicas como a concatenação de matrizes de espalhamento de sec ções diferentes em termos de apenas uma matriz e o problema do espalhamento em um sistema simétrico por paridade e reversão temporal. Dessa forma, pudemos derivar a matriz de espalhamento para o experimento Hanbury Brown-Twiss com simetria de paridade e revers~ao temporal(HBT-PT). De posse dessa matriz, propusemos um modelo teórico que propicia a medição experimental a simetria desse sistema, o qual chamamos de formalismo das fun c~oes de correla c~ao. Para estabelecermos o formalismo supracitado, estudamos o formalismo de Buttiker, onde veri case como a correlaçãao entre 2 partículas incidentes em um sistema relaciona-se com o ru do devido ao transporte dessas part culas e que tipo de ru do estamos tratando, dado o regime em que o sistema está operando. Em seguida, encontramos os estados de entrada em termos dos estados de saída de 2 partículas incidindo em um sistema multiterminal, onde utilizamos a sua matriz de espalhamento para estabelecer a rela c~ao entre os estados. Com isso, derivamos todas as possíveis correlações (e, por conseguinte, o ruído) de 2 partículas incidentes nesse sistema. Assim, analisamos os casos extremos de uma barreira acoplada ao experimento HBT-PT, a m de estabelecer o regime em que o experimento está simetricamente ajustado e demonstramos o Efeito Hanbury Brown-Twiss por paridade e reversão temporal.
APA, Harvard, Vancouver, ISO, and other styles
7

Patrocinio, Weslley Souza. "Análise da informação do spin dos orbitais atômicos no cálculo de propriedades de estruturas semicondutoras." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27042010-083948/.

Full text
Abstract:
O presente trabalho é um estudo sobre a importância da informação dos orbitais atômicos no cálculo de propriedades optoeletrônicas de heteroestruturas semicondutoras de baixa dimensionalidade. O trabalho é dividido em duas partes: na primeira parte, é estudada a simetria de reversão temporal no hamiltoniano k . p, analisando a preservação da informação de spin presente nos orbitais atômicos. O hamiltoniano obtido é inserido na equação de massa efetiva expandida para superredes. São calculadas estruturas de bandas de alguns poços quânticos de semicondutores III-V e grupo-IV. Compara-se o novo método com os tradicionais, e então são analisadas algumas grandezas que apresentam alteração significativa entre os métodos usados; A segunda parte é composta por um estudo detalhado do potencial de troca-correlação em semicondutores dopados. A matriz que descreve este potencial é escrita usando a distribuição de portadores presentes nos orbitais atômicos da rede cristalina, e os coeficientes desta matriz foram calculados usando quatro modelos para a correção de muitos corpos, baseadas nas aproximações LDA (Local density approximation) e LSDA (Local spin density approximation), com o objetivo de comparar as diversas parametrizações. Usando o método k . p tradicional, expandido para superredes, foram simulados sistemas &delta;-doped e hMni-&delta;-doped de Si, através de um cálculo autoconsistente baseado na equação de Poisson. A magnetização dos portadores é descrita por um modelo de campo médio. Foram analisados os perfis de potencial, estruturas de bandas, polarização de portadores e espectros de fotoluminescência para determinar as diferenças entre as aproximações utilizadas.<br>This work is a study about the atomic orbitals information importance in the calculation of optoelectronics properties of low dimensionality semiconductors. The work is divided in two parts. In the first one, a study of the time reversal symmetry of the k . p Hamiltonian is realized analyzing the preservation of the spin information present in the atomic orbitals. The obtained Hamiltonian is applied in the effective mass equation expanded to superlattices. Some calculations of quantum wells band structures are made using III-V and group-IV semiconductors, comparing the new method with the conventional ones to obtain an analysis of the difference of some physics properties. The second part is a detailed study of the exchangecorrelation potential in doped semiconductors. The matrix coefficients are calculated using the charge distribution of the crystalline lattice atomic orbitals, applied in some LDA (Local density approximation) and LSDA (Local spin density approximation) parameterizations to compare them. Using the conventional k . p method expanded to superlattices, Si &delta;-doped and hMni-&delta;-doped systems were calculated through a self consistent calculation based on Poissons equation. The carriers magnetization is described by an average field model. The potential profiles, band structures, carrier polarization and photoluminescence spectra were analyzed to obtain the difference between the approaches.
APA, Harvard, Vancouver, ISO, and other styles
8

Gomes, Amanda dos Santos. "Transformações em modelos de séries temporais." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-15082012-143452/.

Full text
Abstract:
Cordeiro e Andrade (2009) incorporam a ideia de variável resposta transformada ao modelo GARMA, autorregressivo e de médias móveis generalizado, introduzido por Benjamin et al. (2003), desenvolvendo assim, o modelo TGARMA, autorregressivo e de médias móveis generalizado transformado. O objetivo do presente trabalho é desenvolver o modelo TGARMA introduzido por Cordeiro e Andrade (2009) para distribuições condicionais simétricas contínuas com e sem heteroscedasticidade e uma possível função não linear para os parâmetros de regressão. Ao longo desta tese derivamos um processo iterativo para estimar os parâmetros desses modelos por máxima verossimilhança. Nós produzimos uma fórmula simples para estimar o parâmetro que define a transformação da variável resposta para uma subclasse de modelos. Fornecemos os momentos para a variável dependente original. Para o modelo homoscedástico, discutimos inferência de alguns parâmetros, propomos uma análise de diagnóstico e a definição de um resíduo padronizado. Finalmente, para ilustrar a teoria desenvolvida, tanto no caso homoscedástico quanto no caso heteroscedástico, utilizamos conjuntos de dados reais e avaliamos os resultados desenvolvidos por meio de estudos de simulação.<br>Cordeiro and Andrade (2009) incorporate the idea of transforming the response variable to the GARMA model, generalized autoregressive moving average, introduced by Benjamin et al. (2003), thus developing the TGARMA model, transformed generalized autoregressive moving average. The goal of this thesis is to develop the TGARMA model introduced by Cordeiro and Andrade (2009) for symmetric continuous conditional distributions and a possible non-linear structure for the mean that enables the fitting of a wide range of models to several data types. When the assumption of homoscedasticity is not verified, heteroscedastic models are proposed. Throughout this thesis, we derive an iterative process for fitting the parameters of the models by maximum likelihood. We produce a simple formula to estimate the parameter which defines the transformation of the response variable and the moments of the original dependent variable which generalize previous published results. For the homoscedastic model, we discuss inference, we propose a diagnostic analysis and define a standardized residuals. Finally, to illustrate the theory developed, we use real data sets and we evaluate the results developed through simulations studies.
APA, Harvard, Vancouver, ISO, and other styles
9

Mahajan, Salil. "CCM3 as applied to an idealized all land zonally symmetric planet, Terra Blanda 3." Texas A&M University, 2004. http://hdl.handle.net/1969.1/1422.

Full text
Abstract:
Community Climate Model 3 (CCM3) is run on an idealized all land zonally symmetric planet (Terra Blanda) with no seasonality, no snow and fixed soil moisture to obtain a stationary time series effectively much longer than conventional runs with geography and seasons. The surface temperature field generated is studied to analyze the spatial and temporal spectra, estimate the length scale and time scale of the model, and test the linearity of response to periodic and steady heat source forcings. The length scale of the model is found to be in the range of 1000-2000 km and the time scale is estimated to be 24 days for the global average surface temperature field. The response of the global average temperature is found to be fairly linear to periodic and the steady heat source forcings. The results obtained are compared with the results of a similar study that used CCM0. Fluctuation Dissipation theorem is also tested for applicability on CCM3. The response of the surface temperature field to a step function forcing is demonstrated to be very similar to the decay of naturally occurring anomalies, and the auto-correlation function. Return period of surface temperature anomalies is also studied. It is observed that the length of the data obtained from CCM3, though sufficient for analysis of first and second moments, is significantly deficient for return period analysis. An AR1 process is simulated to model the global averaged surface temperature of Terra Blanda 3 to assess the sampling error associated with short runs.
APA, Harvard, Vancouver, ISO, and other styles
10

Bourdil, Pierre-Alain. "Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels." Thesis, Toulouse, INSA, 2015. http://www.theses.fr/2015ISAT0041/document.

Full text
Abstract:
Cette thèse traite de la vérification formelle de systèmes critiques où la correction du système dépend du respect des contraintes temporelles. La première partie étudie la modélisation et la vérification formelle par model-checking de systèmes temps réel dans le contexte de l’industrie aéronautique et spatiale. La deuxième partie décrit notre méthode d’exploitation des symétries pour les réseaux de Petri temporels. Nous définissons un opérateur de composition symétrique pour la construction de réseaux. Puis nous proposons des solutions pour la construction d’espaces d’états quotients par la relation d’équivalence induite par les symétries. Notre méthode s’applique aux réseaux de Petri, temporels ou non. A notre connaissance il s’agit de la première méthode applicable aux réseaux de Petri temporels. Des résultats expérimentaux encourageants sont présentés<br>This thesis deals with formal verification of critical systems where the system’s correction depends on compliance with time constraints. The first part studies the formal modeling and verification by model-checking of realtime systems in the context of the aerospace industry. The second part describes our method for symmetry reduction of Time Petri Net. We define a symmetric composition operator for building Net. Then we present our solution for construction of quotients of the state spaces by the equivalence relation induced by symmetries. Our method applies to Petri nets, temporal or not, but to our knowledge this is the first methodology for Time Petri Nets. Encouraging experimental results are presented
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Temporal symmetry"

1

Arntzenius, Frank. The CPT Theorem. Edited by Craig Callender. Oxford University Press, 2011. http://dx.doi.org/10.1093/oxfordhb/9780199298204.003.0022.

Full text
Abstract:
The CPT theorem says that any Lorentz invariant quantum field theory must also be invariant under the combined operation of charge conjugation C, parity P, and time reversal T, even though none of those individual invariances need hold. It is quite strange. Why should a quantum field theory be invariant under the combination of two spatiotemporal discrete transformations, and then a quite different type of transformation (matter–anti-matter transformation)? In one of the first attacks on these and related questions by a philosopher, this chapter argues that CPT symmetry is better understood as PT symmetry. If the author is right, CPT symmetry is really saying that quantum field theory does not care about temporal orientation or spatial handedness.
APA, Harvard, Vancouver, ISO, and other styles
2

Franzese, Robert J., and Jude C. Hays. Empirical Models of Spatial Inter‐Dependence. Edited by Janet M. Box-Steffensmeier, Henry E. Brady, and David Collier. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199286546.003.0025.

Full text
Abstract:
This article discusses the role of ‘spatial interdependence’ between units of analysis by using a symmetric weighting matrix for the units of observation whose elements reflect the relative connectivity between unit i and unit j. It starts by addressing spatial interdependence in political science. There are two workhorse regression models in empirical spatial analysis: spatial lag and spatial error models. The article then addresses OLS estimation and specification testing under the null hypothesis of no spatial dependence. It turns to the topic of assessing spatial lag models, and a discussion of spatial error models. Moreover, it reports the calculation of spatial multipliers. Furthermore, it presents several newer applications of spatial techniques in empirical political science research: SAR models with multiple lags, SAR models for binary dependent variables, and spatio-temporal autoregressive (STAR) models for panel data.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Temporal symmetry"

1

Golubitsky, Martin, and Ian Stewart. "Time Periodicity and Spatio-Temporal Symmetry." In The Symmetry Perspective. Birkhäuser Basel, 2002. http://dx.doi.org/10.1007/978-3-0348-8167-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Clarke, E. M., T. Filkorn, and S. Jha. "Exploiting symmetry in temporal logic model checking." In Computer Aided Verification. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56922-7_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Benhamou, BelaÏd, and Amar Isli. "Study of symmetry in qualitative temporal interval networks." In Artificial Intelligence: Methodology, Systems, and Applications. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0057437.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cohen, Mika, Mads Dam, Alessio Lomuscio, and Hongyang Qu. "A Data Symmetry Reduction Technique for Temporal-epistemic Logic." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04761-9_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Magnusson, Magnus S. "Time and Self-Similar Structure in Behavior and Interactions: From Sequences to Symmetry and Fractals." In Discovering Hidden Temporal Patterns in Behavior and Interaction. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4939-3249-8_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kien, D. P., J. C. Loulergue, and J. Etchepare. "Temporal Domain Study of the Phase Transition in PbTiO3: A1 Symmetry Investigation." In Ultrafast Phenomena VIII. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-84910-7_114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ajami, K., S. Haddad, and J. M. Ilié. "Exploiting symmetry in linear time temporal logic model checking: One step beyond." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0054164.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vishio, Anton. "16. A Myth of Recurrence in Iannis Xenakis’s La Légende d’Eer." In Meta-Xenakis. Open Book Publishers, 2024. http://dx.doi.org/10.11647/obp.0390.18.

Full text
Abstract:
Xenakis’s La Légende d’Eer has received much analytical attention, detailing the life stages of its cosmic soundworld: its origin, flourishing, and eventual disintegration. Many analyses have suggested a kind of symmetry between the beginning and ending, as if the soundworld has returned to its initial state. In contrast, in this chapter I argue that the symmetry and any corresponding ideas about closure are ultimately illusory, that the intimations of the opening sounds in the closing minutes in fact highlight the tragic impossibility of ‘recurrence’. The work enacts this theme on a smaller scale as well as it deploys rotations of shapes in an ‘epicyclic’ manner: cycles of the work’s constituent sounds layer on top of one another, creating fluctuations of intensity rather than being markers of forward motion. This intensity is a key component of the immersive character of La Légende d’Eer, and the source of its elusive temporal quality.
APA, Harvard, Vancouver, ISO, and other styles
9

Attie, Paul C., and William L. Cocke. "Model and Program Repair via Group Actions." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_25.

Full text
Abstract:
AbstractGiven a textual representation of a finite-state concurrent program $$P$$ P , one can construct the corresponding Kripke structure $$\mathcal {M}$$ M . However, the size of $$\mathcal {M}$$ M can be exponentially larger than the textual size of $$P$$ P . This state explosion can make model checking properties of $$P$$ P via $$\mathcal {M}$$ M expensive or even infeasible. The action of a symmetry group $$G$$ G on $$\mathcal {M}$$ M can be used to produce a smaller Kripke structure $$\overline{\mathcal {M}}$$ M ¯ . Various authors have exploited the direct correspondence between $$\mathcal {M}$$ M and $$\overline{\mathcal {M}}$$ M ¯ to perform model checking. When the structure $$\mathcal {M}$$ M does not satisfy a formula, one can look for a substructure that will satisfy the formula. We call this substructure-repair: identifying a substructure $$\mathcal {N}$$ N of $$\mathcal {M}$$ M that satisfies a given temporal logic formula.In this paper we extend previous work by showing that repairs of $$\overline{\mathcal {M}}$$ M ¯ lift to repairs of $$\mathcal {M}$$ M . In other words, we can repair a computer program $$P$$ P , which exhibits a high degree of symmetry, by repairing the smaller Kripke structure $$\overline{\mathcal {M}}$$ M ¯ and then symmetrizing the corresponding program. To do this we arrange the substructures of $$\mathcal {M}$$ M and $$\overline{\mathcal {M}}$$ M ¯ into substructure lattices that are ordered by substructure inclusion. We show that the substructures of $$\mathcal {M}$$ M preserved by $$G$$ G form a (sub)lattice that maps to the substructure lattice of $$\overline{\mathcal {M}}$$ M ¯ . When restricted to the lattice of substructures of $$\mathcal {M}$$ M that are “maximal” with the action of $$G$$ G on $$\mathcal {M}$$ M , the above map is a lattice isomorphism.These results enable us to repair $$\overline{\mathcal {M}}$$ M ¯ and then to lift the repair to $$\mathcal {M}$$ M . In cases where a program has a high degree of symmetry, such as in many concurrent programs, we can repair the program by repairing the small Kripke structure $$\overline{\mathcal {M}}$$ M ¯ .
APA, Harvard, Vancouver, ISO, and other styles
10

Bodner, Mark, and Gordon Shaw. "Symmetry math video game used to train profound spatial-temporal reasoning abilities equivalent to dynamical knot theory." In CRM Proceedings and Lecture Notes. American Mathematical Society, 2004. http://dx.doi.org/10.1090/crmp/034/19.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Temporal symmetry"

1

Pareek, Vivek, David Bacon, Xing Zhu, et al. "Exciton-driven Floquet-Bloch States in 2D Semiconductors." In JSAP-Optica Joint Symposia. Optica Publishing Group, 2024. https://doi.org/10.1364/jsapo.2024.17a_a35_5.

Full text
Abstract:
Floquet engineering, in which a temporal periodic drive breaks the continuous temporal symmetry and dynamically engineers the electronic structure, has attracted enormous attention in condensed matter physics. However, only a handful of studies have experimentally demonstrated Floquet effects driven by optical fields [5,6]. In this talk, we will discuss the experimental observation of the Floquet-Bloch states induced by the excitons in 2D semiconductors.
APA, Harvard, Vancouver, ISO, and other styles
2

Campbell, Graeme N., Lewis Hill, Pascal Del’Haye, and Gian-Luca Oppo. "Enhanced Frequency Combs via Self-Crystallizing Cavity Solitons." In CLEO: Fundamental Science. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/cleo_fs.2024.fth4f.7.

Full text
Abstract:
A “self-crystallization” phenomenon of dark vectorial temporal cavity solitons can occur in Fabry-Pérot resonators, with major applications in frequency comb generation. This phenomenon arises from the long-range interactions between symmetry-broken light fields with orthogonal polarizations.
APA, Harvard, Vancouver, ISO, and other styles
3

Lu, Xukun, Puhong Duan, Bin Deng, Zhuojun Xie, and Xudong Kang. "CTSFFNet: Cross-Temporal Symmetric Feature Fusion Network for Hyperspectral Image Change Detection." In IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium. IEEE, 2024. http://dx.doi.org/10.1109/igarss53475.2024.10641169.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gorza, Simon-Pierre. "Dissipative Temporal Solitons in Coherently Driven Phase Modulated Cavities and in Active PT-Symmetric Dimers." In Nonlinear Photonics. Optica Publishing Group, 2024. https://doi.org/10.1364/np.2024.nptu3c.5.

Full text
Abstract:
We discuss recent results on the manipulation of temporal Kerr cavity solitons by external potentials and on the spontaneous formation of pulses by mode-locking in active PT-cavities. Our experimental demonstrations are performed with fiber resonators. Full-text article not available; see video presentation
APA, Harvard, Vancouver, ISO, and other styles
5

Bartels, C., and G. de Haan. "Temporal symmetry constraints in block matching." In 2009 IEEE 13th International Symposium on Consumer Electronics (ISCE). IEEE, 2009. http://dx.doi.org/10.1109/isce.2009.5156968.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zhang, Chenyang, and Yingli Tian. "BCA: Bi-symmetric component analysis for temporal symmetry in human actions." In 2016 IEEE International Conference on Multimedia and Expo (ICME). IEEE, 2016. http://dx.doi.org/10.1109/icme.2016.7552918.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Copie, F., M. T. M. Woodley, L. Del Bino, J. M. Silver, S. Zhang, and P. Del’Haye. "Temporal and Polarization Symmetry Breaking in Ring Resonators." In Frontiers in Optics. OSA, 2018. http://dx.doi.org/10.1364/fio.2018.jw4a.32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mureithi, Njuki W., Hiroshi Kanki, Syuki Goda, Tomomichi Nakamura, and Tomoharu Kashikura. "Symmetry Breaking and Mode-Interaction in Vortex-Structure Interaction." In ASME 2002 International Mechanical Engineering Congress and Exposition. ASMEDC, 2002. http://dx.doi.org/10.1115/imece2002-32512.

Full text
Abstract:
This paper presents some results of experiments and numerical computations on various aspects of vortex-structure interaction. Experimental tests were conducted in a small wind tunnel to investigate the effect of mechanical cylinder oscillation in the flow direction on the wake vortex structure. Depending on the excitation to Karman shedding frequency ratio, mode locked states, in the form of spatio-temporally repeatable patterns, could be observed. Symmetrical excitation leads to breaking of the Karman mode spatial-temporal symmetry. Depending on the excitation to Karman frequency ratio, modes lacking the usual Karman symmetry is observed. The existence of a stable spatio-temporal structure appears to be strongly dependent on the interaction (lock-in) between the near wake symmetrical shedding and the ‘established’ far wake Karman pattern. Preliminary work based on symmetry (group) theory is presented to support the foregoing experimental observations. By considering two oscillators having the Dm (κ,2π / m) inline shedding symmetry and the Karman wake having the spatio-temporal symmetry Z2 (κ,π), the possible symmetries of subsequent flow perturbations resulting from the modal interaction are determined. A mode having the reduced symmetry, Z2 (I,π2) was theoretically predicted and confirmed in the experiments. Finally, experimental tests show strong subharmonic lockin for forcing at rational ratios the vortex shedding frequency in the range 1 &amp;lt; m/n &amp;lt; 2. This phenomenon was also predicted theoretically.
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Qiao, Rushil Anirudh, and Pavan Turaga. "Temporal Reflection Symmetry of Human Actions: A Riemannian Analysis." In Proceedings of the 1st International Workshop on DIFFerential Geometry in Computer Vision for Analysis of Shapes, Images and Trajectories 2015. British Machine Vision Association, 2015. http://dx.doi.org/10.5244/c.29.diffcv.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Dmitriev, Victor, Gianni Portela, Leno Martins, and Daimam Zimmer. "Temporal coupled-mode theory of electromagnetic components with magnetic symmetry." In 2017 SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC). IEEE, 2017. http://dx.doi.org/10.1109/imoc.2017.8121133.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Temporal symmetry"

1

Johnson, Don H. Analysis of Temporal Symmetry in Non-Gaussian Random Fields. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada266496.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hart, Carl R., and Gregory W. Lyons. A Measurement System for the Study of Nonlinear Propagation Through Arrays of Scatterers. Engineer Research and Development Center (U.S.), 2020. http://dx.doi.org/10.21079/11681/38621.

Full text
Abstract:
Various experimental challenges exist in measuring the spatial and temporal field of a nonlinear acoustic pulse propagating through an array of scatterers. Probe interference and undesirable high-frequency response plague typical approaches with acoustic microphones, which are also limited to resolving the pressure field at a single position. Measurements made with optical methods do not have such drawbacks, and schlieren measurements are particularly well suited to measuring both the spatial and temporal evolution of nonlinear pulse propagation in an array of scatterers. Herein, a measurement system is described based on a z-type schlieren setup, which is suitable for measuring axisymmetric phenomena and visualizing weak shock propagation. In order to reduce directivity and initiate nearly spherically-symmetric propagation, laser induced breakdown serves as the source for the nonlinear pulse. A key component of the schlieren system is a standard schliere, which allows quantitative schlieren measurements to be performed. Sizing of the standard schliere is aided by generating estimates of the expected light refraction from the nonlinear pulse, by way of the forward Abel transform. Finally, considerations for experimental sequencing, image capture, and a reconfigurable rod array designed to minimize spurious wave interactions are specified. 15.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Temporal symmetry' for particular source types:
Journal articles Dissertations / Theses
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!

To the bibliography