686,153 Hits in 5.8 sec

Two Methods for Constructing Horn Contractions [chapter]

Zhi Qiang Zhuang, Maurice Pagnucco
2010 Lecture Notes in Computer Science  
The epistemic entrenchment relation (EE-relation) over sentences and the preference relation (P-relation) over sets of sentences are used for constructing contraction operations in the AGM framework of  ...  Recently, belief change for the Horn fragment of classical logic (i.e., Horn logic) has drawn much attention, resulting in several constructions for Horn contractions.  ...  The aim of this paper is to explore the connection between remainder set constructions and epistemic entrenchment constructions by adapting a technique proposed by Rott [1] .  ... 
doi:10.1007/978-3-642-17432-2_8 fatcat:4rjb4hytlzgd5nvwm3dla5qabe


Andrew Ross, Katie Dalton, Begum Sertyesilisik
2013 Journal of Civil Engineering and Management  
An analytical case study research strategy has been implemented in collecting data for the construction projects. The data collected has been tested against recognised models.  ...  construction projects.  ...  -Analysis set 2 Null Hypothesis: There will be no association between the 'type of construction' and the cash flow forecast.  ... 
doi:10.3846/13923730.2013.793607 fatcat:grbphpttorflfi54cobz6jak4u

Raftery curve construction for tender price forecasts

Martin Skitmore
2002 Construction Management and Economics  
This paper describes a method for the empirical construction of the Raftery Curves for tender price forecasts. This is applied to ten previously published data sets gathered throughout the world.  ...  In comparing the resulting curves, the most consistent feature is shown to be the shift associated with to the number of bidders entering bids for contracts.  ...  All of the eight analysable data sets show a minimum difference between errors at around eight bidders, the typical norm for construction contract auctions, with larger contracts being underestimated between  ... 
doi:10.1080/01446190110093551 fatcat:uwwtncv7mjasnpwt63pliekplm

Considerations on the Approach of the Contractual Agreement for Construction Works

Mircea Liviu Negrut, Caius Luminosu, Ana-Andreea Mihartescu
2014 Procedia - Social and Behavioral Sciences  
The aim of this paper is to present a general outline of the Construction Works Contract Agreement under Romanian law and to provide some recommendations for its improvement, based mainly on German construction  ...  The emphasis will be on the importance of the inclusion of the standardized specific terms and conditions into the Construction Works Contract Agreement, especially for public works.  ...  For public works construction contracts until 2013 on the ANRMAP website in the section for standardized documents were two models of contracts, one model for construction works contracts and one for design  ... 
doi:10.1016/j.sbspro.2014.02.514 fatcat:257gjjudhnamvipjai55l5bb7y

ABVE-construct: an agent-based virtual entreprise model for civil engineering

Mihaela Oprea
2014 Scalable Computing : Practice and Experience  
Also, a case study of using the model for a building construction scenario, and the model adaptation options for other domains of applications are discussed.  ...  This paper presents a generic framework for virtual enterprises development, VE-Frame, and an agent-based virtual enterprise model, ABVE-Construct, for the civil engineering domain, derived from the VE-Frame  ...  The ABVE-Construct model is defined by a generic architecture with a sub-contracting organizational form, a set of diagrams (roles, ABVE functioning), a PAGE description of the agents with their associated  ... 
doi:10.12694/scpe.v15i3.1018 fatcat:wqur2k5blna4rlepkuhgasvxgy

Informative content validation is the key to success in a BIM-based project

Angelo Luigi Camillo Ciribini, Silvia Mastrolembo Ventura, Marzia Bolpagni
2015 Territorio Italia  
In Italy, despite the fact that the growing implementation of information-based technologies is not supported by a governmental strategy, public calls for tender requiring BIM have been set up.  ...  This way flaws will be sorted out in advance and out of the construction site, and at the same time ideal solutions will be identified for the entire building lifecycle.  ...  Figure 2 2 Development of a rule-set for Clash Detection using Solibri Model Checker v.9. The rule-set was created for an Italian public owner.  ... 
doi:10.14609/ti_2_15_1e doaj:842c2414f0004e32975c5d77802e9cc1 fatcat:lspo32e2w5ailnvopit6nskks4

Procurement Selection Model: Development of a Conceptual Model Based on Transaction Costs

Mohammed A Rajeh, John Tookey, James Rotimi
2014 Australasian Journal of Construction Economics and Building - Conference Series  
: Construction, Procurement systems, Transaction costs  ...  The model will increase understanding of how efficient procurement selection of construction projects can be achieved through appropriate procurement procedures, which could positively impact project performance.Keywords  ...  Post-contract costs are commonly associated with monitoring and control, dispute resolution, and implementation activities for projects.  ... 
doi:10.5130/ajceb-cs.v2i2.3889 fatcat:mzi6g7trxjdcfj7vr4vstitxri

Automated Extraction and Time-Cost Prediction of Contractual Reporting Requirements in Construction Using Natural Language Processing and Simulation

