Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

“…The presented algorithm is integrated into the model checker ENuSMV, and the approach is evaluated via conducting a series of imperial experiments.…”
Get full text

Motor Unit Sampling From Intramuscular Micro-Electrode Array Recordings by Agnese Grison, Jaime Ibanez Pereda, Dario Farina

Get full text

Temporal Analysis of the Incidence, Mortality and Disability-Adjusted Life Years of Benign Gallbladder and Biliary Diseases in High-Income Nations, 1990–2019 by Dominic W. Proctor, BMBS, MSc, Richard Goodall, BSc, MBChB, MRCS, FHEA, Kim Borsky, MBBS, MMRCS, Justin D. Salciccioli, MBBS, MA, Dominic C. Marshall, MBBS, MRCP, BSc, Kumaran Shanmugarajah, MD, PhD, Joseph Shalhoub, BSc, MBBS, FHEA, PhD, DIC, MEd, FFSTEd, FRCS, FEBVS

Get full text

A machine learning framework for short-term prediction of chronic obstructive pulmonary disease exacerbations using personal air quality monitors and lifestyle data by M. Atzeni, G. Cappon, J. K. Quint, F. Kelly, B. Barratt, M. Vettoretti

Get full text

Falls and balance impairment; what and how has this been measured in adults with joint hypermobility? A scoping review by Yiduo Wang, Paul H. Strutton, Caroline M. Alexander

Get full text

Reinvestigation into the role of lipopolysaccharide Glycosyltransferases in Helicobacter pylori protein glycosylation by Hong Li, Xiaoqiong Tang, Tiandi Yang, Tingting Liao, Aleksandra W. Debowski, Tiankuo Yang, Yalin Shen, Hans-Olof Nilsson, Stuart M. Haslam, Barbara Mulloy, Anne Dell, Keith A. Stubbs, Wolfgang Fischer, Rainer Haas, Hong Tang, Barry J. Marshall, Mohammed Benghezal

Get full text

Time to HIV viral rebound and frequency of post-treatment control after analytical interruption of antiretroviral therapy: an individual data-based meta-analysis of 24 prospective... by Jesper D. Gunst, Jesal Gohil, Johanthan Z. Li, Ronald J. Bosch, Andrea White, Catherine Seamon, Tae-Wook Chun, Beatriz Mothe, Kathleen Gittens, Lauren Praiss, Marie-Angélique De Scheerder, Linos Vandekerckhove, Kevin Escandón, Ann Thorkelson, Timothy Schacker, Devi SenGupta, Christian Brander, Emmanouil Papasavvas, Luis J. Montaner, Javier Martinez-Picado, Ruxandra Calin, Antonella Castagna, Camilla Muccini, Wesley de Jong, Lorna Leal, Felipe Garcia, Rob A. Gruters, Timothy Tipoe, John Frater, Ole S. Søgaard, Sarah Fidler

Get full text

The Coarse-Grained/Fine-Grained Logic Interface in FPGAs with Embedded Floating-Point Arithmetic Units by Chi Wai Yu, Julien Lamoureux, Steven J. E. Wilton, Philip H. W. Leong, Wayne Luk

Get full text

A principle-based framework to determine countries’ fair warming contributions to the Paris Agreement by Mingyu Li, Setu Pelz, Robin Lamboll, Can Wang, Joeri Rogelj

Get full text

Ocean stratification impedes particulate transport to the plumes of Enceladus by Flynn Ames, David Ferreira, Arnaud Czaja, Adam Masters

Get full text

Botanical catalogue of the Mendoza herbarium in the Real Biblioteca del Monasterio de San Lorenzo de El Escorial by Carlos Aedo, Mauricio Velayos

“…It was likely acquired from an intermediary or unknown botanist during the period when its owner was imperial ambassador in Venice and Rome, between 1539 and 1554, and that the plants it contains are of Italian origin. …”
Get full text

Second-line treatment patterns and outcomes in advanced HCC after progression on atezolizumab/bevacizumab by Meng Wu, Claudia A.M. Fulgenzi, Antonio D’Alessio, Alessio Cortellini, Ciro Celsa, Giulia F. Manfredi, Bernardo Stefanini, Y. Linda Wu, Yi-Hsiang Huang, Anwaar Saeed, Angelo Pirozzi, Tiziana Pressiani, Lorenza Rimassa, Martin Schoenlein, Kornelius Schulze, Johann von Felden, Yehia Mohamed, Ahmed O. Kaseb, Arndt Vogel, Natascha Roehlen, Marianna Silletta, Naoshi Nishida, Masatoshi Kudo, Caterina Vivaldi, Lorenz Balcar, Bernhard Scheiner, Matthias Pinter, Amit G. Singal, Joshua Glover, Susanna Ulahannan, Fredrich Foerster, Arndt Weinmann, Peter R. Galle, Neehar D. Parikh, Wei-Fan Hsu, Alessandro Parisi, Hong Jae Chon, David J. Pinato, Celina Ang

Get full text

Phenomenological Aspects of Quantum Gravity and Modified Theories of Gravity by Ahmed Farag Ali, Giulia Gubitosi, Mir Faizal, Barun Majumder

Get full text

Qualitative evaluation of the implementation and national roll-out of the NHS App in England by Claire Reidy, Chrysanthi Papoutsi, Sukriti KC, Bernard Gudgin, Anthony A. Laverty, Felix Greaves, John Powell

Get full text

Exploring smallholder farmers’ access and participation in the Home Grown School Feeding Programme in selected counties of Kenya by Joyce Kamau, Collins Okoyo, Collins Okoyo, Tabitha Kanyui, Charles Mwandawiro, Samrat Singh, Lesley Drake

Get full text

Colorectal Peritoneal Metastases: A Systematic Review of Current and Emerging Trends in Clinical and Translational Research by Foteini Stefania Koumpa, Diamantis Xylas, Maciej Konopka, Dieter Galea, Kirill Veselkov, Anthony Antoniou, Akash Mehta, Reza Mirnezami

Get full text

Structural evolution mechanisms and design strategies of layered cathodes for sodium-ion batteries by Li Zhang, Jun Wang, Wenhai Ji, Nuria Tapia-Ruiz, Martin Winter, Jie Li

Get full text

Imputation of missing land carbon sequestration data in the AR6 Scenarios Database by R. Prütz, R. Prütz, R. Prütz, R. Prütz, S. Fuss, S. Fuss, S. Fuss, J. Rogelj, J. Rogelj, J. Rogelj

Get full text

Database and geospatial mapping study of those eligible for extracorporeal cardiopulmonary resuscitation in the Thames Valley Region, England by Oscar Millerchip, Jasper Eddison, Alex Rosenberg, Jon Bailey, James Raitt

Get full text

LOS SENTIMIENTOS ANTE LA (NADA TERRIBLE) MUERTE EN LA FILOSOFÍA ESTOICA by Francisco Miguel Ortiz Delgado

“…La idea del "temor hacia la muerte", como un sentimiento incorrecto, repercutió en la política cotidiana de la Roma imperial; según concluimos, esta circunstancia demuestra el carácter pragmático y terapéutico de la Stoa, escuela que siempre buscó eliminar tal temor.…”
Get full text