Filters








62,836 Hits in 6.9 sec

Linearization and Mappings onto Pseudocircle Domains

Andrew Haas
1984 Transactions of the American Mathematical Society  
The finitely generated groups acting on plane domains are classified in terms of specific linearizations. This extends Maskit's work in the directly conformal case.  ...  We demonstrate the existence of linearizations for groups of conformal and anticonformal homeomorphisms of Riemann surfaces.  ...  Given a plane domain D it is natural to look for conformal representations of D by domains which highlight certain of its structural properties.  ... 
doi:10.2307/1999596 fatcat:dotmhln2xfezvjbaqujxtnrvja

Linearization and mappings onto pseudocircle domains

Andrew Haas
1984 Transactions of the American Mathematical Society  
The finitely generated groups acting on plane domains are classified in terms of specific linearizations. This extends Maskit's work in the directly conformal case.  ...  We demonstrate the existence of linearizations for groups of conformal and anticonformal homeomorphisms of Riemann surfaces.  ...  Given a plane domain D it is natural to look for conformal representations of D by domains which highlight certain of its structural properties.  ... 
doi:10.1090/s0002-9947-1984-0728721-7 fatcat:ls2p4cqo2bepfpuafix53622pi

On extended quasifuchsian groups

Bernard Maskit
1990 Annales Academiae Scientiarum Fennicae Series A I Mathematica  
In this paper, we complete our investigation of finitely generated Kleinian groups that preserve two disjoint open sets. In what follows, G is a finitely generated Kleinian group.  ...  Throughout this paper, we will use the word circle to refer to a Euclidean circle on Ö. A topological mapping of a circle into Ö wil be referred to as a Jordan curve.  ...  1.. we choose the set fr : {, I lnelzll . }} "t a fundamental domain' If ö is finite cyclic, and every element preserves U and .t, then choose a geometric generator g for G , and cho-os-e any point fi  ... 
doi:10.5186/aasfm.1990.1523 fatcat:kg7xrzyewnewhf5te2s2nnqxba

Recovering of visual scenarios in movies by motion analysis and grouping spatio-temporal colour signatures of video shots

Jenny Benois-Pineau, William Dupuy, Dominique Barba
2001 European Society for Fuzzy Logic and Technology  
The paper proposes a new, ID signal approach to basic operations required for video structuring and video content description: motion estimation, segmenting into shots, and scene grouping.  ...  The approach is based on the projective transform called Mojette which is a discrete analog of Radon transform.  ...  is considered. 3 Scene grouping based on colour signatures of shots.  ... 
dblp:conf/eusflat/Benois-PineauDB01 fatcat:zmjvf6b5avh6zihuywyn7m4jxi

A New Hash-and-Sign Approach and Structure-Preserving Signatures from DLIN [chapter]

Melissa Chase, Markulf Kohlweiss
2012 Lecture Notes in Computer Science  
As a result of our transformation we obtain a new signature scheme for signing a vector of group elements that is based only on the decisional linear assumption (DLIN).  ...  This transform also removes any dependence on state in the signature for M1.  ...  structure preserving signatures for bilinear group elements based on weaker assumptions.  ... 
doi:10.1007/978-3-642-32928-9_8 fatcat:leym54knzrfdrirlkt6egocsi4

Institution-based foundations for verification in the context of model-driven engineering

Daniel Calegari, Nora Szasz
2015 Science of Computer Programming  
We provide institutions for the representation of MDE elements based on the MOF and QVT-Relations standards.  ...  Translations may be useful to perform a heterogeneous verification, i.e. using different domains for the verification of each part of the whole problem, and also to integrate MDE elements with the specification  ...  Acknowledgements We want to thank María Victoria Cengarle and Alexander Knapp for their comments on the contents of this paper.  ... 
doi:10.1016/j.scico.2015.02.006 fatcat:k3n2eydkdrbtbpu7t6iexiiolq

Concepts Ontology Algebras and Role Descriptions

Cyrus F. Nourani, Patrik Eklund
2017 Position Papers of the 2017 Federated Conference on Computer Science and Information Systems  
A heterogeneous computing model with ontology preserving functions are applied to present concept learning across domains with structural agent morphisms.  ...  A computing models based on a novel multi-agent competitive learning with multiplayer game tree plans are applied. Agents are assigned to transform the models to reach goal plans.  ...  CONCLUDINGCOMMENTS A sound computing basis for ontology structures descriptions, and preservation theorems are accomplished with ontology preserving functions and morphisms that are applied to transform  ... 
doi:10.15439/2017f554 dblp:conf/fedcsis/NouraniE17 fatcat:2k23a4lrjvbn5nyquwwmeyvqry

Institution-Based Semantics for MOF and QVT-Relations [chapter]

Daniel Calegari, Nora Szasz
2013 Lecture Notes in Computer Science  
From a formal perspective, this requires semanticpreserving translations between the MDE elements and the semantic domain.  ...  This is often aided by (semi)automatic translations form the MDE elements to their formal representation in the semantic domain used for verification.  ...  The Object Management Group (OMG) has conducted a standardization process of languages for MDE.  ... 
doi:10.1007/978-3-642-41071-0_4 fatcat:ualfhz6wyzaatmv2kqlmc2zqhe

Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There [chapter]

