The epistemic significance of religious disagreements: cases of unconfirmed superiority disagreements by Choo, Frederick Wen Yeong

“…In this paper, I argue that many religious disagreements are cases of unconfirmed superiority disagreements, where parties have good reason to think they are not epistemic peers, yet they lack good reason to determine who is superior. …”
Get full text

How to choose a law review: an empirical study by Cofone, I, Malé, P-JG

“…The optimal publication strategy for authors depends on whether they want to maximize prestige among peers or rather their impact on the discipline, as well as on authors’ career stage and risk averseness. …”

Hardware implementation of optimum channel codes by Sunish Bharathan.

“…Recently, a special class of block codes, known as Low Density Parity Check (LDPC) codes, has piqued interest upon many researchers for its capacity approaching performance as well as the speed of its decoding algorithm that transcends most existing channel codes.…”
Get full text

Gene-primer a PCR primer design program by Kok, Wui Lim.

“…In addition, BLAST algorithm is utilized for the purpose of primer specificity check. In summary, selected primers adhered to both physico-chemical criteria and also display specificity to intended binding site in the genome.…”
Get full text

Synthesis and testing of asynchronous circuits - micropipeline by Khaing, Kathy.

“…The checker is designed to meet the Totally Self-Checking (TSC) goal based on the existing checker design concepts.…”
Get full text

Phase separation in the putative fractional quantum hall A phases by Simon, S, Balram, A

“…Finally, we uncover a new property of entanglement spectra that can be used as a check for the accuracy of numerics.…”

USRP-based wireless communication demonstrations for capacity improvement: from coding and waveform design perspectives by Liu, Yile

“…To address the impact of block fading on the bit error rate, researchers proposed a novel coding method based on the principle of Low Density Parity Check (LDPC) code, referred to as the Root-Protograph LDPC (RP-LDPC) code. …”
Get full text

Thermal-mechanical design of sandwich SiC power module with micro-channel cooling by Yin, Shan, Tseng, King Jet, Zhao, Jiyun

“…Finite element analysis of thermal stress was further carried out to check that the CTE mismatch in the packaging has been minimized.…”
Get full text
Get full text

Design and Control of a Mechatronic Tracheostomy Tube for Automated Tracheal Suctioning by Do, Thanh Nho, Seah, Tian En Timothy, Phee, Soo Jay

“…Currently, nurses spend millions of person-hours yearly to perform this task. To save significant person-hours, an automated mechatronic tracheostomy system is needed. …”
Get full text
Get full text

Wrapped branes and punctured horizons by Bobev, N, Bomans, P, Gautason, FF

“…We present explicit AdS5 solutions dual to these SCFTs and check the holographic duality by showing the non-trivial agreement of ’t Hooft anomalies.…”

Wrapped branes and punctured horizons by Bobev, N, Bomans, P, Gautason, FF

“…We present explicit AdS5 solutions dual to these SCFTs and check the holographic duality by showing the non-trivial agreement of ’t Hooft anomalies. …”

Characterizing 4-string contact interaction using machine learning by Erbin, Harold, Fırat, Atakan Hilmi

“…We also train a neural network distinguishing vertex from Feynman region. As a check, 4-tachyon contact term in the tachyon potential is computed and a good agreement with the results in the literature is observed. …”
Get full text

Probabilistic verification beyond context-freeness by Li, G

“…Notably, the PCTL* model checking procedure relies heavily upon the algorithm established for LTL. …”

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

“…Two approaches, namely, projection and polytopic conversion, are presented to check the intersection situation. The detection performance is quantified using a stealthy attack set and the corresponding state estimation error set. …”
Get full text

Petri net-based efficient determination of optimal schedules for transport-dominant single-arm multi-cluster tools by Yang, Fajun, Wu, Naiqi, Qiao, Yan, Zhou, Mengchu, Su, Rong., Qu, Ting

“…Thereafter, an efficient algorithm is developed to check the given conditions and find such a schedule efficiently if existing. …”
Get full text
Get full text

Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…Probabilistic model checking techniques for this class of models allow us to formally specify quantitative specifications of either collective or individual behaviour and then automatically synthesise strategies for the agents under which these specifications are guaranteed to be satisfied. …”

Universal resilience patterns in labor markets by Moro, Esteban, Frank, Morgan R., Pentland, Alex, Rutherford, Alex, Cebrian, Manuel, Rahwan, Iyad

“…Further, cities that increase their job connectivity see increasing wage bills, and workers of embedded occupations enjoy higher wages than their peers elsewhere. Finally, we show how job connectivity may clarify the augmenting and deleterious impact of automation in US cities. …”
Get full text

“I really need your help with this work..”: A System for Navigating the Tricky Terrain of Managing Up by Leveraging One’s Motivation to Get Things Done by Park, Soya, Vishwabhan, Stuti, Muller, Michael, Karger, David R.

“…When people need help from their supervisors or peers, they often have to manage up to get things done. …”
Get full text

Blind recognition of LDPC code parameters over erroneous channel conditions by Ramabadran, Swaminathan, Madhukumar, A. S., Wang, Guohua, Ting, Shang Kee

“…In this study, blind estimation algorithms are proposed to identify code dimension and codeword length parameters of low-density parity-check (LDPC) codes at the receiver over noisy or erroneous channel conditions assuming a non-cooperative scenario. …”
Get full text

Preprocessing and authentication of 2D barcodes by Chen, Changsheng.

“…In this thesis, we investigate the detection step of a barcode by modeling its finder pattern as a 2D signal with finite rate of innovations and reconstructing it through block by block operation. Then, a quality checking step of the barcode images is added to reject those poor quality images for saving the time in processing the undecodable images and avoiding wrongly decoded information. …”
Get full text