Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

Design of circular polarized micro-strip antenna by Shanmugam Bhaskar Vignesh

“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text

Reactive synthesis of dominant strategies by Aminof, B, De Giacomo, G, Rubin, S

“…We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. …”

Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925) by Kamarudin, Nur Azulia

“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text

Design of a low-voltage low-power WiMAX low noise amplifier by Zeng, Wei

“…CMOS 0.18m CSM technology was used for the proposed design and WiMAX specifications are met satisfactorily.…”
Get full text

High power amplifier for S-band downlink system of LEO satellites by Tan, Tee Keng.

“…This procedure was followed to determine the specifications for the individual amplifier modules of the HPA. …”
Get full text

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

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

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

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

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

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