Results 21 to 30 of about 4,778,092 (301)
Constructing Programs or Processes [PDF]
J. Univers. Comput. Sci., 2005 JUCS - Journal of Universal Computer Science Volume Nr.
Reeves,Steve, Streader,David
openaire +1 more source
The Compositional Construction of Markov Processes [PDF]
Applied Categorical Structures, 2010 We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in a model of the classical Dining Philosopher problem, and show, using the Perron-Frobenius Theorem, that this probability tends to 1 as k tends to infinity.
Luisa de Francesco Albasini +2 more
openaire +3 more sources
Applied Sciences, 2022 In this paper, we study the effects of the shield tunnel construction on the deformation of an existing pipeline parallel to and above the new shield tunnel.
Xiang Liu +5 more
doaj +1 more source
Buildings, 2023 The bridge of Shanghai Metro Line 10 over Metro Line 6 is a U-shaped concrete single-box double-cell concrete box beam continuous bridge. A novel method is applied to construct the asymmetric cantilever prefabricated and assembled continuous bridge due ...
Haijun Zhou +7 more
doaj +1 more source
Process Construction and Customization
J. Univers. Comput. Sci., 2004 JUCS - Journal of Universal Computer Science Volume Nr.
Henderson-Sellers,Brian +4 more
openaire +2 more sources
Temporal variation laws of longitudinal stress on cross section of shield tunnels
Yantu gongcheng xuebao, 2021 The longitudinal stress acting on the cross section of shield tunnels will affect the waterproof properties of the segments and the stiffness of the circumferential joints, which will thus affect the development trend of the longitudinal nonuniform ...
LIU Xian 1, YANG Zhen-hua 1, MEN Yan-qing 2
doaj +1 more source
The possible impact of employee absenteeism risk on a construction project [PDF]
Archives of Civil Engineering, 2022 Worker absenteeism is identified as the greatest threat to not meeting the completion date of a construction project. The purpose of this paper is to quantify the impact of employee absenteeism risk on the probabilistic lead time of a construction ...
Magdalena Rogalska, Zdzisław Hejducki
doaj +1 more source
Exploring anti-corruption capabilities of e-procurement in construction project delivery in Nigeria [PDF]
, 2020 The use of electronic (e-) procurement to support the execution of supply chain management activities in the different industrial sectors is permeating all regions of the world.
Aduwo, Egidario +7 more
core +2 more sources
Flexibility approach in the runway pavement using FLEMANCO method [PDF]
Transport, 2008 The pressing problems of managing construction processes reveal themselves in discrepancies between plan and execution which seems to result in considerable measure from dependence on the changing environment.
J. Paslawski
doaj +2 more sources
Water Science and Technology, 2023 In this research, an innovative type of sediment resource treatment agent (SRA) was synthesized successfully, which could immobilize ammonia nitrogen (NH3-N), total phosphorus (TP), potassium (K), and simultaneously stabilize cadmium (Cd), lead (Pb ...
Xiaori Fu +6 more
doaj +1 more source