Filters








339,914 Hits in 3.9 sec

A Formal Context for Symmetric Dependencies [chapter]

Jaume Baixeries
Formal Concept Analysis  
In this paper we present a new formal context for symmetric dependencies. We study its properties and compare it with previous approaches.  ...  We also discuss how this new context may open the door to solve some open problems for symmetric dependencies.  ...  Conclusions and Future Work We have presented a new formal context for symmetric dependencies. This contexts provides the same functionalities as previous approaches, and it is much simpler.  ... 
doi:10.1007/978-3-540-78137-0_7 dblp:conf/icfca/Baixeries08 fatcat:iwolss3ievez5jyjj35txtsaee

Staged trees and asymmetry-labeled DAGs [article]

Gherardo Varando, Federico Carli, Manuele Leonelli
2021 arXiv   pre-print
Furthermore, we define a new labeled graph, termed asymmetry-labeled directed acyclic graph, whose edges are labeled to denote the type of dependence existing between any two random variables.  ...  Here we formalize the relationship between these two models and introduce a minimal Bayesian network representation of the staged tree, which can be used to read conditional independences in an intuitive  ...  Formally, let G be the DAG of a BN and E its edge set. Let 'partial', 'context/partial', 'local', ' total'} be the set of edge labels marking the type of dependence. L A = {'context', Definition 7.  ... 
arXiv:2108.01994v1 fatcat:k42wrgqze5hm7o34lbwxbslfte

Characterizing functional dependencies in formal concept analysis with pattern structures

Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli
2014 Annals of Mathematics and Artificial Intelligence  
Considering the discovery of functional dependencies, it is indeed known that a relation can be expressed as the binary relation of a formal context, whose implications are equivalent to those dependencies  ...  Here, we present an alternative avoiding such a data representation and show how to characterize functional dependencies using the formalism of pattern structures, an extension of classical FCA to handle  ...  For applying the FCA machinery, a manyvalued context can be transformed into a formal context with a conceptual scaling.  ... 
doi:10.1007/s10472-014-9400-3 fatcat:ckesjrsxe5fc5cvek5x35zondy

Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research [chapter]

Sergei O. Kuznetsov
2005 Lecture Notes in Computer Science  
Several problems of classification required consideration of tolerance relations as a model of similarity of objects. Such relations define symmetric formal contexts.  ...  A retrospective survey of several research directions at the All-Soviet (now All-Russia) Institute for Scientific and Technical Information (VINITI), as well as research represented in several VINITI editions  ...  The set of all formal concepts of a formal context K forms a complete lattice called (formal) concept lattice B(K).  ... 
doi:10.1007/11528784_11 fatcat:fjqiqtg43za7riibwonzegqisq

On the characterization of alternatives

Danny Fox, Roni Katzir
2011 Natural Language Semantics  
set of formal alternatives, and by context, which selects a subset of the formal alternatives.  ...  . 15 Could the type-based approach maintain its use of symmetric formal alternatives by assuming that usual contexts just happen not to have S 2 as a member?  ... 
doi:10.1007/s11050-010-9065-3 fatcat:ka2z523jqjaqrp4pmvjvvjql5a

Page 6630 of Mathematical Reviews Vol. , Issue 99j [page]

1999 Mathematical Reviews  
99}:05189 05 Hecke algebra and symmetric function contexts.  ...  In this context the power sums p, are algebraically in- dependent and may be specialized at will.  ... 

A connection between partial symmetry and inverse procedural modeling

Martin Bokeloh, Michael Wand, Hans-Peter Seidel
2010 ACM SIGGRAPH 2010 papers on - SIGGRAPH '10  
We systematically collect such editing operations and analyze their dependency to build a shape grammar.  ...  (b) Symmetric regions are marked in red. (c) A set of symmetric curves that cuts the model into two pieces yields a docking site that corresponds to (d) a replacement operation.  ...  Acknowledgements The authors would like to thank Alexander Berner, Qi-Xing Huang, Matthias Hullin, and Leonidas Guibas for useful discussions, and Gerd Wolf for creating many of our example models.  ... 
doi:10.1145/1833349.1778841 fatcat:ma6tlkrcozd2rl6zww5xv62npe

A connection between partial symmetry and inverse procedural modeling

Martin Bokeloh, Michael Wand, Hans-Peter Seidel
2010 ACM Transactions on Graphics  
We systematically collect such editing operations and analyze their dependency to build a shape grammar.  ...  (b) Symmetric regions are marked in red. (c) A set of symmetric curves that cuts the model into two pieces yields a docking site that corresponds to (d) a replacement operation.  ...  Acknowledgements The authors would like to thank Alexander Berner, Qi-Xing Huang, Matthias Hullin, and Leonidas Guibas for useful discussions, and Gerd Wolf for creating many of our example models.  ... 
doi:10.1145/1778765.1778841 fatcat:qeccgajgurgrhgsnxufk5jp3fa

