نتایج جستجو برای: ptolemy
تعداد نتایج: 459 فیلتر نتایج به سال:
It is known that a knot complement (minus two points) decomposes into ideal octahedra with respect to given diagram. In this paper, we study the Ptolemy variety for such an octahedral decomposition in perspective of Thurston's gluing equation variety. More precisely, compute explicit coordinates terms segment and region variables, motivated from volume conjecture. As consequence, present formul...
Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different characteristics, that communicate and interact in a variety of ways—synchronous or asynchronous, buffered or unbuffered, etc. Obviously, when designing such systems, a modeling language needs to reflect this heterogeneity. Today’s modeling environments usually offer a vari...
Abstract We develop a string-net construction for the (2,1)-dimensional part of G -equivariant three-dimensional topological field theory based on -graded spherical fusion category. In this construction, generalization Ptolemy groupoid enters. compute associated cylinder categories and show that, as expected, model is closely related to Turaev–Viro theory.
In this paper, we show how a clear separation between control and data processing in reactive applications increases the range of application of the proof tools of the synchronous reactive model and of the reuse mechanism of the object-oriented approach. We present an approach and some tools that allow this separation in the Ptolemy framework.
Model spe i ation and visualization in the MASSIVE proje t Laurent iu Ni olae Ed Deprettere Bart Kienhuis Leiden Institute for Advan ed Computer S ien e Leiden University, Leiden, The Netherlands E-mail: fnld,edd,kienhuisg lia s.nl Abstra t| The MASSIVE proje t aims at developing methods and tools for the exploring of large-s ale embedded system designs at a high level of abstra tion. One of th...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید