Search alternatives:
sfind » find (Expand Search), efind (Expand Search), sind (Expand Search)
spike » spie (Expand Search)
ping » ling (Expand Search), ming (Expand Search), ying (Expand Search)
fine » find (Expand Search), five (Expand Search)
line » like (Expand Search), life (Expand Search)
span » spin (Expand Search), pan (Expand Search), san (Expand Search)
peng » eng (Expand Search)
sfind » find (Expand Search), efind (Expand Search), sind (Expand Search)
spike » spie (Expand Search)
ping » ling (Expand Search), ming (Expand Search), ying (Expand Search)
fine » find (Expand Search), five (Expand Search)
line » like (Expand Search), life (Expand Search)
span » spin (Expand Search), pan (Expand Search), san (Expand Search)
peng » eng (Expand Search)
-
1501
-
1502
-
1503
-
1504
-
1505
-
1506
-
1507
-
1508
-
1509
-
1510
-
1511
-
1512
-
1513
Reactive : a mobile application to provide a personalized approach in the gym
Published 2018Get full text
Final Year Project (FYP) -
1514
Live Verification in an Interactive Proof Assistant
Published 2024“…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
Article -
1515
Signs of criticality in social explosions
Published 2024“…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
Journal Article -
1516
ALMA spectral survey of Supernova 1987A – molecular inventory, chemistry, dynamics and explosive nucleosynthesis
Published 2017“…We report the first molecular line survey of Supernova 1987A in the millimetre wavelength range. …”
Journal article -
1517
A lightweight and high efficiency battery charger for electric vehicles
Published 2015“…This auxiliary circuit reactive current is achieved so that zero-voltage switching is guaranteed. Besides, voltage spikes across the output diode bridge of FB converter are eliminated by using two clamp diodes in the circuit, which leads to lower power loss and lower rating of the diodes and output filter capacitor. …”
Get full text
Final Year Project (FYP) -
1518
Geometric hashing for camera based localization
Published 2012“…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
Thesis -
1519
Self-Supervised Learning across the Spectrum
Published 2024“…(b) Satellite imagery is geo-registered, allowing for fine-grained spatial alignment. We use these insights to formulate pretraining tasks in S4. …”
Get full text
Article -
1520