Approach for the development of mobile applications based on migrant objects by Aissa ElMahdi Bourahla, Mustapha Bourahla

Subjects: Get full text

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version by Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

Subjects: Get full text

Le libre jeu. Réflexions sur l’appropriation de l’activité ludique de Maude Bonenfant by Laura Iseut Lafrance St-Martin

Subjects: “…Maude Bonenfant…”
Get full text

A Divide and Conquer Approach to Eventual Model Checking by Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Subjects: Get full text

Device-related patient outcomes for coronary stents: A MAUDE database analysis by Zihan Gao, Willie Lei, Eleanor Gao, Sujata Bhatia

Subjects: Get full text

Thoracic Endovascular Aortic Repair Adverse Events Reported In The Food And Drug Administration Manufacturer And User Facility Device Experience Database by Mansukhani NA, Haleem MS, Eskandari MK

Subjects: Get full text

A Strategy-Based Formal Approach for Fog Systems Analysis by Souad Marir, Faiza Belala, Nabil Hameurlain

Subjects: Get full text

Death incidents following transcatheter edge-to-edge repair (TEER) with the MitraClip device: analysis of 10-years post-marketing death reports from the Manufacturer and User Facil... by Xinghe Sun, Yifei Zhao, Yan Li

Subjects: Get full text

Adverse Events Related to Direct-To-Consumer Sequential Aligners—A Study of the MAUDE Database by Priyanka Belgal, Sahil Mhay, Vrunda Patel, Romesh P. Nalliah

Subjects: Get full text

PN2Maude: An automatic tool to generate Maude specification for Petri net models by Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan

Subjects: “…maude…”
Get full text

'All in the Seventies'. Riflessioni sul cronotopo della sitcom e la rappresentazione mimetica della contemporaneità by Cinzia Scarpino

Subjects: “…Sitcom, Seventies, Norman Lear, chronotopoe, All in the Family, Maude…”
Get full text

Towards automatic Maude specifications generation from C functions by fateh boutekkouk

Subjects: Get full text

Reporter’s occupation and source of adverse device event reports contained in the FDA’s MAUDE database by Kavanagh KT, Brown RE Jr, Kraman SS, Calderon LE, Kavanagh SP

Subjects: Get full text

Keep an Eye on At-Home Devices: Energy-Based Acne and Anti-Aging Devices are Associated with Ocular Adverse Events in a Retrospective Analysis Using the MAUDE Database by Rachel C Hill, Shari R Lipner

Subjects: Get full text

Harold and Maude, towards an Aesthetic Hedonism by Christopher Ketcham

Subjects: Get full text

Symbolic model checking quantum circuits in Maude by Canh Minh Do, Kazuhiro Ogata

Subjects: Get full text

Complications of eustachian tube balloon dilation: Manufacturer and User Facility Device Experience (MAUDE) database analysis and literature review by Paul F. Chisolm, Amir A. Hakimi, Jessica H. Maxwell, Mark E. Russo

Subjects: Get full text

Safety reporting of Essure medical device: a qualitative and quantitative assessment on the FDA manufacturer and user facility device experience database in 2018 by Chenyu Zou, Brandy Davis, Patricia R. Wigle, Ana L. Hincapie, Jeff Jianfei Guo

Subjects: Get full text

Complications Associated with Microdebriders in Otolaryngology Procedures from 2011 to 2021: A MAUDE Study by Hari Magge, Esther Lee, Timothy B. Shaver, Punam G. Thakkar, Ameet Singh

Subjects: Get full text

A Layered and Parallelized Method of Eventual Model Checking by Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

Subjects: Get full text