Search results for "reversible"

Hits ?▲	Authors	Title	Venue	Year	Link
10	Yichao Tang, Chuntao Wang, Shijun Xiang, Yiu-Ming Cheung	A Robust Reversible Watermarking Scheme Using Attack-Simulation-Based Adaptive Normalization and Embedding.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
10	Xiaoru Han, Fahuai Yi, Jianbo Zhang	A Reversible Investment Problem with Capacity and Demand in Finite Horizon: Free Boundary Analysis.	SIAM J. Control. Optim.	2024	DBLP DOI BibTeX RDF
10	Martin Kutrib, Andreas Malcher	Reversible Computations of One-Way Counter Automata.	RAIRO Theor. Informatics Appl.	2024	DBLP DOI BibTeX RDF
10	Clément Aubert	The correctness of concurrencies in (reversible) concurrent calculi.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
10	Giacomo Maletto, Luca Roversi	Certifying expressive power and algorithms of reversible primitive permutations with Lean.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
10	Mojtaba Noorallahzadeh, Mohammad Mosleh, Kamalika Datta	A new design of parity-preserving reversible multipliers based on multiple-control toffoli synthesis targeting emerging quantum circuits.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Nada Hussien Abd El Salam, Shengwu Xiong, Xuan Liu	Reversible data-hiding exploiting huffman encoding in dual image using weighted matrix and generalized exploiting modification direction (GEMD).	Vis. Comput.	2024	DBLP DOI BibTeX RDF
10	Sudipta Meikap, Biswapati Jana, Tzu-Chuen Lu	Context pixel-based reversible data hiding scheme using pixel value ordering.	Vis. Comput.	2024	DBLP DOI BibTeX RDF
10	Zaira García-Nonoal, David Mata-Mendoza, Manuel Cedillo-Hernandez, Mariko Nakano-Miyatake	Secure management of retinal imaging based on deep learning, zero-watermarking and reversible data hiding.	Vis. Comput.	2024	DBLP DOI BibTeX RDF
10	Junying Yuan, Huicheng Zheng, Jiangqun Ni	Reversible Data Hiding With Pattern Adaptive Prediction.	Comput. J.	2024	DBLP DOI BibTeX RDF
10	Louis Normann, Robert Glück	Partial Evaluation of Reversible Flowchart Programs.	PEPM	2024	DBLP DOI BibTeX RDF
10	Kankana Datta, Som Banerjee, Biswapati Jana, Mamata Dalui	A Dual-Image Based Secured Reversible Data Hiding Scheme Exploiting Weighted Matrix and Cellular Automata.	ASCAT	2024	DBLP DOI BibTeX RDF
10	Kenichi Morita	Making and Using a Rotary Element in Reversible Cellular Automata.	ASCAT	2024	DBLP DOI BibTeX RDF
10	Hong Zhang, Yu Zhang 0018	Memory-Efficient Reversible Spiking Neural Networks.	AAAI	2024	DBLP DOI BibTeX RDF
10	Tao Zhang, Ju Zhang, Yicheng Zou, Yu Zhang	High Capacity Reversible Data Hiding in Encrypted Images Based on Pixel Value Preprocessing and Block Classification.	MMM (2)	2024	DBLP DOI BibTeX RDF
10	Ondrej Kincl, Michal Pavelka	Globally time-reversible fluid simulations with smoothed particle hydrodynamics.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
10	Mo Chen, Qingyuan Wang 0001, Pengfei Sun, Xiaoyun Feng	Train Control and Schedule Integrated Optimization With Reversible Substations.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
10	Ziming Zhang, Wenjia Wang, Zihan Zhao, Erfu Wang	PVO-based reversible data hiding using bit plane segmentation and pixel expansion.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Xiaoyu Zhou, Wien Hong, Tung-Shou Chen, Guangsong Yang	Reversible demosaiced image authentication scheme with recoverability using clustering and matching techniques.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Rajeev Kumar 0007, Deepak Sharma, Amit Dua, Ki-Hyun Jung	A review of different prediction methods for reversible data hiding.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	R. Anushiadevi, Rengarajan Amirtharajan	Separable reversible data hiding in an encrypted image using the adjacency pixel difference histogram.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Cheonshik Kim, Ching-Nung Yang, Zhili Zhou, Ki-Hyun Jung	Dual efficient reversible data hiding using Hamming code and OPAP.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Arun Kumar Rai, Hari Om, Satish Chand, Saurabh Agarwal	Reversible data hiding in encrypted image using two-pass pixel value ordering.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Cao Thi Luyen, Nguyen Kim Sao, At PhamVan	Dual-image reversible data hiding method using maximum embedding ability of each pixel.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Hua Zhang, Huiying Sun, Fanli Meng	Reversible data hiding scheme based on improved interpolation and three-in-one intelligent strategy.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
10	Guojun Fan, Zhibin Pan, Quan Zhou, Xiaoran Zhang	Flexible patch moving modes for pixel-value-ordering based reversible data hiding methods.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	Yaomin Wang, Gangqiang Xiong, Wenguang He	High-capacity reversible data hiding in encrypted images based on pixel-value-ordering and histogram shifting.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	Wenxiu Liu, Lili Meng, Hao Wang, Jiande Sun 0001, Wenbo Wan	Multi-dimensional constraints-based PPVO for high fidelity reversible data hiding.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	Jian Li 0034, Xiaobo Zhang, Bin Ma 0003, Chuan Qin 0001, Chunpeng Wang	Reversible PRNU anonymity for device privacy protection based on data hiding.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	G. Melendez-Melendez, Alicia Morales-Reyes, René Cumplido	An adaptive pixel value ordering based reversible data hiding scheme for images.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	Alejandro Peñuelas-Angulo, Claudia Feregrino Uribe, René Cumplido	An adaptive method for prevention of overflow in reversible data hiding schemes.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
10	Nguyen Kim Sao, Tran Xuan Thanh, Mai Thanh Hong	Reversible Data Hiding based on dual images adapts to the secret message.	J. Inf. Hiding Multim. Signal Process.	2023	DBLP BibTeX RDF
10	Mengyao Xiao, Xiaolong Li 0001, Yao Zhao 0001, Bin Ma 0003, Guodong Guo	A Novel Reversible Data Hiding Scheme Based on Pixel-Residual Histogram.	ACM Trans. Multim. Comput. Commun. Appl.	2023	DBLP DOI BibTeX RDF
10	Lizhi Xiong, Xiao Han, Ching-Nung Yang, Zhihua Xia	RDH-DES: Reversible Data Hiding over Distributed Encrypted-Image Servers Based on Secret Sharing.	ACM Trans. Multim. Comput. Commun. Appl.	2023	DBLP DOI BibTeX RDF
10	Fei Peng, Wenyan Jiang, Min Long	A Low Distortion and Steganalysis-resistant Reversible Data Hiding for 2D Engineering Graphics.	ACM Trans. Multim. Comput. Commun. Appl.	2023	DBLP DOI BibTeX RDF
10	Yasemin Cengellenmis, Abdullah Dertli, Steven T. Dougherty, Adrian Korban, Serap Sahinkaya, Deniz Ustun	Reversible $ G $-codes over the ring $ {\mathcal{F}}_{j,k} $ with applications to DNA codes.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
10	C. Sekar, Vinod Ramesh Falmari, M. Brindha 0001	Secure IoT-enabled sharing of digital medical records: An integrated approach with reversible data hiding, symmetric cryptosystem, and IPFS.	Internet Things	2023	DBLP DOI BibTeX RDF
10	Yinguo Qiu, Jiuyun Sun, Jiaojue Zheng	A Self-Error-Correction-Based Reversible Watermarking Scheme for Vector Maps.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
10	Guiliang Zhou, Lina Mao, Tianwen Bao, Jin Dai, Xu Bao	Construction of Real-time Dynamic Reversible Lane Safety Control Model in Intelligent Vehicle Infrastructure Cooperative System.	Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
10	Rama Singh, Saumya Patel, Ankita Vaish	Secure most significant bit plane compression based reversible data hiding in encrypted image technique using Huffman Ciphersystem.	J. Electronic Imaging	2023	DBLP DOI BibTeX RDF
10	Yan Zhao, Xiaobing Bao	Reversible data hiding algorithm for color images combining superpixel segmentation and pixel value ordering.	J. Electronic Imaging	2023	DBLP DOI BibTeX RDF
10	Maxwell Hammond, Anthony Dempsey, William Ward, Stephen Stewart, James H. Neilan, Jessica Friz, Caterina Lamuta, Venanzio Cichella	A hybrid soft material robotic end-effector for reversible in-space assembly of strut components.	Frontiers Robotics AI	2023	DBLP DOI BibTeX RDF
10	Norifumi Ojiro, Kakeru Kaneko, Hajime Matsui	An efficient algorithm for constructing reversible quasi-cyclic codes via Chinese remainder theorem.	Finite Fields Their Appl.	2023	DBLP DOI BibTeX RDF
10	J. Jerisha Liby, Thirasamma Jaya	Advanced reversible stenographic method for image and video frames by adapting dual tree complex wavelet transform and chaotic whale optimization algorithm.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
10	Wan-Li Lyu, Yajie Yue, Zhaoxia Yin	Reversible data hiding based on automatic contrast enhancement using histogram expansion.	J. Vis. Commun. Image Represent.	2023	DBLP DOI BibTeX RDF
10	Ziquan Huang, Bingwen Feng, Shijun Xiang	Robust reversible image watermarking scheme based on spread spectrum.	J. Vis. Commun. Image Represent.	2023	DBLP DOI BibTeX RDF
10	Shaowei Weng, Tanshuai Hou, Tiancong Zhang, Jeng-Shyang Pan 0001	Adaptive smoothness evaluation and multiple asymmetric histogram modification for reversible data hiding.	J. Vis. Commun. Image Represent.	2023	DBLP DOI BibTeX RDF
10	Jie Luo, Peisong He, Jiayong Liu, Hongxia Wang 0001, Chunwang Wu, Shenglie Zhou	Reversible adversarial steganography for security enhancement.	J. Vis. Commun. Image Represent.	2023	DBLP DOI BibTeX RDF
10	Lincong Li, Yuanzhi Yao, Nenghai Yu	High-fidelity video reversible data hiding using joint spatial and temporal prediction.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Wei Tang, Heng Yao, Yanfen Le, Chuan Qin 0001	Reversible data hiding for JPEG images based on block difference model and Laplacian distribution estimation.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Xiaolin Yin, Shaowu Wu, Bing Chen 0004, Ke Wang, Wei Lu 0001	Reversible data hiding in JPEG document images based on zero coefficients embedding.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Xiaoyu Wang 0011, Xingyuan Wang 0001, Bin Ma 0003, Qi Li 0029, Chunpeng Wang, Yunqing Shi 0001	High-performance reversible data hiding based on ridge regression prediction algorithm.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Xinyi Gao, Zhibin Pan, Guojun Fan, Xiaoran Zhang, Hongzhi Yin	Local feature-based mutual complexity for pixel-value-ordering reversible data hiding.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Wenfa Qi, Tong Zhang 0024, Xiaolong Li 0001, Bin Ma 0003, Zongming Guo	Reversible data hiding based on prediction-error value ordering and multiple-embedding.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Han Zou, Guohua Chen	Reversible data hiding in encrypted image with local-correlation-based classification and adaptive encoding strategy.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Ningxiong Mao, Hongjie He, Fan Chen 0003, Lingfeng Qu, Hadi Amirpour, Christian Timmerer	Reversible data hiding for color images based on pixel value order of overall process channel.	Signal Process.	2023	DBLP DOI BibTeX RDF
10	Linna Zhou, Zhigao Lu, Weike You, Xiaofei Fang	Reversible data hiding using a transformer predictor and an adaptive embedding strategy.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
10	Seyed-Sajad Ahmadpour, Nima Jafari Navimipour, Mohammad Mosleh, Senay Yalçin	Nano-design of ultra-efficient reversible block based on quantum-dot cellular automata.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
10	Kaili Qi, Minqing Zhang, Fuqiang Di, Yongjun Kong	High capacity reversible data hiding in encrypted images based on adaptive quadtree partitioning and MSB prediction.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
10	Fuhu Wu, Jian Sun, Shun Zhang 0002, Neal N. Xiong, Hong Zhong 0001	Efficient reversible data hiding via two layers of double-peak embedding.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
10	Jiayang Liu, Weiming Zhang 0001, Kazuto Fukuchi, Youhei Akimoto, Jun Sakuma	Unauthorized AI cannot recognize me: Reversible adversarial example.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
10	Lizhi Xiong, Yue Wu, Peipeng Yu, Yuhui Zheng	A black-box reversible adversarial example for authorizable recognition to shared images.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
10	Guangyong Gao, Shikun Tong, Zhihua Xia, Yun-Qing Shi 0001	A Universal Reversible Data Hiding Method in Encrypted Image Based on MSB Prediction and Error Embedding.	IEEE Trans. Cloud Comput.	2023	DBLP DOI BibTeX RDF
10	Lizhi Xiong, Xiao Han, Ching-Nung Yang, Xinpeng Zhang 0001	Reversible Data Hiding in Shared Images Based on Syndrome Decoding and Homomorphism.	IEEE Trans. Cloud Comput.	2023	DBLP DOI BibTeX RDF
10	Rupali Bhardwaj	Hiding patient information in medical images: an enhanced dual image separable reversible data hiding algorithm for E-healthcare.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
10	Rupali Bhardwaj, Ilina Tripathi	An enhanced reversible data hiding algorithm using deep neural network for E-healthcare.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
10	Siyao Zhong, Yu Lu, Xiangguang Xiong	Reversible Data Hiding Algorithm in Encrypted Domain Based on Image Interpolation.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Mengting Fan, Siyao Zhong, Xiangguang Xiong	Reversible Data Hiding Method for Interpolated Images Based on Modulo Operation and Prediction-Error Expansion.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Eduardo Fragoso-Navarro, Francisco J. García-Ugalde, Manuel Cedillo-Hernandez	Protecting the Distribution of Color Images via Inverse Colorization, Visible-Imperceptible Watermarking and Reversible Data Hiding.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Ching-Chun Chang, Xu Wang 0027, Sisheng Chen, Isao Echizen, Victor Sanchez, Chang-Tsun Li	Deep Learning for Predictive Analytics in Reversible Steganography.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Taner Çevik, Nazife Cevik, Jawad Rasheed, Tunç Asuroglu, Shtwai Alsubai, Mehmet Turan	Reversible Logic-Based Hexel Value Differencing - A Spatial Domain Steganography Method for Hexagonal Image Processing.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Xiu He, Yuyun Chen, Yong Fan, Xiaoxi Kong, Zhanchuan Cai	A Reversible Multimedia Representation Method and Its Applications in Multimedia Processing.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Asma Taheri Monfared, Valentina Ciriani, Tommi Mikkonen, Majid Haghparast	Quaternary Reversible Circuit Optimization for Scalable Multiplexer and Demultiplexer.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Ruoyu Zhao, Yushu Zhang, Rushi Lan, Zhongyun Hua, Yong Xiang 0001	Heterogeneous and Customized Cost-Efficient Reversible Image Degradation for Green IoT.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
10	Rama Krishna Reddy Venna, G. Durga Jayakumar	Design of novel area-efficient coplanar reversible arithmetic and logic unit with an energy estimation in quantum-dot cellular automata.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
10	Mohammed Alharbi, Gerard Edwards, Richard Stocker 0001	Novel ultra-energy-efficient reversible designs of sequential logic quantum-dot cellular automata flip-flop circuits.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
10	S. K. Binu Siva Singh, K. V. Karthikeyan	High resolution digital pulse width modulator architecture using reversible synchronous sequential counter and synchronous phase-shifted circuit.	Int. J. High Perform. Syst. Archit.	2023	DBLP DOI BibTeX RDF
10	Abhishek Deshpande	Source-Only Realizations, Weakly Reversible Deficiency One Networks, and Dynamical Equivalence.	SIAM J. Appl. Dyn. Syst.	2023	DBLP DOI BibTeX RDF
10	Cheng Xie, Songlin Chen	A Physics-Guided Reversible Residual Neural Network Model: Applied to Build Forward and Inverse Models for Turntable Servo System.	IEEE Trans. Ind. Informatics	2023	DBLP DOI BibTeX RDF
10	Yuan Yuan, Hongjie He, Fan Chen 0003, Changqi Yuan	Reversible data hiding in encrypted JPEG image with changing the number of AC codes.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Bing Chen 0004, Xiaolin Yin, Wei Lu 0001, Honglin Ren	Reversible data hiding in encrypted domain by signal reconstruction.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Neeraj Kumar 0001, Rajeev Kumar 0007, Aruna Malik, Samayveer Singh, Ki-Hyun Jung	Reversible data hiding with high visual quality using pairwise PVO and PEE.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Ngoc-Hung Nguyen, Van-At Pham	An efficient IPVO based reversible data hiding method using four pixel-pairs.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Dawen Xu 0001, Yong Liu	Correction to: Reversible data hiding in H.264/AVC videos based on hybrid-dimensional histogram modification.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Ningxiong Mao, Fan Chen 0003, Shanjun Zhang, Hongjie He, Lingfeng Qu, Yaolin Yang	Reversible data hiding based on global adaptive pairing and optimal 2D mapping set.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Cheng-Ta Huang, Njabulo Sinethemba Shongwe, Hao-Yu Weng, Chi-Yao Weng	Capacity-raising reversible data hiding scheme using quinary secrets square in dual-images.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	P. Jeena, R. Shreelekshmi	High capacity reversible data hiding in encrypted images using block labeling.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Xiaoran Zhang, Zhibin Pan, Quan Zhou, Erdun Gao, Xinyi Gao, Guojun Fan	A novel two-level embedding pattern for grayscale-invariant reversible data hiding.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	R. Roselin Kiruba	Reversible data hiding using optimization, interpolation and binary image encryption techniques.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Xiaojuan Ma, Chunhua Wang 0001	Hyper-chaotic image encryption system based on N + 2 ring Joseph algorithm and reversible cellular automata.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	R. Leelavathi, M. N. Giri Prasad	A high capacity reversible data hiding scheme in efficient LZW compression.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Ying Sun, Xiaochen Yuan, Xingrun Wang, Jianqing Li 0001	Reversible multi-watermarking for color images with grayscale invariance.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Liming Zou, Jiande Sun 0001, Wenbo Wan, Jing Li 0046, Q. M. Jonathan Wu	A cover selection-based reversible data hiding method by learning cross-modal hashing.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Fengyong Li, Hengjie Zhu, Chuan Qin 0001	Reversible data hiding in encrypted images using median prediction and bit plane cycling-XOR.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	R. Anushiadevi, Rengarajan Amirtharajan	Design and development of reversible data hiding- homomorphic encryption & rhombus pattern prediction approach.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Sanjiu Raja Brahma, Samayveer Singh, Deepak Kumar Gupta, Aruna Malik	A reversible data hiding technique using lower magnitude error channel pair selection.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Ahmad A. Mohammad	A high quality interpolation-based reversible data hiding technique using dual images.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Rupali Bhardwaj, Ashish Niranjan	An improved dual image separable reversible data hiding algorithm for encrypted HAMBTC compressed images.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Zhengwei Zhang, Fenfen Li, Xingyuan Zuo, Qian Meng, Shenghua Jin	Reversible image watermarking algorithm based on reverse histogram translation.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
10	Shaohua Duan, Yuhan Qian, Junjie Liu, Hanwen Wang, Xiaoyi Zhou	Reversible robust fragile multi-watermarking scheme for color images.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF