A contract negotiation scheme for safety verification of interconnected systems by Tan, X, Papachristodoulou, A, Dimarogonas, DV

“…In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. …”

Exceptionally active iridium evolved from a pseudo-cubic perovskite for oxygen evolution in acid by Chen, Yubo, Li, Haiyan, Wang, Jingxian, Du, Yonghua, Xi, Shibo, Sun, Yuanmiao, Sherburne, Matthew, Ager, Joel W., Fisher, Adrian C., Xu, Jason Zhichuan

“…Such reconstructed surface region, likely contains a high amount of structural domains with corner-shared and under-coordinated IrOx octahedrons, is responsible for the observed high activity.…”
Get full text
Get full text

NMR structure, dynamics and interactions of the integrin β2 cytoplasmic tail with filamin domain IgFLNa21 by Chatterjee, Deepak, Tan, Suet-Mien, Bhattacharjya, Surajit, Lu, Lewis Zhiping

“…Such dynamical characteristics are likely to be necessary for the TTT-motif to serve as a phosphorylation switch that regulates filamin A binding to integrin β2 CT.…”
Get full text
Get full text

Investigation of digital twins and metaverse by Chow, Harry Yun Fatt

“…Currently, 73% of construction companies use BIM in their projects [5], and countries like the UK, USA, and Singapore have mandated the use of BIM in public sector projects [6]. …”
Get full text

Understanding the justifications for food policies through political theory: a method for public policy analysis by Thomas, O

“…In response to this, states have gradually introduced policies to curb sugar consumption, ranging from restrictive interventions like bans, to high-agency interventions like awareness campaigns. …”

Pronoun drop and prosocial behavior : experimental evidence from Japan by He, Tai-Sen, Riyanto, Yohanes Eko, Tanaka, Saori C., Yamada, Katsunori

“…We tested whether dropping the first-person pronoun “I” affects prosocial behavior in a dictator game-like setting. To this end, we conducted an online randomized, incentivized experiment with a socially representative sample of 2,000 Japanese respondents. …”
Get full text

HLA-DQB1*05 subtypes and not DRB1*10:01 mediates risk in anti-IgLON5 disease by Yogeshwar, SM, Muñiz-Castrillo, S, Sabater, L, Peris-Sempere, V, Mallajosyula, V, Luo, G, Yan, H, Yu, E, Zhang, J, Lin, L, Fagundes Bueno, F, Ji, X, Picard, G, Rogemond, V, Pinto, AL, Heidbreder, A, Höftberger, R, Graus, F, Dalmau, J, Santamaria, J, Iranzo, A, Schreiner, B, Giannoccaro, MP, Liguori, R, Shimohata, T, Kimura, A, Ono, Y, Binks, S, Mariotto, S, Dinoto, A, Bonello, M, Hartmann, CJ, Tambasco, N, Nigro, P, Prüss, H, McKeon, A, Davis, MM, Irani, SR, Honnorat, J, Gaig, C, Finke, C, Mignot, E

“…<p>Anti-IgLON5 disease is a rare and likely underdiagnosed subtype of autoimmune encephalitis. …”

Magnetic dynamics in iron-based superconductors probed by neutron spectroscopy by Taylor, A

“…The experiments were primarily designed to investigate the link between magnetic dynamics and superconductivity. …”

Model of motivational forces influencing academic achievement among secondary school students through the mediation of flow by Syed Mustafa, Sharifah Muzila

“…It can be concluded that students with higher intrinsic and learning efficacy motivation were more likely to experience higher flow and thus perform better in their examination. …”
Get full text

How do you predict your future movement and locations? by Ko, Zhan Hong

“…This project serves to provide an analysis on GPS data and external information like the calls and messages of a person to predict his/her future movement and location. …”
Get full text

Behaviorally informed digital campaigns and their association with social media engagement and COVID-19 vaccine uptake in Belize by Daga, Giuliana, Kossuth, Lajos, Boruchowicz, Cynthia, Lopez Boo, Florencia, Largaespada Beer, Natalia

“…However, lack of trust in the vaccine and fear of side effects in regions like the Caribbean resulted in a low uptake despite enough vaccine supply. …”
Get full text

Creative AI : a data-driven design approach for creative online ad optimisation using artificial intelligence and big data by Phay, Han

“…Through the integration of Artificial Intelligence and Big Data with current industry processes, a new kind of advertising agency will emerge that is run like a tech company. Using Big Data to inform creative design and Artificial Intelligence to identify patterns, predictive analysis can be applied to creative online banner ads for the purpose of increasing user engagement through higher click-through rates. …”
Get full text

Highly stable and efficient planar perovskite solar cells using ternary metal oxide electron transport layers by Thambidurai, Mariyappan, Shini, Foo, Harikesh, Padinhare Cholakkal, Mathews, Nripan, Dang, Cuong

Get full text

Two sides of the same coin : boons and banes of machine learning in hardware security by Liu, Wenye, Chang, Chip Hong, Wang, Xueyang, Liu, Chen, Fung, Jason M., Mohammad Ebrahimabadi, Karimi, Naghmeh, Meng, Xingyu, Basu, Kanad

“…ML schemes have been extensively used to enhance the security and trust of embedded systems like hardware Trojans and malware detection. On the other hand, ML-based approaches have also been adopted by adversaries to assist side-channel attacks, reverse engineer integrated circuits and break hardware security primitives like Physically Unclonable Functions (PUFs). …”
Get full text

Geometry-mediated bridging drives nonadhesive stripe wound healing by Xu, Hongmei, Huo, Yucheng, Zhou, Quan, Wang, Abraham Lianghao, Cai, Pingqiang, Doss, Bryant, Huang, Changjin, Hsia, K. Jimmy

Get full text

Holocene relative sea-level histories of tropical islands by Tan, Fangyi

“…I demonstrate the utility of coral microatolls to serve as precise indicators of Late Holocene RSL in places like Singapore, where the lack of accommodation space due to RSL fall from GIA has formerly limited the use of sedimentary indicators like mangrove peat. …”
Get full text

Referring expression segmentation: from conventional to generalized by Liu, Chang

“…Traditional RES methods usually either use an FCN-like network that directly generates the segmentation mask from the image or first extract all instances using a standalone network and then select the target from targets. …”
Get full text

Multi-stage generative adversarial networks for generating pavement crack images by Han, Chengjia, Ma, Tao, Huyan, Ju, Tong, Zheng, Yang, Handuo, Yang, Yaowen

Get full text

Spin-ice physics and phase transitions in cadmium cyanide by Coates, CS

“…Having confirmed the importance of spin-ice physics, chapter 6 explores the pressure and temperature dependence of the ice-like correlations. At least two phase transitions are identied at low pressure, kinetic trapping is observed and the extreme compressibility shown to be a function of cyanide reorientation and ice-like coordination. …”

The epidemiology of periportal fibrosis and relevance of current Schistosoma mansoni infection within the context of repeated mass drug administration: a population-based, cross-se... by Ajayi, S, Nabatte, B, Mpooya, S, Tinkitina, B, Opio, CK, Kabatereine, NB, Chami, G

“…History of HIV and underlying chronic hepatitis or early cirrhosis-like disease are risk factors that could be investigated for periportal fibrosis surveillance and management.…”