Linear-time temporal logic (LTL) and functional reactive programming (FRP) are related via a Curry–Howard correspondence. Based on this observation, we develop a common categorical semantics for a subset of LTL and its corresponding flavor of FRP. We devise a class of categorical models, called fan categories, that explicitly reflect the notion of time-dependent trueness of temporal proposition...

Post-tetanic potentiation (PTP) at the calyx of Held synapse is caused by increases not only in release probability (P(r)) but also in the readily releasable pool size estimated from a cumulative plot of excitatory post-synaptic current amplitudes (RRP(cum)), which contribute to the augmentation phase and the late phase of PTP, respectively. The vesicle pool dynamics underlying the latter has n...

The successful validation of a numerical model is presented that can realistically approximate the shear behaviour of reinforced concrete (R/C) rectangular beams strengthened against shear with externally applied open hoop fibre reinforcing polymer (FRP) strips. For this purpose, the measured load-deformation response of ten (10) full-scale R/C beam specimens is utilised. These specimens were l...

Brillouin scattering-based distributed optical fiber (OF) sensing technique presents advantages for concrete structure monitoring. However, the existence of spatial resolution greatly decreases strain measurement accuracy especially around cracks. Meanwhile, the brittle feature of OF also hinders its further application. In this paper, the distributed OF sensor was firstly proposed as long-gaug...

This paper reports on the North American state-of-the-art in the use of FRP composites in concrete structures. FRP bars have been used as the internal reinforcement in concrete members to replace conventional steel rebars for a host of reasons. The principles for design and construction have been established and proposed to industry by the American Concrete Institute (ACI). The fundamental prin...

As the life age of the existing structures are required to meet the changing demands on civil infrastructures. So strengthening and retrofitting are required. Recently many techniques to strengthen the reinforced concrete beams in flexural by using fiber reinforced polymer (FRP) had appeared. The most famous technique among them is strengthening the (RC) beams with externally bonded FRP sheet t...

We investigate the effect of the hot CNO cycle breakout reaction 15O(α,γ)19Ne on the occurrence of type I X-ray bursts on accreting neutron stars. For frp . 0.1, where frp is a dimensionless factor by which we multiply the 15O(α,γ)19Ne reaction rate of Caughlan & Fowler (1988), our model predicts that bursts should occur only for accretion rates Ṁ below a critical value ≈ 0.3ṀEdd. This agrees w...

Both the flexural and shear strengths of reinforced concrete (RC) beams can be substantially enhanced using externally bonded fibre reinforced polymer (FRP) composites. Failures of such FRP-strengthened RC beams often occur by debonding of the FRP plate from the RC beam in a number of forms. Despite numerous theoretical and experimental studies on debonding failures of FRP-strengthened RC beams...

We consider a (pure) public goods provision problem with voluntary participation in a quasi-linear economy. We propose a new hybrid solution concept, the free-ridingproof core (FRP-Core), which endogenously determines a contribution group, public goods provision level, and how to share the provision costs. The FRP-Core is always nonempty in public goods economies but does not usually achieve gl...

سابقه و هدف: سلامت خاک از مولفه ‏های اصلی در دستیابی به سامانه ‏‏های کشاورزی پایدار بوده که شدت تحت تاثیر عملیات زراعی مانند خاکورزی قرار می ‏گیرد. را توان با استفاده پارامترهای فیزیکی، شیمیایی بیولوژیکی قالب الگوریتم‏ های مشخص کمّی کرد. نتیجه، بررسی وضعیت کیفی باروری مدیریتی مختلف زمین جهت استقرار مناسب برای تولید بهینه نظام‌های امری ضروری می‏ باشد. چارچوب ارزیابی مدیریت SMAF 1 عنوان ابزاری قدر...