Wikidata (section Entity Schemas)
ISBN 979-10-95546-36-8. Werkmeister, Lucas (2018). Schema Inference of Wikidata (PDF). Karlsruhe: Fakultät für Informatik, Karlsruhe Institute of Technology. Hernández...
42 KB (3,657 words) - 07:35, 17 December 2024
Constraints, a constraint on the domain of an attribute User accounts, schemas and permissions Database objects are permanent, which means that they remain...
4 KB (351 words) - 20:34, 5 December 2024
strategies can include versioning events, such as semantic versioning or schema evolution, to maintain backward and forward compatibility. Adapters can...
13 KB (1,455 words) - 07:28, 13 December 2024
Hyperdata Network model – an older type of database management system Open data Schema.org VoID – Vocabulary of Interlinked Datasets Web Ontology Language List...
21 KB (1,916 words) - 20:28, 6 June 2024
Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer...
93 KB (13,122 words) - 04:09, 14 December 2024
logical facts), and also the definition of possible actions (operator-schemas with parameters, which should be grounded/instantiated during execution)...
30 KB (3,469 words) - 14:26, 27 March 2024
Kaths, Jakob (2020), Standards for Virtual Test Drives (PDF), Vector Informatik GmbH, retrieved 21 April 2023 VIRES Simulationstechnologie GmbH ASAM e...
9 KB (708 words) - 17:17, 5 August 2024
Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August 2022. Frandsen...
86 KB (11,560 words) - 15:20, 9 December 2024
Katharina T. Huber, Dan Gusfield. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 13 pages, 3000894 bytes. doi:10.4230/LIPICS.WABI.2019.10. ISSN 1868-8969...
46 KB (4,403 words) - 03:14, 9 September 2024
Optimization with an Evolution Strategy", in Reusch, Bernd (ed.), Fuzzy Logik, Informatik aktuell, Berlin, Heidelberg: Springer, pp. 33–40, doi:10.1007/978-3-642-79386-8_5...
38 KB (4,365 words) - 20:01, 11 November 2024
men porten står alltid på glänt. Umeå universitet, Institutionen för informatik. OCLC 1233659973. Shao, Ruodan; Skarlicki, Daniel P. (2014). "Sabotage...
158 KB (18,233 words) - 22:02, 12 December 2024
Complexity Conference (CCC 2024). Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 29:1–29:56. doi:10.4230/LIPIcs.CCC.2024.29. Klarreich, Erica (2022-04-06)...
56 KB (7,396 words) - 00:48, 6 December 2024
true statement. As Tarski showed, this theory can be described by an axiom schema and a decision procedure that is complete and effective: for every fully...
32 KB (3,833 words) - 23:18, 25 October 2024
Programming (ECOOP 2015). Vol. 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 712–734. Retrieved 2022-08-23. Schneider, Fred B. (September 1997)...
58 KB (5,829 words) - 03:06, 14 October 2024
working group of the German Computer Science Society (Gesellschaft für Informatik). In his 1994 PhD thesis "A Theory for Conceptual Modelling of Evolving...
10 KB (1,328 words) - 05:22, 20 March 2023
Handling Rules: Selected Contributions. Universität Ulm, Fakultät für Informatik, 2004. Pullum, Geoffrey K.; Rogers, James (2008). "Expressive power of...
5 KB (526 words) - 07:50, 13 June 2024
Technical Report 83, Albert-Ludwigs-Universität Freiburg, Institut für Informatik. P. Peppas and M-A Williams (1995). Constructive Modellings for Theory...
53 KB (7,935 words) - 16:13, 24 November 2024
arizona.edu. Retrieved December 7, 2020. "dblp: Richard T. Snodgrass". www.informatik.uni-trier.de. Retrieved December 7, 2020. "Microsoft Academic". academic...
15 KB (1,588 words) - 07:19, 13 September 2024