Search results for "pipes"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Javad Rostami, Jingming Chen, Peter W. Tse	A Signal Processing Approach with a Smooth Empirical Mode Decomposition to Reveal Hidden Trace of Corrosion in Highly Contaminated Guided Wave Signals for Concrete-Covered Pipes.	Sensors	2017	DBLP DOI BibTeX RDF
17	Tianming Wei, Yvonne Coady, Josh MacDonald, Kellogg S. Booth, Jon Salter, Cynthia L. Girling	Dumb pipes for smart systems: How tomorrow's applications can salvage yesterday's plumbing.	PACRIM	2017	DBLP DOI BibTeX RDF
17	Ke Ma 0011, Michele M. Schirru, Ali Hassan Zahraee, Rob Dwyer-Joyce, Joby B. Boxall, Tony J. Dodd, Richard Collins, Sean R. Anderson	Robot mapping and localisation in metal water pipes using hydrophone induced vibration and map alignment by dynamic time warping.	ICRA	2017	DBLP DOI BibTeX RDF
17	Ke Ma 0011, Michele M. Schirru, Ali Hassan Zahraee, Rob Dwyer-Joyce, Joby B. Boxall, Tony J. Dodd, Richard Collins, Sean R. Anderson	PipeSLAM: Simultaneous localisation and mapping in feature sparse water pipes using the Rao-Blackwellised particle filter.	AIM	2017	DBLP DOI BibTeX RDF
17	Masashi Kamata, Shota Yamazaki, Yuki Tanise, Yasuyuki Yamada, Taro Nakamura 0001	Development of pneumatically driven peristaltic-type robot for long distance inspection in half-inch pipes.	AIM	2017	DBLP DOI BibTeX RDF
17	Oliver Millan-Blasco, Jordi Salazar, Juan Antonio Chávez, Antoni Turó, Miguel J. Garcia-Hernandez	Linearity error in Clamp-on ultrasonic flowmeters due to the installation on pipes made of dispersive materials.	I2MTC	2017	DBLP DOI BibTeX RDF
17	Walter Blair, Leonardo de Melo Joao, Larry Davis 0003, Paul Anderson	Streamlining the Genomics Processing Pipeline via Named Pipes and Persistent Spark Satasets.	BIBE	2017	DBLP DOI BibTeX RDF
17	K. Kang, Peter Yiannacouras	Host Pipes: Direct Streaming Interface Between OpenCL Host and Kernel.	IWOCL	2017	DBLP DOI BibTeX RDF
17	Nachiket Kapre, Hiren D. Patel	Applying Models of Computation to OpenCL Pipes for FPGA Computing.	IWOCL	2017	DBLP DOI BibTeX RDF
17	Muhammad Safeer Khan	An approach for crack detection in sewer pipes using acoustic signals.	GHTC	2017	DBLP DOI BibTeX RDF
17	Shanshan Xiao, Zhenshan Bing, Kai Huang 0001, Yuhong Huang	Snake-like robot climbs inside different pipes.	ROBIO	2017	DBLP DOI BibTeX RDF
17	BingZhang Chi, Hui Meng, KuiXiu Zhai, Guangyin Zhai, Yan Liu	Big Data in Urban Construction Archives and Urban Management: Detected Underground Pipes Alignment with Urban Construction Records.	ICBK	2017	DBLP DOI BibTeX RDF
17	Wan-Jui Lee	Contextual Air Leakage Detection in Train Braking Pipes.	IEA/AIE (2)	2017	DBLP DOI BibTeX RDF
17	Timm Hoppe, Friedrich Gottelt, Stefan Wischhusen	Extended Modelica Model for Heat Transfer of Two-Phase Flows in Pipes Considering Various Flow Patterns.	Modelica	2017	DBLP DOI BibTeX RDF
17	Jagmohan Singh	Turbulent flow of Generalised Newtonian fluids through pipes and open channels.		2017	DOI RDF
17	Taha Sochi	Variational approach for the flow of Ree-Eyring and Casson fluids in pipes.	Int. J. Model. Simul. Sci. Comput.	2016	DBLP DOI BibTeX RDF
17	Taiki Nagashima, Yudai Tanaka, Susumu Ishihara	Measurement of Wireless LAN Characteristics in Sewer Pipes for Sewer Inspection Systems Using Drifting Wireless Sensor Nodes.	IEICE Trans. Commun.	2016	DBLP DOI BibTeX RDF
17	Wei Li 0090, Zaiping Nie, Xiangyang Sun	Wireless Transmission of MWD and LWD Signal Based on Guidance of Metal Pipes and Relay of Transceivers.	IEEE Trans. Geosci. Remote. Sens.	2016	DBLP DOI BibTeX RDF
17	Nadir Arada	On Generalized Newtonian Fluids in Curved Pipes.	SIAM J. Math. Anal.	2016	DBLP DOI BibTeX RDF
17	Patrizio Angelini, Giordano Da Lozzo	Clustered Planarity with Pipes.	CoRR	2016	DBLP BibTeX RDF
17	Atsushi Kakogawa, Taiki Nishimura, Shugen Ma	Designing arm length of a screw drive in-pipe robot for climbing vertically positioned bent pipes.	Robotica	2016	DBLP DOI BibTeX RDF
17	Tetsuyou Watanabe, Toshio Koyama, Takeshi Yoneyama, Mitsutoshi Nakada	Force-Sensing Silicone Retractor for Attachment to Surgical Suction Pipes.	Sensors	2016	DBLP DOI BibTeX RDF
17	Jiang Xu 0003, Yong Sun, Jinhai Zhou	Research on the Lift-off Effect of Receiving Longitudinal Mode Guided Waves in Pipes Based on the Villari Effect.	Sensors	2016	DBLP DOI BibTeX RDF
17	Jun Huang, Zude Zhou, Lin Zhang 0009, Juntao Chen, Chunqian Ji, Duc Truong Pham	Strain Modal Analysis of Small and Light Pipes Using Distributed Fibre Bragg Grating Sensors.	Sensors	2016	DBLP DOI BibTeX RDF
17	Patrizio Angelini, Giordano Da Lozzo	Clustered Planarity with Pipes.	ISAAC	2016	DBLP DOI BibTeX RDF
17	Teresa Seco, Carlos Rizzo, Jesús Espelosín, José Luis Villarroel	A Robot Localization System Based on RF Fadings Using Particle Filters inside Pipes.	ICARSC	2016	DBLP DOI BibTeX RDF
17	Yuki Tanise, Tatsuya Kishi, Shota Yamazaki, Yasuyuki Yamada, Taro Nakamura 0001	High-speed response of the pneumatic actuator used in a peristaltic crawling robot inspecting long-distance gas pipes.	AIM	2016	DBLP DOI BibTeX RDF
17	Aydin Emre Guzel, Vecdi Emre Levent, Mustafa Tosun, M. Akif Ozkan, Toygar Akgün, Duygu Buyukaydin, Cengiz Erbas, H. Fatih Ugurdag	Using high-level synthesis for rapid design of video processing pipes.	EWDTS	2016	DBLP DOI BibTeX RDF
17	Paolo Andreussi, Andrea Scozzari, Daniele Picciaia	Development of an online measurement apparatus for the study of stratified flow in near-horizontal pipes.	I2MTC	2016	DBLP DOI BibTeX RDF
17	Xiangchen Qian, Xiaobin Huang, Yonghui Hu, Yong Yan 0001	Measurement of the mass flow distribution of pulverized coal in primary air pipes using electrostatic sensing techniques.	I2MTC	2016	DBLP DOI BibTeX RDF
17	Sijung Yang, Andrew C. Singer	Energy Efficient Ultrasonic Communication on Steel Pipes.	SiPS	2016	DBLP DOI BibTeX RDF
17	Qianyue Qian, Houman Hanachi, Jie Liu 0015, Junjie Gu, Fai Ma, Ashok Koul, Avisekh Banerjee	Simulation of ultrasonic testing for resolution of corrosion detection in pipes.	ICPHM	2016	DBLP DOI BibTeX RDF
17	Jens Gebert, Dietrich Zeller	Fat pipes for user plane tunneling in 5G.	CSCN	2016	DBLP DOI BibTeX RDF
17	David Castro 0006, Kevin Hammond, Susmit Sarkar	Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.	ICFP	2016	DBLP DOI BibTeX RDF
17	Leonardo Mistretta, G. Costantino Giaconia, Antonino Valenza, Enrico Napoli, Chiara Gianguzzi, Marco Lo Presti, Francesco Di Puma	Embedding Monitoring Systems for Cured-In-Place Pipes.	ApplePies	2016	DBLP DOI BibTeX RDF
17	Danilo Sulino Silveira Pinto, Karina Rocha Gomes da Silva	Robot position control in pipes using Q Learning.	SMC	2016	DBLP DOI BibTeX RDF
17	M. M. Knyazkov, E. A. Semenov, A. N. Sukhanov, A. A. Kryukova	Multilink Micro Robots Designed for Inspection in Pipes of Small Diameters.	ICINCO (2)	2016	DBLP DOI BibTeX RDF
17	Martin Kong, Louis-Noël Pouchet, P. Sadayappan, Vivek Sarkar	PIPES: a language and compiler for task-based programming on distributed-memory clusters.	SC	2016	DBLP DOI BibTeX RDF
17	Francisco Edgar Castillo-Barrera	Chichen-Itza II: a Semantic Framework for Verification and Learning of Pipes and Filters architectural pattern.	ISW-LOD@IBERAMIA	2016	DBLP BibTeX RDF
17	Q. Hoarau, Guillaume Ginolhac, Abdourrahmane M. Atto, Jean-Marie Nicolas 0002, Jean Philippe Ovarlez	Robust adaptive detection of buried pipes using GPR.	EUSIPCO	2016	DBLP DOI BibTeX RDF
17	Guillaume Terrasse, Jean-Marie Nicolas 0002, Emmanuel Trouvé, Emeline Drouet	Automatic localization of gas pipes from GPR imagery.	EUSIPCO	2016	DBLP DOI BibTeX RDF
17	Naoto Imajo, Yogo Takada, Mikiji Kashinoki	Development and Evaluation of Compact Robot Imitating a Hermit Crab for Inspecting the Outer Surface of Pipes.	J. Robotics	2015	DBLP DOI BibTeX RDF
17	De Liu, Daniel J. Brass, Yong Lu, Dongyu Chen	Friendship in Online Peer-to-Peer Lending: Pipes, Prisms, and Relational Herding.	MIS Q.	2015	DBLP DOI BibTeX RDF
17	Piyush Gupta, Shashank Gupta 0003	Investigation of pin-hole leaks in stainless steel water pipes.	Int. J. Syst. Assur. Eng. Manag.	2015	DBLP DOI BibTeX RDF
17	E. M. Wahba	An improved computational algorithm for teaching hydraulics of branching pipes in engineering curricula.	Comput. Appl. Eng. Educ.	2015	DBLP DOI BibTeX RDF
17	Saïd Chabane, Sylvie Sesmat, Daniel Hubert, Didier Gautier, Claude Wartelle, Eric Bideaux	Reynolds number-dependent mass flow rate calculation for pneumatic pipes.	J. Syst. Control. Eng.	2015	DBLP DOI BibTeX RDF
17	Wei Wu 0002, Zheng Liu 0002, Yan He	Classification of defects with ensemble methods in the automated visual inspection of sewer pipes.	Pattern Anal. Appl.	2015	DBLP DOI BibTeX RDF
17	Seyedamir Tavakoli Taba, Payam Rahnamayie Zekavat, Golnaz Alipour Esgandani, Xiangyu Wang 0001, Leonhard E. Bernold	A Multidimensional Analytical Approach for Identifying and Locating Large Utility Pipes in Underground Infrastructure.	Int. J. Distributed Sens. Networks	2015	DBLP DOI BibTeX RDF
17	JiangTao Hao, Praveen Maheshwari, River Huang, Loa Andersson, Mach (Guoyi) Chen	Architecture of an IP/MPLS Network with Hardened Pipes.	RFC	2015	DBLP DOI BibTeX RDF
17	Andrei Ichim	Asymptotic behaviour of a class of incompressible, quasi-Newtonian fluids in thin pipes.	Asymptot. Anal.	2015	DBLP DOI BibTeX RDF
17	Jiang Xu 0003, Xinjun Wu, Dongying Kong, Pengfei Sun	A Guided Wave Sensor Based on the Inverse Magnetostrictive Effect for Distinguishing Symmetric from Asymmetric Features in Pipes.	Sensors	2015	DBLP DOI BibTeX RDF
17	Maurício Conceição Mário, Marcílio Dias Lopes, Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, José Carlos Morilla, Clóvis Misseno Da Cruz, Jair Minoro Abe, Cláudio Rodrigo Torres, Deovaldo de Moraes Júnior	An Algorithmic Method Supported by Paraconsistent Annotated Logic Applied to the Determination of Friction Factors for Turbulent Flow in Smooth Pipes.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
17	Massimo Vespignani, Kamilo Melo, Mehmet Mutlu, Auke Jan Ijspeert	Compliant snake robot locomotion on horizontal pipes.	SSRR	2015	DBLP DOI BibTeX RDF
17	Taiki Nagashima, Yudai Tanaka, Susumu Ishihara	Measurement of wireless communication characteristics in sewer pipes for sewer inspection systems using multiple wireless sensor nodes.	PIMRC	2015	DBLP DOI BibTeX RDF
17	Toshio Koyama, Takanobu Iwai, Takeshi Yoneyama, Hiroyuki Kagawa, Yutaka Hayashi, Mitsutoshi Nakada, Tetsuyou Watanabe	Silicone retractor with embedded force-sensing function for attachment to surgical suction pipes.	AIM	2015	DBLP DOI BibTeX RDF
17	Federico Cavedo, Alessandro Pesatori, Michele Norgia, Gabriel Elias Solari	Laser rangefinder for steel pipes characterization.	I2MTC	2015	DBLP DOI BibTeX RDF
17	Johan Nohlert, Thomas Rylander, Tomas McKelvey	Microwave resonator sensor for detection of dielectric objects in metal pipes.	I2MTC	2015	DBLP DOI BibTeX RDF
17	Roberto Garrappa, Paolo Lino, Guido Maione, Fabrizio Saponaro	Modeling and numerical analysis of fractional-order dynamics in electro-injectors pipes.	CDC	2015	DBLP DOI BibTeX RDF
17	Toshiyuki Horiuchi, Hiroshi Sakabe, Hiroshi Kobayashi	Patterning of Multi-slits on Pipes for Developing Fine Diameter Stents.	BIODEVICES	2015	DBLP BibTeX RDF
17	Ke Ma 0011, Juanjuan Zhu, Tony J. Dodd, Richard Collins, Sean R. Anderson	Robot Mapping and Localisation for Feature Sparse Water Pipes Using Voids as Landmarks.	TAROS	2015	DBLP DOI BibTeX RDF
17	Phat Huynh, Robert Ross, Andrew Martchenko, John Devlin	Anomaly inspection in sewer pipes using stereo vision.	ICSIPA	2015	DBLP DOI BibTeX RDF
17	Yasuyo Kita, Yoshihiro Kawai	Localization of freely curved pipes for bin picking.	ETFA	2015	DBLP DOI BibTeX RDF
17	Chauncey Frend, Michael J. Boyles	Programmable immersive peripheral environmental system (PIPES): a prototype control system for environmental feedback devices.	ERVR	2015	DBLP DOI BibTeX RDF
17	Vinicius Cesar, Bernardo Reis, Saulo A. Pessoa, Judith Kelner, Ismael Santos 0001	Stereo Tracking and 3D Reconstruction of Underwater Pipes.	BMVC	2015	DBLP DOI BibTeX RDF
17	Saulo A. Pessoa, Vinicius Cesar, Bernardo Reis, Judith Kelner, Ismael Santos 0001	A Segmentation Technique for Flexible Pipes in Deep Underwater Environments.	BMVC	2015	DBLP DOI BibTeX RDF
17	Saeed Samadianfard, Mohammad Taghi Sattari, Özgür Kisi, Honeyeh Kazemi	Determining Flow Friction Factor in Irrigation Pipes Using Data Mining and Artificial Intelligence Approaches.	Appl. Artif. Intell.	2014	DBLP DOI BibTeX RDF
17	Abdul Wasim Shaikh, Ghulam Qadir Memon	Analytical and numerical solutions of fluid flow filled with and without porous media in circular pipes.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
17	Kai-Shing Yang, Yu-Chi Cheng, Ming-Shan Jeng, Kuo-Hsiang Chien, Jin-Cherng Shyu	An Experimental Investigation of Micro Pulsating Heat Pipes.	Micromachines	2014	DBLP DOI BibTeX RDF
17	Maneesh Singh 0002, Tore Markeset	Handling of variability in probabilistic and possibilistic failure analysis of corroded pipes.	Int. J. Syst. Assur. Eng. Manag.	2014	DBLP DOI BibTeX RDF
17	Maneesh Singh 0002, Tore Markeset	Simultaneous handling of variability and uncertainty in probabilistic and possibilistic failure analysis of corroded pipes.	Int. J. Syst. Assur. Eng. Manag.	2014	DBLP DOI BibTeX RDF
17	Christian Bourdarias, Mehmet Ersoy, Stéphane Gerbi	Unsteady mixed flows in non uniform closed water pipes: a Full Kinetic Approach.	Numerische Mathematik	2014	DBLP DOI BibTeX RDF
17	Xin-She Yang 0001, Mehmet Karamanoglu, Tao Luan, Slawomir Koziel	Mathematical modelling and parameter optimization of pulsating heat pipes.	J. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Jung-Chang Wang	U- and L-shaped heat pipes heat sinks for cooling electronic components employed a least square smoothing method.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
17	Huaiyu Ye, Bo Li, Hongyu Tang, Jia Zhao, Cadmus A. Yuan, Guoqi Zhang	Design of vertical fin arrays with heat pipes used for high-power light-emitting diodes.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
17	Haifeng Ji, Huajun Li, Zhiyao Huang, Baoliang Wang, Haiqing Li	Measurement of Gas-Liquid Two-Phase Flow in Micro-Pipes by a Capacitance Sensor.	Sensors	2014	DBLP DOI BibTeX RDF
17	Tomoya Tanaka, Kensuke Harigaya, Taro Nakamura 0001	Development of a peristaltic crawling robot for long-distance inspection of sewer pipes.	AIM	2014	DBLP DOI BibTeX RDF
17	Carlos Rizzo, Vijay Kumar 0001, Francisco Lera, José Luis Villarroel	RF odometry for localization in pipes based on periodic signal fadings.	IROS	2014	DBLP DOI BibTeX RDF
17	Christian Wulf, Nils Christian Ehmke, Wilhelm Hasselbring	Toward a Generic and Concurrency-Aware Pipes & Filters Framework.	SoSP	2014	DBLP BibTeX RDF
17	Atsushi Kakogawa, Shugen Ma	Speed analysis for three driving modules of an in-pipe inspection robots for passing through bent pipes.	ROBIO	2014	DBLP DOI BibTeX RDF
17	Abhijit Sen	Exploiting Yahoo! Pipes to Teach Computing Concepts.	WCCCE	2014	DBLP DOI BibTeX RDF
17	Valkyrie Savage, Ryan M. Schmidt, Tovi Grossman, George W. Fitzmaurice, Björn Hartmann	A series of tubes: adding interactivity to 3D prints using internal pipes.	UIST	2014	DBLP DOI BibTeX RDF
17	Pei Zhou 0002, Wen-Han Qian	Constructive G1 connection of multiple freeform pipes in arbitrary poses.	Comput. Aided Geom. Des.	2013	DBLP DOI BibTeX RDF
17	C. Q. Li, Mojtaba Mahmoodian	Risk based service life prediction of underground cast iron pipes subjected to corrosion.	Reliab. Eng. Syst. Saf.	2013	DBLP DOI BibTeX RDF
17	Haifeng Ji, Xuemin Gao, Baoliang Wang, Zhiyao Huang, Haiqing Li	A New Method for Flow Rate Measurement in Millimeter-Scale Pipes.	Sensors	2013	DBLP DOI BibTeX RDF
17	Kathryn T. Stolee, Sebastian G. Elbaum, Anita Sarma	Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
17	Hitomi Nishibata, Shota Kikuchi, Manabu Fukumoto, Masato Uchihara	Single-Side Resistance Spot Welding Process for Joining Pipes and Sheets.	Int. J. Autom. Technol.	2013	DBLP DOI BibTeX RDF
17	Florian Enner, David Rollinson, Howie Choset	Motion estimation of snake robots in straight pipes.	ICRA	2013	DBLP DOI BibTeX RDF
17	Tatsuya Kishi, Megumi Ikeuchi, Taro Nakamura 0001	Development of a peristaltic crawling inspection robot for 1-inch gas pipes with continuous elbows.	IROS	2013	DBLP DOI BibTeX RDF
17	Dan Schrager, Florin Radulescu	Efficient Algorithms for Fast Data Transfers Using Long and Large Pipes in WAN Networks.	CSCS	2013	DBLP DOI BibTeX RDF
17	Andrea Cataldo, Egidio De Benedetto, Giuseppe Cannazza, Marcello Miraglia, Danilo Ancora, Nicola Giaquinto	Localization of leaks in buried pipes through microwave reflectometry: A practical test case.	I2MTC	2013	DBLP DOI BibTeX RDF
17	Quansheng Duan, Lijuan Wang, Yong Yan 0001, Shengjian Jiang, Jiaping Bi, Wenchao Li, Haiwen Du, Limin Yang, Shuai Zhang 0006, Qiusheng Gao	Real-time apparent density measurement of the working fluid in outlet pipes of a steam-injection boiler.	I2MTC	2013	DBLP DOI BibTeX RDF
17	David Ayala-Cabrera, Silvia J. Ocaña-Levario, Joaquín Izquierdo 0001, Rafael Pérez-García, Manuel Herrera	Analysis of GPR Data Through Interpretation of Pre-Processed Images Obtained by a Multi-Agent Approach to Identify Pipes in Water Supply Systems.	CCIA	2013	DBLP DOI BibTeX RDF
17	Kai-Shing Yang, Yu-Chi Cheng, Ming-Shan Jeng, Kuo-Hsiang Chien, Jin-Cherng Shyu	An experimental investigation of micro pulsating heat pipes.	NEMS	2013	DBLP DOI BibTeX RDF
17	Atsushi Kakogawa, Taiki Nishimura, Shugen Ma	Development of a screw drive in-pipe robot for passing through bent and branch pipes.	ISR	2013	DBLP DOI BibTeX RDF
17	Seungho Kim, Chang Hoi Kim, Yeong Geol Ba, Hyunseok Na, Seyoung Jung	NDT inspection mobile robot with spiral driven mechanism in pipes.	ISR	2013	DBLP DOI BibTeX RDF
17	Warishah Abdul Wahab, Jasmee Jaafar, Ihsan Mohd Yassin, Mat Rahim Ibrahim	Interpretation of Ground Penetrating Radar (GPR) image for detecting and estimating buried pipes and cables.	ICCSCE	2013	DBLP DOI BibTeX RDF
17	Kevin T. Lim, David Meisner, Ali G. Saidi, Parthasarathy Ranganathan, Thomas F. Wenisch	Thin servers with smart pipes: designing SoC accelerators for memcached.	ISCA	2013	DBLP DOI BibTeX RDF
17	Mehmet Emiroglu, Ahmet Beycioglu, Servet Yildiz	ANFIS and statistical based approach to prediction the peak pressure load of concrete pipes including glass fiber.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
17	Robert Neal Dean, Daniel K. Harris, Ashish Yudhishthir Palkar, Gary Dean Wonacott	Liquid Metal-Filled Micro Heat Pipes for Thermal Management of Solid-State Devices.	IEEE Trans. Ind. Electron.	2012	DBLP DOI BibTeX RDF
17	Chaminda Pradeep, Yan Ru, Saba Mylvaganam	Neural Network-Based Interface Level Measurement in Pipes Using Peripherally Distributed Set of Electrodes Sensed Symmetrically and Asymmetrically.	IEEE Trans. Instrum. Meas.	2012	DBLP DOI BibTeX RDF