From Transparency to Accountability and Back by Cen, Sarah, Alur, Rohan

Get full text

Simulation of train induced forced wind draft for generating electrical power from Vertical Axis Wind Turbine (VAWT) by Chilugodu, Nikhita, Yoon, Yong-Jin, Chua, Kah Soon, Datta, Dhruv, Baek, Jong Dae, Park, Taezoon, Park, Woo-Tae

“…The understanding of the vertical profile of wind speed specifications of wind turbines, has led to an invention of a unique idea of integrating a hydraulic lift in the main body of the wind turbine to maximize its potential of harvesting wind energy at greater altitudes due to increase in wind speed by 6%. …”
Get full text
Get full text
Get full text

Investigation of the fuel consumption of a ship considering the dynamic coupling effect among resistance, propeller torque and engine power under the control of a governor by Beh, Gerald Kah Hooi

“…Through developing the model, it was found that the engine speed would accelerate at an unrealistic rate, and a slope limiter was fitted in order to control the rate of change of engine speed in line with the manufacturer’s specifications. Thereafter, the effects of using the model to simulate real conditions were studied, with an emphasis on evaluating model performance given real inputs such as wind and wave resistance values. …”
Get full text

Competition in rig building by Toh, Jermaine Yahui.

“…In offshore rig-building, the fundamental interest of both rig-builders and rig owners lies in on-time deliveries that are completed within agreed costs and specifications. This is a critical attribute that has contributed to Singapore's success in the global offshore rig-building industry today. …”
Get full text

Wideband circularly polarized metasurface backed aperture antenna by Agarwal, Kush

“…These antennas have met design specifications suitable for wireless communication such as WLAN applications.…”
Get full text

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

“…Given a cache design, we formalize its behavior specification along with the cache layouts into an abstract state machine, to instantiate the parameterized reasoning framework that discloses any potential vulnerabilities. …”
Get full text

Fully automated differential fault analysis on software implementations of block ciphers by Hou, Xiaolu, Breier, Jakub, Zhang, Fuyuan, Liu, Yang

“…By automated assembly analysis, we were able to find new efficient DFA attacks on SPECK and PRIDE, exploiting implementation specific vulnerabilities, and previously published DFA on SIMON and AES. …”
Get full text

Metamaterial inspired re-configurable monopole antenna for RF energy harvesting by Jagadeesan Aswin Babu

“…The goal is to design an antenna for energy harvesting, which requires omnidirectional radiation pattern, and should be functional at wideband/multiband. Hence to be specific the objective is to design, fabricate and test frequency reconfigurable widebandAnultiband antenna. …”
Get full text

Artificial intelligence in optical lens design by Yow, Ai Ping, Wong, Damon, Zhang, Yueqian, Menke, Christoph, Wolleschensky, Ralf, Török, Peter

“…Starting-point design selection has always been the major hurdle for most optical design problem, and different designers might produce different final lens designs even if using the same initial specification. Lens designers typically choose designs from existing lens databases, analyse relevant lens structures, or explore patent literature and technical publications. …”
Get full text

Design and analysis of an Integrated Electric Mobility Flight Vehicle of the future by Wee, Marco Johann

“…This, coupled with the high density of urban infrastructure, requires a specific solution to tackle. Current solutions for personal aerial vehicles have proven to be too bulky for widespread urban use. …”
Get full text

Evaluation of hollow fiber-based direct contact and vacuum membrane distillation systems using aspen process simulation by Guan, Guoqiang, Yang, Xing, Wang, Rong, Field, Robert, Fane, Anthony Gordon

“…With the same module specifications and operating conditions at equivalent energy cost, the VMD system demonstrated a minimal 2.5-fold higher average vapor flux (e.g., water recovery capacity) when compared to DCMD. …”
Get full text
Get full text

Modeling and technique to improve PSRR and PS-IMD in analog PWM class-D amplifiers by Ge, Tong, Chang, Joseph Sylvester

“…The model and analyses provide practical insight to the mechanisms of PSRR and PS-IMD, and how various parameters may be varied to meet a given specification.…”
Get full text
Get full text

One-pot microfluidic fabrication of micro ceramic particles by Zhou, Chenchen, Liang, Shuaishuai, Qi, Bin, Liu, Chenxu, Cho, Nam-Joon

“…This advancement marks a shift in microscale manufacturing, offering a scalable solution to meet the demanding specifications of miniaturized technology components.…”
Get full text

Design of recursive digital filters using frequency-response masking technique by Liu, Qinglai

“…For a given magnitude response specification and a given number of pipeline stages in the feedback loop, our two-stage FRM approach requires fewer multipliers than the one-stage FRM approach if the number of pipeline stages is larger than four. …”
Get full text

Post-fire behaviour and resistances of S690 high strength steel welded I-section stub columns by Su, Andi, Jiang, Ke, Liang, Yating, Zhao, Ou

“…Given that there are currently no available design standards for high strength steel structures after exposure to elevated temperatures, the relevant ambient temperature design rules, as set out in the European code, American specification and Australian standard, were assessed, using post-fire material properties, for their applicability to S690 high strength steel welded I-section stub columns after exposure to elevated temperatures up to 950 °C. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Low complexity and low power FIR filter design by Ye, Wenbin

“…Thus, for the first time, the designed filters are frequency aware, i.e., for the same filter specifications, the proposed algorithm may generate different designs for filters operating at different frequencies, and the designed filters consume the minimum power for the respective frequencies.…”
Get full text

Design of low power PLL synthesizer for 60 GHz applications by Mahalingam, Nagarajan

“…Based on the analysis, the system specifications are derived for the PLL synthesizer and the individual circuit blocks. …”
Get full text

Experimental and numerical investigations of concrete-filled stainless steel tube stub columns under axial partial compression by He, An, Zhao, Ou

“…Finally, a new design approach was developed specifically for CFSST stub columns under partial compression, and shown to yield precise, consistent and safe-sided resistance predictions through comparing against the test and FE results.…”
Get full text

Experimental and numerical studies of S960 ultra-high strength steel welded I-section columns by Su, Andi, Liang, Yating, Zhao, Ou

“…The assessment results indicated that the design buckling curves in both the European code and Australian standard yield rather conservative resistance predictions when used for S960 ultra-high strength steel welded I-section columns failing by minor-axis flexural buckling, while the design buckling curve in American specification results in overall accurate and consistent flexural buckling resistance predictions, though the predicted resistances are marginally conservative for those relatively short S960 ultra-high strength steel welded I-section columns with member non-dimensional slendernesses from 0.6 to 1.0. …”
Get full text