Non-abelian representations of some sporadic geometries by Ivanov, Alexander A., Pasechnik, Dmitrii V., Shpectorov, Sergey V.

“…For a point-line incidence system S =(P, L) with three points per line we define the universal representation group of S asR(S)= 〈zp, p∈P|zp^2=1 for p∈P,zp zq zr = 1 for {p,q,r} ∈ L〉We prove that if G is the 2-local parabolic geometry of the sporadic simple group F1(the Monster) or F2(the Baby Monster) thenR(G)≅F1or 2·F2, respectively.…”
Get full text
Get full text

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

Evaporation of a sessile droplet on flat surfaces: an axisymmetric lattice Boltzmann model with consideration of contact angle hysteresis by Zhang, Chaoyang, Zhang, Hui, Zhang, Xuan, Yang, Chun, Cheng, Ping

“…Here, we propose an axisymmetric lattice Boltzmann (LB) model to simulate the dynamics of contact line motion during sessile droplet evaporation on a flat heated surface, taking contact angle hysteresis into consideration. …”
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 of a mechatronic system using Arduino Uno by Chong, Kok Leong

“…Therefore, this Final Year Project (FYP) aims to create a Line-Following robot using Arduino Uno that can autonomously pick up boxes autonomously in a warehouse. …”
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

Wear behaviour of NiTi shape memory alloys by Yan, Lina

“…For example, since mechanical properties of NiTi SMAs are close to those of cortical bones, NiTi SMA based implants such as joint replacements, bone plates, and spine fracture fixations were developed. However, complex wear modes on the surface may cause undesired reactions from neighboring tissues, leading to a serious inflammation of the human body. …”
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

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. …”

Biofilm formation inhibition and dispersal of multi-species communities containing ammonia-oxidising bacteria by Keshvardoust, Pejhman, Huron, Vanessa A. A., Clemson, Matthew, Constancias, Florentin, Barraud, Nicolas, Rice, Scott A.

Get full text

Optical coherence tomography angiography imaging to monitor anti-VEGF treatment of corneal vascularization in a rabbit model by Devarajan, Kavya, Ong, Hon Shing, Lwin, Nyein C., Chua, Jacqueline, Schmetterer, Leopold, Mehta, Jodhbir Singh, Ang, Marcus

Get full text

The theoretical direct-band-gap optical gain of Germanium nanowires by Xiong, Wen, Wang, Jian-Wei, Fan, Weijun, Song, Zhigang, Tan, Chuan Seng

Get full text

Active control of broadband sound through the open aperture of a full-sized domestic window by Lam, Bhan, Shi, Dongyuan, Gan, Woon-Seng, Elliott, Stephen J., Nishimura, Masaharu

Get full text

Evaluation of femtosecond laser-assisted anterior capsulotomy in the presence of ophthalmic viscoelastic devices (OVDs) by Mansoor, Hassan, Liu, Yu-Chi, Wong, Yoke Rung, Lwin, Nyein C., Seah, Xin Y., Mehta, Jodhbir Singh

Get full text

Two-qubit sweet spots for capacitively coupled exchange-only spin qubits by Feng, MengKe, Zaw, Lin Htoo, Koh, Teck Seng

Get full text

Observation of an acoustic octupole topological insulator by Xue, Haoran, Ge, Yong, Sun, Hong-Xiang, Wang, Qiang, Jia, Ding, Guan, Yi-Jun, Yuan, Shou-Qi, Chong, Yidong, Zhang, Baile

Get full text

Periodontitis associates with species-specific gene expression of the oral microbiota by Belstrøm, Daniel, Constancias, Florentin, Drautz-Moses, Daniela Isabel, Schuster, Stephan Christoph, Veleba, Mark, Mahé, Frédéric, Givskov, Michael

Get full text