130 results on '"Mugnier A"'
Search Results
2. Effective Bug Detection with Unused Definitions.
3. Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates.
4. Laurel: Generating Dafny Assertions Using Large Language Models.
5. Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.
6. Query Rewriting with Disjunctive Existential Rules and Mappings.
7. Impact of line length, EV and PV on LV Grid topology identification based on voltage correlation.
8. Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting.
9. Integrating data and knowledge to support the selection of service plant species in agroecology.
10. Query Rewriting with Disjunctive Existential Rules and Mappings.
11. Molodensky Seven Parameter Transformation for Precise Urban Mapping.
12. Parallelisable Existential Rules: a Story of Pieces.
13. Ontology-Based RDF Integration of Heterogeneous Data.
14. A Structured Data Flow System for Photogrammetric Mapping: The foundation of a citywide Cadastral works.
15. Revisiting RDF storage layouts for efficient query answering.
16. Rule-Based Data Access: A Use-case in Agroecology.
17. Normalisations of Existential Rules: Not so Innocuous!
18. Characterizing Boundedness in Chase Variants.
19. Mechanical Strain Measurements in High-Field Low-Temperature Superconducting Magnets.
20. A Single Approach to Decide Chase Termination on Linear Existential Rules.
21. Deconvolution Method for Multiphoton Microscopy: An Application to Thick Ocular Tissues.
22. Reformulation-Based Query Answering for RDF Graphs with RDFS Ontologies.
23. Oblivious and Semi-Oblivious Boundedness for Existential Rules.
24. Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules.
25. Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data.
26. Normalisations of Existential Rules: Not so Innocuous!
27. OpenPubkey: Augmenting OpenID Connect with User held Signing Keys.
28. On the k-Boundedness for Existential Rules.
29. Finding Complementary and Reliable Patterns in Displacement Field Time Series of Alpine Glaciers.
30. Parallelisable Existential Rules: a Story of Pieces.
31. Ontology-Mediated Query Answering for Key-Value Stores.
32. Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
33. Oblivious and Semi-Oblivious Boundedness for Existential Rules.
34. Characterizing Boundedness in Chase Variants.
35. A Pattern-Based Method For Handling Confidence Measures While Mining Satellite Displacement Field Time Series: Application to Greenland Ice Sheet and Alpine Glaciers.
36. Model-less/measurement-based computation of voltage sensitivities in unbalanced electrical distribution networks.
37. A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.
38. Fast and robust detection of a known pattern in an image.
39. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis.
40. Ontology-Mediated Queries for NOSQL Databases.
41. A Single Approach to Decide Chase Termination on Linear Existential Rules.
42. Graal: A Toolkit for Query Answering with Existential Rules.
43. Query Rewriting for Existential Rules with Compiled Preorder.
44. Combining Existential Rules and Transitivity: Next Steps.
45. Micro-Topography Mapping through Terrestrial LiDAR in Densely Vegetated Coastal Environments.
46. Conceptual Graphs Are Also Graphs.
47. Extending Acyclicity Notions for Existential Rules.
48. An Introduction to Ontology-Based Query Answering with Existential Rules.
49. Reasoning on Data Workshop Chairs' Welcome and Organization.
50. On the k-Boundedness for Existential Rules.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.