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

.

## Filters

##
###
A Formal Context for Symmetric Dependencies
[chapter]

*
Formal Concept Analysis
*

In this paper we present

doi:10.1007/978-3-540-78137-0_7
dblp:conf/icfca/Baixeries08
fatcat:iwolss3ievez5jyjj35txtsaee
*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. ...##
###
Staged trees and asymmetry-labeled DAGs
[article]

2021
*
arXiv
*
pre-print

Furthermore, we define

arXiv:2108.01994v1
fatcat:k42wrgqze5hm7o34lbwxbslfte
*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. ...##
###
Characterizing functional dependencies in formal concept analysis with pattern structures

2014
*
Annals of Mathematics and Artificial Intelligence
*

Considering the discovery of functional

doi:10.1007/s10472-014-9400-3
fatcat:ckesjrsxe5fc5cvek5x35zondy
*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. ...##
###
Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research
[chapter]

2005
*
Lecture Notes in Computer Science
*

Several problems of classification required consideration of tolerance relations as

doi:10.1007/11528784_11
fatcat:fjqiqtg43za7riibwonzegqisq
*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). ...##
###
On the characterization of alternatives

2011
*
Natural Language Semantics
*

set of

doi:10.1007/s11050-010-9065-3
fatcat:ka2z523jqjaqrp4pmvjvvjql5a
*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? ...##
###
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

2010
*
ACM SIGGRAPH 2010 papers on - SIGGRAPH '10
*

We systematically collect such editing operations and analyze their

doi:10.1145/1833349.1778841
fatcat:ma6tlkrcozd2rl6zww5xv62npe
*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. ...##
###
A connection between partial symmetry and inverse procedural modeling

2010
*
ACM Transactions on Graphics
*

We systematically collect such editing operations and analyze their

doi:10.1145/1778765.1778841
fatcat:qeccgajgurgrhgsnxufk5jp3fa
*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. ...##
###
A connection between partial symmetry and inverse procedural modeling

2010
*
ACM Transactions on Graphics
*

We systematically collect such editing operations and analyze their

doi:10.1145/1833351.1778841
fatcat:csehgpy5bzf3lky6a76ok53s4y
*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. ...##
###
Selection Using Non-symmetric Context Areas
[chapter]

2005
*
Lecture Notes in Computer Science
*

Using this extension, we exhibit three different modes of selection and demonstrate their differences on

doi:10.1007/11575863_40
fatcat:hay42p4be5dhdfwombgdwppxvy
*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. ...##
###
Hybrid dynamical type theories for navigation
[article]

2021
*
arXiv
*
pre-print

controller synthesis from

arXiv:2108.07625v1
fatcat:ggnyks357ncvjj5exgp5btiqza
*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. ...##
###
A reversible bifurcation analysis of the inverted pendulum

1998
*
Physica D : Non-linear phenomena
*

The inverted pendulum with

doi:10.1016/s0167-2789(97)00201-7
fatcat:y5rwjomalnbgnbrirmzjzlm2n4
*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. ...##
###
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]

2018
*
arXiv
*
pre-print

In

arXiv:1801.03527v1
fatcat:m6zxed7m7nfzzjy7b47lw5eyk4
*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 ...##
###
Fuzzy Implication and Functional Dependency on Formal Context

2020
*
Jurnal Matematika Integratif
*

Fuzzy

doi:10.24198/jmi.v15.n2.21693.69
fatcat:laobotj6rzhjpaut7bedqv7biy
*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 . ...
« Previous

*Showing results 1 — 15 out of 339,914 results*