Ricardo Rocha

From MaRDI portal
Person:291262


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A new cure rate model with flexible competing causes with applications to melanoma and transplantation data
Statistics in Medicine
2024-10-29Paper
Parallel Logic Programming: A Sequel
Theory and Practice of Logic Programming
2023-12-12Paper
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design
Computing
2022-09-27Paper
Zero-adjusted defective regression models for modeling lifetime data
Journal of Applied Statistics
2022-02-24Paper
Defective models induced by gamma frailty term for survival data with cured fraction
Journal of Applied Statistics
2022-02-23Paper
Defective regression models for cure rate modeling with interval-censored data
Biometrical Journal
2020-01-15Paper
Table space designs for implicit and explicit concurrent tabled evaluation
Theory and Practice of Logic Programming
2018-12-04Paper
A new class of defective models based on the Marshall-Olkin family of distributions for cure rate modeling
Computational Statistics and Data Analysis
2018-08-14Paper
Two new defective distributions based on the Marshall-Olkin extension
Lifetime Data Analysis
2016-06-07Paper
Tabling, rational terms, and coinduction finally together!
Theory and Practice of Logic Programming
2014-11-25Paper
A linear logic programming language for concurrent programming over graph structures
Theory and Practice of Logic Programming
2014-11-25Paper
Towards multi-threaded local tabling using a common table space
Theory and Practice of Logic Programming
2013-03-13Paper
The YAP prolog system
Theory and Practice of Logic Programming
2012-06-25Paper
On combining linear-based strategies for tabled evaluation of logic programs
Theory and Practice of Logic Programming
2011-08-16Paper
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
Theory and Practice of Logic Programming
2011-08-16Paper
On the implementation of the probabilistic logic programming language ProbLog
Theory and Practice of Logic Programming
2011-06-15Paper
Preprocessing Boolean formulae for BDDs in a probabilistic context
Logics in Artificial Intelligence
2010-10-01Paper
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Logics in Artificial Intelligence
2010-10-01Paper
Threads and or-parallelism unified
Theory and Practice of Logic Programming
2010-08-19Paper
Compile the hypothesis space: do it once, use it often
 
2009-02-12Paper
On the Efficient Execution of ProbLog Programs
Logic Programming
2009-01-22Paper
ILP :- Just Trie It
Inductive Logic Programming
2008-03-28Paper
Handling Incomplete and Complete Tables in Tabled Logic Programs
Logic Programming
2008-03-11Paper
An External Module for Implementing Linear Tabling in Prolog
Logic Programming
2008-03-11Paper
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
Inductive Logic Programming
2007-11-15Paper
Logic Programming
Lecture Notes in Computer Science
2006-06-27Paper
Logic Programming
Lecture Notes in Computer Science
2006-06-27Paper
Logic Programming
Lecture Notes in Computer Science
2005-08-26Paper
Euro-Par 2004 Parallel Processing
Lecture Notes in Computer Science
2005-08-23Paper
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
2005-04-29Paper
scientific article; zbMATH DE number 2085268 (Why is no real title available?)
 
2004-08-09Paper


Research outcomes over time


This page was built for person: Ricardo Rocha