Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr UL; Langerak, Rom; Mauw, Sjouke UL et al

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Detailed reference viewed: 98 (2 UL)
Full Text
Peer Reviewed
See detailSymbolic analysis of an electric vehicle charging protocol.
Li, Li; Pang, Jun UL; Liu, Yang et al

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014)

Detailed reference viewed: 107 (0 UL)
Peer Reviewed
See detailSymbolic Computing with Incremental Mind-maps to Manage and Mine Data Streams - Some Applications
Brucks, Claudine UL; Hilker, Michael UL; Schommer, Christoph UL et al

in Abstract book of 4th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'08). ECAI 2008. (2008)

Detailed reference viewed: 62 (6 UL)
Full Text
Peer Reviewed
See detailSymbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems
Nachtigall, Nico UL; Braatz, Benjamin UL; Engel, Thomas UL

in Boulanger, Frédéric; Famelis, Michalis; Ratiu, Daniel (Eds.) MoDeVVa@MoDELS (2013)

Symbolic execution is a well-studied technique for analysing the behaviour of software components with applications to test case generation. We propose a framework for symbolically executing satellite ... [more ▼]

Symbolic execution is a well-studied technique for analysing the behaviour of software components with applications to test case generation. We propose a framework for symbolically executing satellite control procedures and generating test cases based on graph transformation techniques. A graph-based operational symbolic execution semantics is defined and the executed procedure models are used for generating test cases by performing model transformations. The approach is discussed based on a prototype implementation using the Eclipse Modelling Framework (EMF), Henshin and ECLiPSe-CLP tool ecosystem. [less ▲]

Detailed reference viewed: 93 (8 UL)
Peer Reviewed
See detailSymbolic Planning Politics in a Region of Ongoing Decline. The Restructuring Model of IBA Emscher Park (1989-1999)
Müller, Sebastian; Carr, Constance UL

in Porter, L.; Shaw, K. (Eds.) Whose Urban Renaissance? An international comparison of urban regeneration policies (2009)

Detailed reference viewed: 79 (5 UL)
Peer Reviewed
See detailSymbolique de la ville dans l’œuvre romanesque de Jean Rouaud : les rapports de force du rural et de l’urbain
Freyermuth, Sylvie UL

in Marillaud, Gauthier (Ed.) Les langages de la ville (2003)

Detailed reference viewed: 66 (2 UL)
Full Text
Peer Reviewed
See detailSymbolisation and objectification through social interactions for meaningful learning of mathematics
Vlassis, Joëlle UL; Demonty, Isabelle

in Proceedings of the 42nd Conference of the International Group for the Psychology of Mathematics Education (2018)

Detailed reference viewed: 61 (7 UL)
Full Text
Peer Reviewed
See detailSymboliser et conceptualiser, une dialectique intrinsèque aux mathématiques et à leur apprentissage
Vlassis, Joëlle UL; Fagnant, Annick; Demonty, Isabelle UL

in Psychologie des apprentissages scolaires (2015)

Detailed reference viewed: 91 (5 UL)
Full Text
Peer Reviewed
See detailSymbolizing and modeling to promote a flexible use of the minus sign in algebraic operations
Vlassis, Joëlle UL

in Jarmila, Novotná (Ed.) Proceedings of the 30th International Conference for the Psychology of Mathematics Education (2006)

Detailed reference viewed: 56 (0 UL)
Full Text
Peer Reviewed
See detailSymmetric approximations of pseudo-Boolean functions with applications to influence indexes
Marichal, Jean-Luc UL; Mathonet, Pierre UL

in Applied Mathematics Letters (2012), 25(8), 1121-1126

We introduce an index for measuring the influence of the $k$th smallest variable on a pseudo-Boolean function. This index is defined from a weighted least squares approximation of the function by linear ... [more ▼]

We introduce an index for measuring the influence of the $k$th smallest variable on a pseudo-Boolean function. This index is defined from a weighted least squares approximation of the function by linear combinations of order statistic functions. We give explicit expressions for both the index and the approximation and discuss some properties of the index. Finally, we show that this index subsumes the concept of system signature in engineering reliability and that of cardinality index in decision making. [less ▲]

Detailed reference viewed: 88 (5 UL)
Full Text
Peer Reviewed
See detailSymmetric Khovanov--Rozansky link homologies
Robert, Louis-Hadrien UL; Wagner, Emmanuel

in Journal de l'École Polytechnique. Mathématiques (2020)

