Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Petra B. Schumacher |
Definiteness Marking Shows Late Effects during Discourse Processing: Evidence from ERPs. |
DAARC |
2009 |
DBLP DOI BibTeX RDF |
Referential processing, Event-related brain potentials, Inferences, Definiteness |
57 | Salvatore Ruggieri, Frédéric Mesnard |
Typing Linear Constraints for Moding CLP() Programs. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
well-moding, constraint logic programming, definiteness, polyhedra, linear constraints |
57 | Liangyu Chen 0001, Zhenbing Zeng |
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. |
ASCM |
2007 |
DBLP DOI BibTeX RDF |
Homogeneous symmetric polynomial, Positive Semi- Definiteness, Difference Substitution |
57 | Velislava Stoykova |
Bulgarian Noun - Definite Article in DATR. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
DATR formal language for lexical knowledge presentation, Bulgarian definite article, computational morphology, definiteness |
49 | Zuhua Luo |
Strictly positive definiteness of Hermite interpolation on spheres. |
Adv. Comput. Math. |
1999 |
DBLP DOI BibTeX RDF |
strict positive definiteness, 42A82, 41A05, Hermite interpolation |
46 | Alexander S. Narin'yani |
*Sub-Definiteness, Over-Definiteness, and Absurdity in Knowledge Representation (Some Algebraic Aspects). |
CAIA |
1985 |
DBLP BibTeX RDF |
|
41 | Igor Mel'cuk, Leo Wanner |
Morphological mismatches in machine translation. |
Mach. Transl. |
2008 |
DBLP DOI BibTeX RDF |
Grammatical signification, Morphological mismatch, Deep-syntactic structure, Meaning-Text Theory, Machine translation, Aspect, Definiteness, Transfer |
38 | Lubomir V. Kolev |
Determining the Positive Definiteness Margin of Interval Matrices. |
Reliab. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Gerard Kempen, Karin Harbusch |
Generating Natural Word Orders in a Semi?free Word Order Language: Treebank-Based Linearization Preferences for German. |
CICLing |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Zhizhou Wang, Baba C. Vemuri, Yunmei Chen, Thomas Mareci |
Simultaneous Smoothing and Estimation of the Tensor Field from Diffusion Tens or MRI. |
CVPR (1) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Nicol N. Schraudolph |
Fast Curvature Matrix-Vector Products. |
ICANN |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Xingping Sun, Valdir Antonio Menegatto |
Strictly positive definite functions on the complex Hilbert sphere. |
Adv. Comput. Math. |
1999 |
DBLP DOI BibTeX RDF |
complex Hilbert sphere, positive definite functions, 41A82, 41A63, 41A05, multivariate interpolation |
26 | David J. Gorsich, Marc G. Genton |
On the discretization of nonparametric isotropic covariogram estimators. |
Stat. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Bochner''s theorem, Fourier-Bessel series, nonnegative least squares, spatial prediction, positive definiteness |
26 | Chengxian Xu, Jianzhong Zhang 0001 |
A Survey of Quasi-Newton Equations and Quasi-Newton Methods for Optimization. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
quasi-Newton equations, finite termination, quasi-Newton methods, convergence properties, positive definiteness |
23 | Yuqi Liu, Guanyi Chen, Kees van Deemter |
Computational Modelling of Plurality and Definiteness in Chinese Noun Phrases. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Zhanshan Wang, Guoqiang Tan |
Dissipativity Analysis of Delayed Recurrent Neural Networks via a Flexible Negative-Definiteness Determination Method. |
IEEE Trans. Circuits Syst. II Express Briefs |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Weiru Guo, Fang Liu 0014, Runmin Zou, Kangzhi Liu 0001 |
Further results on stability analysis of delayed neural networks via a parameter-dependent quadratic function negative-definiteness lemma. |
Int. J. Syst. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yibo Wang, Changchun Hua, Yunfei Qiu |
Stability and Stabilization for Amplidyne Electrical Systems via a Novel Negative-Definiteness Lemma. |
IEEE Trans. Syst. Man Cybern. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jianquan Li, Yuming Chen, Peijun Zhang, Xiaogang Liu |
A novel approach to determine negative (semi-)definiteness in applying Lyapunov direct method. |
Appl. Math. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Janne V. Kujala, Ehtibar N. Dzhafarov |
Quantum Mechanics Is Compatible with Counterfactual Definiteness. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Zixuan Ye, Yutong Dai 0001, Chaoyi Hong, Zhiguo Cao 0001, Hao Lu 0003 |
Infusing Definiteness into Randomness: Rethinking Composition Styles for Deep Image Matting. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Shuang Li, Weiguo Xia |
On the Definiteness and the Second Smallest Eigenvalue of Signed Laplacian Matrices. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jun Chen 0016, Ju H. Park 0001, Shengyuan Xu |
Improvement on reciprocally convex combination lemma and quadratic function negative-definiteness lemma. |
J. Frankl. Inst. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Fei Long, Chuan-Ke Zhang, Yong He 0003, Qing-Guo Wang, Min Wu 0002 |
Stability Analysis for Delayed Neural Networks via a Novel Negative-Definiteness Determination Method. |
IEEE Trans. Cybern. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ko Yamamoto 0001, Taiki Ishigaki, Yoshihiko Nakamura |
Humanoid Motion Control by Compliance Optimization Explicitly Considering its Positive Definiteness. |
IEEE Trans. Robotics |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Dustin G. Mixon, Yousef Qaddura |
Injectivity, stability, and positive definiteness of max filtering. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Zixuan Ye, Yutong Dai 0001, Chaoyi Hong, Zhiguo Cao 0001, Hao Lu 0003 |
Infusing Definiteness into Randomness: Rethinking Composition Styles for Deep Image Matting. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Andrés Gómez 0002, Javier Mas |
Hermitian matrix definiteness from quantum phase estimation. |
Quantum Inf. Process. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jun Chen 0016, Xian-Ming Zhang, Ju H. Park 0001, Shengyuan Xu |
Improved Stability Criteria for Delayed Neural Networks Using a Quadratic Function Negative-Definiteness Approach. |
IEEE Trans. Neural Networks Learn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Junhui Lee, Hyeon-Woo Na, PooGyeon Park |
Improved Stability Criterion for Delayed Neural Networks via Negative-Definiteness Condition of Quadratic Function. |
ASCC |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jun Chen 0016, Ju H. Park 0001, Shengyuan Xu |
Stability analysis for delayed neural networks via an improved negative-definiteness lemma. |
Inf. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Feichao Shen, Ying Zhang, Gang Wang |
Identifying the Positive Definiteness of Even-Order Weakly Symmetric Tensors via Z-Eigenvalue Inclusion Sets. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Martin D. Buhmann, Janin Jäger |
Strict positive definiteness of convolutional and axially symmetric kernels on d-dimensional spheres. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Mingyang Pan, Qinghe Wang, Dongdong He, Kejia Pan |
Positive-definiteness preserving and energy stable time-marching scheme for a diffusive Oldroyd-B electrohydrodynamic model. |
Commun. Nonlinear Sci. Numer. Simul. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Chang-Qing Lv, Changfeng Ma |
An iterative scheme for identifying the positive semi-definiteness of even-order real symmetric H-tensor. |
J. Comput. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jad Kabbara, Jackie Chi Kit Cheung |
Post-Editing Extractive Summaries by Definiteness Prediction. |
EMNLP (Findings) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Radek Simík, Christoph Demian |
Definiteness, Uniqueness, and Maximality in Languages With and Without Articles. |
J. Semant. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Ainesh Bakshi, Nadiia Chepurko, Rajesh Jayaram |
Testing Positive Semi-Definiteness via Random Submatrices. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
23 | Hong-lin Liao, Tao Tang 0003, Tao Zhou 0010 |
Positive definiteness of real quadratic forms resulting from the variable-step approximation of convolution operators. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
23 | Martin D. Buhmann, Janin Jäger |
Pólya-type criteria for conditional strict positive definiteness of functions on spheres. |
J. Approx. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Gang Wang 0036, Linxuan Sun, Lixia Liu |
M-Eigenvalues-Based Sufficient Conditions for the Positive Definiteness of Fourth-Order Partially Symmetric Tensors. |
Complex. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Qilong Liu, Jianxing Zhao, Chaoqian Li, Yaotang Li |
An iterative algorithm based on strong H-tensors for identifying positive definiteness of irreducible homogeneous polynomial forms. |
J. Comput. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Ainesh Bakshi, Nadiia Chepurko, Rajesh Jayaram |
Testing Positive Semi-Definiteness via Random Submatrices. |
FOCS |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Hayato Waki |
Positive Definiteness in Linear Matrix Inequality Problem for H-Infinity Output Feedback Control Problem. |
IEEE Control. Syst. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Kaili Zhang, Haibin Zhang, Pengfei Zhao, Xueyong Wang |
An iterative scheme for testing the positive definiteness of multivariate homogeneous forms. |
Int. J. Comput. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tao Ding, Rui Bo, Yongheng Yang, Frede Blaabjerg |
Impact of Negative Reactance on Definiteness of B-Matrix and Feasibility of DC Power Flow. |
IEEE Trans. Smart Grid |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jordi Recasens |
On a conjecture concerning positive semi-definiteness. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Martin Zaefferer, Thomas Bartz-Beielstein, Günter Rudolph |
An empirical approach for probing the definiteness of kernels. |
Soft Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Yi Xu, Liqun Qi 0001, Wenyu Sun |
On semi-definiteness and minimal H-eigenvalue of a symmetric space tensor using nonnegative polynomial optimization techniques. |
Signal Process. Image Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Yue Song, David J. Hill 0001, Tao Liu 0012 |
On Extension of Effective Resistance With Application to Graph Laplacian Definiteness and Power Network Stability. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Laura Menini, Corrado Possieri, Antonio Tornambè |
Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals. |
IEEE Trans. Autom. Control. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Andrew Gardner 0001, Christian A. Duncan, Jinko Kanno, Rastko R. Selmic |
On the Definiteness of Earth Mover's Distance and Its Relation to Set Intersection. |
IEEE Trans. Cybern. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Xin Xing, Edmond Chow |
Preserving Positive Definiteness in Hierarchically Semiseparable Matrix Approximations. |
SIAM J. Matrix Anal. Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Martin Zaefferer, Thomas Bartz-Beielstein, Günter Rudolph |
An Empirical Approach For Probing the Definiteness of Kernels. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | L. B. Rapoport |
Semidefinite Relaxation and New Conditions for Sign-Definiteness of the Quadratic Form under Quadratic Constraints. |
Autom. Remote. Control. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Zheng-Hai Huang, Liqun Qi 0001 |
Positive definiteness of paired symmetric tensors and elasticity tensors. |
J. Comput. Appl. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Mary Moroney |
Definiteness with Bare Nouns in Shan. |
ESSLLI Student Sessions |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nissim Francez, Bartosz Wieckowski |
A Proof Theory for First-order Logic with Definiteness. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
23 | Milan Hladík |
Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
23 | Yafei Song, Xiaodan Wang |
A new similarity measure between intuitionistic fuzzy sets and the positive definiteness of the similarity matrix. |
Pattern Anal. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alfredo Deaño, Nicholas J. Simm |
On the probability of positive-definiteness in the gGUE via semi-classical Laguerre polynomials. |
J. Approx. Theory |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas J. Higham, Natasa Strabic, Vedran Sego |
Restoring Definiteness via Shrinking, with an Application to Correlation Matrices with a Fixed Block. |
SIAM Rev. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Rafaela N. Bonfim, Valdir Antonio Menegatto |
Strict positive definiteness of multivariate covariance functions on compact two-point homogeneous spaces. |
J. Multivar. Anal. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Roux |
Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check. |
J. Autom. Reason. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Kaili Zhang, Yiju Wang |
An H-tensor based iterative scheme for identifying the positive definiteness of multivariate homogeneous forms. |
J. Comput. Appl. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yannan Chen, Liqun Qi 0001, Qun Wang |
Positive semi-definiteness and sum-of-squares property of fourth order four dimensional Hankel tensors. |
J. Comput. Appl. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yongxin Chen, Sei Zhen Khong, Tryphon T. Georgiou |
On the definiteness of graph Laplacians with negative weights: Geometrical and passivity-based approaches. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Andrzej Mróz |
Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Hirofumi Notsu, Masato Kimura |
Symmetry and positive definiteness of the tensor-valued spring constant derived from P1-FEM for the equations of linear elasticity. |
Networks Heterog. Media |
2014 |
DBLP BibTeX RDF |
|
23 | Mika Mattila, Pentti Haukkanen |
On the positive definiteness and eigenvalues of meet and join matrices. |
Discret. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Chaoqian Li, Feng Wang, Jianxing Zhao, Yan Zhu, Yaotang Li |
Criterions for the positive definiteness of real supersymmetric tensors. |
J. Comput. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Adrian Czardybon, Oliver Hellwig, Wiebke Petersen |
Statistical Analysis of the Interaction between Word Order and Definiteness in Polish. |
PolTAL |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Graziano Chesi |
On the definiteness of univariate and bivariate two-side matrix polynomials over unitary complex numbers. |
ACC |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Zelazo, Mathias Bürger |
On the definiteness of the weighted Laplacian and its connection to effective resistance. |
CDC |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Archna Bhatia, Chu-Cheng Lin, Nathan Schneider 0001, Yulia Tsvetkov, Fatima Talib Al-Raisi, Laleh Roostapour, Jordan Bender, Abhimanu Kumar, Lori S. Levin, Mandy Simons, Chris Dyer |
Automatic Classification of Communicative Functions of Definiteness. |
COLING |
2014 |
DBLP BibTeX RDF |
|
23 | Archna Bhatia, Mandy Simons, Lori S. Levin, Yulia Tsvetkov, Chris Dyer, Jordan Bender |
A Unified Annotation Scheme for the Semantic/Pragmatic Components of Definiteness. |
LREC |
2014 |
DBLP BibTeX RDF |
|
23 | Jennifer Pestana, Andrew J. Wathen |
Combination preconditioning of saddle point systems for positive definiteness. |
Numer. Linear Algebra Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mathieu Bouchard, Anne-Laure Jousselme, Pierre-Emmanuel Doré |
A proof for the positive definiteness of the Jaccard index matrix. |
Int. J. Approx. Reason. |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ebrahim A. Gharavol, Erik G. Larsson |
The Sign-Definiteness Lemma and Its Applications to Robust Transceiver Optimization for Multiuser MIMO Systems. |
IEEE Trans. Signal Process. |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Joris Gillis, Moritz Diehl |
A positive definiteness preserving discretization method for Lyapunov differential equations. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Hisakazu Nakamura |
Positive Definiteness of Generalized Homogeneous Functions. |
NOLCOS |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Koen Roelandt |
(The) Most in Flemish Dutch: Definiteness and Specificity. |
ESSLLI Student Sessions |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Xingjie Helen Li, Mitchell Luskin, Christoph Ortner |
Positive Definiteness of the Blended Force-Based Quasicontinuum Method. |
Multiscale Model. Simul. |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Guojing Ren, Yuming Shi |
Defect indices and definiteness conditions for a class of discrete linear Hamiltonian systems. |
Appl. Math. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Sveta Krasikova |
Definiteness in Superlatives. |
Amsterdam Colloquium on Logic, Language and Meaning |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Shih Yu Chang, Hsiao-Chun Wu |
Convolutive-Error-Measure Analysis for Inverse Filtering and Minimum Total-Model-Order Determination Subject to Positive-Definiteness. |
IEEE J. Sel. Top. Signal Process. |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Scott Martin, Carl Pollard |
Hyperintensional Dynamic Semantics - Analyzing Definiteness with Enriched Contexts. |
FG |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Roman Simon Hilscher, Vera Zeidan |
Picone type identities and definiteness of quadratic functionals on time scales. |
Appl. Math. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Delin Chu, Moody T. Chu, Wen-Wei Lin |
Quadratic Model Updating with Symmetry, Positive Definiteness, and No Spill-Over. |
SIAM J. Matrix Anal. Appl. |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Farzan Haddadi, Mohammad Mahdi Nayebi, Mohammad Reza Aref |
On The Positive Definiteness of Polarity Coincidence Correlation Coefficient Matrix |
CoRR |
2009 |
DBLP BibTeX RDF |
|
23 | Farzan Haddadi, Mohammad Mahdi Nayebi, Mohammad Reza Aref |
On The Positive Definiteness of Polarity Coincidence Correlation Coefficient Matrix. |
IEEE Signal Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Qin Ni, Liqun Qi 0001, Fei Wang |
An Eigenvalue Method for Testing Positive Definiteness of a Multivariate Form. |
IEEE Trans. Autom. Control. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Pål Johan From, Jan Tommy Gravdahl |
On the equivalence of orientation error and positive definiteness of matrices. |
ICARCV |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Anastasia Giannakidou, Lisa Lai-Shen Cheng |
(In)Definiteness, Polarity, and the Role of wh-morphology in Free Choice. |
J. Semant. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Elzbieta Hajnicz |
Definiteness of Polish Noun Phrases Modified by Relative Clauses in the DRT Framework. |
Intelligent Information Systems |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Fei Wang, Liqun Qi 0001 |
Comments on "Explicit criterion for the positive definiteness of a general quartic form". |
IEEE Trans. Autom. Control. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Klaus von Heusinger |
Specificity and Definiteness in Sentence and Discourse Structure. |
J. Semant. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Engelberg |
Intransitive Accomplishments and the Lexicon: The Role of Implicit Arguments, Definiteness, and Reflexivity in Aspectual Composition. |
J. Semant. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Barbara Abbott |
Discussion Note: Definiteness and Proper Names: Some Bad News for the Description Theory. |
J. Semant. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Aram V. Arutyunov, Alexey F. Izmailov |
Positive Definiteness of Forms: Numerical Identification. |
SIAM J. Control. Optim. |
2002 |
DBLP DOI BibTeX RDF |
|