Cost–benefit analysis of funding smoking cessation before surgery von Jiménez‐Ruiz, C. A., Martín, V., Alsina‐Restoy, X., Granda‐Orive, J. I., Higes‐Martínez, E., García‐Rueda, M., Genovés‐Crespo, M., López‐García, C., Lorza‐Blasco, J. J., Márquez, F. L., Ramos‐Pinedo, Á., Riesco‐Miranda, J. A., Signes‐Costa, J., Solano‐Reina, S., Vaquero‐Lozano, P., Rejas, J.

Volltext

Property-Based Testing for Spark Streaming von RIESCO, A., RODRÍGUEZ-HORTALÁ, J.

Volltext

Does delaying curative surgery for colorectal cancer influence long-term disease-free survival? A cohort study von Garcia-Botello, Stephanie, Martín-Arevalo, J., Cozar-Lozano, C., Benitez-Riesco, A., Moro-Valdezate, D., Pla-Martí, V., Espí-Macías, A.

Volltext

High Follow-up Rate in Smokers With Diffuse Interstitial Lung Diseases: A Magnificent Opportunity for Tobacco Cessation Treatment? von Frino-García, Alejandro, Hernández-González, Fernanda, Albacar, Nuria, Francesqui, Joel, Cuerpo, Sandra, Alsina-Restoy, Xavier, Pérez Rodas, Nancy, Noboa-Sevilla, María Belén, Cabrera César, Eva, Riesco Miranda, Juan A., Sellarés, Jacobo

Volltext

Creusot: A Foundry for the Deductive Verification of Rust Programs von Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

Volltext

The Obesity Hypoventilation Syndrome Can Be Treated With Noninvasive Mechanical Ventilation von Masa, Juan F., Celli, Bartolome R., Riesco, Juan A., Hernaéndez, Manuel, Saénchez de Cos, Julio, Disdier, Carlos

Volltext

Validity of spirometry performed online von MASA, J. F, GONZALEZ, M. T, PEREIRA, R, MOTA, M, RIESCO, J. A, CORRAL, J, ZAMORANO, J, RUBIO, M, TERAN, J, FARRE, R

Volltext

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Volltext

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings von Riesco, Adrian, Zhang, Min

Volltext

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages von Wei, Zeming, Zhang, Xiyue, Sun, Meng

Volltext

Formally Verified Animation for RoboChart Using Interaction Trees von Ye, Kangfeng, Foster, Simon, Woodcock, Jim

Volltext

Assessment of thoracoabdominal bands to detect respiratory effort-related arousal von Masa, J.F, Corral, J, Martin, M.J, Riesco, J.A, Sojo, A, Hernandez, M, Douglas, N.J

Volltext

Bridging Formal Methods and Machine Learning with Global Optimisation von Huang, Xiaowei, Ruan, Wenjie, Tang, Qiyi, Zhao, Xingyu

Volltext

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic von Selvaraj, Yuvaraj, Krook, Jonas, Ahrendt, Wolfgang, Fabian, Martin

Volltext

Defining the Asthma-COPD Overlap Syndrome in a COPD Cohort von Cosio, Borja G., MD, Soriano, Joan B., MD, López-Campos, Jose Luis, MD, Calle-Rubio, Myriam, MD, Soler-Cataluna, Juan José, MD, de-Torres, Juan P., MD, Marín, Jose M., MD, Martínez-Gonzalez, Cristina, MD, de Lucas, Pilar, MD, Mir, Isabel, MD, Peces-Barba, Germán, MD, Feu-Collado, Nuria, MD, Solanes, Ingrid, MD, Alfageme, Inmaculada, MD, Casanova, Ciro, MD

Volltext

RoboCert: Property Specification in Robotics von Windsor, Matt, Cavalcanti, Ana

Volltext

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel von Haur, Imane, Béchennec, Jean-Luc, Roux, Olivier H.

Volltext

SMT-Based Model Checking of Industrial Simulink Models von Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, Ngo, The Quyen, Do, Thi Bich Ngoc, Takai, Hideaki

Volltext

Theorem Proving for Maude Specifications Using Lean von Rubio, Rubén, Riesco, Adrián

Volltext

Trace Refinement in B and Event-B von Stock, Sebastian, Mashkoor, Atif, Leuschel, Michael, Egyed, Alexander

Volltext