Search results for "DEG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Felix Ulmer, Jacques Calmet	On Liouvillian Solutions of Homogeneous Linear Differential Equations.	ISSAC	1990	DBLP DOI BibTeX RDF
102	Robin R.-B. Sheen, Oscal T.-C. Chen, Zheng-Dao Lee	A high-performance CMOS multiphase voltage-controlled oscillator for communication systems.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
91	Babak Movassaghi, Volker Rasche, Michael Grass 0001, Max A. Viergever, Wiro J. Niessen	A quantitative analysis of 3-D coronary modeling from two or more projection images.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
57	Gwanggil Jeon, Jechang Jeong, Joohyun Lee, Jongmin You, Chengke Wu 0001	A Spatio-Temporal Fuzzy Interpolation Algorithm for Video Deinterlacing.	ICIP	2006	DBLP DOI BibTeX RDF
57	Yoshihiro Saito, Tatsuya Hashinaga, Shigeru Nakajima	Effect of CVD-SiO2 film on reliability of GaAs MESFET with Ti/Pt/Au gate metal.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
57	Antonio Rama, Francesc Tarres, Davide Onofrio, Stefano Tubaro	Using partial information for face recognition and pose estimation.	ICME	2005	DBLP DOI BibTeX RDF	face recognition approach, partial principal component analysis, P/sup 2/CA, training stage, multiview face database, face image classification, pose estimation, partial information, 3D data
57	Q. X. Zhang, Liter Siek	A new 4.3 ppm/°C voltage reference using standard CMOS process with 1V supply voltage.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
57	Mitchell J. H. Lum, Jacob Rosen 0001, Mika N. Sinanan, Blake Hannaford	Kinematic Optimization of a Spherical Mechanism for a Minimally Invasive Surgical Robot.	ICRA	2004	DBLP DOI BibTeX RDF
57	Matthias Höchsmann, Thomas Töller, Robert Giegerich, Stefan Kurtz	Local Similarity in RNA Secondary Structures.	CSB	2003	DBLP DOI BibTeX RDF
49	Effie Lai-Chong Law, Tim Gamble, Daniel Schwarz, Michael D. Kickmeier-Rust, Andreas Holzinger	A Mixed-Method Approach on Digital Educational Games for K12: Gender, Attitudes and Performance.	USAB	2009	DBLP DOI BibTeX RDF	digital educational game, DEG, performance, User experience, attitude, gender differences, UX
48	Duc Hai Nguyen 0001, Xuan-Hien Le, Jae-Yeong Heo, Deg-hyo Bae	Development of an Extreme Gradient Boosting Model Integrated With Evolutionary Algorithms for Hourly Water Level Prediction.	IEEE Access	2021	DBLP DOI BibTeX RDF
48	Jehangir Ashraf Awan, Deg-hyo Bae	Application of Adaptive Neuro-Fuzzy Inference System for dam inflow prediction using long-range weather forecast.	ICDIM	2013	DBLP DOI BibTeX RDF
45	Erika Sumiya, Tomohiro Mashita, Kiyoshi Kiyokawa, Haruo Takemura	A wide-view parallax-free eye-mark recorder with a hyperboloidal half-silvered mirror.	VRST	2009	DBLP DOI BibTeX RDF	eye-mark recorder, half-silvered hyperboloidal mirror, head-mounted camera, gaze estimation
45	Y-Chuang Chen, Meng-Hung Chen, Jimmy J. M. Tan	Maximally Local Connectivity on Augmented Cubes.	ICA3PP	2009	DBLP DOI BibTeX RDF	local connectivity, vertex-disjoint path, augmented cube, fault tolerance, connectivity
45	Hou-Ming Chen, Chih-Liang Huang, Robert Chen-Hao Chang	A new temperature-compensated CMOS bandgap reference circuit for portable applications.	ISCAS	2006	DBLP DOI BibTeX RDF
45	Ho-Yin Lee, Chen-Ming Hsu, Ching-Hsing Luo	CMOS thermal sensing system with simplified circuits and high accuracy for biomedical application.	ISCAS	2006	DBLP DOI BibTeX RDF
45	Sara Khodadad, Michael B. Monagan	Fast rational function reconstruction.	ISSAC	2006	DBLP DOI BibTeX RDF	fast Euclidean algorithm, rational reconstruction, modular algorithms
45	Narrijun Cho, Seong-Jun Song, Jae-Youl Lee, Sunyoung Kim, Shiho Kim, Hoi-Jun Yoo	A 8-µW, 0.3-mm2 RF-powered transponder with temperature sensor for wireless environmental monitoring.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
45	Dima Grigoriev	How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set.	ISSAC	1990	DBLP DOI BibTeX RDF
45	George E. Collins	Subresultants and Reduced Polynomial Remainder Sequences.	J. ACM	1967	DBLP DOI BibTeX RDF
34	Tomohisa Ito, Takeshi Yamaguchi, Hiroshi Yoshikawa	High resolution computer-generated cylindrical hologram.	IUCS	2009	DBLP DOI BibTeX RDF	computer-generated hologram, cylindrical hologram, fringe printer, holography
34	Wang Chen, Yanjun Shi, Hong-fei Teng	An Improved Differential Evolution with Local Search for Constrained Layout Optimization of Satellite Module.	ICIC (2)	2008	DBLP DOI BibTeX RDF	layout design, satellite module, genetic algorithm, combinatorial optimization, Differential evolution
34	James P. O'Shea, Martin S. Banks, Maneesh Agrawala	The assumed light direction for perceiving shape from shading.	APGV	2008	DBLP DOI BibTeX RDF	Lambertian shading, light-from-above, shape-from-shading, shape perception
34	Deddy Nur Zaman, Takashi Suzuki, Hongen Liao, Etsuko Kobayashi, Yasuhiko Jimbo, Ichiro Sakuma	Development and evaluation of a novel actuator using MR magnetic field.	IROS	2007	DBLP DOI BibTeX RDF
34	Yiming Zhai, S. B. Prakash, Marc H. Cohen, Pamela Abshire	Detection of on-chip temperature gradient using a 1.5V low power CMOS temperature sensor.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Xiaokang Guan, Albert Z. Wang, Akira Ishikawa, Satoru Tamura, Kaoru Takasuka, Zhihua Wang 0001, Chun Zhang	A 3V 110µW 3.1 ppm/°C curvature-compensated CMOS bandgap reference.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Yuan Yao, Xuefeng Yu, Foster F. Dai, Richard C. Jaeger	A 12-bit current steering DAC for cryogenic applications.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Tuhina Samanta, Prasun Ghosal, Hafizur Rahaman 0001, Parthasarathi Dasgupta	A heuristic method for constructing hexagonal Steiner minimal trees for routing in VLSI.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Scott Miller, Leonard MacEachern	A nanowatt bandgap voltage reference for ultra-low power applications.	ISCAS	2006	DBLP DOI BibTeX RDF
34	Hongyu Chen, Chung-Kuan Cheng, Andrew B. Kahng, Ion I. Mandoiu, Qinke Wang, Bo Yao	The Y architecture for on-chip interconnect: analysis and methodology.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
34	Antonio Rama, Francesc Tarres	P2CA: a new face recognition scheme combining 2D and 3D information.	ICIP (3)	2005	DBLP DOI BibTeX RDF
34	Ming-Dou Ker, Jung-Sheng Chen, Ching-Yun Chu	New curvature-compensation technique for CMOS bandgap reference with sub-1-V operation.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
34	Ian Theodore Young, Ventzeslav P. Iordanov, Heidi R. C. Dietrich, Andre Bossche	Nanoliter array advances: miniaturized, high-speed PCR sensing & control.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
34	Chun-Chi Chen, Wen-Fu Lu, Chin-Chung Tsai, Poki Chen	A time-to-digital-converter-based CMOS smart temperature sensor.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
34	Jens E. Wilhjelm, M. S. Jensen, S. K. Jespersen, B. Sahl, E. Falk	Visual and quantitative evaluation of selected image combination schemes in ultrasound spatial compound scanning.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
34	Romain Fournial, Amidou S. Traoré, Denis Laurendeau, Christian Moisan	An analytic method to predict the thermal map of cryosurgery iceballs in MR images.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
34	José Luis Ulloa, Marcello Guarini, Andres Guesalaga, Pablo Irarrazaval	Chebyshev series for designing RF pulses employing an optimal control approach.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
34	Marko B. Popovic, Andreas G. Hofmann, Hugh M. Herr	Angular Momentum Regulation during Human Walking: Biomechanics and Control.	ICRA	2004	DBLP DOI BibTeX RDF
34	Hyunduk Kang, Seokjin Sung, Insoo Koo, Kiseon Kim	Hot-beam traffic relief for cellular SBF multi-beam array antenna CDMA systems.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
34	Laleh Najafizadeh, Igor M. Filanovsky	A simple voltage reference using transistor with ZTC point and PTAT current source.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
34	Krishnakumar Sundaresan, Keith C. Brouse, Kongpop U-Yen, Farrokh Ayazi, Phillip E. Allen	A 7-MHz process, temperature and supply compensated clock oscillator in 0.25µm CMOS.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
34	Isidro Robledo Vega, Sudeep Sarkar	Experiments on Gait Analysis by Exploiting Nonstationarity in the Distribution of Feature Relationships.	ICPR (1)	2002	DBLP DOI BibTeX RDF
34	A. Azarkan, Arie van Staveren, Fabiano Fruett	A low-noise bandgap reference voltage source with curvature correction.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
34	Ilan Sadeh, Amir Averbuch	Bounds on Parallel Computation of Multivariate Polynomials.	ISTCS	1992	DBLP DOI BibTeX RDF	Complexity of parallel computation, Design and analysis of parallel algorithms, Maximal-degree, Dense polynomial, Multivariate polynomials
34	Andreas Brandstädt	Short Disjoint Cycles in Cubic Bridgeless Graphs.	WG	1991	DBLP DOI BibTeX RDF
34	Juan Llovet, J. Rafael Sendra	A Modular Approach to the Computation of the Number of Real Roots.	ISSAC	1990	DBLP DOI BibTeX RDF
34	Michael Kalkbrener	Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences.	ISSAC	1990	DBLP DOI BibTeX RDF
29	Yung-Ju Chang, Tzung-Han Lin	Subjective assessment for inverse rendered composite images in 360-deg images.	J. Electronic Imaging	2024	DBLP DOI BibTeX RDF
29	Tinghe Zhang, Sumin Jo, Michelle Zhang, Kai Wang, Shou-Jiang Gao, Yufei Huang	Understanding YTHDF2-mediated mRNA degradation by m6A-BERT-Deg.	Briefings Bioinform.	2024	DBLP DOI BibTeX RDF
29	Zahid Raza, Laxman Saha, Kinkar Chandra Das	On inverse symmetric division deg index of graphs.	RAIRO Oper. Res.	2023	DBLP DOI BibTeX RDF
29	Hechao Liu, Yufei Huang	Sharp bounds on the symmetric division deg index of graphs and line graphs.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
29	Ijaz Ahmad 0003, Xiuquan Wang, Muhammad Waseem, Muhammad Zaman, Farhan Aziz, Rana Zain Nabi Khan, Muhammad Ashraf	Flood Management, Characterization and Vulnerability Analysis Using an Integrated RS-GIS and 2D Hydrodynamic Modelling Approach: The Case of Deg Nullah, Pakistan.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
29	Jianwei Du, Xiaoling Sun	Extremal symmetric division deg index of molecular trees and molecular graphs with fixed number of pendant vertices.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
29	Abeer M. Albalahi, Akbar Ali	On the Inverse Symmetric Division Deg Index of Unicyclic Graphs.	Comput.	2022	DBLP DOI BibTeX RDF
29	Modjtaba Ghorbani, Samaneh Zangi, Najaf Amraei	New results on symmetric division deg index.	J. Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
29	Hao Luo 0002, Yan Lin, Tao Liu, Fei-Liao Lai, Chun-Ting Zhang, Feng Gao 0001, Ren Zhang 0001	DEG 15, an update of the Database of Essential Genes that includes built-in analysis tools.	Nucleic Acids Res.	2021	DBLP DOI BibTeX RDF
29	Mohit Dandekar, Kris Myny, Wim Dehaene	An a-IGZO TFT based Op-Amp with 57 dB DC-Gain, 311 KHz Unity-gain Freq., 75 deg. Phase Margin and 2.43 mW Power on Flexible Substrate.	ESSCIRC	2021	DBLP DOI BibTeX RDF
29	Sami Jaballah, Amegh Bhavsar, Mohamed-Chaker Larabi	Perceptual Versus Latitude-Based 360-Deg Video Coding Optimization.	ICIP	2020	DBLP DOI BibTeX RDF
29	Sami Jaballah, Amegh Bhavsar, Mohamed-Chaker Larabi	A Comprehensive Framework for 2D-JND Extension to 360-DEG Images.	ICASSP	2020	DBLP DOI BibTeX RDF
29	Anas Jallouli, Fahmi Kammoun, Nouri Masmoudi	Equatorial part segmentation model for 360-deg video projection.	J. Electronic Imaging	2019	DBLP DOI BibTeX RDF
29	Hiroki Furue, Hiroshi Hirai	On a weighted linear matroid intersection algorithm by deg-det computation.	CoRR	2019	DBLP BibTeX RDF
29	Mohamed-Chaker Larabi, Audrey Girard, Sami Jaballah, Yu Fan 0001	Benchmark of 2D quality metrics for the assessment of 360-deg images.	CIC	2019	DBLP DOI BibTeX RDF
29	Lars J. Lämmlein, Samuel S. P. Shen	A Multivariate Regression Reconstruction of the Quasi-Global Annual Precipitation on 1-Deg Grid From 1900 To 2015.	Adv. Data Sci. Adapt. Anal.	2018	DBLP DOI BibTeX RDF
29	Danish A. Wahid, Toshiyuki Morioka, Hiromasa Shimizu	Preparation of Bi2Gd1Fe5O12 magnetic garnet films showing Faraday rotation of 36.3 deg./µm on glass substrates by metal organic decomposition method.	IEICE Electron. Express	2016	DBLP DOI BibTeX RDF
29	Alokkumar Jha, Yasar Khan, Aftab Iqbal, Achille Zappa, Muntazir Mehdi, Ratnesh Sahay, Dietrich Rebholz-Schuhmann	Linked Functional Annotation For Differentially Expressed Gene (DEG) Demonstrated using Illumina Body Map 2.0.	SWAT4LS	2015	DBLP BibTeX RDF
29	Hao Luo 0002, Yan Lin, Feng Gao 0001, Chun-Ting Zhang, Ren Zhang 0001	DEG 10, an update of the database of essential genes that includes both protein-coding genes and noncoding genomic elements.	Nucleic Acids Res.	2014	DBLP DOI BibTeX RDF
29	Yoshisato Yokoyama, Yuichiro Ishii, Hidemitsu Kojima, Atsushi Miyanishi, Yoshiki Tsujihashi, Shinobu Asayama, Kazutoshi Shiba, Koji Tanaka, Tatsuya Fukuda, Koji Nii, Kazumasa Yanagisawa	40nm Ultra-low leakage SRAM at 170 deg.C operation for embedded flash MCU.	ISQED	2014	DBLP DOI BibTeX RDF
29	Wenmei Shen, Zhuqing Jiang, Yuting Wang, Lihong Ma 0003	Imaging characteristics of 90-deg geometry volume holographic imaging system.	EMEIT	2011	DBLP DOI BibTeX RDF
29	Carmelo Ardito, Nikolaos M. Avouris	DEG: Involving End Users and Domain Experts in Design of Educational Games.	IS-EUD	2011	DBLP DOI BibTeX RDF
29	Ren Zhang 0001, Yan Lin	DEG 5.0, a database of essential genes in both prokaryotes and eukaryotes.	Nucleic Acids Res.	2009	DBLP DOI BibTeX RDF
29	Rieko Otsuka, Takeshi Hoshino, Youichi Horry	Transpost: 360 deg-Viewable Three-Dimensional Display System.	Proc. IEEE	2006	DBLP DOI BibTeX RDF
29	Sang-Myeon Han, Min-Cheol Lee, Moon-Young Shin, Joong-Hyun Park, Min-Koo Han	Poly-Si TFT Fabricated at 150 deg C Using ICP-CVD and Excimer Laser Annealing.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
29	Dimitri A. Chernyak, Michela Azzariti, Lawrence W. Stark	Effects of 180-deg. image rotation on eye movement pattern.	Human Vision and Electronic Imaging	2002	DBLP DOI BibTeX RDF
29	Toshiyasu Nakao, Atsushi Kashitani	360-deg panoramic camera using a mirror rotation mechanism.	VCIP	2001	DBLP BibTeX RDF
29	Yasuyuki Suzuki, Kazuhiko Honjo	Wide-band transimpedance amplifiers using AlGaAs/InxGa1-xAs pseudomorphic 2-DEG FET's.	IEEE J. Solid State Circuits	1998	DBLP DOI BibTeX RDF
29	George G. Barton, Sidney Feldman, Jeffrey A. Beckstead, Sidney R. Nordhauser	Versatile 360-deg panoramic optical system for autonomous robots.	Mobile Robots / Intelligent Transportation Systems	1998	DBLP DOI BibTeX RDF
23	Adrian Kosowski, Alfredo Navarra	Graph Decomposition for Improving Memoryless Periodic Exploration.	MFCS	2009	DBLP DOI BibTeX RDF
23	Vida Dujmovic, Ken-ichi Kawarabayashi, Bojan Mohar, David R. Wood	Improved upper bounds on the crossing number.	SCG	2008	DBLP DOI BibTeX RDF	convex crossing number, rectilinear crossing number, graph drawing, treewidth, crossing number, graph minors, pathwidth, maximum degree
23	Itaru Otomaru, Masahiko Nakamoto, Masaki Takao, Nobuhiko Sugano, Yoshiyuki Kagiyama, Hideki Yoshikawa, Yukio Tada, Yoshinobu Sato	Automated Preoperative Planning of Femoral Component for Total Hip Arthroplasty (THA) from 3D CT Images.	MIAR	2008	DBLP DOI BibTeX RDF	computer assisted surgery, stem fitness, anteversion angle, orthopaedic implant
23	Haibo Tian, Xi Sun, Yumin Wang	A New Public-Key Encryption Scheme.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	security, public-key cryptosystems, deduction
23	Yuji Yahata, Syoji Kobashi, Shigeyuki Kan, Masaya Misaki, Katsuya Kondo, Satoru Miyauchi, Yutaka Hata	Estimation of visual axis during sleep by analyzing infrared video using artificial neural network.	SMC	2007	DBLP DOI BibTeX RDF
23	Surya P. N. Singh, Paul J. Csonka, Kenneth J. Waldron	Optical Flow Aided Motion Estimation for Legged Locomotion.	IROS	2006	DBLP DOI BibTeX RDF
23	Aize Cao, Prashanth Dumpuri, Michael I. Miga	Tracking cortical surface deformations based on vessel structure using a laser range scanner.	ISBI	2006	DBLP DOI BibTeX RDF
23	Pyung-Su Han, Woo-Young Choi	1.25/2.5-Gb/s burst-mode clock recovery circuit with a novel dual bit-rate structure in 0.18µm CMOS.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Cameron T. Charles, David J. Allstot	A variable-offset phase detector for phased-array applications.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Nenad Stevanovic, Jesper Engvall, Christian Mueller, Jürgen Oehm	A temperature compensated linear output RF amplifier with programmable gain control.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Le Jin, Hanqing Xing, Degang Chen 0001, Randall L. Geiger	A self-calibrated bandgap voltage reference with 0.5 ppm/°C temperature coefficient.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Cameron T. Charles, David J. Allstot	A 2-GHz integrated CMOS reflective-type phase shifter with 675° control range.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Theerayod Wiangtong, P. Dechsuwan	Unified motor controller based on space vector modulation technique.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Ziv Yaniv, Leo Joskowicz	Precise robot-assisted guide positioning for distal locking of intramedullary nails.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
23	Rui Ishiyama, Masahiko Hamanaka, Shizuo Sakamoto	An appearance model constructed on 3-D surface for robust face recognition against pose and illumination variations.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
23	Weiping Liao, Lei He 0001, Kevin M. Lepak	Temperature and supply Voltage aware performance and power modeling at microarchitecture level.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
23	Hong-Jian Lai, Xiangwen Li	On Group Chromatic Number of Graphs.	Graphs Comb.	2005	DBLP DOI BibTeX RDF
23	M. Ayre, T. J. Karle, Lijun Wu, T. Davies, T. F. Krauss	Experimental verification of numerically optimized photonic crystal injector, Y-splitter, and bend.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
23	Peter O. Ajemba, Lino Ramirez, Nelson G. Durdle, Doug L. Hill, V. James Raso	A support vectors classifier approach to predicting the risk of progression of adolescent idiopathic scoliosis.	IEEE Trans. Inf. Technol. Biomed.	2005	DBLP DOI BibTeX RDF
23	Xiaolong Wu, Jian Ma, Yingtao Jiang, Bingmei Fu, Wei Hang, Jinsuo Zhang, Ning Li	Instrumentation of YSZ oxygen sensor calibration in liquid lead-bismuth eutectic.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
23	You Zheng, Carlos E. Saavedra	Pulse width modulator using a phase-locked loop variable phase shifter.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
23	David Spady, Vadim Ivanov	A CMOS bandgap voltage reference with absolute value and temperature drift trims.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
23	Hongchin Lin, Chao-Jui Liang	A sub-1V bandgap reference circuit using subthreshold current.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
23	Takashi Suzuki, Youichi Katayama, Etsuko Kobayashi, Ichiro Sakuma	Compact Forceps Manipulator Using Friction Wheel Mechanism and Gimbals Mechanism for Laparoscopic Surgery.	MICCAI (2)	2005	DBLP DOI BibTeX RDF