Combined logics have recently deserved much attention. In this paper we develop a detailed study of a form of combination that generalises the temporalisation construction proposed in 9]. It consists of replacing an atomic part (formal parameter) of one (parameterised) logic by another (actual parameter) logic. We provide a categorial char-acterisation of parameterisation and illustrate it with...

Most of the laboratory tests investigated the flexural performance of un-preloaded or undamaged RC beams strengthened with CFRP composites. However, in engineering applications, the structural member must carry a certain load or damage. There is a lack of systematical investigations on the effects of preload or damage level on the flexural load-carrying capacity of CFRP-strengthened RC beams. T...

The use of near-surface mounted (NSM) fibre-reinforced polymer (FRP) bars is an interesting method for increasing the shear and flexural strength of existing timber members. This article examines the behaviour of carbon FRP (CFRP) bars in timber under direct pull-out conditions. The objective of this experimental program is to investigate the bond strength between composite bars and timber: bar...

Scientific theories are hard to find, and once scientists have found a theory H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this paper. We als...

During the past decade, the appreciation and understanding of how bacterial cells can be organized in both space and time have been revolutionized by the identification and characterization of multiple bacterial homologs of the eukaryotic actin cytoskeleton. Some of these bacterial actins, such as the plasmid-borne ParM protein, have highly specialized functions, whereas other bacterial actins,...

Basics We will use the following parameters: • n, the security parameter.

Working memory capacity is one of the most important learner's characteristics that can be used as an input parameter for personalizing learning in order to improve the learning process. Therefore, knowing learner’s working memory capacity and personalizing the learning contents according to learner’s working memory capacity levels are important research issues. This paper proposes an approach ...

Two different design problems are commonly encountered by highway bridge maintenance engineers: the upgrade of existing members to handle increased load demand, or the repair of bridge members which have experienced impact events due to overheight vehicles. This paper shows that through the use of carbon fiber reinforced (CFRP) materials highway bridge girders can be effectively strengthened or...

It can be learned that the equivalent viscous damping ratio is a crucial parameter in the application of the displacement based (DBD) method. Analytical studies presented here and elsewhere indicate that the equivalent viscous damping ratio is highly dependent on the axial load level. Furthermore, the same can apply for the loading type; namely, seismic and blast loads. Based on research findin...