210 results on '"A, Faron"'
Search Results
2. CoffeeWKG: A Weather Knowledge Graph for Coffee Regions in Colombia
3. Software Model Checking of Interlocking Programs
4. A Framework to Include and Exploit Probabilistic Information in SHACL Validation Reports
5. LDViz: A Tool to Assist the Multidimensional Exploration of SPARQL Endpoints
6. Prediction of Students’ Performance in E-learning Environments Based on Link Prediction in a Knowledge Graph
7. WeKG-MF: A Knowledge Graph of Observational Weather Data
8. KartoGraphI: Drawing a Map of Linked Data
9. A Model for Meteorological Knowledge Graphs: Application to Météo-France Data
10. Stunning Doodle: A Tool for Joint Visualization and Analysis of Knowledge Graphs and Graph Embeddings
11. Shear Failure Analysis with Modelling Multiple Discontinuities in a Concrete Beam Using XFEM
12. Teaching Them Early: Formal Methods in School
13. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
14. Visualising Railway Safety Verification
15. A Knowledge Graph Enhanced Learner Model to Predict Outcomes to Questions in the Medical Field
16. Web Semantic Technologies in Web Based Educational System Integration
17. Bridging the Semantic Web and NoSQL Worlds: Generic SPARQL Query Translation and Application to MongoDB
18. Ontology Design Rules Based on Comparability via Particular Relations
19. An Ontology Alignment Approach Combining Word Embedding and the Radius Measure
20. Teaching Discrete Mathematics to Computer Science Students
21. Injecting Domain Knowledge in Electronic Medical Records to Improve Hospitalization Prediction
22. Bridging Web APIs and Linked Data with SPARQL Micro-Services
23. Extraction of Relevant Resources and Questions from DBpedia to Automatically Generate Quizzes on Specific Domains
24. LDScript: A Linked Data Script Language
25. A Formalization of the French Elementary School Curricula
26. A Specification Theory of Real-Time Processes
27. Studying the History of Pre-modern Zoology by Extracting Linked Zoological Data from Mediaeval Texts and Reasoning on It
28. A Transformation Language for RDF Based on SPARQL
29. Translation of Heterogeneous Databases into RDF, and Application to the Construction of a SKOS Taxonomical Reference
30. Validating Ontologies Against OWL 2 Profiles with the SPARQL Template Transformation Language
31. A Mapping-Based Method to Query MongoDB Documents with SPARQL
32. Prolactin and Somatostatin Responses to Antidepressant Therapy
33. Logical Properties of Processes
34. Temporal Properties
35. Concurrent Processes
36. Modelling Processes
37. Distinguishing Between Processes
38. Relations
39. Functions
40. Inductive and Recursive Definitions
41. Proof Strategies
42. Predicate Logic
43. Boolean Algebras and Circuits
44. Games and Strategies
45. Sets
46. Proofs by Induction
47. Introduction
48. A Generic RDF Transformation Software and Its Application to an Online Translation Service for Common Languages of Linked Data
49. OnTrack: The Railway Verification Toolset : Extended Abstract
50. Challenges in Bridging Social Semantics and Formal Semantics on the Web
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.