Results 61 to 70 of about 2,046,692 (239)

Toward Automated Formal Security Analysis of SAML V2.0 Web Browser SSO Standard—The POST/Artifact Use Case

IEEE Access
Single Sign-On (SSO) protocols streamline user authentication with a unified login for multiple online services, improving usability and security. One of the most common SSO protocol frameworks — the Security Assertion Markup Language V2.0 (SAML ...
Zvonimir Hartl, Ante Derek
doaj   +1 more source

Isabelle/PIDE as Platform for Educational Tools [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools.
Makarius Wenzel, Burkhart Wolff
doaj   +1 more source

Disease Course After Anti‐CD20 Discontinuation in Secondary Progressive Multiple Sclerosis—A Multicenter Long‐Term Longitudinal Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To describe long‐term outcomes after anti‐CD20 discontinuation in selected patients with secondary progressive multiple sclerosis (SPMS) who remained without subsequent disease‐modifying therapy (DMT). Methods We retrospectively analyzed data from four centers in Austria and Switzerland.
Ferdinand Otto, Dariia Kliushnikova, Richard Friedrich Radlberger, Sinan Yasaroglu, Tobias Moser, Andrea Harrer, Kitty Kratzer, Wolfgang Hitzl, Christiane Gradl, Martin Schmidauer, Patrick Roth, Harald Hegen, Peter Wipfler   +12 more
wiley   +1 more source

Introduction to Formal Methods for Software Engineering

Measurement + Control, 1993
This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj   +1 more source

Re‐Purposing Sapropterin (Kuvan) for ACTA2‐Related Multisystemic Smooth Muscle Dysfunction Syndrome: A Translational Mechanistic and First‐In‐Human Therapeutic Report

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Multisystemic smooth muscle dysfunction syndrome (MSMDS) is an ultra‐rare, ACTA2‐related disorder characterized by severe cerebrovascular disease, aortic aneurysms, and smooth muscle dysfunction. Using molecular dynamics simulations and in silico drug screening, we identified that sapropterin dihydrochloride (Kuvan) is a candidate capable of ...
Moran Hausman‐Kedem, Noa Bielopolski, Vijai Krishnan, Shane Wald‐Altman, Shelly I Shrian, Omer Bar‐Yosef, Livia Kapusta, Claire Shamber, Patricia L. Musolino, Miguel Weil   +9 more
wiley   +1 more source

Anticoagulation Treatment Response Among Phenotypic ESUS Clusters: Evidence From CASPR

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate treatment effect heterogeneity across phenotypic clusters of patients with cryptogenic embolic stroke using causal inference methods. Methods From a retrospective, multicenter cohort of patients with cryptogenic embolic stroke, we estimated the treatment effect of anticoagulation versus antiplatelet therapy in patients ...
Elena Badillo Goicoechea, Patrick Ellsworth, James E. Siegler, James R. Brorson, Christina M. Lineback, Frank G. Conyers, Deborah Kerrigan, Kelsey Eklund, Shadi Yaghi, Farid Khasiyev, Emiliya Melkumova, Collin J. Culbertson, Marissa D'Souza, Dinesh V. Jillella, Patrick Glover, Hassan Aboul‐Nour, Fadi Nahab, Mahan Shahrivari, Simona Nedelcu, David S. Liebeskind, Matthew M. Smith, Aaron Rothstein, Anna Bowman, Alicia Zha, Narendra Kala, Ahmad Abu Qdais, Sami Al Kasab, Mudassir Farooqui, Diana Rojas‐Soto, Yasmin Aziz, Franziska Herpich, Jean‐Philippe Daniel, Sean L. Thompson, Vivek Patel, Thanh N. Nguyen, Siddharth Sehgal, Wenzheng Yu, Wayneho Kam, Russel Van Coevering, Oana M. Dumitrascu, Muhammad Alvi, Balaji Krishnaiah, Setareh Salehi Omran, Guillermo Linares, Eesha Singh, Hamid Ali, Mary Penckofer, Jesse M. Thon, Shani Mannion, Dalia Chahien, Lucia Chen, Fawad Talat, Mehdi Abbasi, Richa Sharma   +53 more
wiley   +1 more source

Using UML-B and U2B for formal refinement of digital components

, 2003
In this paper we look at using formal methods to verify the transformation of a digital design from abstract functional specification to bit level implementation.
Snook, Colin, Sandstrom, Kim
core   +1 more source

Supporting reuse of Event-B developments through generic instantiation

, 2009
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal models, it is desirable to avoid unnecessary re-proof when reusing models ...
Silva, Renato, Renato Silva, Butler, Michael, Michael Butler   +3 more
core   +1 more source

Artificial Intelligence in Systemic Sclerosis: Clinical Applications, Challenges, and Future Directions

Arthritis Care &Research, EarlyView.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source

Point-and-Click Logic

Informatics in Education, 2005
Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless
Matti NYKÄNEN
doaj   +1 more source