The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Applied Logic"( http://dblp.L3S.de/Venues/J._Applied_Logic )

URL (DBLP): http://dblp.uni-trier.de/db/journals/japll

Publication years (Num. hits)
2003 (15) 2004 (25) 2005 (22) 2006 (29) 2007 (38) 2008 (35) 2009 (31) 2010 (29) 2011 (18) 2012 (29) 2013 (33) 2014 (35) 2015 (47) 2016 (42) 2017 (53)
Publication types (Num. hits)
article(481)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 481 publication records. Showing 481 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vicenç Torra Fuzzy microaggregation for the transparency principle. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1D. Álvarez, R. A. Fernández, L. Sánchez Fuzzy system for intelligent word recognition using a regular grammar. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alvin Chiang, Esther David, Yuh-Jye Lee, Guy Leshem, Yi-Ren Yeh A study on anomaly detection ensembles. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mar Lopez, Javier Carbo, José M. Molina López, Juanita P. Pedraza Electronic institutions and neural computing providing law-compliance privacy for trusting agents. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado Special issue SOCO 2015. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rubén Lostado-Lorza, Rubén Escribano-García, Roberto Fernández-Martínez, Marcos Illera-Cueva, Bryan J. Mac Donald Using the finite element method and data mining techniques as an alternative method to determine the maximum load capacity in tapered roller bearings. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xin Sun 0001, Livio Robaldo On the complexity of input/output logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bjørn Jespersen, Massimiliano Carrara, Marie Duzí Iterated privation and positive predication. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alaa Tharwat, Tarek Gaber, Aboul Ella Hassanien One-dimensional vs. two-dimensional based features: Plant identification approach. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Luis Galdámez, William Raveane, Angélica González Arrieta A brief review of the ear recognition process using deep neural networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Gabbay 0001 Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Soledad Valero, Elena del Val Noguera, José Alemany, Vicent J. Botti Enhancing smart-home environments using Magentix2. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katarzyna Grzybowska, Gábor Kovács The modelling and design process of coordination mechanisms in the supply chain. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ángel Arroyo, Álvaro Herrero, Verónica Tricio, Emilio Corchado Analysis of meteorological conditions in Spain by means of clustering techniques. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Souhila Kaci, Robert Mercer, Matthias Thimm Editorial. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heinrich Wansing A more general general proof theory. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo García Bringas, Asier Perallos-Ruiz, Antonio D. Masegosa Arredondo, Álvaro Herrero, Héctor Quintián, Emilio Corchado Special issue SOCO14-JAL. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahti-Veikko Pietarinen, Francesco Bellucci Assertion and denial: A contribution from logical notations. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jordi Montserrat-Adell, Núria Agell, Mónica Sánchez, Francesc Prats, Francisco Javier Ruiz Modeling group assessments by means of hesitant fuzzy linguistic term sets. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Tranchini Natural deduction for bi-intuitionistic logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy Structure features for SAT instances classification. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo García Auñón, Matilde Santos Peñas, Jesús Manuel de la Cruz Parameter selection based on fuzzy logic to improve UAV path-following algorithms. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimiliano Carrara, Daniele Chiffi, Ciro De Florio On assertion and denial in the logic for pragmatics. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eva Armengol, Dionís Boixader, Francisco Grimaldo Logical methods in artificial intelligence applications. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Angelika Kimmig, Guy Van den Broeck, Luc De Raedt Algebraic model counting. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dionís Boixader, Jordi Recasens Characterization of unidimensional averaged similarities. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Mark Reynolds Rewrite rules for CTL. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Denis A. Nasonov, Alexander A. Visheratin, Nikolay Butakov, Natalya Shindyapina, Mikhail Melnik, Alexander Boukhanovsky Hybrid evolutionary workflow scheduling algorithm for dynamic heterogeneous distributed computational environment. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Marketing impact on diffusion in social networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sérgio Mota The never-ending recursion. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaoyuan Zhu, Changhe Yuan Hierarchical beam search for solving most relevant explanation in Bayesian networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahti-Veikko Pietarinen, Francesco Bellucci Reprint of: Assertion and denial: A contribution from logical notations. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Roldán, Rosa Basagoiti, Leandro C. Coelho A survey on the inventory-routing problem with stochastic lead times and demands. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriele Kern-Isberner, Daniela Huvermann What kind of independence do we need for multiple iterated belief change? Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Price of privacy. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Snow An ordered credibility contrast semantics for finite probability agreement. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dragan Simic, Ilija Kovacevic, Vasa Svircevic, Svetlana Simic 50 years of fuzzy set theory and models for supplier assessment and selection: A literature review. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimiliano Carrara, Daniele Chiffi, Ciro De Florio Logical Investigations on Assertion and Denial. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heinrich Wansing Reprint of: A more general general proof theory. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Magnan, Pierre-Henri Wuillemin Efficient incremental planning and learning with multi-valued decision diagrams. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luis Martí, Nayat Sánchez Pi, José M. Molina López, Ana Cristina Bicharra Garcia On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amira Sayed A. Aziz, Sanaa El-Ola Hanafi, Aboul Ella Hassanien Comparison of classification techniques applied for network intrusion detection and classification. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Puente, Alejandro Sobrino, José Angel Olivas, E. Garrido Summarizing information by means of causal sentences through causal graphs. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eva Armengol, Josep Puyol-Gruart A reward-based approach for preference modeling: A case study. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liessman Sturlaugson, Logan Perreault, John W. Sheppard Factored performance functions and decision making in continuous time Bayesian networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Ramón Villar, Manuel Menéndez, Enrique A. de la Cal, Javier Sedano, Víctor M. González Suárez Identification of abnormal movements with 3D accelerometer sensors for seizure recognition. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber Epistemic protocols for dynamic gossip. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vicent Costa, Pilar Dellunde On the existence of free models in fuzzy universal Horn classes. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Brandstetter, Martin Kuchar Sensorless control of variable speed induction motor drive using RBF neural network. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor V. Kashirin, Anastasia A. Lantseva, Sergey V. Ivanov, Sergey V. Kovalchuk, Alexander V. Boukhanovsky Evolutionary simulation of complex networks' structures with specific functional properties. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nissim Francez On harmony and permuting conversions. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani Reasoning about negligibility and proximity in the set of all hyperreals. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Teddy Groves Lakatos's criticism of Carnapian inductive logic was mistaken. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wenyan Xu A cirquent calculus system with clustering and ranking. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fairouz Kamareddine, Jonathan P. Seldin, J. B. Wells Bridging Curry and Church's typing style. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Raidl Updating a progic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 Tableau reductions: Towards an optimal decision procedure for the modal necessity. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerhard Jäger, Michel Marti Intuitionistic common knowledge or belief. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Justine Jacot, Emmanuel Genot, Frank Zenker From reasonable preferences, via argumentation, to logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid Translation of first order formulas into ground formulas via a completion theory. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1B. O. Akinkunmi The problem of coincidence in a theory of temporal multiple recurrence. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul D. Thorn, Gerhard Schurz Qualitative probabilistic inference under varied entropy levels. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti Formal assessment of reliability specifications in embedded cyber-physical systems. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waqar Ahmad, Osman Hasan, Sofiène Tahar Formalization of Reliability Block Diagrams in Higher-order Logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tahel Ronel, Alena Vencovská The principle of signature exchangeability. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew J. Goodall, Jaroslav Nesetril, Patrice Ossona de Mendez Strongly polynomial sequences as interpretations. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Bunched sequential information. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Gabriele Kern-Isberner Dynamics of Knowledge and Belief. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nico Potyka, Engelbert Mittermeier, David Marenke An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version). Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Achim Kuwertz, Jürgen Beyerer Extending adaptive world modeling by identifying and handling insufficient knowledge models. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jürgen Landes, Jon Williamson Special issue: Combining probability and logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Janda Measuring inaccuracy of uncertain doxastic states in many-valued logical systems. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Gilio, Niki Pfeifer, Giuseppe Sanfilippo Transitivity in coherence-based probability logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez Revisiting da Costa logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Luis Castiglioni, Hernán Javier San Martín The left adjoint of Spec from a category of lattice-ordered groups. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Luís Casteleiro-Roca, Héctor Quintián, José Luís Calvo-Rolle, Emilio Corchado, María del Carmen Meizoso-López, Andrés José Piñón Pazos An intelligent fault detection system for a heat pump installation based on a geothermal heat exchanger. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John N. Martin The structure of ideas in The Port Royal Logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shokoofeh Ghorbani Hoop twist-structures. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Luis Galdámez, Angélica González Arrieta, Miguel Ramón Ramón A small look at the ear recognition process using a hybrid approach. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Adamcík On the applicability of the 'number of possible states' argument in multi-expert reasoning. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan Lawry Borderlines and probabilities of borderlines: On the interconnection between vagueness and uncertainty. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karmele López de Ipiña, Alberto Bergareche, Patricia De La Riva, Marcos Faúndez-Zanuy, Pilar M. Calvo, Josep Roure Alcobé, Enric Sesa-Nogueras Automatic non-linear analysis of non-invasive writing signals, applied to essential tremor. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snásel, André C. P. L. F. de Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Juan Manuel Corchado, Emilio Corchado SPECIAL ISSUE SOCO13-JAL. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elizabeth Howarth, Jeff B. Paris, Alena Vencovská An examination of the SEP candidate analogical inference rule within pure inductive logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rob Egrot Representable posets. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lorenzo Magnani The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Albert Kadji, Celestin Lele, Jean B. Nganou A non-commutative generalization of Łukasiewicz rings. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Manuel A. Martins Behavioral equivalence of hidden k-logics: An abstract algebraic approach. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lieven Decock, Igor Douven, Marta Sznajder A geometric principle of indifference. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José del Sagrado, Jorge Antonio Sánchez-Molina, Francisco Rodríguez 0001, Manuel Berenguel Bayesian networks for greenhouse temperature control. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nayat Sánchez Pi, Luis Martí, Ana Cristina Bicharra Garcia Improving ontology-based text classification: An occupational health and security application. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra, C. A. Middelburg Transformation of fractions into simple fractions in divisive meadows. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amnon Rosenmann A multiple-valued logic approach to the design and verification of hardware circuits. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicholas Mattei, Judy Goldsmith, Andrew Klapper, Martin Mundhenk On the complexity of bribery and manipulation in tournaments with uncertain information. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Eichhorn 0001, Gabriele Kern-Isberner Using inductive reasoning for completing OCF-networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manfred Eppe, Mehul Bhatt Approximate postdictive reasoning with answer set programming. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio di Nola, Revaz Grigolia Gödel spaces and perfect MV-algebras. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Cory J. Butz, Souhila Kaci Uncertain reasoning at FLAIRS. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 481 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license