標題: Titlebook: ICSBE 2022; Proceedings of the 1 Ranjith Dissanayake,Priyan Mendis,Pradeep Gajanaya Conference proceedings 2023 The Editor(s) (if applicabl [打印本頁] 作者: Prehypertension 時間: 2025-3-21 17:59
書目名稱ICSBE 2022影響因子(影響力)
書目名稱ICSBE 2022影響因子(影響力)學(xué)科排名
書目名稱ICSBE 2022網(wǎng)絡(luò)公開度
書目名稱ICSBE 2022網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱ICSBE 2022被引頻次
書目名稱ICSBE 2022被引頻次學(xué)科排名
書目名稱ICSBE 2022年度引用
書目名稱ICSBE 2022年度引用學(xué)科排名
書目名稱ICSBE 2022讀者反饋
書目名稱ICSBE 2022讀者反饋學(xué)科排名
作者: 有發(fā)明天才 時間: 2025-3-21 21:51
action, is suitable for modeling a number of resource-oriented problems in concurrency in which there is a unique control process (called the .) and an arbitrary number of identical user processes [13, 2]. Communication between processes is via synchronous actions in the style of Milner’s Calculus o作者: 冷淡周邊 時間: 2025-3-22 04:07
H. S. C. Padmasiri,G. L. A. S. Punyawardhana,D. K. D. Limesha,P. A. K. Karunanandassociating a transition system with a process which captures concurrent execution via the interleaving of occurrences: the latter adopts more complex semantic structures to avoid reducing concurrency to interleaving..In this paper we show that the two approaches are not irreconcilable. We define a t作者: 拋射物 時間: 2025-3-22 08:01
W. G. K. Nirmal,P. Thadsanamoorthy,G. Tharmarajahssociating a transition system with a process which captures concurrent execution via the interleaving of occurrences: the latter adopts more complex semantic structures to avoid reducing concurrency to interleaving..In this paper we show that the two approaches are not irreconcilable. We define a t作者: Delirium 時間: 2025-3-22 12:13 作者: 含糊其辭 時間: 2025-3-22 16:14 作者: 整頓 時間: 2025-3-22 19:02
the desired subset of the computations of the uncontrolled system (often called a plant) is specified by automata theoretic means. Here we formulate the problem in a branching time framework. We use a class of labelled transition systems to model both the plant and the specification. We deploy beha作者: PRE 時間: 2025-3-23 00:05 作者: Cervical-Spine 時間: 2025-3-23 03:25
S. L. G. Haththotuwa,B. M. W. P. K. Amarasinghetransitions. We define a relation between the observable transitions of the two nets. The behaviour equivalence which preserves interleaving semantics, consists in allowing that corresponding observable transitions must be fired in the same order. The main interest of this paper is that we do not ma作者: HATCH 時間: 2025-3-23 09:18
N. B. I. M. N. Bandara,V. Edussooriya two facets of alternation, and ., whereby configurations consist of states between which communication can occur. To formalize cooperative concurrency, which appears to be the closest finite-state analog to real-world distributed concurrency, we use the recent ., though our results hold for many ot作者: helper-T-cells 時間: 2025-3-23 10:51 作者: 討好美人 時間: 2025-3-23 15:06
Someen Khute,Raul Zerbino,Surender Singh,Ravindra Gettutransitions. We define a relation between the observable transitions of the two nets. The behaviour equivalence which preserves interleaving semantics, consists in allowing that corresponding observable transitions must be fired in the same order. The main interest of this paper is that we do not ma作者: 誓言 時間: 2025-3-23 18:44
two facets of alternation, and ., whereby configurations consist of states between which communication can occur. To formalize cooperative concurrency, which appears to be the closest finite-state analog to real-world distributed concurrency, we use the recent ., though our results hold for many ot作者: Mhc-Molecule 時間: 2025-3-24 01:54
E. Thavarajah,K. M. C. Konthesingha,S. M. A. Nanayakkara,I. R. Upasiri,W. P. H. P. Weerasinghe,H. M.transitions. We define a relation between the observable transitions of the two nets. The behaviour equivalence which preserves interleaving semantics, consists in allowing that corresponding observable transitions must be fired in the same order. The main interest of this paper is that we do not ma作者: collagen 時間: 2025-3-24 05:27
K. Kopitha,S. Krishnya,Y. Elakneswaran,R. Kitagaki,Y. Yoda,M. Tsujino,A. Nishida that compresses a sequence of transitions leading to a given target set into a single metatransition. First, we give an on-the-fly algorithm to search a process expression built using the constructs of hiding, parallel composition, and temporal scaling. Second, we show that as long the target set .作者: 毀壞 時間: 2025-3-24 07:26
Effect of Live Load Increment of Old Steel Railway Bridges in Sri Lankae existences of various failures on bridges due to the increasing weight and speed of modern trains. At the time of the construction of the railway bridges in Sri Lanka, the speed of the trains used for transport ranged between 45 and 50?km/h and the weight of the trains was 60 tons. But at present,作者: 胖人手藝好 時間: 2025-3-24 12:38 作者: 材料等 時間: 2025-3-24 16:24 作者: CORD 時間: 2025-3-24 19:38
Damage Prediction by Using Nonlinearity of Dampingavailable vibration-based structural health monitoring and damage detection methods. The basics of baseline data of undamaged structure detailed finite element models, or the need for numerous expensive sensors have further distanced the technique from practice. Thus, in this study, the application 作者: adjacent 時間: 2025-3-25 01:14 作者: annexation 時間: 2025-3-25 04:59
Batch Adsorption Study for the Removal of Textile Dyes from Aqueous Solutions Using Pandanus Amaryll from aqueous solutions into dried leaf powder of . (Rampe) (PALP) was studied. Batch adsorption experiments were conducted at room temperature to investigate the adsorption capacity. The experimental results showed that the adsorbent could remove MB, CV, and CR up to 95%, 90%, and 81%, respectively作者: Gerontology 時間: 2025-3-25 09:15
Tea Waste Bio-Char as an Adsorbent for the Removal of Pb(II) in the Industrial Wastewaterby tea waste bio-char (TWBC) prepared by slow pyrolysis. As an adsorbent, raw tea waste has an issue of decomposing in the liquid phase. Therefore, biochar prepared from tea waste generated at a tea factory in Sri Lanka was used as the adsorbent for the laboratory experiments. Adsorption of Pb(II) a作者: 小教堂 時間: 2025-3-25 15:40 作者: pantomime 時間: 2025-3-25 17:19 作者: 神圣將軍 時間: 2025-3-25 21:19 作者: Initial 時間: 2025-3-26 00:33
Effect of Carbonation on Microstructure of Cement Pastes with Different Water-to-Cement Ratiosral deterioration. Corrosion of reinforcement results primarily from chloride ingress and carbonation. Cementitious materials are prone to carbonation as carbon dioxide is present everywhere in the atmosphere. For the durability prediction of cement-based materials, it is crucial to know the effect 作者: biopsy 時間: 2025-3-26 07:13
Development of Lightweight Aggregate Concrete with Locally Available Lightweight Materialscrement of raw materials. Therefore, past studies have focused on the development of lightweight aggregate concrete (LWAC) using various lightweight materials such as bottom ash, waste Calicut tiles, coconut shells and fibers, wood waste, recycled plastic, expanded polystyrene, and sludge. However, 作者: 小畫像 時間: 2025-3-26 12:30
Assessment of Heat of Hydration of High-Strength Concretef scientific controversy. The process of hydration is highly complicated as it is combined with various influencing factors on hydration kinetics, dissolution, and precipitation reactions. Since cement hydration is an exothermic process, the low conductivity of concrete leads to an accumulation of h作者: Statins 時間: 2025-3-26 12:55
Critical Selection Factors for Contractors to Make Bid/No-Bid Decision in Construction Projects in Sce and profitability of the organization. Bidding for a tender may or may not have the chance of winning the bid and a profit; besides, there is a possibility of waste of time, effect & money for the contracting firm. No bidding decision has less risk of loss of assets but there is no opportunity to作者: 使混合 時間: 2025-3-26 18:03
Cost Control Techniques on the Delivery of Sustainable Construction Projects in Sri Lankan has also intensified. However, the construction industry is constantly faced with various obstacles in the path to achieving these construction demands and it was noted that these issues were due to the inability to meet cost targets of the projects. Therefore, it is crucial to distinguish the pos作者: induct 時間: 2025-3-27 00:29 作者: canvass 時間: 2025-3-27 03:54
K. M. P. B. G. Dissanayake,P. L. Perera,K. D. M. Gimhani作者: prick-test 時間: 2025-3-27 08:38 作者: macabre 時間: 2025-3-27 11:34
Use of Markov Chain Method to Predict Service Life of Reinforced Concrete Bridge Decks prediction model (bridge deterioration model) using the State-based Markov chain modelling process that involves bridge condition ratings assigned for 24 concrete bridges in Sri Lanka based on first-hand visual inspection and Non-destructive testing evaluation (NDTE) conducted on the reinforced con作者: 固定某物 時間: 2025-3-27 14:21 作者: Mri485 時間: 2025-3-27 18:00
Effects of Refined Coconut Oil and Vegetable Oil on the Mechanical, Thermal, Morphological, and Biode the maximum tensile strength was observed at the oil concentration of 10 wt % for both CO and VO. However, films containing VO have higher tensile strength (4.18?MPa) than the films containing CO (3.56?MPa). Tensile strain at break decreased when increasing the oil concentration up to 10 wt % for 作者: glomeruli 時間: 2025-3-27 22:18 作者: 不安 時間: 2025-3-28 02:14 作者: yohimbine 時間: 2025-3-28 07:03 作者: 剛毅 時間: 2025-3-28 13:20
Assessment of Dispersion Potential of Discarded Coconut Fibres in Concrete Pavementsicients of variation (%) are quantified to assess the distribution of DCF in the fresh concrete and the results revealed that the dispersion of DCF in concrete decreases with an increase in length and dosage. Hardened concrete fracture surfaces were evaluated to assess fibre dispersion and orientati作者: certain 時間: 2025-3-28 16:55 作者: Exuberance 時間: 2025-3-28 22:07 作者: 迅速飛過 時間: 2025-3-29 00:09
Development of Lightweight Aggregate Concrete with Locally Available Lightweight Materials materials. Sludge derived from the water treatment plant, Expanded Polystyrene (EPS), and waste Calicut tiles were used as lightweight materials to develop lightweight aggregate concrete. Sludge obtained from water treatment plants was fired at 1050 °C for 6–8?h to convert it into lightweight aggre作者: 誹謗 時間: 2025-3-29 04:34
Assessment of Heat of Hydration of High-Strength Concretexperimental methods were employed towards the assessment of heat propagation, upgraded analytical approaches also provide better predictions on quantifying the temperature development and heat generation rate of the structure relevant to the given mix proportion. However, there is a dearth of existi作者: Uncultured 時間: 2025-3-29 09:16 作者: Project 時間: 2025-3-29 15:16
Cost Control Techniques on the Delivery of Sustainable Construction Projects in Sri Lankatime overruns and life cycle costing were identified as the final, end-result of all other problems along with some cost control techniques such as Performance Review, Variance Analysis, Earn Value Management, Forecasting, To-complete Performance Index, etc. After identification of the said problems作者: aggrieve 時間: 2025-3-29 16:24 作者: Offbeat 時間: 2025-3-29 21:05
ocation game – designers that use the same component share its price, with the share being proportional to the number of uses (a component can be used several times in a design). We study both closed and open settings, and in both we solve the problem of finding an optimal design. In a setting with 作者: STENT 時間: 2025-3-30 02:14
processes, or their indices, .. In contrast to the work done in [4], we show that the reachability problem for each of the specialized execution semantics we consider is undecidable. As a consequence, both deadlock detection and the . problem for the synchronizer when reasoning with logics such as 作者: 施舍 時間: 2025-3-30 05:40 作者: BRAND 時間: 2025-3-30 09:24
W. G. K. Nirmal,P. Thadsanamoorthy,G. Tharmarajahsystems to asynchronous transition systems, showing that time gives a link between true concurrency and interleaving. Moreover, we can provide a complete axiomatisation of bisimulation for our algebra; a result that is often problematic in a timed setting..Another advantage of incorporating timing i作者: A保存的 時間: 2025-3-30 15:07
M. Jenothan,J. A. S. C. Jayasinghe,C. S. Bandara,A. J. Dammikasystems to asynchronous transition systems, showing that time gives a link between true concurrency and interleaving. Moreover, we can provide a complete axiomatisation of bisimulation for our algebra; a result that is often problematic in a timed setting..Another advantage of incorporating timing i作者: 爭議的蘋果 時間: 2025-3-30 17:57 作者: Ornithologist 時間: 2025-3-30 23:15 作者: 植物學(xué) 時間: 2025-3-31 04:28
N. M. L. Fernando,S. M. Amaraweera,O. H. P. Gunawardene,W. M. D. B. Wanninayaka,C. A. Gunathilake,W.he service and the protocol to use auxiliary treatments. After defining the external behaviour equivalence, we present an algorithm which verifies it. This algorithm is based on an extended merging of two nets, and on a comparison of the merged net behaviour and the two nets behaviour. Then, we appl
