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

“…We present a prototype for a tool that enables programmers to verify their code as they write it in real-time. After each line of code that the programmer writes, the tool tells the programmer whether it was able to prove absence of undefined behavior so far, and displays a concise representation of the symbolic state of the program right after the added line. …”
Get full text

ALMA spectral survey of Supernova 1987A – molecular inventory, chemistry, dynamics and explosive nucleosynthesis by Matsuura, M, Indebetouw, R, Woosley, S, Bujarrabal, V, Abellán, F, McCray, R, Kamenetzky, J, Fransson, C, Barlow, M, Gomez, H, Cigan, P, De Looze, I, Spyromilio, J, Stavely-Smith, L, Zanardo, G, Roche, P, Larsson, J, Viti, S, Van Loon, J, Wheeler, J, Baes, M, Chevalier, R, Lundqvist, P, Marcaide, J, Dwek, E, Meixner, M, Ng, C, Sonneborn, G, Yates, J

“…We find a dip in the J = 6–5 and 5–4 SiO line profiles, suggesting that the ejecta morphology is likely elongated. …”

Solution for heat conduction in a solid with temperature dependent thermal conductivity by Png, Wei Quan

“…Comparisons will then be made among the results obtain to find out how heat conduction will vary with different thermal conductivity. …”
Get full text

Small sample sizes reduce the replicability of task-based fMRI studies by Turner, Benjamin O., Paul, Erick J., Miller, Michael B., Barbey, Aron K.

“…Thus, our results join the existing line of work advocating for larger sample sizes. …”
Get full text

Invisibility Dips of Near-Field Energy Transport in a Spoof Plasmonic Metadimer by Gao, Fei, Gao, Zhen, Luo, Yu, Zhang, Baile

“…Invisibility dips, i.e., minima in scattering spectrum associated with asymmetric Fano-like line-shapes, have been predicted with transformation optics in studying strong coupling between two plasmonic nanoparticles. …”
Get full text
Get full text

Experimental and numerical investigations of hot-rolled stainless steel channel section columns susceptible to flexural buckling by Li, Shuai, Zhang, Lulu, Liang, Yating, Zhao, Ou

“…A thorough testing and numerical modelling programme has been conducted to investigate the minor-axis flexural buckling behaviour and resistances of pin-ended hot-rolled stainless steel channel section columns. …”
Get full text

Development of a counter-UAV system by Tang, Wen Yue

“…Upon testing, the firing pin mechanism was found to be unable to reliably puncture the CO2 canister, even after improvements. …”
Get full text

Measuring membrane capacitance during a depolarizing stimulus by Chen, Peng., Gillis, Kevin., Xue, Renhao., Pui, Tze Sian.

“…It is critical to resolve the highly dynamic kinetic steps along the molecular cascade of exocytosis in order to pin down the specific actions of regulatory molecules and eventually decipher this complex and fundamental process.…”
Get full text

One-dimensional sectors from the squashed three-sphere by Bomans, P, Pufu, SS

“…Three-dimensional $\mathcal{N}$ = 4 superconformal field theories contain 1d topological sectors consisting of twisted linear combinations of half-BPS local operators that can be inserted anywhere along a line. After a conformal mapping to a round three-sphere, the 1d sectors are now defined on a great circle of $\mathcal{S}$³. …”

One-dimensional sectors from the squashed three-sphere by Bomans, P, Pufu, S

“…Three-dimensional $\mathcal{N}$=4 superconformal field theories contain 1d topological sectors consisting of twisted linear combinations of half-BPS local operators that can be inserted anywhere along a line. After a conformal mapping to a round three-sphere, the 1d sectors are now defined on a great circle of $\mathcal{S}$³. …”

The implicit decision theory of non-philosophers by Greene, Preston, Latham, Andrew, Miller, Kristie, Nielsen, Michael

“…We also find that implicit causalists do not make the distinction between news items and objects of choice, and that there is little to no correlation between people’s future bias and their implicit decision theory. …”
Get full text

Practical fuzzing on open-source projects by Ng, Chun Kai

“…The goal of this project is to find crashes that may lead to a previously unknown vulnerability in the targeted program. …”
Get full text

Structure-activity relationships of photo-activated soft tissue Adhesive by Wicaksono, Gautama

“…Soft tissue fixation relies on mechanical means such as sutures, pins, and screws, with potential complications such as concentrated tissue damage, perforation, and the need for secondary surgeries. …”
Get full text

Lessons from a retrospective look at India’s upstream sector by Elango, P

女性媒介形象建构与话语权赋权 ——《脱口秀大会》系列为例 = Female discourse power and construction of female image —— Rock&Roast stand-up comedy series... by 郭跃男, Guo, Yuenan

“…Traditional forms Chinese comedy, represented by comic strips (xiao pin) and sketches (xiang sheng), has been produced by and for the gaze of male, both in terms of its historical development and the content. …”
Get full text

Heat transfer performance in the longitudinal corrugated fin and oval tube compact heat exchangers by Gholami, Ahmadali

Get full text

Turner‚ Bird‚ Eratosthenes: the eternal burning thread by Gibbons, J

“…As an illustration of these techniques, he popularized a one-line recursive “sieve” to generate the infinite list of prime numbers.…”

Structural performance of recycled aggregate concrete-filled stainless steel tube columns by Tan, Chia Wei

“…The experiment involved 12 RACFSST columns tested under pin-ended condition, as well as material tests and initial global geometric imperfection measurements. …”
Get full text

Design and 3D printing of reconfigurable structures by Teo, Ee Hian

“…The structure is made up of single modular units being repeatedly fixed together, this leads to the structure to isolate single modular units that are damaged, allowing it to be easily pin-pointed and replaced by fabricating another similar single unit, this cut cost as the structure can be salvaged by replacing a single unit instead of the whole structure.…”
Get full text

Tie the knot - a step by step wedding planner by Alex Arvin S Susaipillai

“…The creation comprises essential management tools such as wedding checklist, reminders, budget tracker, guestlist, online electronic invitation and RSVP system with SMS function, seating plan, calendar function, vendor list, pin board, wedding day scheduler and chat function…”
Get full text