Development of nitride-based optical phased array at 1092 nm for the optical addressing of ⁸⁸Sr+ Ion by Lim, Yu Dian, Goh, Simon Chun Kiat, Seit, Wen Wei, Zhao, Peng, Guidoni, Luca, Likforman, Jean-Pierre, Tan, Chuan Seng

“…Laser light of 1092 nm wavelength corresponding to the 2D3/2 to 2P1/2 of 88Sr+ ion is used, where silicon nitride (SiN) platform with integrated titanium nitride (TiN) thermos-optic heaters are selected. Beam steering of ~33 µm, which corresponds to ~11.6° steering angle, is obtained by applying 10V on alternative TiN heaters in the 8-Channel OPA structure.…”
Get full text

Design and development of small scale index matching tunnel by Tan, Yu Tiong

“…Suitable design and sodium thiosulfate is used, to overcome the issue of rapid oxidation of the sodium iodide solution when it is exposed to the atmosphere. Then, the results of the experiment are cross-checked with the theoretical equations, an analysis is being accounted for the difference in result. …”
Get full text

The aerodynamics of turbomachines for high–enthalpy gas heating by Karefyllidis, N

“…This work focuses on the development of a family of turbo-heaters tailored for the particular application of steam-cracking for light-olefins production.…”

Immersion two-phase liquid cooling of data cards by Lioewanta, Sebastian Markus

“…Instead of simulating the electronic components with heaters, an actual printed circuit board (PCB) is used as the heat generating component. …”
Get full text

Multiplicity dependence of σψ(2S)/σJ/ψ in pp collisions at √𝑠 = 13 TeV by Aaij, R., Abdelmotteleb, A. S. W., Abellan Beteta, C., Abudinén, F., Ackernley, T., Adeva, B., Adinolfi, M., Adlarson, P., Agapopoulou, C., Aidala, C. A., Ajaltouni, Z., Akar, S., Akiba, K., Albicocco, P., Albrecht, J., Alessio, F.

“…The ratio of production cross-sections of ψ(2S) over J/ψ mesons are cross-checked with other measurements in di-lepton channels and found to be compatible.…”
Get full text

Membrane compaction in forward osmosis process by Ng, Daniel Yee Fan, Chen, Yunfeng, Dong, Zhili, Wang, Rong

“…Membrane compaction is commonly observed in polymeric membranes when subjected to elevated hydraulic pressure, but was rarely discussed in forward osmosis (FO) processes, since there was usually little hydraulic pressure difference across the membrane. …”
Get full text

Numerical simulation of oxygen delivery in presence of hemoglobin hydrogel based oxygen carriers by Tan, Kai Ying

“…Red blood cells have standard shelf life of only 42 days and unable to be checked and sterilized for infective agents like HIV. …”
Get full text

A Multi-tier Model and Filtering Approach to Detect Fake News Using Machine Learning Algorithms by Yu, Chiung Chang, A Hamid, Isredza Rahmi, Abdullah, Zubaile, Kipli, Kuryati, Amnur, Hidra

“…The consensus layer acts as the final decision when collision results occur in the first two-tier layer. …”
Get full text

Self-healing materials for flexible electronic devices by Tiwari, Naveen

“…However, the continuous exposure of these devices is always subjected to higher mechanical stress, wear and tear when compared to conventional electronics. Hence the ability to recover and repair upon damage is a necessity and not a luxury for flexible electronic devices. …”
Get full text

Immersion two phase liquid cooling for data center thermal management by Sidharta, Welly

“…Heat was generated by using heaters. The block was immersed in Novec 7100 dielectric fluid in an enclosed vessel, with an attached condenser. …”
Get full text

Finite element analysis on post-buckling of thin-walled structures using ANSYS by Theint, Yi Mon

“…The results obtained were checked against experimental data and led to the development and the revision of design procedures for the pin-ended lipped column and hollow box section.…”
Get full text

Average velocity of grains moving over a channel bed by Song, Chengwei

“…Therefore, the results in today’s experiment are going to be checked against the results in the past paper. In order to obtain better analytical results, the idea of dimensional analysis is applied in the discussion. …”
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

Thermocapillary actuation and droplet manipulation in microfluidics by Jiao, Zhenjun

“…In the experiments, wire heaters were used to create alternate heat fluxes at two ends of the working portion along the capillary tube. …”
Get full text

Human factors evaluation of conflict resolution aid in future air traffic control by Pereira, Theresse Vanessa

“…In 1929, the airport operator employed him to prevent collisions between aircrafts and his tools of communication were simply a red flag to indicate “hold” and a checked one for “go”. With the advancement of technology over the next few decades, high tech equipment were integrated into air traffic control, such as the radar, to meet the growing number of flights as more people turned to aeroplanes as a means of commercial transport. …”
Get full text

Impact of innovation on performance of shipping companies in Singapore by Nah, Laura Yan Ling

“…A survey with 17 Singapore-registered ship-owning companies was conducted and results were checked for validity using the Spearman’s rho and Cronbach’s alpha tests. …”
Get full text

Forecasting air passenger volume in Singapore: Determining the explanatory variables for econometric models by Guo, Rui, Zhong, Zhao Wei

“…Before applying for model simulation, correlations among variables were checked. Various combinations of the variables were implemented to establish the models. …”
Get full text
Get full text

Density, laying date, breeding success and diet of Black Kites Milvus migrans govinda in the city of Delhi (India) by Kumar, N, Mohan, D, Jhala, YV, Qureshi, Q, Sergio, F

“…A sample of 151 nests was checked regularly to record laying date, breeding success and diet.…”

Safety assessment of autonomous vehicles using simulations by Ketki, Chaudhary

“…For different configurations of the afore-mentioned, the simulation data is analysed using MATLAB and checked whether or not it meets safety constraints. …”
Get full text

Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

“…We also prove subject reduction and type safety results, which justify our claim that our language is statically type checked and does not throw basic runtime type errors. …”
Get full text
Get full text