A connection between partial symmetry and inverse procedural modeling

Martin Bokeloh, Michael Wand, Hans-Peter Seidel
2010 ACM Transactions on Graphics  
We systematically collect such editing operations and analyze their dependency to build a shape grammar.  ...  (b) Symmetric regions are marked in red. (c) A set of symmetric curves that cuts the model into two pieces yields a docking site that corresponds to (d) a replacement operation.  ...  Acknowledgements The authors would like to thank Alexander Berner, Qi-Xing Huang, Matthias Hullin, and Leonidas Guibas for useful discussions, and Gerd Wolf for creating many of our example models.  ... 
doi:10.1145/1833351.1778841 fatcat:csehgpy5bzf3lky6a76ok53s4y

Selection Using Non-symmetric Context Areas [chapter]

Diane Lingrand, Stéphane Lavirotte, Jean-Yves Tigli
2005 Lecture Notes in Computer Science  
Using this extension, we exhibit three different modes of selection and demonstrate their differences on a mobile applications: the museum visit.  ...  This paper targets with applications running on mobile devices and using context informations.  ...  Using this formalism, we introduce again the selection modes definitions that are, in this case, not symmetric. We illustrate this on a mobile applications: the museum visit.  ... 
doi:10.1007/11575863_40 fatcat:hay42p4be5dhdfwombgdwppxvy

Hybrid dynamical type theories for navigation [article]

Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
2021 arXiv   pre-print
controller synthesis from formal task specifications.  ...  This type theory combines the framework of Fu--Kishida--Selinger for constructing linear dependent type theories from state-parameter fibrations with previous work on categories of hybrid systems under  ...  One approach to resolving this contradiction is to have two separate contexts-one for linear data, and one for intuitionistic data-and prescribe how types are allowed to depend on linear terms.  ... 
arXiv:2108.07625v1 fatcat:ggnyks357ncvjj5exgp5btiqza

A reversible bifurcation analysis of the inverted pendulum

H.W. Broer, I. Hoveijn, M. van Noort
1998 Physica D : Non-linear phenomena  
The inverted pendulum with a periodic parametric forcing is considered as a bifurcation problem in the reversible setting. Parameters are given by the size of the forcing and the frequency ratio.  ...  Normal form theory provides an integrable approximation of the Poincar6 map generated by a planar vector field.  ...  Acknowledgements We thank Heinz HanBmann, Ken Meyer, Floris Takens, Andr6 Vanderbauwhede and Gert Vegter for helpful discussion.  ... 
doi:10.1016/s0167-2789(97)00201-7 fatcat:y5rwjomalnbgnbrirmzjzlm2n4

Page 4718 of Mathematical Reviews Vol. , Issue 84k [page]

1984 Mathematical Reviews  
The events in these structures are formally derived from symmetric bilateral restrictions.  ...  by a formal theory, say Peano arithmetic.  ... 

Multiplication of Distributions and Nonperturbative Calculations of Transition Probabilities [article]

J. Aragona, P. Catuogno, J.F. Colombeau, S.O. Juriaans, C. Olivera
2018 arXiv   pre-print
In a mathematical context in which one can multiply distributions the "'formal"' nonperturbative canonical Hamiltonian formalism in Quantum Field Theory makes sense mathematically, which can be understood  ...  A novelty appears when one starts to compute the transition probabilities.  ...  One of the authors (JFC) is very much indebted to Raymond Stora for help and discussions in the years 1976-1977, which were at the origin of his work on multiplication of distributions and of the contents  ... 
arXiv:1801.03527v1 fatcat:m6zxed7m7nfzzjy7b47lw5eyk4

Fuzzy Implication and Functional Dependency on Formal Context

Mohammad Deni Akbar, Yoshihiro Mizoguchi
2020 Jurnal Matematika Integratif  
Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes.  ...  Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency.  ...  For a fuzzy context T on Y we define another fuzzy context T * on Y by T * = { C|C ⊆ T }. Note. For example, {xα|x ∈ X} * is the set of all formal concepts for a fuzzy relation α : X Y .  ... 
doi:10.24198/jmi.v15.n2.21693.69 fatcat:laobotj6rzhjpaut7bedqv7biy
« Previous Showing results 1 — 15 out of 339,914 results