Parinaz Jafari, Malak Al Hattab, Emad Mohamed, Simaan AbouRizk
2021 Applied Sciences  
Due to a lack of suitable methods, extraction of reporting requirements from lengthy construction contracts is often completed manually.  ...  Functionality and validity of the framework were demonstrated using real contracts, and an accuracy of over 95% was observed.  ...  Acknowledgments: The authors would like to thank Graham Industrial Services LP for their support and for providing contractual documents and report preparation-associated data.  ... 
doi:10.3390/app11136188 fatcat:hon7q6zbjjghvn3da7mfvoempu

Support for B2B E-Contracting — The Process Perspective [chapter]

Samuil Angelov, Paul Grefen
2002 Knowledge and Technology Integration in Production and Services  
In this paper, we introduce a process model for flexible business-to-business e-contracting.  ...  For the design of an information system for support of e-contracting, a clear vision of the e-contracting processes is required.  ...  For this reason, we define a set of consistency rules that are used for the specification of the relations between the e-contracting activities.  ... 
doi:10.1007/978-0-387-35613-6_10 fatcat:he3dzqmtfjgpzpi4i6vxjyqtou

Automated Abstractions for Contract Validation

Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
2012 IEEE Transactions on Software Engineering  
In this paper, we propose a novel technique for automatically constructing abstractions in the form of behaviour models from pre/post condition-based specifications.  ...  Our aim is abstraction for validation and hence, different and novel tradeoffs between precision and tractability are required.  ...  ACKNOWLEDGEMENTS We thank the anonymous reviewers for their time and insightful comments which have greatly improved this paper.  ... 
doi:10.1109/tse.2010.98 fatcat:rdurygeuvffwdnkt4ery6dweaq

BIM and construction contracts – CPC 2013's approach

David-John Gibbs, Stephen Emmitt, Wayne Lord, Kirti Ruikar
2015 Proceedings of the Institution of Civil Engineers: Management, procurement and law  
Building information modelling (BIM) changes the way information is generated, managed and communicated between project team members.  ...  Some of these barriers could be addressed through standard forms of construction contract.  ...  A BIM protocol is required for the maintenance of the model under the contract [CPC 2013 Clauses 11.1.4 and 11.3.3]; however, if there is a difference between the contract and the protocol, the contract  ... 
doi:10.1680/jmapl.14.00045 fatcat:bdr4kktx5bcx7d3pe2qixztx3u

Analysis of marketing data to extract key factors of telecom churn management

Chueh Hao En
2013 African Journal of Business Management  
Using a dataset of a telecom company in Taiwan, a data mining-based churn management model was constructed in previous work.  ...  The key factors identified by the data mining-based churn management model are confirmed by fuzzy correlation analysis.  ...  This study constructs two hybrid models by combining two different neural network techniques for churn prediction.  ... 
doi:10.5897/ajbm11.944 fatcat:wmf5giidcvf6hfxqhnfxspcidu

Systematic Representation of Relationship Quality in Conflict and Dispute: for Construction Projects

Mostafa Babaeian Jelodar, Tak Wing Yiu, Suzanne Wilkinson
2015 Construction Economics and Building  
The outcome system model is demonstrated via two case studies in the construction project conflict, dispute and contract arrangement settings.  ...  Project Size US$ 67.25 million in the main contract for the road construction and US$ 18.77 million In a supplemental contract.  ... 
doi:10.5130/ajceb.v15i1.4281 fatcat:524cdmgnzzeuharkhoeym2v23i

Structure of service level agreements (SLA) in IT outsourcing: The construct and its measurement

Jahyun Goo
2008 Information Systems Frontiers  
While eleven first order constructs are identified, the results suggest that SLA can be operationalized as three second order factor models.  ...  Keywords SLA, IT outsourcing, measurement, second-order construct Model fit indices: Goodness of fit (X²) with 380 degrees of freedom = 491.7 (p = 0.00) Root mean square error of approximation (RMSEA)  ...  The baseline model for testing the existence of a second-order factor implies that a set of contract elements (constructs) are associated, but not governed, by a common latent phenomenon, as illustrated  ... 
doi:10.1007/s10796-008-9067-6 fatcat:r6yh6nkhjjbedj7ygdhftoixyq

Learning Approximately Optimal Contracts [article]

Alon Cohen, Moran Koren, Argyrios Deligkas
2022 arXiv   pre-print
We present an algorithm for learning the optimal contract under mild assumptions.  ...  In principal-agent models, a principal offers a contract to an agent to perform a certain task. The agent exerts a level of effort that maximizes her utility.  ...  A contract w is -optimal if V (w) ≥ V (w ) − for every w ∈ W , for a set of contracts W to be defined in the sequel.  ... 
arXiv:1811.06736v2 fatcat:ox27ihkgorbdfatid5etuqhnf4
« Previous Showing results 1 — 15 out of 686,153 results