Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Bakhtiar Amaludin, Fitria Ratna Wardika, Putu Jasprayana Mudana Putra, I Gede Yudi Paramartha	Analyze the Usage of Legal Definitions in Indonesian Regulation Using Text Mining Case Study: Treasury and Budget Law.	JURIX	2021	DBLP DOI BibTeX RDF
12	Eric C. Merrell, Olivier Massin, Barry Smith 0001	Common Core Conformant Definitions for an Ontology of Commercial Exchange.	JOWO	2021	DBLP BibTeX RDF
12	Nikolaos Batalas, Ioanna Lykourentzou, Vassilis-Javed Khan, Panos Markopoulos 0001	Reconsidering End-User Development Definitions.	IS-EUD	2021	DBLP DOI BibTeX RDF
12	Van-Tan Bui, Phuong-Thai Nguyen	WEWD: A Combined Approach for Measuring Cross-lingual Semantic Word Similarity Based on Word Embeddings and Word Definitions.	RIVF	2021	DBLP DOI BibTeX RDF
12	Fabian Trautsch, Steffen Herbold, Jens Grabowski	Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects.	Software Engineering	2021	DBLP DOI BibTeX RDF
12	Jean Christoph Jung, Frank Wolter	Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.	LICS	2021	DBLP DOI BibTeX RDF
12	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.	AAAI	2021	DBLP DOI BibTeX RDF
12	Xuancheng Ren, Xu Sun 0001, Houfeng Wang, Qun Liu 0001	Towards Semantics-Enhanced Pre-Training: Can Lexicon Definitions Help Learning Sentence Meanings?	AAAI	2021	DBLP DOI BibTeX RDF
12	Sohom Ghosh, Shovon Sengupta, Sudip Kumar Naskar, Sunny Kumar Singh	FinRead: A Transfer Learning Based Tool to Assess Readability of Definitions of Financial Terms.	ICON	2021	DBLP BibTeX RDF
12	Andrew Head, Kyle Lo, Dongyeop Kang, Raymond Fok, Sam Skjonsberg, Daniel S. Weld, Marti A. Hearst	Augmenting Scientific Papers with Just-in-Time, Position-Sensitive Definitions of Terms and Symbols.	CHI	2021	DBLP DOI BibTeX RDF
12	George Manis, Roberto Sassi	A Python Library with Fast Algorithms for Popular Entropy Definitions.	CinC	2021	DBLP DOI BibTeX RDF
12	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Unifying Decidable Entailments in Separation Logic with Inductive Definitions.	CADE	2021	DBLP DOI BibTeX RDF
12	Tianyu Jiang, Ellen Riloff	Exploiting Definitions for Frame Identification.	EACL	2021	DBLP DOI BibTeX RDF
12	Benjamin Binder 0001, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan	Is This Still Normal? Putting Definitions of Timing Anomalies to the Test.	RTCSA	2021	DBLP DOI BibTeX RDF
12	Mirna El Ghosh, Fethi Ghazouani, Benjamin Birene, Elise Akan, Jean Charlet, Ferdinand Dhombres	Modeling Logical Definitions in Biomedical Ontologies by Reusing Ontology Design Patterns.	ICBO	2021	DBLP BibTeX RDF
12	Christopher Malon	Overcoming Poor Word Embeddings with Word Definitions.	*SEM	2021	DBLP DOI BibTeX RDF
12	Yannan Li, Willy Susilo, Guomin Yang, Tran Viet Xuan Phuong, Yong Yu 0002, Dongxi Liu	Concise Mercurial Subvector Commitments: Definitions and Constructions.	ACISP	2021	DBLP DOI BibTeX RDF
12	Gargi Singh, Dhanajit Brahma, Piyush Rai, Ashutosh Modi	Fine-Grained Emotion Prediction by Modeling Emotion Definitions.	ACII	2021	DBLP DOI BibTeX RDF
12	Anelia Kurteva, Hélène de Ribaupierre	Interface to Query and Visualise Definitions from a Knowledge Base.	ICWE	2021	DBLP DOI BibTeX RDF
12	Liangyi Kang, Jie Liu 0008, Lingqiao Liu, Dan Ye 0004	Label Definitions Augmented Interaction Model for Legal Charge Prediction.	ECIR (1)	2021	DBLP DOI BibTeX RDF
12	Mika Gabrielsson, Sara Fraccastoro, Arto Ojala, Minna Rollins	Digital Entrepreneurial Internationalizers: Definitions, Theoretical Implications, and Research Avenues.	HICSS	2021	DBLP BibTeX RDF
12	Wenlin Yao, Xiaoman Pan, Lifeng Jin, Jianshu Chen, Dian Yu 0001, Dong Yu 0001	Connect-the-Dots: Bridging Semantics between Words and Definitions via Aligning Word Sense Inventories.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
12	Kwei-Herng Lai, Daochen Zha, Junjie Xu, Yue Zhao 0016, Guanchu Wang, Xia Ben Hu	Revisiting Time Series Outlier Detection: Definitions and Benchmarks.	NeurIPS Datasets and Benchmarks	2021	DBLP BibTeX RDF
12	Frank Wolter	Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk).	SOQE@KR	2021	DBLP BibTeX RDF
12	Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov	Induction with Recursive Definitions in Superposition.	FMCAD	2021	DBLP DOI BibTeX RDF
12	Hengrui Jia, Mohammad Yaghini, Christopher A. Choquette-Choo, Natalie Dullerud, Anvith Thudi, Varun Chandrasekaran, Nicolas Papernot	Proof-of-Learning: Definitions and Practice.	SP	2021	DBLP DOI BibTeX RDF
12	Jan Czarnocki	Will new definitions of emotion recognition and biometric data hamper the objectives of the proposed AI Act?	BIOSIG	2021	DBLP BibTeX RDF
12	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.	CSL	2021	DBLP DOI BibTeX RDF
12	Marie Fortin, Boris Konev, Frank Wolter	Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
12	Ruth Ng	Symmetric Cryptography: New Definitions and Schemes.		2021	RDF
12	Arve Gengelbach	Conservative Definitions for Higher-order Logic with Ad-hoc Overloading.		2021	RDF
12	Chen-Da Liu-Zhang	Multi-Party Computation: Definitions, Enhanced Security Guarantees and Efficiency.		2021	RDF
12	Mohammad Hosseini, Luca Consoli, Hub A. E. Zwart, Mariette A. van den Hoven	Suggestions to Improve the Comprehensibility of Current Definitions of Scientific Authorship for International Authors.	Sci. Eng. Ethics	2020	DBLP DOI BibTeX RDF
12	Jonathan Furner	Definitions of "Metadata": A Brief Survey of International Standards.	J. Assoc. Inf. Sci. Technol.	2020	DBLP DOI BibTeX RDF
12	Levan Uridia, Dirk Walther 0002	Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses.	Inteligencia Artif.	2020	DBLP DOI BibTeX RDF
12	Nazli Turken, Vincent L. Cannataro, Avinash Geda, Ashutosh Dixit	Nature inspired supply chain solutions: definitions, analogies, and future research directions.	Int. J. Prod. Res.	2020	DBLP DOI BibTeX RDF
12	Gioele Bigini, Valerio Freschi, Emanuele Lattanzi	A Review on Blockchain for the Internet of Medical Things: Definitions, Challenges, Applications, and Vision.	Future Internet	2020	DBLP DOI BibTeX RDF
12	Andrew Pilant, Keith Endres, Daniel Rosenbaum, Gillian Gundersen	US EPA EnviroAtlas Meter-Scale Urban Land Cover (MULC): 1-m Pixel Land Cover Class Definitions and Guidance.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
12	Si Zhang, Hanghang Tong, Jie Tang 0001, Jiejun Xu, Wei Fan 0001	Incomplete Network Alignment: Problem Definitions and Fast Solutions.	ACM Trans. Knowl. Discov. Data	2020	DBLP DOI BibTeX RDF
12	Xiaomei Mi, Huchang Liao, Xingli Wu, Zeshui Xu	Probabilistic linguistic information fusion: A survey on aggregation operators in terms of principles, definitions, classifications, applications, and challenges.	Int. J. Intell. Syst.	2020	DBLP DOI BibTeX RDF
12	Jen Jen Chung, Damjan Miklic, Lorenzo Sabattini, Kagan Tumer, Roland Siegwart	The impact of agent definitions and interactions on multiagent learning for coordination in traffic management domains.	Auton. Agents Multi Agent Syst.	2020	DBLP DOI BibTeX RDF
12	Jianye Huang, Qiong Huang 0001, Willy Susilo	Leakage-resilient group signature: Definitions and constructions.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
12	Muhammad Mustafa Kamal, Uthayasankar Sivarajah, Ali Ziaee Bigdeli, Farouk Missi, Yannis Koliousis	Servitization implementation in the manufacturing organisations: Classification of strategies, definitions, benefits and challenges.	Int. J. Inf. Manag.	2020	DBLP DOI BibTeX RDF
12	Wojciech Chojnacki, Zygmunt L. Szpak, Mårten Wadenbäck	The equivalence of two definitions of compatible homography matrices.	Pattern Recognit. Lett.	2020	DBLP DOI BibTeX RDF
12	Michael E. Kounavis, David Durham, Sergej Deutsch, Ken Grewal	Security definitions, entropy measures and constructions for implicitly detecting data corruption.	Comput. Commun.	2020	DBLP DOI BibTeX RDF
12	Changzheng Shao, Yi Ding 0001	Two-interdependent-performance multi-state system: Definitions and reliability evaluation.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
12	Emil Mahler Larsen, Yi Ding 0001, Yan-Fu Li, Enrico Zio	Definitions of generalized multi-performance weighted multi-state K¯-out-of-n system and its reliability evaluations.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
12	Mehraveh Salehi, Abigail S. Greene, Amin Karbasi, Xilin Shen, Dustin Scheinost, R. Todd Constable	There is no single functional atlas even for a single individual: Functional parcel definitions change with task.	NeuroImage	2020	DBLP DOI BibTeX RDF
12	Macarena Garcia, Nikolay Lipskiy, James Tyson, Roniqua Watkins, E. Stein Esser, Teresa Kinley	Centers for Disease Control and Prevention 2019 novel coronavirus disease (COVID-19) information management: addressing national health-care and public health needs for standardized data definitions and codified vocabulary for data exchange.	J. Am. Medical Informatics Assoc.	2020	DBLP DOI BibTeX RDF
12	Alexander Galozy, Slawomir Nowaczyk, Anita Pinheiro Sant'Anna, Mattias Ohlsson, Markus Lingman	Pitfalls of medication adherence approximation through EHR and pharmacy records: Definitions, data and computation.	Int. J. Medical Informatics	2020	DBLP DOI BibTeX RDF
12	Huang-Ting Chan, Hsuan-Tsung Chiu, Chang-Biau Yang, Yung-Hsing Peng	The Generalized Definitions of the Two-Dimensional Largest Common Substructure Problems.	Algorithmica	2020	DBLP DOI BibTeX RDF
12	Giuseppe Ateniese, Bernardo Magri, Daniele Venturi 0001	Subversion-resilient signatures: Definitions, constructions and applications.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Floriane Anstett-Collin, Lilianne Denis-Vidal, Gilles Millerioux	A priori identifiability: An overview on definitions and approaches.	Annu. Rev. Control.	2020	DBLP DOI BibTeX RDF
12	Christiane Kuhn, Martin Beck, Thorsten Strufe	Covid Notions: Towards Formal Definitions - and Documented Understanding - of Privacy Goals and Claimed Protection in Proximity-Tracing Services.	CoRR	2020	DBLP BibTeX RDF
12	Jiaju Du, Fanchao Qi, Maosong Sun 0001, Zhiyuan Liu 0001	Lexical Sememe Prediction using Dictionary Definitions by Capturing Local Semantic Correspondence.	CoRR	2020	DBLP BibTeX RDF
12	Yixin Tan, Xiaomeng Wang, Tao Jia 0001	From syntactic structure to semantic relationship: hypernym extraction from definitions by recurrent neural networks using the part of speech information.	CoRR	2020	DBLP BibTeX RDF
12	Andrew Head, Kyle Lo, Dongyeop Kang, Raymond Fok, Sam Skjonsberg, Daniel S. Weld, Marti A. Hearst	Augmenting Scientific Papers with Just-in-Time, Position-Sensitive Definitions of Terms and Symbols.	CoRR	2020	DBLP BibTeX RDF
12	Xinyang Deng	Basic concepts, definitions, and methods in D number theory.	CoRR	2020	DBLP BibTeX RDF
12	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.	CoRR	2020	DBLP BibTeX RDF
12	Tobias Hoßfeld, Stefan Wunderer, André Beyer, Andrew Hall, Anika Schwind, Christian Gassner, Fabrice Guillemin, Florian Wamser, Krzysztof Wascinski, Matthias Hirth, Michael Seufert, Pedro Casas, Phuoc Tran-Gia, Werner Robitza, Wojciech Wascinski, Zied Ben-Houidi	White Paper on Crowdsourced Network and QoE Measurements - Definitions, Use Cases and Challenges.	CoRR	2020	DBLP BibTeX RDF
12	Amir-Hossein Karimi, Gilles Barthe, Bernhard Schölkopf, Isabel Valera	A survey of algorithmic recourse: definitions, formulations, solutions, and prospects.	CoRR	2020	DBLP BibTeX RDF
12	Robin Vogel, Aurélien Bellet, Stéphan Clémençon	Learning Fair Scoring Functions: Fairness Definitions, Algorithms and Generalization Bounds for Bipartite Ranking.	CoRR	2020	DBLP BibTeX RDF
12	Jens Pagel, Christoph Matheja, Florian Zuleger	Complete Entailment Checking for Separation Logic with Inductive Definitions.	CoRR	2020	DBLP BibTeX RDF
12	André C. R. Martins	Extremism definitions in opinion dynamics models.	CoRR	2020	DBLP BibTeX RDF
12	Andrés Vazquez Sieber, Mónica E. Romero	A collection of definitions and fundamentals for a design-oriented inductor model.	CoRR	2020	DBLP BibTeX RDF
12	Natalia Vanetik, Marina Litvak, Sergey Shevchuk, Lior Reznik	Automated Discovery of Mathematical Definitions in Text with Deep Neural Networks.	CoRR	2020	DBLP BibTeX RDF
12	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard.	CoRR	2020	DBLP BibTeX RDF
12	Ali Hebbal, Loïc Brevault, Mathieu Balesdent, El-Ghazali Talbi, Nouredine Melab	Multi-fidelity modeling with different input domain definitions using Deep Gaussian Processes.	CoRR	2020	DBLP BibTeX RDF
12	Liesbeth Allein, Marie-Francine Moens	Checkworthiness in Automatic Claim Detection Models: Definitions and Analysis of Datasets.	CoRR	2020	DBLP BibTeX RDF
12	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.	CoRR	2020	DBLP BibTeX RDF
12	Andrew Perkis, Christian Timmerer, Sabina Barakovic, Jasmina Barakovic Husic, Søren Bech, Sebastian Bosse, Jean Botev, Kjell Brunnström, Luís Alberto da Silva Cruz, Katrien De Moor, Andrea de Polo Saibanti, Wouter Durnez, Sebastian Egger-Lampl, Ulrich Engelke, Tiago H. Falk, Asim Hameed, Andrew Hines, Tanja Kojic, Dragan Kukolj, Eirini Liotou, Dragorad Milovanovic, Sebastian Möller 0001, Niall Murray, Babak Naderi, Manuela Pereira, Stuart W. Perry, António M. G. Pinheiro, Andres Pinilla Palacios, Alexander Raake, Sarvesh Rajesh Agrawal, Ulrich Reiter, Rafael Rodrigues, Raimund Schatz, Peter Schelkens, Steven Schmidt 0001, Saeed Shafiee Sabet, Ashutosh Singla, Lea Skorin-Kapov, Mirko Suznjevic, Stefan Uhrig, Sara Vlahovic, Jan-Niklas Voigt-Antons, Saman Zadtootaghaj	QUALINET White Paper on Definitions of Immersive Media Experience (IMEx).	CoRR	2020	DBLP BibTeX RDF
12	Jean Christoph Jung, Frank Wolter	Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.	CoRR	2020	DBLP BibTeX RDF
12	Seyed Mohammad Mehdi Abbasi, Aliakbar Jalali 0001	Some new performance definitions of second-order fuzzy systems.	Soft Comput.	2020	DBLP DOI BibTeX RDF
12	Yu Zhang, Min Wang 0009, Morteza Saberi, Elizabeth Chang 0001	Knowledge fusion through academic articles: a survey of definitions, techniques, applications and challenges.	Scientometrics	2020	DBLP DOI BibTeX RDF
12	Bey-Marrié Schmidt, Christopher J. Colvin, Ameer Hohlfeld, Natalie Leon	Definitions, components and processes of data harmonisation in healthcare: a scoping review.	BMC Medical Informatics Decis. Mak.	2020	DBLP DOI BibTeX RDF
12	Mauro Sarrica, Sonia Brondi, Leopoldina Fortunati	How many facets does a "social robot" have? A review of scientific and popular definitions online.	Inf. Technol. People	2020	DBLP DOI BibTeX RDF
12	Janne Gustafsson	Valuation of Research and Development Projects Using Buying and Selling Prices: Generalized Definitions.	Decis. Anal.	2020	DBLP DOI BibTeX RDF
12	Julianne de C. Oliveira, Eleanor E. Campbell, Rubens A. C. Lamparelli, Gleyce Kelly Dantas Araújo Figueiredo, Johnny R. Soares, Deepak Jaiswal, Leonardo A. Monteiro, Murilo dos Santos Vianna, Lee R. Lynd, John J. Sheehan	Choosing pasture maps: An assessment of pasture land classification definitions and a case study of Brazil.	Int. J. Appl. Earth Obs. Geoinformation	2020	DBLP DOI BibTeX RDF
12	Hai Lin 0005, Christopher Lynch	Local XOR Unification: Definitions, Algorithms and Application to Cryptography.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
12	Abida Haque, Alessandra Scafuro	Threshold Ring Signatures: New Definitions and Post-Quantum Security.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
12	Ashley Fraser, Elizabeth A. Quaglia	Protecting the Privacy of Voters: New Definitions of Ballot Secrecy for E-Voting.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
12	Fabian Trautsch, Steffen Herbold, Jens Grabowski	Are unit and integration test definitions still valid for modern Java projects? An empirical study on open-source projects.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
12	Abu Naser Masud, Federico Ciccozzi	More precise construction of static single assignment programs using reaching definitions.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
12	Maarten De Boeck, Jozefien D'haeseleer	Equivalent definitions for (degree one) Cameron-Liebler classes of generators in finite classical polar spaces.	Discret. Math.	2020	DBLP DOI BibTeX RDF
12	Yanwei Jiang, Bo Zhang 0011	Comparative Study of Riemann-Liouville and Caputo Derivative Definitions in Time-Domain Analysis of Fractional-Order Capacitor.	IEEE Trans. Circuits Syst. II Express Briefs	2020	DBLP DOI BibTeX RDF
12	Wildan Wiguna	COVID-19 Case Definitions for Surveillance.		2020	DOI RDF
12	Sergey Averin, Andrey Gapon, Pavel Ignatev	Multi-Constellation DGNSS - A Time to Revise Definitions.	ENC	2020	DBLP DOI BibTeX RDF
12	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard.	LPAR	2020	DBLP DOI BibTeX RDF
12	Jens Katelaan, Florian Zuleger	Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.	LPAR	2020	DBLP DOI BibTeX RDF
12	Hanna Hedeland	Towards Comprehensive Definitions of Data Quality for Audiovisual Annotated Language Resources.	CLARIN Annual Conference	2020	DBLP BibTeX RDF
12	Simon Henriet, Benoit Fuentes, Umut Simsekli, Gaël Richard	Matrix Factorization for High Frequency Non Intrusive Load Monitoring: Definitions and Algorithms.	NILM@SenSys	2020	DBLP DOI BibTeX RDF
12	Luis Felipe Zapata Rivera, Maria M. Larrondo-Petrie, Basar Sahinbeyoglu, Serhan Argun	Process of Adapting a Local Laboratory to Connect to an Online Laboratory System Based on Standard Definitions and Open Source Technologies.	REV	2020	DBLP DOI BibTeX RDF
12	Yichi Zhang 0001, Yinpei Dai, Zhijian Ou, Huixin Wang, Junlan Feng	Improved Learning of Word Embeddings with Word Definitions and Semantic Injection.	INTERSPEECH	2020	DBLP DOI BibTeX RDF
12	Yixin Tan, Xiaomeng Wang, Tao Jia 0001	From Syntactic Structure to Semantic Relationship: Hypernym Extraction from Definitions by Recurrent Neural Networks Using the Part of Speech Information.	ISWC (1)	2020	DBLP DOI BibTeX RDF
12	Zainab Ruhwanya, Jacques Ophoff	Critical Analysis of Information Security Culture Definitions.	HAISA	2020	DBLP DOI BibTeX RDF
12	Ashley Fraser, Elizabeth A. Quaglia	Protecting the Privacy of Voters: New Definitions of Ballot Secrecy for E-Voting.	SAC	2020	DBLP DOI BibTeX RDF
12	Laurie Letalle, Aymen Lakehal, Hursula Mengue-Topio, Johann Saint-Mars, Christophe Kolski, Sophie Lepreux, Françoise Anceaux	Ontology for Mobility of People with Intellectual Disability: Building a Basis of Definitions for the Development of Navigation Aid Systems.	HCI (32)	2020	DBLP DOI BibTeX RDF
12	Jani Koskinen, Minna M. Rantanen	What is a PHR? Definitions of Personal Health Record (PHR) Used in Literature - A Systematic Literature Review.	WIS	2020	DBLP DOI BibTeX RDF
12	Urszula Bentkowska, Michal Kepski, Marcin Mrukowicz, Barbara Pekala	New fuzzy local contrast measures: definitions, evaluation and comparison.	FUZZ-IEEE	2020	DBLP DOI BibTeX RDF
12	Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi	Authentication in Key-Exchange: Definitions, Relations and Composition.	CSF	2020	DBLP DOI BibTeX RDF