Filters








378 Hits in 10.5 sec

The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version) [article]

Francesco Kriegel
2019 arXiv   pre-print
For the description logic EL, we consider the neighborhood relation which is induced by the subsumption order, and we show that the corresponding lattice of EL concept descriptions is distributive, modular  ...  , graded, and metric.  ...  ACKNOWLEDGEMENTS The author gratefully thanks both Franz Baader and Bernhard Ganter for fruitful discussions on neighborhood generated orders and further thanks Franz Baader again for proof-reading as  ... 
arXiv:1901.05919v1 fatcat:nspj4aczdfb2xekvadmgma4v3i

A Review of Rough Set Models [chapter]

Y. Y. Yao, S. K. M. Wong, T. Y. Lin
1997 Rough Sets and Data Mining  
The paper provides a review of the Pawlak rough set model and its extensions, with emphasis on the formulation, characterization, and interpretation of various rough set models.  ...  Since introduction of the theory of rough set in early eighties, considerable work has been done on the development and application of this new theory.  ...  It is motivated by the practical needs in classification and concept formation [27] .  ... 
doi:10.1007/978-1-4613-1461-5_3 fatcat:ln6getivu5fuhhxq73esqi5seu

An algebraic theory of normal forms

Silvio Ghilardi
1995 Annals of Pure and Applied Logic  
One may also directly use some adjoint functor theorem (see [17]). 3 This will be our trend for the rest of the paper: we give full details of the general theory and of its applications to the basic example  ...  of modal algebras, whereas for the other cases we give only the final results.  ...  Acknowledgements The author wishes to thank, among others, F. Bellissima, A. Joyal, V. Shehtman and especially A. Carboni for information and discussions.  ... 
doi:10.1016/0168-0072(93)e0084-2 fatcat:cdebx4wvybdu7psf5fzct5kcoy

Poset topology: Tools and applications [chapter]

Michelle Wachs
2007 Geometric Combinatorics  
In this section we begin with the simpler but less powerful version, EL-shellability, and discuss some of its consequences.  ...  The Garnir relation We give two different EL-labelings of the partition lattice. The first one, due to Gessel, appears in [21] , and the second one is due to Wachs [196] .  ...  By the equivariant homology version of the Quillen fiber lemma the only nonvanishing homology of NCG n is given bỹ Exercise 5.2.9.  ... 
doi:10.1090/pcms/013/09 fatcat:ipixgnk2bjcpxnqqysvqoxyvni

Trust Indicator For Decisions Based On Geospatial Data

Ivanildo Barbosa, Marco A. Casanova
2011 Brazilian Symposium on GeoInformatics  
We present the principles underlying our approach and examples illustrating how they work by means of the tool.  ...  One key issue in Peer Data Management Systems (PDMSs) is the heterogeneity of the peer schemas. To help matters, ontologies may be used as uniform conceptual representation of these schemas.  ...  The members of http://musil.unimuenster.de and the students of my Introduction to Geographic Information Science have been very helpful critics and supporters of this work.  ... 
dblp:conf/geoinfo/BarbosaC11 fatcat:czol77uae5fsti3kdck5oe33xe

Poset Topology: Tools and Applications [article]

Michelle L. Wachs
2006 arXiv   pre-print
Some of the topics covered are: subspace arrangements, graph complexes, group actions on poset homology, shellability, recursive techniques, and fiber theorems.  ...  These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of poset topology.  ...  In this section we begin with the simpler but less powerful version, EL-shellability, and discuss some of its consequences.  ... 
arXiv:math/0602226v2 fatcat:wck4csepvbg6pe2iu7k2me5nt4

Classical BV theories on manifolds with boundary [article]

Aberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin
2012 arXiv   pre-print
In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners.  ...  In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary.  ...  Classically it extends to higher categories, and we anticipate that quantum counterparts of such extensions are higher category versions of topological quantum field theories.  ... 
arXiv:1201.0290v3 fatcat:n7d4fi5levd5rniq2dh5k4uikm

Three-dimensional solid texture analysis in biomedical imaging: Review and opportunities

Adrien Depeursinge, Antonio Foncubierta-Rodriguez, Dimitri Van De Ville, Henning Müller
2014 Medical Image Analysis  
The geometrical properties of biomedical textures are studied both in their natural space and on digitized lattices.  ...  Future research directions and opportunities are proposed to efficiently model personalized image-based phenotypes of normal biomedical tissue and its alterations.  ...  of the Khresmoi project (FP7-257528).  ... 
doi:10.1016/j.media.2013.10.005 pmid:24231667 fatcat:6luivlhrtrdv5dlbh626ohkps4

Classical BV Theories on Manifolds with Boundary

Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin
2014 Communications in Mathematical Physics  
In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners.  ...  In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary.  ...  Classically it extends to higher categories, and we anticipate that quantum counterparts of such extensions are higher category versions of topological quantum field theories.  ... 
doi:10.1007/s00220-014-2145-3 fatcat:x3xqjdxhevetdn7putzbv4ijbi

