Counterexample computation in compositional nonblocking verification by Malik, Robi, Ware, Simon

Get full text
Get full text

Stabilization of frequency in multi-microgrid system using barnacle mating optimizer-based cascade controllers by Peddakapu, kurukuri, Srinivasarao, P., Mohd Rusllim, Mohamed, Arya, Yogendra, Krishna Kishore, Dokala Janandra

“…This paper presents a new control strategy in multi-microgrid system for supressing the variations of frequency and of tie-line power flow due to intermittent nature of renewable sources and frequently varying load demands. …”
Get full text
Get full text

Reliable environmental trace heavy metal analysis with potentiometric ion sensor - reality or a distant dreams by Lisak, Grzegorz

“…In the future, targeted on-site and on-line environmental sensors should be developed, addressing specific environmental conditions. …”
Get full text

A planar antenna in LTCC for single-package ultrawide-band radio by Chen, Ying, Zhang, Yue Ping

“…The antenna has an elliptical radiator fed through a microstrip line. The radiator and the microstrip line share the same ground plane with the other UWB radio circuitry. …”
Get full text
Get full text

Beyond Color: Lattice Gauge Theory for Strongly-Coupled Physics by Oare, Patrick R.

“…The presented reconstruction method uses the analytic properties of the retarded Green’s function to constrain the full set of spectral functions that may be reconstructed from LGT data using the Nevanlinna-Pick interpolation problem. Next, two theories will be numerically studied using LGT. …”
Get full text

Reinforcement learning for robot assembly by Vuong Quoc Nghia

“…Robotic systems are traditionally employed in manufacturing to automate repetitive tasks such as welding, painting, and pick-and-place. Despite tremendous progress in robotics research, the classical assembly skill remains a challenge. …”
Get full text

A novel bearingless interior permanent magnet slice motor for pump* by Kant, Krishan, Weinreb, Benjamin S., Hegy, Michael, Gartner, Mark, Trumper, David L.

Get full text

Time-certified Input-constrained NMPC via Koopman Operator by Wu, Liang, Ganko, Krystian, Braatz, Ricahrd D

Get full text

3D object detection for autonomous vehicle by Wang, Yihan

“…3D object detection plays an important role in autonomous driving, while most state-of-the-art researches are developed based on 64-line LiDARs. However, the cost of high-resolution LiDARs are several magnitude higher than the low- resolution applied LiDARs on the makes the current research majority of low-cost robotics hard to be widely platforms. …”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

“…The design is then tested for DC analysis, stability analysis, load transient response, line transient response, load and line regulation and power supply ripple rejection. …”
Get full text

Measurement and modelling of temperature-dependent thermal diffusivity of diamond films by Hui, Ping.

“…First paper shows how the transmission-line theory is applied for obtaining thermal solutions for 2 and 3-layer samples, and investigate on how different pulse shapes affect the curve fitting results. …”
Get full text

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

Signs of criticality in social explosions by Beiró, Mariano G., Chung, Ning Ning, Chew, Lock Yue, Gandica, Yérali

“…The success of an on-line movement could be defined in terms of the shift to large-scale and the later off-line massive street actions of protests. …”
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 report the first molecular line survey of Supernova 1987A in the millimetre wavelength range. …”

Geometric hashing for camera based localization by Tan, Wei Chian

“…A VCLH is characterized by position of the vertical line or building corner in the image, and orientations of the neighbouring plane normal. …”
Get full text

Conformable ultrasound breast patch for deep tissue scanning and imaging by Du, Wenya, Zhang, Lin, Suh, Emma, Lin, Dabin, Marcus, Colin, Ozkan, Lara, Ahuja, Avani, Fernandez, Sara, Shuvo, Ikra Iftekhar, Sadat, David, Liu, Weiguo, Li, Fei, Chandrakasan, Anantha P., Ozmen, Tolga, Dagdeviren, Canan

“…The in vitro studies and clinical trials reveal that the array using a piezoelectric crystal [Yb/Bi-Pb(In <jats:sub>1</jats:sub> <jats:sub>/2</jats:sub> Nb <jats:sub>1/2</jats:sub> )O <jats:sub>3</jats:sub> -Pb(Mg <jats:sub>1/</jats:sub> <jats:sub>3</jats:sub> Nb <jats:sub>2/3</jats:sub> )O <jats:sub>3</jats:sub> -PbTiO <jats:sub>3</jats:sub> ] (Yb/Bi-PIN-PMN-PT) exhibits a sufficient contrast resolution (~3 dB) and axial/lateral resolutions of 0.25/1.0 mm at 30 mm depth, allowing the observation of small cysts (~0.3 cm) in the breast. …”
Get full text

Piezoelectric single crystal based one-dimensional phased array for breast tissue imaging by Du, Wenya

“…In this thesis, I propose a conformable ultrasound breast patch (cUSBr-Patch) consisting of a one-dimensional (1D) phased array and a nature-inspired patch design, which offers large-area, deep tissue scanning and multi-angle, repeatable breast imaging while avoiding the drawbacks of conventional ultrasound imaging technologies. I used a Yb/Bi-doped PIN-PMN-PT single crystal as the active element due to its superior piezoelectric properties (d33 = 2,800 pC/N, εr = 7,000, k33 = 0.93). …”
Get full text

Two-phase immersion cooling for power dense printed circuit board converters by Ristic-Smith, A

“…A theoretical model and numerical solution method for boiling on pin fins is developed and used to design heat spreaders to increase the power dissipation per unit semiconductor area with minimal penalty on the converter volume. …”

The Gale Encyclopedia of Mental Health / by Narins, Brigham, 1962- editor 256342

“…Entries follow the standardized, balanced format of all the titles in the Gale Encyclopedia of ... line. Most entries include sidebars defining Key Terms and listing Questions to Ask Your Doctor. …”
Get full text

A novel framework for making dominant point detection methods non-parametric by Leung, Maylor Karhang, Quek, Chai, Cho, Siu-Yeung, Prasad, Dilip K.

“…This paper uses a theoretical bound of the maximum deviation of pixels obtained by digitization of a line segment for constructing a general framework to make most dominant point detection methods non-parametric. …”
Get full text
Get full text