Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…In this work, we observe that specifications for structured data manipulations can be phrased as hypersafety properties, i.e., predicates that relate traces of k programs. …”
Get full text

The analysis and calibration of a multi-factor hull-white model. by Chee, Geok Kee., Kumaradasan Ragudaran., Lim, Ang Guan.

“…This dissertation presents the formulation of a general n-factor Hull-White model based on a certain specification of forward rate volatility functions within the HJM model, its calibration to obtain the best-fit model parameters and a correlation analysis to explain the multi-factors effects on the forward rate dynamics.…”
Get full text

Current status and recent advances in magnesium-matrix syntactic foams: preparation, mechanical properties, and corrosion behavior by Motaharinia, A., Drelich, J. W., Goldman, J., Bakhsheshi Rad, H. R., Sharif, Safian, Ismail, A. F., Razzaghi, M.

“…The review comprehensively analyzes microstructure specifications, mechanical properties, and corrosion behavior exhibited by Mg-MSFs fabricated to date. …”
Get full text

Management of an instructional multimedia project: the macro-level implementation of the ADDIE model, and lessons learnt by Yeo, Say Kiong.

“…This dissertation will answer the above questions and also, present the use of an instructional model - ADDIE - at the macro-level in managing the project through the generation of a project specifications report.…”
Get full text

Effects of delivery risk on futures markets : theory and empirical evidence by Charnwut, Roongsangmanoon

“…In this dissertation, the delivery risk is defined as the uncertainty arising from the multiple delivery specifications that causes futures price to diverge from the spot price of the par-delivery asset underlying the futures contract.…”
Get full text

Locomotion study and improvement of multi-legged robots involving CG adjustment by Chen, Wenjie.

“…However, these demanding specifications are not always compatible when legged robots walk on terrain containing a lot of forbidden zones. …”
Get full text

Industrial attachment report by He, Li

“…From 24th Jan, 2011 to 24th June, 2011, the student’s main responsibilities were FOCUS URS (User Requirement Specification) preparation, FICRM SharePoint construction and maintenance, and assisting the Risk Systems team.…”
Get full text

Construction management and technology for tunnels and chambers in rock formation in Singapore by Teo, Yap Hong.

“…This paper will present important information on the Norwegian Method of Tunnelling, contractual matters, use of commercial explosives, technical specifications and related environmental issues. Difficulties, problems and solutions encountered will also be highlighted in the dissertation.…”
Get full text

Analysis and design of audio class D amplifiers by Guo, Linfei

“…The broad objective of this Ph.D. program is to design CDAs with said improved specifications – on the basis of analytical investigations (into the mechanisms of and the circuit parameters affecting the various specifications of CDAs) and design and monolithic realization of CDA prototypes (embodying novel architectures and/or circuits). …”
Get full text

Vacancy duration and wages by Bassier, I, Manning, A, Petrongolo, B

“…Our research design leverages firm-level wage policies that are plausibly exogenous to hiring difficulties on specific job vacancies, and controls for job and market-level fixed-effects. …”

Expert control of a polymerization process by Kanagasabai Ravichandran.

“…The control of polymerization reaction is characterized by the difficulty of the specification of the control objectives and the complexity of the process dynamics involved. …”
Get full text

Design automation of RF IC layout by Zhan, Peng

“…This will shorter the time needed to layout inductors with (design rule specification) and different matching can result better performance, if more precise, in this competitive RF design industry.…”
Get full text

Testing, modelling and design of high strength concrete-filled high strength steel tube (HCFHST) stub columns under combined compression and bending by Zhong, Yukai, Sun, Yao, Tan, Kang Hai, Zhao, Ou

“…The test and numerical data were used to evaluate the applicability of the relevant design rules, as set out in the European code, American specification and Australian/New Zealand standard, to HCFHST stub columns under combined loading. …”
Get full text

Conflict and the formation of political beliefs in Africa by Adhvaryu, A, Fenske, J

“…This finding is robust to migration and holds across a variety of definitions, specifications, and sources of data. Our results suggest that at the population level, the “conflict trap” in Africa is not driven by shifts in political beliefs and engagement caused by conflict exposure in childhood.…”

Simulation of a warehouse complex for development and operation by Han, Wee Ping.

“…Warehouse data such as layout, storage system specification, expected transaction rate, etc were obtained from the owners. …”
Get full text

First studies on error mitigation by interaction point fast feedback systems for FCC-ee by Salvesen, JPT, Zimmermann, F, Burrows, PN

“…To achieve physics performance, luminosity and beam lifetime must be kept to design specifications. To correct for errors at the IPs, a fast feedback system is required. …”

Stability of the Epstein-Zin problem by Monoyios, M, Mostovyi, O

“…Considering empirically the most relevant specifications of risk aversion and elasticity of intertemporal substitution, we provide a condition that guarantees the convexity of the domain of the underlying problem and results in the existence and uniqueness of a solution to it. …”

Real time MP3 transmission over bluetooth ACL link by Feng, Chen

Get full text

Local-flexural interactive buckling of S690 high strength steel slender welded I-section columns: testing, modelling and design by Sun, Yao, Liang, Yating, Su, Andi, Zhao, Ou

“…Regarding the design of S690 high strength steel slender welded I-section columns failing by local–flexural interactive buckling, the existing European code, Australian standard and American specification adopt the same design concept of using effective width method to consider local buckling and buckling curves to consider flexural buckling. …”
Get full text

Multiobjectives design of a multirate output controller by Shen, Liang.

“…, Hoc as well as mixed H21 Hx specifications. As the sampled-data control system, which consists of a MROC, is a hybrid, time-varying system (periodic), we must use some norm-equivalent methods to first convert this kind of system to a time-invariant system. …”
Get full text