Combining static analysis and profiling for estimating execution times

Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of a given platform in order to determine the valúes of certain parameters for that platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in that concrete platform. The approach has been implemented and integrated in the CiaoPP system.

Combining static analysis and profiling for estimating execution times in logic programs

Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution time. With this objective in mind, we propose a method which allows inferring upper and lower bounds on the execution times of procedures of a program in a given execution platform. The approach combines compile-time cost bounds analysis with a one-time profiling of the platform in order to determine the values of certain constants for that platform. These constants calibrate a cost model which from then on is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.

Electron temperature versus laser intensity times wavelength squared: a comparison of theory and experiments

The peak temperature in the corona of plasma ejected by a laser-irradiated slab is discussed in terms of a one-electron-temperature model. Both heat-flux saturation and pulse rise-time effects are considered;the intensity in the rising half of the pulse is approximated by a linear function of time, I(t) = Iot/r. The temperature is found to be proportional to (IQX2)273 and a function of I0X4/r. Above a certain value of I0X4/T, the plasma presents two characteristic temperatures (at saturation and at the critical surface) which can be identified with experimentally observed cold- and hot-electron temperatures. The results are compared with extensive experimental data available for both nd and CO2 lasers, I0(W'cnf2) X2 (/um) starting around 1012. The agreement is good if substantial flux inhibition is assumed (flux-limit factor f = 0.03), and fails for I0X2 above 1O1S. Results for both ablation pressure and mass ablation rate are also given.

Optical Multistability and Oscillations in Hybrid Optical Bistable Systems with Short Delay Times

Optical instabilities in the output light from a bistable optical device (BOD) with a delayed feedback was predicted by Ikeda [1]. Gibbs et al. [2] gave the first experimental verification of this type of instabilities. From that time several groups have studied the instabilities of the BOD for different relations between the delay time tR and the time constant ح of the system. In a previous paper [3] an empirical and analytical study of instabilities in hybrid BOD was reported by us. The employed set up is shown in Fig. 1.

Old concepts for new times in photonics sensing: from inconvenient to practical

After a brief review of some old concepts getting application when new technologies have been developed, this paper offers a short review to some optical bistability concepts. It is shown how different concepts can be employed today in many fields, after being considered as inconvenient when they were found. Some practical applications and some proposals will be reported.

The Advantage of Arriving First: Characteristic Times in Finite Size Populations of Error-Prone Replicators

We study the evolution of a finite size population formed by mutationally isolated lineages of error-prone replicators in a two-peak fitness landscape. Computer simulations are performed to gain a stochastic description of the system dynamics. More specifically, for different population sizes, we compute the probability of each lineage being selected in terms of their mutation rates and the amplification factors of the fittest phenotypes. We interpret the results as the compromise between the characteristic time a lineage takes to reach its fittest phenotype by crossing the neutral valley and the selective value of the sequences that form the lineages. A main conclusion is drawn: for finite population sizes, the survival probability of the lineage that arrives first to the fittest phenotype rises significantly

Dimitris Pikionis: Roads of the Times

Dimitris Pikionis: Roads of the Times

Transit Use by Young People in Times of Financial Austerity: A Cause of Equity Concern?

This study investigates the effect of price and travel time fairness and spatial equity in transit provision on the perceived transit service quality, willingness to pay, and habitual frequency of use. Based on the theory of planned behavior, we developed a web-based questionnaire for revealed preferences data collection. The survey was administered among young people in Copenhagen and Lisbon to explore the transit perceptions and use under different economic and transit provision conditions. The survey yielded 499 questionnaires, analyzed by means of structural equation models. Results show that higher perceived fairness relates positively to higher perceived quality of transit service and higher perceived ease of paying for transit use. Higher perceived spatial equity in service provision is associated with higher perceived service quality. Higher perceived service quality relates to higher perceived ease of payment, which links to higher frequency of transit use.

Dominant transformation by mutated human ras genes in vitro requires more than 100 times higher expression than is observed in cancers

The gene-mutation-cancer hypothesis holds that mutated cellular protooncogenes, such as point-mutated proto-ras, “play a dominant part in cancer,” because they are sufficient to transform transfected mouse cell lines in vitro [Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K. & Watson, J. D. (1994) Molecular Biology of the Cell (Garland, New York)]. However, in cells transformed in vitro mutated human ras genes are expressed more than 100-fold than in the cancers from which they are isolated. In view of the discrepancy between the very low levels of ras transcription in cancers and the very high levels in cells transformed in vitro, we have investigated the minimal level of human ras expression for transformation in vitro. Using point-mutated human ras genes recombined with different promoters from either human metallothionein-IIA or human fibronectin or from retroviruses we found dominant in vitro transformation of the mouse C3H cell line only with ras genes linked to viral promoters. These ras genes were expressed more than 120-fold higher than are native ras genes of C3H cells. The copy number of transfected ras genes ranged from 2–6 in our system. In addition, nondominant transformation was observed in a small percentage (2–7%) of C3H cells transfected with ras genes that are expressed less than 20 times higher than native C3H ras genes. Because over 90% of cells expressing ras at this moderately enhanced level were untransformed, transformation must follow either a nondominant ras mechanism or a non-ras mechanism. We conclude that the mutated, but normally expressed, ras genes found in human and animal cancers are not likely to “play a dominant part in cancer.” The conclusion that mutated ras genes are not sufficient or dominant for cancer is directly supported by recent discoveries of mutated ras in normal animals, and in benign human tissue, “which has little potential to progress” [Jen, J., Powell, S. M., Papadopoulos, N., Smith, K. J., Hamilton, S. R., Vogelstein, B. & Kinzler, K. W. (1994) Cancer Res. 54, 5523–5526]. Even the view that mutated ras is necessary for cancer is hard to reconcile with (i) otherwise indistinguishable cancers with and without ras mutations, (ii) metastases of the same human cancers with and without ras mutations, (iii) retroviral ras genes that are oncogenic without point mutations, and (iv) human tumor cells having spontaneously lost ras mutation but not tumorigencity.

Determining divergence times with a protein clock: Update and reevaluation

A recent study of the divergence times of the major groups of organisms as gauged by amino acid sequence comparison has been expanded and the data have been reanalyzed with a distance measure that corrects for both constraints on amino acid interchange and variation in substitution rate at different sites. Beyond that, the availability of complete genome sequences for several eubacteria and an archaebacterium has had a great impact on the interpretation of certain aspects of the data. Thus, the majority of the archaebacterial sequences are not consistent with currently accepted views of the Tree of Life which cluster the archaebacteria with eukaryotes. Instead, they are either outliers or mixed in with eubacterial orthologs. The simplest resolution of the problem is to postulate that many of these sequences were carried into eukaryotes by early eubacterial endosymbionts about 2 billion years ago, only very shortly after or even coincident with the divergence of eukaryotes and archaebacteria. The strong resemblances of these same enzymes among the major eubacterial groups suggest that the cyanobacteria and Gram-positive and Gram-negative eubacteria also diverged at about this same time, whereas the much greater differences between archaebacterial and eubacterial sequences indicate these two groups may have diverged between 3 and 4 billion years ago.

Coalescent estimates of HIV-1 generation time in vivo

The generation time of HIV Type 1 (HIV-1) in vivo has previously been estimated using a mathematical model of viral dynamics and was found to be on the order of one to two days per generation. Here, we describe a new method based on coalescence theory that allows the estimate of generation times to be derived by using nucleotide sequence data and a reconstructed genealogy of sequences obtained over time. The method is applied to sequences obtained from a long-term nonprogressing individual at five sampling occasions. The estimate of viral generation time using the coalescent method is 1.2 days per generation and is close to that obtained by mathematical modeling (1.8 days per generation), thus strengthening confidence in estimates of a short viral generation time. Apart from the estimation of relevant parameters relating to viral dynamics, coalescent modeling also allows us to simulate the evolutionary behavior of samples of sequences obtained over time.