A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Linearization and Mappings onto Pseudocircle Domains

1984
*
Transactions of the American Mathematical Society
*

The finitely generated

doi:10.2307/1999596
fatcat:dotmhln2xfezvjbaqujxtnrvja
*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. ...##
###
Linearization and mappings onto pseudocircle domains

1984
*
Transactions of the American Mathematical Society
*

The finitely generated

doi:10.1090/s0002-9947-1984-0728721-7
fatcat:ls2p4cqo2bepfpuafix53622pi
*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. ...##
###
On extended quasifuchsian groups

1990
*
Annales Academiae Scientiarum Fennicae Series A I Mathematica
*

In this paper, we complete our investigation of finitely generated Kleinian

doi:10.5186/aasfm.1990.1523
fatcat:kg7xrzyewnewhf5te2s2nnqxba
*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 ...##
###
Recovering of visual scenarios in movies by motion analysis and grouping spatio-temporal colour signatures of video shots

2001
*
European Society for Fuzzy Logic and Technology
*

The paper proposes

dblp:conf/eusflat/Benois-PineauDB01
fatcat:zmjvf6b5avh6zihuywyn7m4jxi
*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. ...##
###
A New Hash-and-Sign Approach and Structure-Preserving Signatures from DLIN
[chapter]

2012
*
Lecture Notes in Computer Science
*

As

doi:10.1007/978-3-642-32928-9_8
fatcat:leym54knzrfdrirlkt6egocsi4
*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. ...##
###
Institution-based foundations for verification in the context of model-driven engineering

2015
*
Science of Computer Programming
*

We provide institutions

doi:10.1016/j.scico.2015.02.006
fatcat:k3n2eydkdrbtbpu7t6iexiiolq
*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. ...##
###
Concepts Ontology Algebras and Role Descriptions

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*...

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

2013
*
Lecture Notes in Computer Science
*

From

doi:10.1007/978-3-642-41071-0_4
fatcat:ualfhz6wyzaatmv2kqlmc2zqhe
*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. ...##
###
Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There
[chapter]

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. ...

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

2008
*
arXiv
*
pre-print

At the heart of our presentation is

arXiv:0809.0824v1
fatcat:uw3xt4cnofblrjfo7sw6mf3rty
*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)}. ...##
###
Modeling Theories and Model Transformation Scenario for Complex System Development

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. ...

##
###
Prototypes of elementary functional loops unravel evolutionary connections between protein functions

2010
*
Computer applications in the biosciences : CABIOS
*

The scoring function takes into account information content

doi:10.1093/bioinformatics/btq374
pmid:20823313
pmcid:PMC2935408
fatcat:dulb5fpxvvcabhig3dmxa2ce5u
*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. ...##
###
Some results on Teichmüller spaces of Klein surfaces

1997
*
Glasgow Mathematical Journal
*

Then there exists

doi:10.1017/s001708950003192x
fatcat:4cbgb67awrddvdatxjwozjbxhe
*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. ...##
###
Some special $2$-generator Kleinian groups

1989
*
Proceedings of the American Mathematical Society
*

Let G be the subgroup of PSL(2, C) generated by the

doi:10.1090/s0002-9939-1989-0937850-4
fatcat:uhrx6lgd7vcrfmpi7hdufjuo5e
*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. ...##
###
Some Special 2-Generator Kleinian Groups

1989
*
Proceedings of the American Mathematical Society
*

Let G be the subgroup of PSL(2, C) generated by the

doi:10.2307/2047389
fatcat:c4h27rhlwvcdtcilqio4a5yvfu
*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. ...
« Previous

*Showing results 1 — 15 out of 62,836 results*