7,971 research outputs found
Time to Complete and Research Joint Ventures: A Differential Game Approach
In this paper we analyze cooperation in R&D in the form of RJVs.We show that the optimal size of an RJV does not only depend on the degree of spillovers, as literature suggests, but also on the cost function of R&D activities.Moreover, the explicit consideration of the fact that R&D projects take time to complete shows that benefits from cooperation in R&D not only allow RJVs to carry out larger R&D projects, but also to reduce the time to completion for projects with a given size and, consequently, to accelerate the acquisition of the benefits associated with the innovation.Differential games;Research Joint Ventures;Time to complete
Towards Parameterized Regular Type Inference Using Set Constraints
We propose a method for inferring \emph{parameterized regular types} for
logic programs as solutions for systems of constraints over sets of finite
ground Herbrand terms (set constraint systems). Such parameterized regular
types generalize \emph{parametric} regular types by extending the scope of the
parameters in the type definitions so that such parameters can relate the types
of different predicates. We propose a number of enhancements to the procedure
for solving the constraint systems that improve the precision of the type
descriptions inferred. The resulting algorithm, together with a procedure to
establish a set constraint system from a logic program, yields a program
analysis that infers tighter safe approximations of the success types of the
program than previous comparable work, offering a new and useful efficiency vs.
precision trade-off. This is supported by experimental results, which show the
feasibility of our analysis
An efficient, parametric fixpoint algorithm for analysis of java bytecode
Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of flnding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying flxpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based—) flxpoint algorithms rely on relatively inefHcient techniques for solving inter-procedural caligraphs or are speciflc and tied to particular analyses. We also argüe that the design of an efficient fixpoint algorithm is pivotal to supporting the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. The algorithm is parametric -in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins"-, multivariant, and flow-sensitive. Also, is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are given and discussed with an example. We also provide some performance data from a preliminary implementation of the analysis
Heat fluxes between the Guadalquivir river and the Gulf of Cádiz Continental Shelf
An 18-year time series of daily sea surface temperature of Gulf of Cadiz and an 18-month time series of temperature collected in the vicinity of the Guadalquivir estuary mouth have been analyzed to investigate the heat exchange between the estuary and the adjacent continental shelf. The first time identifies a continental shelf area where seasonal thermal oscillation signal (amplitudes and phase) changes abruptly.
In order to explain this anomaly, the second data set allows a description of thermal fluctuations in a wide range of frequencies and an estimation of the upstream heat budget of the Guadalquivir estuary. Results show that high frequency thermal signal, diurnal and semidiurnal, and water flux signal through Guadalquivir mouth, mainly semidiurnal, apparently interact randomly to give a small exchange of thermal energy at high frequency. There is no trace, at the estuary's mouth, of daily heat exchanges with intertidal mudflats probably because it tends to cancel on daily time scales. Results also show that fluctuations of estimated air-sea fluxes force fluctuations of temperature in a quite homogeneous estuarine, with a delay of 20 days. The along-channel thermal energy gradient reaches magnitudes of 300-400 J m-4 near the mouth during the summer and winter and drives the estuary-shelf exchange of thermal energy at seasonal scale. Particularly, the thermal heat imported by the estuary from the shelf area during late fall-winter-early spring of 2008/2009 is balanced by the thermal heat that the estuary exports to the shelf area during late spring-summer of 2008. In summary, Guadalquivir river removes/imports excess of thermal energy towards/from the continental shelf seasonally, as a mechanism to accommodate excess of heat from one side respect to the other side.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Autoridad Portuaria de Sevilla (APS
- …