233 results on '"Luke Ong"'
Search Results
2. Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing.
3. Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support.
4. Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing.
5. Probabilistic Verification Beyond Context-Freeness.
6. CycleQ: an efficient basis for cyclic equational reasoning.
7. Guaranteed bounds for posterior inference in universal probabilistic programming.
8. Expectation programming: Adapting probabilistic programming systems to estimate expectations efficiently.
9. Nonparametric Involutive Markov Chain Monte Carlo.
10. Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
11. Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.
12. Supermartingales, Ranking Functions and Probabilistic Lambda Calculus.
13. On probabilistic termination of functional programs with continuous distributions.
14. Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.
15. Nonparametric Hamiltonian Monte Carlo.
16. The Difference λ-Calculus: A Language for Difference Categories.
17. Rethinking Variational Inference for Probabilistic Programs with Stochastic Support.
18. Change Actions: Models of Generalised Differentiation.
19. HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.
20. Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
21. Typed Meta-interpretive Learning of Logic Programs.
22. The Extended Theory of Trees and Algebraic (Co)datatypes.
23. Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs.
24. InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).
25. A Preliminary Study on the Effect of Audio Feedback to Support Comprehension of Web Content Among Non-visual Internet Users
26. Automata, Logic and Games for the λ-Calculus.
27. Generalised species of rigid resource terms.
28. Quantitative semantics of the lambda calculus: Some generalisations of the relational model.
29. More effective interpolations in software model checking.
30. ML and Extended Branching VASS.
31. Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes.
32. Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.
33. Plays as Resource Terms via Non-idempotent Intersection Types.
34. On Hierarchical Communication Topologies in the \pi -calculus.
35. Unboundedness and downward closures of higher-order pushdown automata.
36. On Hierarchical Communication Topologies in the -calculus
37. Fragments of ML Decidable by Nested Data Class Memory Automata.
38. Weak and Nested Class Memory Automata.
39. Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach.
40. Higher-Order Model Checking: An Overview.
41. Nondeterminism in Game Semantics via Sheaves.
42. TravMC2: higher-order model checking for alternating parity tree automata.
43. A type-directed abstraction refinement approach to higher-order model checking.
44. Compositional higher-order model checking via ω-regular games over Böhm trees.
45. Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.
46. Automatic Verification of Erlang-Style Concurrency.
47. Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks.
48. Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming.
49. Two-Level Game Semantics, Intersection Types, and Recursion Schemes.
50. Hector: An Equivalence Checker for a Higher-Order Fragment of ML.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.