On the C.E. degrees realizable in II⁰₁ classes by Csima, Barbara F., Downey, Rod, Ng, Keng Meng

“…We study for each computably bounded Π01 class P the set of degrees of c.e. paths in P. …”
Get full text

Performance Guarantees for Spectral Initialization in Rotation Averaging and Pose-Graph SLAM by Doherty, Kevin J., Rosen, David M., Leonard, John J.

“…Our results reveal the critical role that spectral graph-theoretic properties of the measurement network play in controlling estimation accuracy; moreover, as a by-product of our analysis we obtain new bounds on the estimation error for the maximum likelihood estimators in SLAM and RA, which are likely to be of independent interest. …”
Get full text

Extension of solutions of convolution equations in spaces of holomorphic functions with polynomial growth in convex domains by Khoi, Le Hai., Ishimura, Ryuichi., Abanin, Alexander V.

“…In this paper we consider a problem of extension of solutions to homogeneous convolution equations defined by operators acting from a space A−∞(D+K)A−∞(D+K) of holomorphic functions with polynomial growth near the boundary of D+KD+K into another space of such a type A−∞(D)A−∞(D) (D and K being a bounded convex domain and a convex compact set in CC, respectively). …”
Get full text
Get full text

Efficient sampling for extreme event statistics of the wave loads on an offshore platform by Mohamad, Mustafa A., Sapsis, Themistoklis P.

Get full text

Event-triggered adaptive neural network controller for uncertain nonlinear system by Gao, Hui, Song, Yongduan, Wen, Changyun

“…The minimal inter-event time internal is lower bounded by a positive number so that no Zeno behavior occurs. …”
Get full text

The US–China Trade War: Quantify the Negative Shocks to Local Housing Markets and Land-Based Finance in Chinese Cities by Li, Boning, Liao, Wen-Chi, Sun, Weizeng, Zeng, Yongxuan, Zheng, Siqi

Get full text

Development of graphical display for helicopter simulation by Koh, Kok Liang.

“…The development of rotary aircraft has progressed by leap and bounds since the early 20th century. Progressive improvements of aircraft development have also extended the use of such aircraft from a passenger carrier to that of autonomous operation; an UAV or unmanned aerial vehicle. …”
Get full text

Counting graphic sequences via integrated random walks by Balister, P, Donderwinkel, S, Groenland, C, Johnston, T, Scott, A

“…We show that G(n) = (c + o(1))4n/n3/4 for some constant c > 0, improving both the previously best upper and lower bounds by a factor of n 1/4 (up to polylog-factors). …”

Equilibria, Efficiency, and Inequality in Network Formation for Hiring and Opportunity by Dwork, Cynthia, Hays, Chris, Kleinberg, Jon, Raghavan, Manish

Get full text

Variational models in martensitic phase transformations with applications to steels by Muehlemann, A

“…We present a new approach to finding inner and outer bounds. </p> <p>In Chapter 4, we focus on highly compatible, so called self-accommodating, martensitic structures and present new results on their fine properties such as estimates on their minimum complexity and bounds on the relative proportion of each martensitic variant in them. …”

Attack detection for cyber-physical systems: a zonotopic approach by Li, Jitao, Wang, Zhenhua, Shen, Yi, Xie, Lihua

“…This paper studies the problem of sensor attack detection for a class of cyber-physical systems with bounded perturbations. A novel attack detection method is proposed based on zonotopic reachability analysis. …”
Get full text

Safe reinforcement learning in automotive by Shah, A

“…This approach leads to an improvement in performance and scalability for finding the right monitoring policies, as the safety properties enforces bounds on the search space.…”

Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques by Dalirrooyfard, Mina, Mathialagan, Surya, Williams, Virginia Vassilevska, Xu, Yinzhan

Get full text

Biomechanical study on arthroscopic biceps tenodesis fixation techniques by Lim, Gideon Boon Hao

“…The interference screw fixation used in the procedure is said to provide stiffer construct but fails catastrophically in osteoporotic bones. Thus, it is important to find the best repair technique among the two different techniques through biomechanical experiments. …”
Get full text

Sums of GUE matrices and concentration of hives from correlation decay of eigengaps by Narayanan, Hariharan, Sheffield, Scott, Tao, Terence

“…Our main ingredients include a representation due to Speyer of augmented hives involving a supremum of linear functions applied to a product of Gelfand–Tsetlin polytopes; known results by Klartag on the KLS conjecture in order to handle the aforementioned supremum; covariance bounds of Cipolloni–Erdős–Schröder of eigenvalue gaps of GUE; and the use of the theory of determinantal processes to analyze the GUE minor process.…”
Get full text

Anti-complex sets and reducibilities with tiny use by Franklin, Johanna N. Y., Greenberg, Noam, Stephan, Frank, Wu, Guohua

“…In contrast with the notion of complexity, a set A is called anti-complex if the Kolmogorov complexity of the initial segments of A chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. …”
Get full text
Get full text

Real time video processing for detecting unexpected behaviours by Yong, Chun Yee

“…Body shape change and bounding box techniques are utilized to develop the fall detection algorithm on Python and OpenCV. …”
Get full text

3D simulation of hard spheres in thermal boundary by Ang, Han Wee

“…In this work, we designed a three-dimensional simulation module that enables users to predict the thermo-physical properties of a fluid system bounded by thermal planes. The simulation program, written in object-oriented programming language, Java, allows the viewing of actual atomistic movement real-time, based on the deterministic Molecular Dynamics simulation method. …”
Get full text

Medium access control for dynamic spectrum access in cognitive radio networks : analysis under uncertainty by Dong, Qiumin, Niyato, Dusit, Wang, Ping

“…In this case, a robust optimization method to study the Markov chain with uncertainty is applied to obtain the stationary probabilities of the queueing model under uncertainty. The lower and upper bounds of performance measures are obtained and compared with the nominal value.…”
Get full text
Get full text

Prism dispersion effects in near-guided-wave surface plasmon resonance sensors by Shalabney, Atef, Abdulhalim, Ibrahim

“…The dispersion relation of two thin films bounded by two semi-infinite media is derived when the prism dispersion is considered.…”
Get full text
Get full text