The following pages link to Ricardo Rocha (Q291262):
Displaying 30 items.
- Two new defective distributions based on the Marshall-Olkin extension (Q291263) (← links)
- A new class of defective models based on the Marshall-Olkin family of distributions for cure rate modeling (Q1658477) (← links)
- On the correctness of a lock-free compression-based elastic mechanism for a hash trie design (Q2676227) (← links)
- The YAP Prolog system (Q2893087) (← links)
- Tabling, Rational Terms, and Coinduction Finally Together! (Q2931251) (← links)
- A Linear Logic Programming Language for Concurrent Programming over Graph Structures (Q2931260) (← links)
- On the implementation of the probabilistic logic programming language ProbLog (Q3008407) (← links)
- On combining linear-based strategies for tabled evaluation of logic programs (Q3087452) (← links)
- Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (Q3087453) (← links)
- Threads and or-parallelism unified (Q3585157) (← links)
- (Q3602741) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- On applying or-parallelism and tabling to logic programs (Q4673543) (← links)
- (Q4736502) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← links)
- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs (Q4930760) (← links)
- Preprocessing Boolean Formulae for BDDs in a Probabilistic Context (Q4930770) (← links)
- Zero-adjusted defective regression models for modeling lifetime data (Q5034187) (← links)
- Defective models induced by gamma frailty term for survival data with cured fraction (Q5036529) (← links)
- Defective regression models for cure rate modeling with interval‐censored data (Q5208161) (← links)
- Euro-Par 2004 Parallel Processing (Q5311419) (← links)
- Logic Programming (Q5313188) (← links)
- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System (Q5426046) (← links)
- Handling Incomplete and Complete Tables in Tabled Logic Programs (Q5449621) (← links)
- An External Module for Implementing Linear Tabling in Prolog (Q5449622) (← links)
- ILP :- Just Trie It (Q5452082) (← links)
- Logic Programming (Q5475782) (← links)
- Logic Programming (Q5475798) (← links)
- On the Efficient Execution of ProbLog Programs (Q5504655) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
