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

.

## Filters

##
###
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*... However, this leads to*a**new*data representation that is quadratic in the number of objects w.r.t. the original data. ...*For*applying the FCA machinery,*a*manyvalued*context*can be transformed into*a**formal**context*with*a*conceptual scaling. ...##
###
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 ...##
###
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 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/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. ...##
###
Page 6205 of Mathematical Reviews Vol. , Issue 91K
[page]

1991
*
Mathematical Reviews
*

Summary: “

*For*time-independent fields differences between the classical Lagrangian and Hamiltonian*formalisms*vanish. ... ) Remark on the paper: “Configuration*dependent*pressure potentials” [J. ...##
###
Should Symmetric Quantum Mechanics Be Interpreted as Nonlinear?

2002
*
Journal of Nonlinear Mathematical Physics
*

The resulting "effective" Hamiltonians H(eff) are always Hermitian, and the two alternative forms of their energy-

doi:10.2991/jnmp.2002.9.s2.11
fatcat:i7z3pugmlrdvfkyvtd6pqi3d6y
*dependence*are interpreted as*a*certain dynamical nonlinearity, responsible*for*the repulsion ... The Feshbach-type reduction of the Hilbert space to the physically most relevant "model" subspace is suggested as*a*means of*a**formal*unification of the standard quantum mechanics with its recently proposed ...*A*104 8004. ...##
###
Supersymmetry without hermiticity within symmetric quantum mechanics

2000
*
Physics Letters B
*

*A*

*new*model of supersymmetry between bosons and fermions is proposed. ... The

*formalism*admits vanishing Witten index. ... Still, even in this

*context*many

*formal*questions remain open. ...

##
###
The creation of social and intellectual capital in virtual communities of practice: shaping social structure in virtual communities of practice

2006
*
International Journal of Learning and Change
*

CoPs are said to be

doi:10.1504/ijlc.2006.010972
fatcat:jfctm4gftzbehdr4xrdu2jdxee
*a*more effective organizational form*for*knowledge creation than traditional and*formal*ways of structuring interaction. ... CoPs are said to be*a*more effective organizational form*for*knowledge creation than traditional and*formal*ways of structuring interaction. ... As*a*result, we plead*for**a**context**dependent*mix of weak and strong ties in VCoPs. ...##
###
Cooperation between research and practice for the development of innovations in an educational design project

2020
*
Educational design research (EDeR)
*

*For*this purpose, we draw on

*a*DBR project as an example, wherein the European model of validation was adapted to the field of geriatric care in Germany. ... However, we additionally critically examine how cooperation between research and practice can be managed and ignite innovation that over time may have

*a*transformative effect on practices often taken

*for*... Cooperation often has

*a*multifaceted nature, displaying

*symmetrical*and asymmetrical characteristics simultaneously. Cooperation may create

*new*

*dependencies*. ...

##
###
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. ... We exhibit an example where these definitions of*context*and*context*area are not satisfying. We then propose*a**new**formalism*to define*context*and*context*area. ...##
###
Page 5260 of Mathematical Reviews Vol. , Issue 97H
[page]

1997
*
Mathematical Reviews
*

To this pur- pose,

*a*vierbein-type*formalism*is developed, and it is shown that in general the*symmetric*sector is also not static. ... He attempts to involve the massive term in the spherically*symmetric*case at least in linear approximation. The author works in*a*first-order Lagrangian*formalism*with*A*= 0. ...##
###
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. ...##
###
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. ...
« Previous

*Showing results 1 — 15 out of 289,352 results*