Search results for "type"
showing 10 items of 10618 documents
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
Bipolar disorders and Rorschach: State of the art
2010
International audience; This article is a review of the literature concerning the use of the Rorschach test in the context of bipolar disorders. Even though the first research dates back to the origin of the test, very few studies have been conducted so far. The known research mostly concerns: the description of the psychological functioning of bipolar patients throughout the different phases of the illness, the comparison with other psychopathological designs in order to set up a differential diagnosis (unipolar disorders, schizophrenic disorders, schizoaffective disorders) and to seek endophenotypes. This article aims at summarizing the findings of these studies and at discussing their me…
An Internet-based program for depressive symptoms using human and automated support: a randomized controlled trial
2017
Adriana Mira,1 Juana Bretón-López,1,2 Azucena García-Palacios,1,2 Soledad Quero,1,2 Rosa María Baños,2,3 Cristina Botella1,2 1Department of Basic, Clinical Psychology and Psychobiology, Labpsitec, Universitat Jaume I, Castellón de la Plana, Spain; 2CIBER of Physiopathology of Obesity and Nutrition CIBERobn, CB06/03 Instituto de Salud Carlos III, Santiago de Compostela, Spain; 3Department of Personality, Evaluation and Psychological Treatment, Universidad de Valencia, Valencia, Spain Purpose: The purpose of this study was to analyze the efficacy of an Internet-based program for depressive symptoms using automated supp…
A continuous time tug-of-war game for parabolic $p(x,t)$-Laplace type equations
2019
We formulate a stochastic differential game in continuous time that represents the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the normalized $p(x,t)$-Laplace operator. Our game is formulated in a way that covers the full range $1<p(x,t)<\infty$. Furthermore, we prove the uniqueness of viscosity solutions to our equation in the whole space under suitable assumptions.
Unveiling the Role of Multiple blockholders: Evidence from Closely Held Firms.
2019
Research Question/Issue. This paper disentangles how the modes of ownership distribution among multiple blockholders and their heterogeneity shape principal–principal conflicts and, in turn, affect firm performance. The paper offers empirical evidence from a panel of Italian closely held firms over the period 2009–2014. Research Findings/Insights. We explore the principal–principal conflicts among blockholders across two distinct control structures. When a single blockholder controls the firm, principal–principal conflicts are shaped by the trade‐off between the alignment effect and the monitoring effect. In this scenario, we find that the relationship between the two largest blockholders' …
A comparative analysis between helicopter and seaplane for passenger transport.
2016
Purpose This study aims to develop a methodology to compare the feasibility of helicopter and seaplane regular transport of passengers towards destinations across a remote regional tourist context, where a lack of road and rail infrastructure make these alternative forms of air transport competitive. Design/methodology/approach The authors use a modal split model identifying the quota of passengers that potentially could utilize these two types of services, determined on the basis of previous studies on air transport demand. A technical analysis regarding transport supply is performed to identify the predominant features that should characterize helicopter/seaplane performances. An optimiza…
Does higher technical efficiency induce a higher service level? A paradox association in the context of port operations
2020
Abstract Researchers and practitioners are benchmarking technical efficiency of ports and exploring the drivers of high efficiency. Paradoxically, this study argues that high technical efficiency (TE = 1) is not always essential, but an optimal level needs to be achieved while balancing the port service level. This study applies data envelopment analysis (DEA) and free disposal hull (FDH) methods to perform efficiency rankings of 38 container terminals from 17 different ports in 12 Asian countries. Four terminals are technically efficient (TE = 1) in all frontier approaches, thereof one Bangladeshi, one Chinese, one Indian and one Vietnamese. Furthermore, this study presents a case study co…
Novel Distance Estimation Methods Using 'Stochastic Learning on the Line' Strategies
2018
In this paper, we consider the problem of Distance Estimation (DE) when the inputs are the $x$ and $y$ coordinates (or equivalently, the latitudinal and longitudinal positions) of the points under consideration. The aim of the problem is to yield an accurate value for the real (road) distance between the points specified by the latter coordinates. 1 This problem has, typically, been tackled by utilizing parametric functions called the “Distance Estimation Functions” (DEFs). The parameters are learned from the training data (i.e., the true road distances) between a subset of the points under consideration. We propose to use Learning Automata (LA)-based strategies to solve the problem. In par…
Measuring foreland container port connectivity disaggregated by destination markets: An index for Short Sea Shipping services in Spanish ports
2020
Abstract The present research aims to develop a Foreland Port Connectivity Index (FPCI) including both qualitative and quantitative variables related to the characteristics of the maritime services provided. To that end, the FPCI incorporates two discount factors—the number of shipping services and destination countries—as penalties to correct for the quality of a port connection. After defining the FPCI, the index is applied to Spanish ports to study their connectivity in terms of container Short Sea Shipping (SSS) services. Although the connectivity of SSS traffic has not been widely studied, it is an interesting case study as small ports play a more relevant role in facilitating access t…
A more efficient cutting planes approach for the green vehicle routing problem with capacitated alternative fuel stations
2021
AbstractThe Green Vehicle Routing Problem with Capacitated Alternative Fuel Stations assumes that, at each station, the number of vehicles simultaneously refueling cannot exceed the number of available pumps. The state-of-the-art solution method, based on the generation of all feasible non-dominated paths, performs well only with up to 2 pumps. In fact, it needs cloning the paths between every pair of pumps. To overcome this issue, in this paper, we propose new path-based MILP models without cloning paths, for both the scenario with private stations (i.e., owned by the fleet manager) and that with public stations. Then, a more efficient cutting plane approach is designed for addressing both…