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

Compact x-ray source based on burst-mode inverse Compton scattering at 100 kHz by Bessuille, J., Brown, P., Carbajo, S., Dolgashev, Valery A., Lin, H., Murari, K., Resta, G., Tantawi, S., Zapata, L. E., Graves, William S., Hong, Kyung-Han, Ihloff, Ernest E., Khaykovich, Boris, Nanni, Emilio Alessandro, Kaertner, Franz X., Moncton, David E.

“…At a photon energy of 12.4 keV, the predicted x-ray flux is 5×10[superscript 11]  photons/second in a 5% bandwidth and the brilliance is 2 × 10[superscript 12]  photons/(sec mm[superscript 2] mrad[superscript 2]  0.1%) in pulses with rms pulse length of 490 fs. The nominal electron beam parameters are 18 MeV kinetic energy, 10 microamp average current, 0.5 microsecond macropulse length, resulting in average electron beam power of 180 W. …”
Get full text
Get full text
Get full text
Get full text
Get full text

Automated Engineering Design for Reusable Concrete Building Structures by Wongsittikan, Pitipat

“…The Pixelframe structural system [1] was proposed to facilitate the reusability of concrete components by implementing the existing external post-tensioning system in bridge structures and fiber reinforced system to design building beams and columns. This work presents an automated engineering design workflow for Pixelframe, including a engineering mechanics of the system that conforms to ACI 318- 19 [2] and fib Model Code 2010 [3], half-scale tests to verify the preliminary behavior of the system, and a scalable design algorithm for minimum embodied carbon designs. …”
Get full text

Frequency equations of nonlocal elastic micro/nanobeams with the consideration of the surface effects by Zhao, Haisheng, Zhang, Yao, Lie, Seng Tjhen

“…Three types of boundary conditions, i.e., hinged-hinged, clamped-clamped, and clamped-hinged ends, are examined. For a hinged-hinged beam, an exact and explicit natural frequency equation is derived based on the established mathematical model. …”
Get full text

Development of interactive software/app (normal stress) by Koo, Chia Wei

“…Designing a beam involves a trial and error in determining the supports available, recognizing the loads to be withstand by the beam, performing analysis and comparing stresses to the structural limits of the mechanical properties of the beam until all criteria is satisfied. …”
Get full text

Behaviour of precast concrete joints subject to a missing column scenerio by Wee Jun Yang.

“…The sub-assemblages include two-span beams with two column stubs and a middle beam-column joint. …”
Get full text

Theoretical study of fermi arc plasmons in Weyl semimetals by Xiong, Ying

“…At large wave vectors, the dispersion features open hyperbolic iso-frequency contours, which allows for tightly collimated beams of FAPs propagating in two specific directions with a broad bandwidth. …”
Get full text

Energy gain of wetted-foam implosions with auxiliary heating for inertial fusion studies by Paddock, RW, Li, TS, Kim, E, Lee, JJ, Martin, H, Ruskov, RT, Hughes, S, Rose, SJ, Murphy, CD, Scott, RHH, Bingham, R, Garbett, W, Elisseev, VV, Haines, BM, Zlystra, AB, Campbell, EM, Thomas, CA, Goffrey, T, Arber, TD, Aboushelbaya, R, Von der Leyen, MW, Wang, RHW, James, AA, Ouatu, I, Timmis, R, Howard, S, Atonga, E, Norreys, PA

“…Low convergence ratio implosions (where wetted-foam layers are used to limit capsule convergence, achieving improved robustness to instability growth) and auxiliary heating (where electron beams are used to provide collisionless heating of a hotspot) are two promising techniques that are being explored for inertial fusion energy applications. …”

100 THz optical switching with plasmonic metamaterial by Venkatram, Nalla, Stefano, Vezzol, João, Valente, Sun, Handong, Nikolay, Zheludev

“…Alloptical modulation is control of the phase or intensity of one light beam by another.1 Although modulation can be achieved using nonlinear optical materials, it can be also obtained using constructive or destructive interference of a coherent beam. …”
Get full text
Get full text
Get full text

High-voltage IR-UWB pulse generator MMIC design and beamforming for indoor-ranging and radar applications by Hussain Ansari Md Arif

“…A prototype for the time domain beam-pattern measurement is developed for proof-of-concept. …”
Get full text

Embedding engineering intuition into computational design through interactive topology optimization by Schiffer, Gillian

“…The interactive methods are demonstrated on numerical 2D examples, HiTop 2.0 is extended to a numerical 3D example, and interactive infill is experimentally validated with 2.5D additively manufactured test beams.…”
Get full text
Get full text

16.21 Techniques of Structural Analysis and Design, Spring 2003 by Radovitzky, Raul A.

“…Matrix and finite-element methods of structured analysis including bars, beams, and two-dimensional plane stress elements. …”
Get full text

A novel torchlight data association strategy for surface registration by Ying, Ying, Wang, Han

“…When two sets of point clouds are merged, assume a set of torchlight beams parallely pass through them, and each light ray passes the overlapped data twice, one on each set. …”
Get full text
Get full text

Process development for moving mechanical assemblies by Tay, Beng Kang

“…MEMS further extend the fabrication techniques developed for the integrated circuit industry to add mechanical elements such as beams, bridges, gears, diaphragms and springs to devices. …”
Get full text

Intelligent database design for microgrids in low voltage distribution systems-I GUI and database design by Ng, Pei Fen

“…Climatic change can lead to consequences such as increasing cases of heat-related illness, endangering wildlife like polar bears and rising of sea level that would trigger natural disasters leading to individual losing their homes. [51] Due to extensively use of electricity in this contemporary society, there arises a need to seek for alternative energy sources, if at all possible renewable resources such as wind and solar. …”
Get full text

Mechanical properties of photocurable additive manufacturing micro-scale isotropic lattice structure by Tan, Jian Cong

“…Lattice structure is an ordered, three dimensional open celled structures made up of one or more repeating unit cell which multiple lattice nodes are connected by beams. 3D lattice structure provides several mechanical advantages such as improved strength to weight ratio, increased surface area, better shock absorption and reduced part cost [1]. …”
Get full text

Adaptative grasp planning for manipulation of micro-objects by Li, Jiuyun

“…While typical optical tweezers use laser beams to directly trap and manipulate cells, various technologies have been proposed to facilitate grasping and manipulation of micro-objects. …”
Get full text

Beamforming optimization using deep neural networks for 5G wireless communication by Ong, Jie Chung

“…Beamforming is an advanced signal processing technique employed by wireless systems that manipulates signals from antenna arrays to create focused transmission beams. This technique enhances signal quality, strength, and network performance, particularly in 5G networks. …”
Get full text

Structure glass technology : systems and applications by Leitch, Katherine K. (Katherine Kristen)

Get full text

Dye-sensitized Pt@TiO2 core–shell nanostructures for the efficient photocatalytic generation of hydrogen by Cao, Shao-Wen, Fang, Jun, Yin, Lisha, Liao, Yusen, Xue, Can

“…When the dyes and TiO2 were co-excited through the combination of two irradiation beams with different wavelengths, a synergic effect was observed, which led to a greatly enhanced H2 generation yield. …”
Get full text
Get full text