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

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical specifications of elliptic-curve cryptography. …”
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

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

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

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

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.…”

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

“…In our preferred specifications, we estimate duration elasticities in the range −3 to −5, which are substantially larger than the few existing estimates.…”

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. …”

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

Modeling communication system components for prediction of RF performance by Lim, Seok Tien.

“…A process to model components specifications in RF front-end system is being demonstrated through a series of exploring basic fundamental of components and software simulators. …”
Get full text

Providing electricity supply to houses in rural areas (Project B) by Lum, Kenneth Chi Wah.

“…This report focuses on the project requirements and specifications for a stand-alone photovoltaic (PV) system. …”
Get full text

Order statistics based sampling design for reliability sampling by Low, Chan Kee, Balasooriya, Uditha

“…It is shown that, under the proposed procedure, subject to MIL-STD-105D specifications, only a few specimens need to be tested until failure, thereby reducing total test time con-siderably. …”
Get full text

Weather system and cloud monitoring system for rain attenuation by Wong, Shirleen.

“…The report will also include the specifications and suitable CCTV for clouds monitoring purpose. …”
Get full text

Design of playground for children with disabilities using a modular approach by Lim, Jia Ying.

“…The purpose of the project is to design a playground that is suitable for children with disabilities while meeting the design specifications of the Singapore Standards, within a usual Singapore HDB playground area. …”
Get full text

Development of an advanced nano-satellite VELOX-I – a micro-thruster system by Gay, Dexter Kai Wei.

“…It is required to meet the standard specifications of the circuit. Second improvement was done by implementing a step-up control circuit at the input of the system. …”
Get full text

Performance modeling of 2D cellular automata on FPGA by Murtaza, S., Hoekstra, Alfons G., Sloot, Peter M. A.

“…This will help to determine the optimal values for the various parameters that control the application and the given FPGA hardware specifications. The model will be validated for a specific two-dimensional CA.…”
Get full text
Get full text