518 results on '"BRY, FRANÇOIS"'
Search Results
152. Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity
153. Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web
154. Towards Generic Query, Update, and Event Languages for the Semantic Web
155. Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
156. A Visual Language for Web Querying and Reasoning
157. XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages
158. Xcerpt and visXcerpt
159. Bioinformatics Databases: State of the Art and Research Perspectives
160. An Entailment Relation for Reasoning on the Web
161. On Reasoning on Time and Location on the Web
162. XPath: Looking Forward
163. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
164. Towards Aggregated Answers for Semistructured Data
165. Bioinformatics Databases: State of the Art and Research Perspectives
166. Bioinformatik
167. A Deduction Method Complete for Refutation and Finite Satisfiability
168. Minimal model generation with positive unit hyper-resolution tableaux
169. Vier Gedanken zur digitalen Kunstgeschichte
170. Disjunctive Logic Programming: What Applications Developers Need
171. Fun and Engagement in Lecture Halls through Social Gamification
172. More than the sum of its parts
173. In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
174. Neuere Entwicklungen der deklarativen KI-Programmierung
175. Integrity verification in knowledge bases
176. Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled
177. Disjunctive Logic Programming: What Applications Developers Need
178. Eine qualitative Analyse der ARTigo-Annotationen
179. Nudging by Predicting: A Case Study
180. Phased Classroom Instruction: A Case Study on Teaching Programming Languages
181. Backstage
182. Codekōan
183. Human computation
184. Potentials and Limitations of Contributive Social Capital Systems
185. Logical rewritings for improving the evaluation of quantified queries
186. Proving finite satisfiability of deductive databases
187. A Hyperresolution-based Proof Procedure and Its Implementation in Prolog
188. SATCHMO: A theorem prover implemented in Prolog
189. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
190. Deduktive Datenbanken
191. Adding Narrative to Gamification and Educational Games With Generic Templates.
192. In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.
193. Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation.
194. Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings
195. Interaction in Massive Courses
196. The edmonds—Gallai decomposition for matchings in locally finite graphs
197. A Crowdsourcing Platform for Italian Linguistic Field Research
198. Analysing Temporal Relations - Beyond Windows, Frames and Predicates
199. Beherrschen oder beherrscht werden? Medienkontrolle aus technischer Sicht
200. Complex Actions for Event Processing
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.