4,658 research outputs found
Transformations of Logic Programs on Infinite Lists
We consider an extension of logic programs, called \omega-programs, that can
be used to define predicates over infinite lists. \omega-programs allow us to
specify properties of the infinite behavior of reactive systems and, in
general, properties of infinite sequences of events. The semantics of
\omega-programs is an extension of the perfect model semantics. We present
variants of the familiar unfold/fold rules which can be used for transforming
\omega-programs. We show that these new rules are correct, that is, their
application preserves the perfect model semantics. Then we outline a general
methodology based on program transformation for verifying properties of
\omega-programs. We demonstrate the power of our transformation-based
verification methodology by proving some properties of Buechi automata and
\omega-regular languages.Comment: 37 pages, including the appendix with proofs. This is an extended
version of a paper published in Theory and Practice of Logic Programming, see
belo
Convergence in variable Lebesgue spaces
We consider the relationship in the variable Lebesgue space Lp(·)(Ω) between convergence in norm, convergence in modular, and convergence in measure, for both bounded and unbounded exponent functions
Bureaucratization in Public Research Institutions
The purpose of this paper is to analyse the nature of bureaucratization within public research bodies and its relationship to scientific performance, focusing on an Italian case-study. The main finding is that the bureaucratization of the research sector has two dimensions: public research labs have academic bureaucratization since researchers spend an increasing part of their time in administrative matters (i.e., preparing grant applications, managing grants/projects, and so on); whereas universities mainly have administrative bureaucratization generated by the increase over time of administrative staff in comparison with researchers and faculty. In addition, I show that research units with higher bureaucratization have lower scientific performance
Recommended from our members
Time resolved gain/loss studies under low and high power loading for the XeF C-A transition
The behavior of gain versus peak power deposition and the gain-length product versus total energy deposited are measured for devices with power deposition levels from 1 to 13 MW/cm{sup 3} under a variety of gas mixtures. The temporal correlation between the power deposition and gain shows that both the fluorescence and the gain occur after the power deposition has concluded for excitation pulses in the range of 10--30 ns. We find that both B-X and C-A fluorescence takes place in the afterglow and their temporal shapes are similar. This indicates that the C and B states are tightly coupled. This tight coupling has two detrimental consequences for C-state lasing. First is that the population of the B and C states are approximately equal rather than 90% in the C state believed to exist for short pulse electron beam excitation. We believe this close coupling is due to the presence of electric fields in the afterglow which keep the electron temperature relatively hot. The relative populations of the B and C states are determined by a Boltzman distribution governed by the electron temperature and their relative energy separation. Second is that with the C state lifetime approximately the same as the B state lifetime the C-A saturation intensity is very high and efficient energy extraction is substantially more difficult. 5 refs., 10 figs
Are available models reliable for predicting the FRP contribution to the shear resistance of RC beams
In this paper the trustworthiness of the existing theory for predicting the FRP contribution to the shear
resistance of reinforced concrete beams is discussed. The most well-known shear models for EBR (External
Bonded Reinforcement) are presented, commented on and compared with an extensive experimental database.
The database contains the results from more than 200 tests performed in different research institutions across the
world. The results of the comparison are not very promising and the use of the additional principle in the actual
shear design equations should be questioned. The large scatter between the predicted values of different models
and experimental results is of real concern bearing in mind that some of the models are used in present design
codes
Recommended from our members
Beam test of a large area silicon drift detector
The results from the tests of the first large area (4 [times] 4 cm[sup 2]) planar silicon drift detector prototype in a pion beam are reported. The measured position resolution in the drift direction is ([sigma]=40 [plus minus] 10)[mu]m
Guglielmo Marconi. Presidente del CNR
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
- …