Magne Haveraaen, Eric G. Wagner
2000 Lecture Notes in Computer Science  
For z = t, e, g, g, for Sign = Sig, Sig, CGSig, CGSig and for Alg = TAlg, PAlg, GTAlg, GPAlg, respectively: Given a signature morphism θ ∈ Sign(Θ, Θ ), a conditional equation ϕ ∈ CE(Θ), and an algebra  ...  If A and B are care-equivalent guarded, total or partial, algebras over a guarded signature Γ , then A g |= Γ ϕ if and only if B g |= Γ ϕ. Proof.  ...  A positive result here may be useful in the context of the algebraic specification language CASL [Mos97] , which admits both partial and total models.  ... 
doi:10.1007/978-3-540-44616-3_11 fatcat:bilb6hhdi5ejpi6f5hcu3brbxi

Prehomogeneous Affine Representations and Flat Pseudo-Riemannian Manifolds [article]

Oliver Baues
2008 arXiv   pre-print
At the heart of our presentation is a development of the theory of characteristic classes and characters of prehomogeneous affine representations.  ...  The theory of flat Pseudo-Riemannian manifolds and flat affine manifolds is closely connected to the topic of prehomogeneous affine representations of Lie groups.  ...  The group of volume preserving affine transformations is SAff(n) = {A ∈ Aff(n) | ℓ(A) ∈ SL n (R)}.  ... 
arXiv:0809.0824v1 fatcat:uw3xt4cnofblrjfo7sw6mf3rty

Modeling Theories and Model Transformation Scenario for Complex System Development

M.R. Dube, S. K. Dixit
2012 International Journal of Computer Applications  
A model transformation is a process of automatic generation of a target model from a source model, according to a transformation definition, which is expressed in a model transformation language.  ...  As model transformation is an important area in model driven development, we have compared various techniques available for model transformation.  ...  A signature is a set of values extracted from model elements properties values, such as its name and its type. iMAP is an approach for creation of links.  ... 
doi:10.5120/4618-6847 fatcat:godoztbqxrgktosu4m7xvf4wn4

Prototypes of elementary functional loops unravel evolutionary connections between protein functions

Alexander Goncearenco, Igor N. Berezovsky
2010 Computer applications in the biosciences : CABIOS  
The scoring function takes into account information content on profile positions, thus preserving the signature.  ...  Motivation: Earlier studies of protein structure revealed closed loops with a characteristic size 25-30 residues and ring-like shape as a basic universal structural element of globular proteins.  ...  ACKNOWLEDGEMENTS We thank Simon Mitternacht for helpful comments and suggestions. Funding: FUGE-II Norwegian functional genomics platform. Conflict of Interest: none declared.  ... 
doi:10.1093/bioinformatics/btq374 pmid:20823313 pmcid:PMC2935408 fatcat:dulb5fpxvvcabhig3dmxa2ce5u

Some results on Teichmüller spaces of Klein surfaces

Pablo Arés Gastesi
1997 Glasgow Mathematical Journal  
Then there exists a Kleinian group G, acting discontinuously on a simply connected set A ofC, and an antiholomorphic function r, such that 1. g(A) = A for all g e C; r(A) = A; 2.  ...  In the first result of this paper, we prove a uniformization theorem, by groups which are more suitable for computations than groups acting on the upper half plane. THEOREM 1.1.  ...  Here by a Kleinian group we mean a group of Mobius transformations that acts discontinuously on a non-empty open set of the Riemann sphere.  ... 
doi:10.1017/s001708950003192x fatcat:4cbgb67awrddvdatxjwozjbxhe

Some special $2$-generator Kleinian groups

Bernard Maskit
1989 Proceedings of the American Mathematical Society  
Let G be the subgroup of PSL(2, C) generated by the elements A and B , where A has two fixed points, and B maps one fixed point of A onto the other; when is G discrete?  ...  group of signature (0,4;2,2,2,3) can be generated by two hyperbolic elements [P-R] .  ...  If one ignores those words where a. -0 or oo, then one has an ordinary presentation of the algebraic structure of H.  ... 
doi:10.1090/s0002-9939-1989-0937850-4 fatcat:uhrx6lgd7vcrfmpi7hdufjuo5e

Some Special 2-Generator Kleinian Groups

Bernard Maskit
1989 Proceedings of the American Mathematical Society  
Let G be the subgroup of PSL(2, C) generated by the elements A and B , where A has two fixed points, and B maps one fixed point of A onto the other; when is G discrete?  ...  group of signature (0,4;2,2,2,3) can be generated by two hyperbolic elements [P-R] .  ...  If one ignores those words where a. -0 or oo, then one has an ordinary presentation of the algebraic structure of H.  ... 
doi:10.2307/2047389 fatcat:c4h27rhlwvcdtcilqio4a5yvfu
« Previous Showing results 1 — 15 out of 62,836 results