-
Improved inference for MCP-Mod approach for time-to-event endpoints with small sample sizes
Authors:
Márcio A. Diniz,
Diego I. Gallardo,
Tiago M. Magalhães
Abstract:
The Multiple Comparison Procedures with Modeling Techniques (MCP-Mod) framework has been recently approved by the U.S. Food and Administration and European Medicines Agency as fit-per-purpose for phase II studies. Nonetheless, this approach relies on the asymptotic properties of Maximum Likelihood (ML) estimators, which might not be reasonable for small sample sizes. In this paper, we derived impr…
▽ More
The Multiple Comparison Procedures with Modeling Techniques (MCP-Mod) framework has been recently approved by the U.S. Food and Administration and European Medicines Agency as fit-per-purpose for phase II studies. Nonetheless, this approach relies on the asymptotic properties of Maximum Likelihood (ML) estimators, which might not be reasonable for small sample sizes. In this paper, we derived improved ML estimators and correction for their covariance matrices in the censored Weibull regression model based on the corrective and preventive approaches. We performed two simulation studies to evaluate ML and improved ML estimators with their covariance matrices in (i) a regression framework (ii) the Multiple Comparison Procedures with Modeling Techniques framework. We have shown that improved ML estimators are less biased than ML estimators yielding Wald-type statistics that controls type I error without loss of power in both frameworks. Therefore, we recommend the use of improved ML estimators in the MCP-Mod approach to control type I error at nominal value for sample sizes ranging from 5 to 25 subjects per dose.
△ Less
Submitted 14 June, 2023; v1 submitted 31 December, 2022;
originally announced January 2023.
-
The shared weighted Lindley frailty model for cluster failure time data
Authors:
Diego I. Gallardo,
Marcelo Bourguignon
Abstract:
The primary goal of this paper is to introduce a novel frailty model based on the weighted Lindley (WL) distribution for modeling clustered survival data. We study the statistical properties of the proposed model. In particular, the amount of unobserved heterogeneity is directly parameterized on the variance of the frailty distribution such as gamma and inverse Gaussian frailty models. Parametric…
▽ More
The primary goal of this paper is to introduce a novel frailty model based on the weighted Lindley (WL) distribution for modeling clustered survival data. We study the statistical properties of the proposed model. In particular, the amount of unobserved heterogeneity is directly parameterized on the variance of the frailty distribution such as gamma and inverse Gaussian frailty models. Parametric and semiparametric versions of the WL frailty model are studied. A simple expectation-maximization (EM) algorithm is proposed for parameter estimation. Simulation studies are conducted to evaluate its finite sample performance. Finally, we apply the proposed model to a real data set to analyze times after surgery in patients diagnosed with colorectal cancer and compare our results with classical frailty models carried out in this application, which shows the superiority of the proposed model. We implement an R package that includes estimation for fitting the proposed model based on the EM-algorithm.
△ Less
Submitted 26 June, 2022;
originally announced June 2022.
-
A parametric quantile beta regression for modeling case fatality rates of COVID-19
Authors:
Marcelo Bourguignon,
Diego I. Gallardo,
Helton Saulo
Abstract:
Motivated by the case fatality rate (CFR) of COVID-19, in this paper, we develop a fully parametric quantile regression model based on the generalized three-parameter beta (GB3) distribution. Beta regression models are primarily used to model rates and proportions. However, these models are usually specified in terms of a conditional mean. Therefore, they may be inadequate if the observed response…
▽ More
Motivated by the case fatality rate (CFR) of COVID-19, in this paper, we develop a fully parametric quantile regression model based on the generalized three-parameter beta (GB3) distribution. Beta regression models are primarily used to model rates and proportions. However, these models are usually specified in terms of a conditional mean. Therefore, they may be inadequate if the observed response variable follows an asymmetrical distribution, such as CFR data. In addition, beta regression models do not consider the effect of the covariates across the spectrum of the dependent variable, which is possible through the conditional quantile approach. In order to introduce the proposed GB3 regression model, we first reparameterize the GB3 distribution by inserting a quantile parameter and then we develop the new proposed quantile model. We also propose a simple interpretation of the predictor-response relationship in terms of percentage increases/decreases of the quantile. A Monte Carlo study is carried out for evaluating the performance of the maximum likelihood estimates and the choice of the link functions. Finally, a real COVID-19 dataset from Chile is analyzed and discussed to illustrate the proposed approach.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Quantile Regression for positive data using a general class of distributions
Authors:
Diego I. Gallardo,
Manoel Santos-Neto
Abstract:
This paper presents a general class of quantile regression models for positive continuous data. In this class of models we consider that the response variable has a IRON distribution. We provide inference and diagnostic tools for this class of models. An R package, called IRON, was implemented. This package provides estimation and inference for the parameters and tools useful to check the fit of m…
▽ More
This paper presents a general class of quantile regression models for positive continuous data. In this class of models we consider that the response variable has a IRON distribution. We provide inference and diagnostic tools for this class of models. An R package, called IRON, was implemented. This package provides estimation and inference for the parameters and tools useful to check the fit of models. The methods are also illustrated with an application to modeling household income in Chile.
△ Less
Submitted 19 September, 2021;
originally announced September 2021.
-
A denotational semantics for PROMELA addressing arbitrary jumps
Authors:
Marco Comini,
María del Mar Gallardo,
Alicia Villanueva
Abstract:
PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create…
▽ More
PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create instances of processes.
In this paper, we introduce a bottom-up, fixpoint semantics that aims to model the behavior of PROMELA programs. This work is the first step towards a more ambitious goal where analysis and verification techniques based on abstract interpretation would be defined on top of such semantics.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Parametric quantile regression models for fitting double bounded response with application to COVID-19 mortality rate data
Authors:
Diego I. Gallardo,
Marcelo Bourguignon,
Yolanda M. Gómez,
Christian Caamaño-Carrillo
Abstract:
In this paper, we develop two fully parametric quantile regression models, based on power Johnson SB distribution Cancho et al. (2020), for modeling unit interval response at different quantiles. In particular, the conditional distribution is modelled by the power Johnson SB distribution. The maximum likelihood method is employed to estimate the model parameters. Simulation studies are conducted t…
▽ More
In this paper, we develop two fully parametric quantile regression models, based on power Johnson SB distribution Cancho et al. (2020), for modeling unit interval response at different quantiles. In particular, the conditional distribution is modelled by the power Johnson SB distribution. The maximum likelihood method is employed to estimate the model parameters. Simulation studies are conducted to evaluate the performance of the maximum likelihood estimators in finite samples. Furthermore, we discuss residuals and influence diagnostic tools. The effectiveness of our proposals is illustrated with two data set given by the mortality rate of COVID-19 in different countries.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
Context-Aware Personality Inference in Dyadic Scenarios: Introducing the UDIVA Dataset
Authors:
Cristina Palmero,
Javier Selva,
Sorina Smeureanu,
Julio C. S. Jacques Junior,
Albert Clapés,
Alexa Moseguí,
Zejian Zhang,
David Gallardo,
Georgina Guilera,
David Leiva,
Sergio Escalera
Abstract:
This paper introduces UDIVA, a new non-acted dataset of face-to-face dyadic interactions, where interlocutors perform competitive and collaborative tasks with different behavior elicitation and cognitive workload. The dataset consists of 90.5 hours of dyadic interactions among 147 participants distributed in 188 sessions, recorded using multiple audiovisual and physiological sensors. Currently, it…
▽ More
This paper introduces UDIVA, a new non-acted dataset of face-to-face dyadic interactions, where interlocutors perform competitive and collaborative tasks with different behavior elicitation and cognitive workload. The dataset consists of 90.5 hours of dyadic interactions among 147 participants distributed in 188 sessions, recorded using multiple audiovisual and physiological sensors. Currently, it includes sociodemographic, self- and peer-reported personality, internal state, and relationship profiling from participants. As an initial analysis on UDIVA, we propose a transformer-based method for self-reported personality inference in dyadic scenarios, which uses audiovisual data and different sources of context from both interlocutors to regress a target person's personality traits. Preliminary results from an incremental study show consistent improvements when using all available context information.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Analysing the region of the rings and small satellites of Neptune
Authors:
D. M. Gaslac Gallardo,
S. M. Giuliatti Winter,
G. Madeira,
M. A. Muñoz-Gutiérrez
Abstract:
The ring system and small satellites of Neptune were discovered during Voyager 2 flyby in 1989 (Smith et al.1989). In this work we analyse the diffusion maps which can give an overview of the system. As a result we found the width of unstable and stable regions close to each satellite. The innermost Galle ring, which is further from the satellites, is located in a stable region, while Lassel ring…
▽ More
The ring system and small satellites of Neptune were discovered during Voyager 2 flyby in 1989 (Smith et al.1989). In this work we analyse the diffusion maps which can give an overview of the system. As a result we found the width of unstable and stable regions close to each satellite. The innermost Galle ring, which is further from the satellites, is located in a stable region, while Lassel ring (W = 4000 km) has its inner border in a stable region depending on its eccentricity. The same happens to the Le Verrier and Adams rings , they are stable for small values of the eccentricity. They can survive to the close satellites perturbation only for values of e < 0.012. When the solar radiation force is taken into account the rings composed by 1{$μ$}m sized particles have a lifetime of about $10^4$ years while larger particles (10{$μ$}m in radius) can survive up to 10 5 years. The satellites Naiad, Thalassa and Despina can help replenish the lost particles of the Le Verrier, Arago and Lassel rings, while the ejecta produced by Galatea, Larissa and Proteus do not have enough velocity to escape from the satellite gravity.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
Hybrid Fuel Cells Power for Long Duration Robot Missions in Field Environments
Authors:
Jekan Thangavelautham,
Danielle Gallardo,
Daniel Strawser,
Steven Dubowsky
Abstract:
Mobile robots are often needed for long duration missions. These include search and rescue, sentry, repair, surveillance and entertainment. Current power supply technology limit walking and climbing robots from many such missions. Internal combustion engines have high noise and emit toxic exhaust while rechargeable batteries have low energy densities and high rates of self-discharge. In theory, fu…
▽ More
Mobile robots are often needed for long duration missions. These include search and rescue, sentry, repair, surveillance and entertainment. Current power supply technology limit walking and climbing robots from many such missions. Internal combustion engines have high noise and emit toxic exhaust while rechargeable batteries have low energy densities and high rates of self-discharge. In theory, fuel cells do not have such limitations. In particular Proton Exchange Membrane (PEMs) can provide very high energy densities, are clean and quiet. However, PEM fuel cells are found to be unreliable due to performance degradation. This can be mitigated by protecting the fuel cell in a fuel-cell battery hybrid configuration using filtering electronics that ensure the fuel cell is isolated from electrical noise and a battery to isolate it from power surges. Simulation results are presented for a HOAP 2 humanoid robot that suggests a fuel cell powered hybrid power supply superior to conventional batteries.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
Using Model Checking to Generate Test Cases for Android Applications
Authors:
Ana Rosario Espada,
María del Mar Gallardo,
Alberto Salmerón,
Pedro Merino
Abstract:
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctness of applications running on a smartphone involves dealing with the complexity of its environment. In this paper, we propose the use of model-based testing to describe the potential behaviors of users interacting with mo…
▽ More
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctness of applications running on a smartphone involves dealing with the complexity of its environment. In this paper, we propose the use of model-based testing to describe the potential behaviors of users interacting with mobile applications. These behaviors are modeled by composing specially-designed state machines. These composed state machines can be exhaustively explored using a model checking tool to automatically generate all possible user interactions. Each generated trace model checker can be interpreted as a test case to drive a runtime analysis of actual applications. We have implemented a tool that follows the proposed methodology to analyze Android devices using the model checker Spin as the exhaustive generator of test cases.
△ Less
Submitted 9 April, 2015;
originally announced April 2015.
-
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Authors:
Damián Adalid,
María del Mar Gallardo,
Laura Titolo
Abstract:
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in contra…
▽ More
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in contrast to the variable/value style typical of imperative languages. Several extensions of ccp have been proposed in order to model reactive systems. One of these extensions is the Timed Concurrent Constraint Language (tccp) that adds to ccp a notion of discrete time and new features to model time-out and preemption actions. The goal of this paper is to explore the expressive power of tccp to describe hybrid systems. We introduce the language Hy-tccp as a conservative extension of tccp, by adding a notion of continuous time and new constructs to describe the continuous dynamics of hybrid systems. In this paper, we present the syntax and the operational semantics of Hy-tccp together with some examples that show the expressive power of our new language.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Unveiling pseudospin and angular momentum in photonic graphene
Authors:
Daohong Song,
Vassilis Paltoglou,
Sheng Liu,
Yi Zhu,
Daniel Gallardo,
Liqin Tang,
**gjun Xu,
Mark Ablowitz,
Nikolaos K. Efremidis,
Zhigang Chen
Abstract:
Pseudospin, an additional degree of freedom inherent in graphene, plays a key role in understanding many fundamental phenomena such as the anomalous quantum Hall effect, electron chirality and Klein paradox. Unlike the electron spin, the pseudospin was traditionally considered as an unmeasurable quantity, immune to Stern-Gerlach-type experiments. Recently, however, it has been suggested that graph…
▽ More
Pseudospin, an additional degree of freedom inherent in graphene, plays a key role in understanding many fundamental phenomena such as the anomalous quantum Hall effect, electron chirality and Klein paradox. Unlike the electron spin, the pseudospin was traditionally considered as an unmeasurable quantity, immune to Stern-Gerlach-type experiments. Recently, however, it has been suggested that graphene pseudospin is a real angular momentum that might manifest itself as an observable quantity, but so far direct tests of such a momentum remained unfruitful. Here, by selective excitation of two sublattices of an artificial photonic graphene, we demonstrate pseudospin-mediated vortex generation and topological charge flip** in otherwise uniform optical beams with Bloch momentum traversing through the Dirac points. Corroborated by numerical solutions of the linear massless Dirac-Weyl equation, we show that pseudospin can turn into orbital angular momentum completely, thus upholding the belief that pseudospin is not merely for theoretical elegance but rather physically measurable.
△ Less
Submitted 18 December, 2014;
originally announced December 2014.
-
Modeling Hybrid Systems in Hy-tccp
Authors:
Damian Adalid,
Maria del Mar Gallardo,
Laura Titolo
Abstract:
Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybrid tccp (hy-tccp), an extension of tccp over continuous time which includes new con- structs to model the continuous dynamics of hybrid systems.
Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybrid tccp (hy-tccp), an extension of tccp over continuous time which includes new con- structs to model the continuous dynamics of hybrid systems.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Elimination of transverse instability in stripe solitons by one-dimensional lattices
Authors:
Jianke Yang,
Daniel Gallardo,
Alexandra Miller,
Zhigang Chen
Abstract:
We demonstrate theoretically and experimentally that the transverse instability of coherent soliton stripes can be greatly suppressed or totally eliminated when the soliton stripes propagate in a one-dimensional photonic lattice under self-defocusing nonlinearity.
We demonstrate theoretically and experimentally that the transverse instability of coherent soliton stripes can be greatly suppressed or totally eliminated when the soliton stripes propagate in a one-dimensional photonic lattice under self-defocusing nonlinearity.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
Static Analysis using Parameterised Boolean Equation Systems
Authors:
María Del Mar Gallardo,
Christophe Joubert,
Pedro Merino
Abstract:
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex data structures. One recent and promising approach to deal with this problem is the construction of an abstract and correct representation of the global program state allowing to match visited states during program mo…
▽ More
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex data structures. One recent and promising approach to deal with this problem is the construction of an abstract and correct representation of the global program state allowing to match visited states during program model exploration. In particular, one powerful method to implement abstract matching is to fill the state vector with a minimal amount of relevant variables for each program point. In this paper, we combine the on-the-fly model-checking approach (incremental construction of the program state space) and the static analysis method called influence analysis (extraction of significant variables for each program point) in order to automatically construct an abstract matching function. Firstly, we describe the problem as an alternation-free value-based mu-calculus formula, whose validity can be checked on the program model expressed as a labeled transition system (LTS). Secondly, we translate the analysis into the local resolution of a parameterised boolean equation system (PBES), whose representation enables a more efficient construction of the resulting abstract matching function. Finally, we show how our proposal may be elegantly integrated into CADP, a generic framework for both the design and analysis of distributed systems and the development of verification tools.
△ Less
Submitted 3 July, 2006; v1 submitted 21 June, 2006;
originally announced June 2006.