We provide a finite-dimensional categorification of the symmetric evaluation of sl(N)-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant ... [more ▼]

We provide a finite-dimensional categorification of the symmetric evaluation of sl(N)-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric powers of the standard representation of sl(N). The construction is made in an equivariant setting. We prove also that there is a spectral sequence from the Khovanov--Rozansky triply graded link homology to the symmetric one and provide along the way a foam interpretation of Soergel bimodules. [less ▲]

Detailed reference viewed: 36 (3 UL)
Full Text
See detailSymmetric n-ary superalgebras with skew-symmetric invariant forms
Vishnyakova, Elizaveta UL

E-print/Working paper (2014)

Detailed reference viewed: 37 (0 UL)
Full Text
See detailSymmetrien in der Natur. Was sagt uns die Mathematik hierzu
Schlichenmaier, Martin UL

Conference given outside the academic context (2009)

Objekte in der Natur haben meist Formen und Strukturen, die sich durch gewisse Regelmäßigkeiten auszeichnen. Dafür verwendet man oft den vagen Begriff der Symmetrie. Symmetrische Formen werden meist als ... [more ▼]

Objekte in der Natur haben meist Formen und Strukturen, die sich durch gewisse Regelmäßigkeiten auszeichnen. Dafür verwendet man oft den vagen Begriff der Symmetrie. Symmetrische Formen werden meist als schön empfunden. Im Vortrag möchte ich erläutern, wie man den Begriff der Symmetrie mathematisch exakt erfassen kann. An Beispielen möchte ich zeigen, dass bereits einige einfache Annahmen gewisse Formen erzwingen. Aber nicht nur bei der Herausbildung von Formen spielt die Symmetrie eine Rolle. Sie ist ebenfalls ein wichtige Erkenntnismethode in der modernen Theoretischen Physik. [less ▲]

Detailed reference viewed: 63 (1 UL)
Full Text
Peer Reviewed
See detailSymmetries and infinite dimensional Lie algebras
Schlichenmaier, Martin UL

in Bartholmé, C.; Connor, T.; Dominicy, Y. (Eds.) et al Notes de la cinquième BSSM (2013)

Detailed reference viewed: 53 (7 UL)
Peer Reviewed
See detailSymmetry Lie algebra of the two body systems with a Dirac oscillator interaction
del Sol Mesa, Antonio UL

in Revista Mexicana de Física (1995)

Detailed reference viewed: 51 (1 UL)
Full Text
Peer Reviewed
See detailSympathetic activity relates to adenosine A2A receptor gene variation in blood-injury phobia
Hohoff, Christa; Domschke, Katharina; Schwarte, Kathrin et al

in Journal of Neural Transmission (2009), 116

Variation in the candidate genes adenosine A(2A) receptor (A(2A)R), catechol-O-methyl-transferase (COMT), and norepinephrine transporter (NET) has been suggested to influence vulnerability to panic ... [more ▼]

Variation in the candidate genes adenosine A(2A) receptor (A(2A)R), catechol-O-methyl-transferase (COMT), and norepinephrine transporter (NET) has been suggested to influence vulnerability to panic disorder. We therefore investigated patients with another anxiety disorder with an even higher heritability, the blood-injury phobia, for association of these variants and used sympathetic measures during venipuncture, which serve as a naturalistic trigger of anxiety and autonomic hyperarousal, as an intermediate phenotype of anxiety. Patients homozygous for the A(2A)R 1976T allele as compared to patients carrying at least one 1976C allele exhibited a significantly increased respiratory rate with a trend towards elevated measures of systolic and diastolic blood pressure and respiratory minute volume. None of the sympathetic measures were influenced by the COMT or NET polymorphisms.This study provides preliminary data suggesting an influence of the A(2A)R 1976C/T polymorphism on sympathetic psychophysiological indicators of anxiety-related arousal in blood-injury phobia and thereby further supports a role of the A(2A)R gene in the pathogenesis of anxiety disorders. [less ▲]

Detailed reference viewed: 161 (0 UL)
See detailSymplectic Dirac operators: Construction and kernels
La Fuente-Gravy, Laurent UL

Presentation (2018, July 04)

Detailed reference viewed: 37 (1 UL)
See detailSymplectic Galois representations and applications to the inverse Galois problem
Wiese, Gabor UL

Presentation (2013, April 19)

Detailed reference viewed: 25 (0 UL)