Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Yunong Zhang, Haifeng Peng	One-Dimensional Analysis of Exponential Convergence Condition for Dual Neural Network.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Dual neural network, Online solution, Quadratic programming, Proof complexity, Redundant systems, Exponential convergence
22	Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge	Knowledge Condition Games.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	complexity, protocol, game theory, knowledge, strategy, epistemic logic, imperfect information
22	Takashi Onoda, Norihiko Ito, Hironobu Yamasaki	Unusual Condition Mining for Risk Management of Hydroelectric Power Plants.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
22	Zhong Li, Lizhuang Ma, Dereck S. Meek, Wuzheng Tan, Zhihong Mao, Mingxi Zhao	Curvature Monotony Condition for Rational Quadratic B-spline Curves.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
22	Jeffrey Ashley, Lawrence E. Holloway	Exploiting causal structure in the refined diagnosis of condition systems.	ETFA	2006	DBLP DOI BibTeX RDF
22	Benoît Garbinato, Ian Rickebusch	A Topological Condition for Solving Fair Exchange in Byzantine Environments.	ICICS	2006	DBLP DOI BibTeX RDF
22	Jarmo Ilonen, Pekka Paalanen, Joni-Kristian Kamarainen, T. Lindh, Jero Ahola, Heikki Kälviäinen, J. Partanen	Toward Automatic Motor Condition Diagnosis.	SCIA	2005	DBLP DOI BibTeX RDF
22	Taisuke Izumi, Toshimitsu Masuzawa	An Improved Algorithm for Adaptive Condition-Based Consensus.	SIROCCO	2005	DBLP DOI BibTeX RDF
22	Jeffrey Ashley, Lawrence E. Holloway	Qualitative Diagnosis of Condition Systems.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	causal nets, Petri nets, fault diagnosis, discrete event systems
22	Malcolm J. Beynon	Condition Class Classification Stability in RST due to Continuous Value Discretisation.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
22	S. K. Yang	A condition-based failure-prediction and processing-scheme for preventive maintenance.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
22	Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal	Evaluating the Condition-Based Approach to Solve Consensus.	DSN	2003	DBLP DOI BibTeX RDF
22	Jan-Georg Smaus	The Head Condition and Polymorphic Recursion.	FLOPS	2002	DBLP DOI BibTeX RDF
22	Antonio Cerone	Implementing Condition/Event Nets in the Circal Process Algebra.	FASE	2002	DBLP DOI BibTeX RDF
22	Eleni E. Mangina, Stephen D. J. McArthur, James R. McDonald	Autonomous Agents for Distributed Problem Solving in Condition Monitoring.	IEA/AIE	2000	DBLP DOI BibTeX RDF
22	Arlynn W. Smith, Joseph W. Parks Jr., Joe N. Haralson III, Kevin F. Brennan	A smoothed boundary condition for reducing nonphysical field effects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
21	Kai Pöthkow, Hans-Christian Hege	Positional Uncertainty of Isocontours: Condition Analysis and Probabilistic Measures.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	isolines, numerical condition, probability, Uncertainty, error analysis, volume visualization, isosurfaces
21	Zhaopeng Li, Yang Zhang, Yiyun Chen	A Method to Generate Verification Condition Generator.	TASE	2011	DBLP DOI BibTeX RDF	Action Function, Program Verification, Hoare Logic, Verification Condition
21	Paul-André Melliès	Segal Condition Meets Computational Effects.	LICS	2010	DBLP DOI BibTeX RDF	finitary monads, Lawvere theories, state monad, higher dimensional algebra, nerve functor, Segal condition, monads with arities, Computational effects, algebraic theories
21	Yanliang Zhang, Huijuan Jia, Hui Guo	Uniqueness Condition for Nonunitary Joint Diagonalization.	MVHI	2010	DBLP DOI BibTeX RDF	Joint Diagonalization, Uniqueness Condition, Essential Equal, Signal processing, Blind Source Separation(BSS)
21	Ranjan Panda, Damith Chinthana Ranasinghe, Ajith Kumar Parlikad, Duncan C. McFarlane	A Condition Monitoring Platform Using COTS Wireless Sensor Networks: Lessons and Experience.	AINA	2010	DBLP DOI BibTeX RDF	experience, COTS, condition monitoring
21	Ye Li, Jianmin Li, Yipeng Du, Fei Liu	Anaerobic Dechlorination of Perchloroethylene and Factors Influence under Iron Reducing Condition.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	perchloroethylene, anaerobic biodegradation, iron reducing condition, co-cometabolism, factors influence
21	Wei Xiong 0010, Ning Jing, Hongsheng Chen, Luo Chen	An Extended Model for Active Rule Condition Evaluation of Spatial Database.	SNPD	2009	DBLP DOI BibTeX RDF	condition evaluation, algebra optimization, operator migration, spatial database, active rule
21	Shoupeng Tang, Nan Jiang, Meiping Yun, Xiaoguang Yang	Multi-agent Based Traveler Route Choice Behavior Simulation Research when Supplied Individual Traffic Condition Information.	JCAI	2009	DBLP DOI BibTeX RDF	individual information, multi-agent, traffic condition, route choice
21	Changhua Deng, Jianting Ren, Feng Li, Jun Li	Boundary Condition Identification of Fluid-Filled Piping Systems Using Neural Networks.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	Boundary condition identification, piping system, BP neural network
21	Gil-Ja So, Hyuk-Chul Kwon	The Constraint Condition of a Word to Check the Grammatical Error in a Korean Document.	NCM (2)	2008	DBLP DOI BibTeX RDF	error patterns, the constraint condition, grammatical error, heuristic rules
21	Torben Amtoft, Anindya Banerjee 0001	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
21	Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier	An embedded sensor validation system for adaptive condition monitoring of a wind farms.	AHS	2007	DBLP DOI BibTeX RDF	Sensor validation, FPGAs, embedded systems, adaptive systems, condition monitoring
21	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Brief announcement: the synchronous condition-based consensus hierarchy.	PODC	2004	DBLP DOI BibTeX RDF	early deciding, consensus, condition, crash failures, synchronous distributed systems
21	Norival R. Figueira, Joseph Pasquale	A schedulability condition for deadline-ordered service disciplines.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	deadline ordered, quality of service, admission control, packet scheduling, service disciplines, schedulability condition
21	Xiaoqing Wen, Kozo Kinoshita	A Testable Design of Logic Circuits under Highly Observable Condition.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	highly observable condition, fault tolerant computing, logic testing, integrated circuit testing, combinational circuit, stuck-at faults, logic circuits, integrated logic circuits, combinatorial circuits, stuck-open faults, testable design
21	Jon G. Rokne	Condition numbers of Pei matrices.	Commun. ACM	1970	DBLP DOI BibTeX RDF	Pei matrices, eigenvalues, eigenvectors, condition numbers, matrices
20	Patrick Kenny, Pierre Ouellet, Najim Dehak, Vishwa Gupta, Pierre Dumouchel	A Study of Interspeaker Variability in Speaker Verification.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
20	Akira Nakashima, Li Jingtai, Yoshikazu Hayakawa	Stability analysis of grasped object by soft-fingers based on moment stability.	CDC	2008	DBLP DOI BibTeX RDF
20	Taisuke Izumi, Toshimitsu Masuzawa	One-Step Consensus Solvability.	DISC	2006	DBLP DOI BibTeX RDF
20	Daniel R. L. Brown	Generic Groups, Collision Resistance, and ECDSA.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	digital signatures, provable security, public key cryptography
20	Akinori Kawachi, Hirotada Kobayashi, Takeshi Koshiba, Raymond H. Putra	Universal Test for Quantum One-Way Permutations.	MFCS	2004	DBLP DOI BibTeX RDF
20	Yejun Wei, James L. Patton	Force Field Training to Facilitate Learning Visual Distortions: A "Sensory Crossover" Experiment.	HAPTICS	2004	DBLP DOI BibTeX RDF
20	Helmut Lescow	On Polynomial-Size Programs Winning Finite-State Games.	CAV	1995	DBLP DOI BibTeX RDF
20	G. N. Paulley, Per-Åke Larson	Exploiting uniqueness in query optimization.	CASCON	1993	DBLP BibTeX RDF
19	François Bonnet 0001, Michel Raynal	Conditions for Set Agreement with an Application to Synchronous Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	lower bound, efficiency, condition, synchronous system, agreement problem
19	Biswanath Samanta, Chandrasekhar Nataraj	Application of particle swarm optimization and proximal support vector machines for fault detection.	Swarm Intell.	2009	DBLP DOI BibTeX RDF	Machinery condition monitoring, Machine learning, Support vector machine, Feature selection, Swarm intelligence, Computational intelligence
19	Rubén de Juan-Marín, Luis Irún-Briz, Francesc D. Muñoz-Escoí	Ensuring Progress in Amnesiac Replicated Systems.	ARES	2008	DBLP DOI BibTeX RDF	Replicated Transactional Systems, Progress Condition, Crash-Recovery Failure Model
19	Juan Dai, C. L. Philip Chen, Xiao-Yan Xu, Ying Huang, Peng Hu, Chi-Ping Hu, Tao Wu	Machinery Vibration Signals Analysis and Monitoring for Fault Diagnosis and Process Control.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Reliability, fault detection, process control, condition monitoring, vibration analysis
19	Jianye Guo, Yongxian Liu, Jiashun Shi, Guangqi Cai	Analysis on the Processing Dexterity of Parallel Robot Based on MATLAB.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Processing dexterity, Condition number, Jacobian matrix, Parallel Robot
19	Chih-Chung Lin, Yuan-Cheng Lai, J. D. Tygar, Chuan-Kai Yang, Chi-Lung Chiang	Coexistence Proof Using Chain of Timestamps for Multiple RFID Tags.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	coexistence proof, RFID, computer security, cryptographic protocol, timestamp, race condition
19	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
19	Christian Hammer 0001, Martin Grimme, Jens Krinke	Dynamic path conditions in dependence graphs.	PEPM	2006	DBLP DOI BibTeX RDF	dynamic chopping, information flow control, dynamic slicing, path condition
19	Tom Lyche, Juan Manuel Peña 0001	Optimally Stable Multivariate Bases.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	optimal stability, tensor product B-spline basis, triangular Bernstein basis, condition number
19	Jian-Guo Liu 0006, Cheng Wang, Hans Johnston	A Fourth Order Scheme for Incompressible Boussinesq Equations.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	Boussinesq equations, long-stencil approximation, one-sided extrapolation, vorticity boundary condition, Kelvin-Helmholtz instability, incompressible flow, compact scheme
19	Stanislav Polonsky, Moyra K. McManus, Daniel R. Knebel, Steve Steen, Pia N. Sanda	Non-invasive timing analysis of IBM G6 microprocessor L1 cache using picosecond imaging circuit analysis.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	imaging circuit analysis, IBM G6 microprocessor, non-invasive backside timing, Picosecond Imaging Circuit Analysis, waveform extraction, integrated circuit testing, timing analysis, race condition, circuit switching, integrated memory circuits, hazards and race conditions, L1 cache
19	Ching-Chih Han, Hung-Ying Tyan	A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm.	RTSS	1997	DBLP DOI BibTeX RDF	polynomial-time schedulability test, real-time fixed-priority scheduling algorithms, closed-form utilization, polynomial-time schedulability, processor scheduling, schedulability condition
19	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
19	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification
19	Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono	A Characterization of Kleenean Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	Kleenean functions, fuzzy logic functions, constants, indeterminate truth value condition handling, ambiguous states, fuzzy logic, functions, fuzzy set theory, multivalued logic
19	Peter Veelaert	Digital Planarity of Rectangular Surface Segments.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	rectangular surface segments, evenness, digital straight lines, digital arc segment, digital plane segment, arbitrarily extendable even set, computational geometry, necessary and sufficient condition
19	Jeffrey A. Barnett	Calculating Dempster-Shafer Plausibility.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility
18	Kai Zheng 0004, Tielong Shen, Yu Yao	New approaching condition for sliding mode control design with Lipschitz switching surface.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	Filippov solution, contingent cone, linear Lipschitz switching surface, sliding mode control
18	Andreas Müller 0002	A genericity condition for general serial manipulators.	ICRA	2009	DBLP DOI BibTeX RDF
18	David B. H. Tay	Hilbert Pair of Orthogonal Wavelet Bases: Revisiting the Condition.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
18	Tsz-Yeung Wong, Man Hon Wong 0001, John C. S. Lui	A Precise Termination Condition of the Probabilistic Packet Marking Algorithm.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	Network-level security and protection, Probabilistic computation
18	Danhuai Guo	Mining Traffic Condition from Trajectories.	FSKD (4)	2008	DBLP DOI BibTeX RDF
18	Zipeng Zhang, Liqin Xue, Shuqing Wang	A Fuzzy Neural Network Controller for Air-Condition with Frequency Change.	FSKD (5)	2008	DBLP DOI BibTeX RDF
18	Inbo Sim, Jaiyong Lee	Energy Effective Geographical Routing Considering Wireless Link Condition in WSN.	MUE	2008	DBLP DOI BibTeX RDF
18	Sérgio Pinheiro dos Santos, José Alfredo F. Costa	Application of multiple decision trees for condition monitoring in induction motors.	IJCNN	2008	DBLP DOI BibTeX RDF
18	Fatma Abdelkefi, Pierre Duhamel, Florence Alberge	A Necessary Condition on the Location of Pilot Tones for Maximizing the Correction Capacity in OFDM Systems.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
18	Haitian Xu, Paul Dalsgaard, Zheng-Hua Tan, Børge Lindberg	Noise Condition-Dependent Training Based on Noise Classification and SNR Estimation.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
18	Hiroshi Kawano	Method for Designating the Wind Condition in MDP-based Motion Planning of Under-actuated Blimp type UAV.	ICRA	2007	DBLP DOI BibTeX RDF
18	Shuichi Toyoda, Noboru Niki, Hiromu Nishitani	A Test-Data Management Function for Chronic Condition Patients.	CBMS	2007	DBLP DOI BibTeX RDF
18	Mats Petter Pettersson, Krzysztof Kuchcinski	A New Necessary Condition for Shortest Path Routing.	NET-COOP	2007	DBLP DOI BibTeX RDF
18	Shuaiqiang Wang, Ying Li, Guodong Huang	PostB: The Post-condition Extension onto the B-Method.	SERA	2007	DBLP DOI BibTeX RDF
18	Yuan-Cheng Lai, Yi-Hsuan Yeh, Che-Lin Wang	Dynamic Backoff Time Adjustment with Considering Channel Condition for IEEE 802.11e EDCA.	ICOIN	2007	DBLP DOI BibTeX RDF
18	Xiang Zhang, Ernst Gockenbach	Assessment of the actual condition of the electrical components in medium-voltage networks.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
18	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Synchronous condition-based consensus.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Early deciding, Consensus, Input vector, Synchronous distributed system, Process crash failure
18	Ashraf A. Kassim, Zhu Mian, M. A. Mannan	Tool condition classification using Hidden Markov Model based on fractal analysis of machined surface textures.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Tool wear monitoring, End-milling, Surface texture analysis, Hidden Markov Model, Fractal analysis
18	Pan Fu, Anthony D. Hope	The Application of B-Spline Neurofuzzy Networks for Condition Monitoring of Metal Cutting Tool.	PRICAI	2006	DBLP DOI BibTeX RDF
18	Abhijeet Jadhav, Swapna Banerjee, P. K. Dutta, Ranjan Rashmi Paul, Mousumi Pal, P. Banerjee, K. Chaudhuri, Jyotirmoy Chatterjee	Quantitative Analysis of Histopathological Features of Precancerous Lesion and Condition Using Image Processing Technique.	CBMS	2006	DBLP DOI BibTeX RDF
18	Hamed Mojallali, Roozbeh Izadi-Zamanabadi, Rouzbeh Amini	Study of Noise Canceling Performance of Feedforward Fuzzy-Based ANC System under Non-Causal Condition.	ISDA (1)	2006	DBLP DOI BibTeX RDF
18	Siu-Ping Chan, Ming-Ting Sun	Network condition detection for video transport over wireless Internet.	ISCAS	2006	DBLP DOI BibTeX RDF
18	Jyotishman Pathak, Yong Jiang, Vasant G. Honavar, James D. McCalley	Condition Data Aggregation with Application to Failure Rate Calculation of Power Transformers.	HICSS	2006	DBLP DOI BibTeX RDF	Transformer Failure Mode Estimation, Hidden Markov Models, Data Integration
18	Benjamín René Callejas Bedregal, Ivan Pan	Some typical classes of t-norms and the 1-Lipschitz Condition.	SBRN	2006	DBLP DOI BibTeX RDF
18	Evelyne Flandrin, Hao Li 0002, Antoni Marczyk, Mariusz Wozniak	A Note on a Generalisation of Ore's Condition.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	1991 Mathematics Subject Classification: 05C38, 05C45
18	Toshihiko Yamasaki, Kazuya Hayase, Kiyoharu Aizawa	Mathematical error analysis of normal map compression based on unity condition.	ICIP (2)	2005	DBLP DOI BibTeX RDF
18	Joab R. Winkler	Backward Errors and Condition Numbers of Regular and Singular Points on Algebraic Curves.	IMA Conference on the Mathematics of Surfaces	2005	DBLP DOI BibTeX RDF
18	Eric Neufeld, Sonje Kristtorn	On the Role of the Markov Condition in Causal Reasoning.	Canadian AI	2005	DBLP DOI BibTeX RDF
18	Brian Peng, Ing-Yi Chen, Sy-Yen Kuo, Colin Bolger	IC HTOL Test Stress Condition Optimization.	DFT	2004	DBLP DOI BibTeX RDF
18	Yoav Zibin	Condition-Based Consensus in Synchronous Systems.	DISC	2003	DBLP DOI BibTeX RDF
18	Yongqiang Huang 0002, Hector Garcia-Molina	Assignment-Based Partitioning in a Condition Monitoring System.	DISC	2002	DBLP DOI BibTeX RDF
18	Yongqiang Huang 0002, Hector Garcia-Molina	Replicated condition monitoring.	PODC	2001	DBLP DOI BibTeX RDF
18	Toshio Toyota, T. Niho, Peng Chen 0010	Condition monitoring and diagnosis of rotating machinery by Gram-Charlier expansion of vibration signal.	KES	2000	DBLP DOI BibTeX RDF
18	Kustarto Widoyo, Terumasa Aoki, Hiroshi Yasuda	Demand Inquiring Service: A Network Service Based on Application Demands and Network Condition.	IWAN	2000	DBLP DOI BibTeX RDF
18	Arthur T. G. Fuller, Behrouz Nowrouzian	An exact BIBO stability condition for Bode-type variable-amplitude digital equalizers.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
18	P. Kang, D. Birtwhistle, K. Khouzam	Transient signal analysis and classification for condition monitoring of power switching equipment using wavelet transform and artificial neural networks.	KES (2)	1998	DBLP DOI BibTeX RDF
18	Michael S. Floater	A weak condition for the convexity of tensor-product Bézier and B-spline surfaces.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF	Bézier surface, Convexity, tensor-product, B-spline surface
17	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
17	Yoshitatsu Matsuda, Kazunori Yamaguchi	Joint Approximate Diagonalization Utilizing AIC-Based Decision in the Jacobi Method.	ICANN (2)	2009	DBLP DOI BibTeX RDF
17	Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee	User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment.	SOFSEM	2009	DBLP DOI BibTeX RDF	Semantic service discovery, Five senses and Medical symptom, Context-aware computing
17	Hoon Hong, Mohab Safey El Din	Variant real quantifier elimination: algorithm and application.	ISSAC	2009	DBLP DOI BibTeX RDF	quantifier elimination, polynomial systems, real solutions
17	Tim Black, Peter Murphy	In Defense of Sensitivity.	Synth.	2007	DBLP DOI BibTeX RDF
17	Jay Cheng	Constructions of Fault-Tolerant Optical 2-to-1 FIFO Multiplexers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF