Results 41 to 50 of about 17,802 (247)

Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm

Journal of Communications Software and Systems
In this paper, we present a comprehensive proof of the correctness and soundness of our previously published algorithm for transforming partially ordered multisets (Pomsets) into labeled transition systems (LTS).
Asma Bezza, Rohallah Benaboud, Toufik-Messaoud Maarouk, Rabea Ameur-Boulifa   +3 more
doaj   +1 more source

Modeling and Rating Financial Soundness Indicators of Commercial Banks Using Confirmatory Factor Analysis and TOPSIS method [PDF]

Iranian Journal of Finance, 2019
Several financial soundness frameworks, such as CAMELS, are currently present in the banking industry, but some evidence suggests that the present frameworks have inefficiencies in an Islamic banking environment.
Seyed Ahmad Seyedi, Mohammad Reza Abdoli
doaj   +1 more source

Foley Sounds Vs Real Sounds

, 2011
(Abstract to follow)
Trento, Stefano, Götzen, Amalia De
openaire   +2 more sources

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource

Моделирование и анализ информационных систем, 2013
In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions.
V. A. Bashkin, I. A. Lomazova
doaj   +1 more source

Deep Learning–Assisted Differentiation of Four Peripheral Neuropathies Using Corneal Confocal Microscopy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Peripheral neuropathies contribute to patient disability but may be diagnosed late or missed altogether due to late referral, limitation of current diagnostic methods and lack of specialized testing facilities. To address this clinical gap, we developed NeuropathAI, an interpretable deep learning–based multiclass classification ...
Chaima Ben Rabah, Ioannis N. Petropoulos, Mark Stettner, Maryam Ferdousi, Uazman Alam, Nathan Efron, Ahmed Serag, Rayaz A. Malik   +7 more
wiley   +1 more source

Prediction of Myasthenia Gravis Worsening: A Machine Learning Algorithm Using Wearables and Patient‐Reported Measures

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein, Haoqi Sun, Sophie Lehnerer, Lea Gerischer, Maximilian Mönch, Christian Meisel, Andreas Meisel, Pushpa Narayanaswami   +7 more
wiley   +1 more source

KEY ASPECTS OF CORPORATE FINANCIAL SOUNDNESS

Vestnik MGIMO-Universiteta, 2015
With increasing role of transnational corporation (TNC) questions of corporate financial soundness analysis and prediction methods are gaining momentum. This article highlights the key aspects of financial soundness of corporations.
Y. D. Sotneva
doaj   +1 more source

Sound Hole Sound

, 2015
The volume of air that goes in and out of a musical instrument's sound hole is related to the sound hole's contribution to the volume of the sound. Helmholtz's result for the simplest case of steady flow through an elliptical hole is reviewed. Measurements on multiple holes in sound box geometries and scales relevant to real musical instruments ...
openaire   +2 more sources