Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

The International Natural Product Sciences Taskforce (INPST) and the power of Twitter networking exemplified through #INPST hashtag analysis

Background: The development of digital technologies and the evolution of open innovation approaches have enabled the creation of diverse virtual organizations and enterprises coordinating their activities primarily online. The open innovation platform titled "International Natural Product Sciences Taskforce" (INPST) was established in 2018, to bring together in collaborative environment individuals and organizations interested in natural product scientific research, and to empower their interactions by using digital communication tools. Methods: In this work, we present a general overview of INPST activities and showcase the specific use of Twitter as a powerful networking tool that was used to host a one-week "2021 INPST Twitter Networking Event" (spanning from 31st May 2021 to 6th June 2021) based on the application of the Twitter hashtag #INPST. Results and Conclusion: The use of this hashtag during the networking event period was analyzed with Symplur Signals (https://www.symplur.com/), revealing a total of 6,036 tweets, shared by 686 users, which generated a total of 65,004,773 impressions (views of the respective tweets). This networking event's achieved high visibility and participation rate showcases a convincing example of how this social media platform can be used as a highly effective tool to host virtual Twitter-based international biomedical research events

Mycophenolate mofetil in systemic sclerosis-associated interstitial lung disease

This study aimed to assess the effect of mofetil mycophenolate (MMF), an inhibitor of lymphocyte proliferation, on lung function and skin in patients with systemic sclerosis (SSc)-associated interstitial lung disease (SSc-ILD). In this retrospective study, we reviewed the medical files of 10 patients with SSc-ILD (eight females, 10 patients with diffuse SSc; mean age, 59.7 +/- 12.7 years; disease duration, 7.7 +/- 4.7 years). Patients were treated with MMF (2 g/day) for 12 months. Lung function tests and the modified Rodnan total skin score (mRTSS) were assessed at baseline and at 12 months. Results were analyzed by paired Student's t test. There was a significant increase in forced vital capacity and a nonsignificant increase in carbon monoxide diffusing capacity at 12 months in patients on MMF (p = 0.04 and 0.66, respectively). There was no effect on mRTSS. MMF stabilizes lung function of SSc-ILD after 12 months of treatment