Non-invasive acceleration-based methodology for damage detection and assessment of water distribution system

Masanobu Shinozuka, Pai H. Chou, Sehwan Kim, Hong Rok Kim, Debasis Karmakar, Lu Fei
2010 Smart Structures and Systems  
This paper presents the results of a pilot study and verification of concept of a novel methodology for damage detection and assessment of water distribution system.  ...  This paper presents the results of a small-scale laboratory experiment that serves as the proof of concept of the proposed technology.  ...  Acknowledgments This study was done under a National Institute of Standards and Technology (NIST) Technology Innovation Program (TIP) Grant 080058, as a joint venture with the Orange County Sanitation  ... 
doi:10.12989/sss.2010.6.5_6.545 fatcat:zfb7yxyovfdbjnvgeodbvgpa7i

Nonlocal Integral Formulations of Plasticity and Damage: Survey of Progress

Zdeněk P. Bažant, Milan Jirásek
2002 Journal of engineering mechanics  
Modeling of the evolution of distributed damage such as microcracking, void formation, and softening frictional slip necessitates strain-softening constitutive models.  ...  The nonlocal continuum concept has emerged as an effective means for regularizing the boundary value problems with strain softening, capturing the size effects and avoiding spurious localization that gives  ...  Logarithmic size effect plots of ͑a͒ the numerical results obtained with the nonlocal Weibull-type probabilistic theory, and ͑b͒ previously published test data on the modulus of rupture of concrete, f  ... 
doi:10.1061/(asce)0733-9399(2002)128:11(1119) fatcat:plcgyb5rq5bdnaghg5eulvbegq

A WALK IN THE NONCOMMUTATIVE GARDEN [chapter]

ALAIN CONNES, MATILDE MARCOLLI
2008 An Invitation to Noncommutative Geometry  
Thus, the quotient of the space of 1-dimensional Q-lattices up to scale by the commensurability relation and its algebra of coordinates is given by the semigroup crossed product (22.6) C * (Q/Z) ⋊ N ×  ...  The second description keeps track of the Galois symmetry and as in proposition 26.3 the isomorphism of the two descriptions is non canonical.  ... 
doi:10.1142/9789812814333_0001 fatcat:dklinecombeunbkuhvmdotqzea

Triples, fluxes, and strings

Jan de Boer, Robbert Dijkgraaf, Kentaro Hori, Arjan Keurentjes, John Morgan, David R. Morrison, Savdeep Sethi
2000 Advances in Theoretical and Mathematical Physics  
We are naturally led to conjecture the existence of new dualities relating spaces with different singular geometries and fluxes.  ...  These vacua can be realized in a number ways: the perturbative constructions we study include toroidal compactifications of the heterotic/type I strings, asymmetric orbifolds, and orientifolds.  ...  The descriptions we give of the lattices can be inferred from the descriptions in [37] using techniques from [57] . A related geometric structure appears in [69] .  ... 
doi:10.4310/atmp.2000.v4.n5.a1 fatcat:mfv5qxhw4ngz3o5abwr5nkbmca

QCD2019 Workshop Summary [article]

S.J. Brodsky, V.D. Burkert, D.S. Carman, J.P. Chen, Z.-F. Cui, M. Döring, H.G. Dosch, J.P. Draayer, L. Elouadrhiri, D.I. Glazier, A.N. Hiller Blin, T. Horn (+17 others)
2020 arXiv   pre-print
Impressive progress in relating hadron structure observables to the strong QCD mechanisms has been achieved from the ab initio QCD description of hadron structure in a diverse array of methods in order  ...  The wealth of experimental data and the advances in hadron structure theory make it possible to gain insight into strong interaction dynamics in the regime of large quark-gluon coupling (the strong QCD  ...  ACKNOWLEDGMENTS We are grateful to the following people for constructive comments during the preparation of this manuscript:  ... 
arXiv:2006.06802v2 fatcat:lnagm2mdorfoteza673imvcm7i

Purity Observance among Diaspora Jews in the Roman World

Jodi Magness
2017 Archaeology and Text A Journal for the Integration of Material Culture with Written Documents in the Ancient Mediterranean and Near East  
By publishing all of its articles online, the Archaeology and Text seeks to disseminate its published papers immediately after peer-review and editorial processes have been completed, providing timely  ...  The study of the human past has conventionally been divided between two distinct academic disciplines depending upon the kind of evidence under investigation: "history", with its focus on written records  ...  The description of a similar system of graded spheres of holiness and purity in the Temple Scroll shows that this concept is not a rabbinic invention of the post-70 era, rather it originated in the Second  ... 
doi:10.21461/at012017.39-66 fatcat:r2tq2nqunrc6znuaestakh7jzu
« Previous Showing results 1 — 15 out of 378 results