A simulator for the IOA language by Chefter, Anna E., 1973-

Get full text

Formal Verification of Behavioral AADL Models by Stateful Timed CSP by Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu

“…As an extended communicating sequential process (CSP), stateful timed CSP with its model checker-PAT provide an strongly expressive language and verification tool for real-time systems, distributed systems, and concurrent systems. This paper introduces a model transformation approach from a comparatively complete subset of AADL to stateful timed CSP, in particular supporting major components of AADL Behavior Annex. …”
Get full text

Ophthalmic signs in Ugandan adults with HIV-associated cryptococcal meningitis: A nested analysis of the ASTRO-CM cohort [version 2; referees: 2 approved] by Rachel R Atherton, Jayne Ellis, Fiona V Cresswell, Joshua Rhein, David R Boulware

“…A broad range of ocular signs were demonstrated: these included neurological signs (10.9%), localized ocular pathology (4.5%), and evidence of concurrent systemic disease (12.9%). The range of signs observed demonstrates the complexities of case management in patients with advanced HIV and cryptococcosis and also the importance of basic ocular examination in low resource settings. …”
Get full text

The role of different factors in the development of cleft lip, palate, or both by Natheer Ayed Jassem, Ghufran A. Hasan, Mudher MB. Alsunbuli

“…Among these individuals, 8.6% had a concurrent systemic ailment, while 40% were identified as smokers. …”
Get full text

Update on the use of systemic biologic agents in the treatment of noninfectious uveitis by Pasadhika S, Rosenbaum JT

“…It has been shown that with proper monitoring, biologic therapy can significantly improve quality of life in patients with uveitis, particularly those with concurrent systemic symptoms. However, given high cost as well as the limited long-term safety data, we do not routinely recommend biologics as first-line therapy for noninfectious uveitis in most patients. …”
Get full text

Direct stroke unit admission of intravenous tissue plasminogen activator: safety, clinical outcome, and hospital cost savings by Anne W. Alexandrov, Kisha C. Coleman, Paola Palazzo, Reza Bavarsad Shahripour, Andrei V. Alexandrov

“…A total of 31 (10%) patients had concurrent systemic hemodynamic or pulmonary compromise warranting direct ICU admission. …”
Get full text

Comparative Effectiveness of Hepatic Artery Based Therapies for Unresectable Colorectal Liver Metastases: A Meta-Analysis. by Anthony J Zacharias, Thejus T Jayakrishnan, Rahul Rajeev, William S Rilling, James P Thomas, Ben George, Fabian M Johnston, T Clark Gamblin, Kiran K Turaga

“…Additional covariates included prior or concurrent systemic therapy.Of 491 studies screened, 90 were selected for analyses-52 (n = 3,000 patients) HAI, 24 (n = 1,268) RE, 14 (n = 1,038) TACE. …”
Get full text

Anomaly Detection Method of SDN Network Edge Switch by ZHAO Yang, YI Peng, ZHANG Zhen, HU Tao, LIU Shaoxun

“…Software-defined network gives programmability to the network,reduces the complexity of network management,and promotes the development of new network technology.As a device for data forwarding and policy enforcement,the permissions of SDN switches should not be stolen by unauthorized entities.However,the SDN switch does not always execute the commands issued by the controller.Malicious attackers attack the network covertly and fatally by eroding the SDN switch,which seriously affects the end-to-end communication quality of users.Communicationsequential process(CSP),as a modeling language designed for concurrent systems,can accurately describe the interaction between SDN switch-switch and switch-host.In this paper,CSP is used to model SDN switch and terminal host,and two abnormal switch location methods are analyzed theoretically.We verify the effectiveness of the two detection methods in the instantiated model system when the edge switch is maliciously forwarded as an egress switch,and the authentication results show that the abnormal behavior cannot be detected.In order to solve this problem,an anomaly detection method for edge switch is proposed in this paper.In this method,the host records the statistical information and triggers the packet_in message to complete the information transmission with the controller by constructing a special packet.The controller collects the statistical information and detects the abnormal forwarding behavior of the edge switch by analyzing the statistical information consistency between the edge switch and the host.Finally,based on the ryu controller,experiments are carried out on the mininet platform,and experimental results show that the edge switch anomaly detection method can successfully detect abnormal behavior.…”
Get full text

Can Intratympanic Steroid Be Initial Therapy for Sudden Sensorineural Hearing Loss? by Emre Ocak, Süha Beton, Gülin Gökçen Kesici, Tevfik Aktürk

“…Objective:To evaluate the efficacy of intratympanic steroid treatment with concurrent systemic steroids as an initial therapy for sudden sensorineural hearing loss (SSNHL).Methods:Patients who were diagnosed as idiopathic SSNHL and received no therapy were included in the study. …”
Get full text

Progesterone Hypersensitivity in Assisted Reproductive Technologies: Implications for Safety and Efficacy by Florica Sandru, Mihai Cristian Dumitrascu, Aida Petca, Razvan-Cosmin Petca, Alexandra-Maria Roman

“…It is characterized by a wide range of dermatological symptoms, with urticaria and maculopapular rashes being the most prominent signs. Concurrently, systemic symptoms, such as fever, angioedema, and, in severe instances, anaphylaxis, may ensue. …”
Get full text

Clinical and Therapeutic Considerations for Older Adults with Head and Neck Cancer by Dickstein DR, Powers AE, Vujovic D, Roof S, Bakst RL

“…Definitive radiation therapy treatment in patients with HNSCC frequently involves 7 weeks of daily radiation, sometimes with concurrent chemotherapy, and this demanding treatment can be difficult for older adult patients, which may lead to treatment interruptions, potential removal of concurrent systemic therapy, compromised outcomes, and diminished quality of life. …”
Get full text

Symbolic techniques for parameterised verification by Hong, CD

“…</p> <p>We have implemented and evaluated our automated approaches against a nontrivial collection of examples covering concurrent systems, distributed algorithms, and cryptographic protocols. …”

Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory by Mohamad Jan, Nurhidaya

“…formal language theory is a branch of applied discrete mathematics and theoretical computer science. a watson-crick automaton is an automaton that works on tapes which are double-stranded sequences of symbols related by watson-crick complementarity that are similar to the dna molecules. a petri net is a model of information flow in systems that provides a useful mathematical formalism for modelling concurrent systems. in this thesis, the relation between watson-crick automata and petri nets is investigated to consider the massive parallelism in watson- crick automata. thus, a new concept called watson-crick petri net is introduced. besides that, the structural properties of watson-crick petri net are found, namely a single start place, a run place and the stop transition. also, the generative power of watson-crick petri net is determined. besides using watson-crick complementarity in petri nets, a context-free grammar is also considered in this research. a petri net controlled grammar is a type of a context-free grammar equipped with petri nets, where the successful derivation of the grammar can be simulated by the sequence of occurrences of the net. the production rules of a grammar, for all variants of petri net controlled grammars that have been introduced, are associated only with transitions of a petri net. therefore, a place-labelled petri net controlled grammar is introduced in this research. the place labelling enables the parallel application of production rules in petri net controlled grammars to be considered. the effects of labelling strategies and the set of final markings, along with lower and upper bounds are chosen in order to increase the generative power of place-labelled petri net controlled grammar. besides that, the structural properties and structural subclass of place-labelled petri net controlled grammar are also found in this thesis.…”
Get full text

Scleroderma renal crisis with coexisting segmental arterial mediolysis presenting as intraperitoneal bleeding: a case report by Shohei Kaneko, Eri Watanabe, Mai Abe, Shinji Watanabe, Hiroki Yabe, Shigehiro Kojima, Kenji Takagi, Keiji Hirai, Yoshiyuki Morishita, Chihiro Terai

“…To the best of our knowledge, this is the first reported case of a patient with concurrent systemic sclerosis with scleroderma renal crisis and pathologically confirmed segmental arterial mediolysis. …”
Get full text

Immunoprofiles and Oncologic Outcomes of 15 Patients with Androgen Receptor-Positive Salivary Duct Carcinoma by Emile Gogineni, Blake E. Sells, Khaled Dibs, Sachin R. Jhawar, Catherine T. Haring, Abberly L. Limbach, David J. Konieczkowski, Sung J. Ma, Simeng Zhu, Sujith Baliga, Darrion L. Mitchell, John C. Grecula, Marcelo Bonomi, Priyanka Bhateja, Matthew O. Old, Nolan B. Seim, Stephen Y. Kang, James W. Rocco, Arnab Chakravarti, Dukagjin M. Blakaj, Mauricio E. Gamez

“…Ten (67%) patients underwent trimodality therapy, including surgery followed by adjuvant radiation and concurrent systemic therapy. The median follow-up was 5.5 years (interquartile range, 4.8–6.1). …”
Get full text

Passively Scattered Proton Therapy for Nonmelanoma Skin Cancer with Clinical Perineural Invasion by Curtis M. Bryant, MD, MPH, Roi Dagan, MD, MS, Adam L. Holtzman, MD, Rui Fernandes, MD, Anthony Bunnell, MD, William M. Mendenhall, MD

“…All patients were treated with curative intent with or without the delivery of concurrent systemic therapy. We report disease control rates and the rates of late toxicity among this cohort. …”
Get full text

Is depression a risk factor for mortality in chronic hemodialysis patients? by Edgar C Diefenthaeler, Mário Bernardes Wagner, Carlos Eduardo Poli-de-Figueiredo, Paulo R Zimmermann, David Saitovitch

“…Other study variables, including age, concurrent systemic diseases, and biochemical markers, were not significantly associated with mortality. …”
Get full text

Yet another case of ocular sarcoidosis by Doan Luong Hien, Neil Onghanseng, Than Trong Tuong Ngoc, Jaclyn Joyce Hwang, Brandon Huy Pham, Huy Luong Doan, Huy V. Nguyen, Muhammad Sohail Halim, Gunay Uludag, Yasir J. Sepah, Diana V. Do, Quan Dong Nguyen

“…She presented with multiple concurrent systemic complaints, including a history of oral and genital sores, patches of hypopigmented skin on her forearms, and occasional shortness of breath. …”
Get full text

Hypofractionated palliative volumetric modulated arc radiotherapy with the Radiation Oncology Study Group 8502 “QUAD shot” regimen for incurable head and neck cancer by Ryo Toya, Tetsuo Saito, Kohsei Yamaguchi, Tomohiko Matsuyama, Takahiro Watakabe, Tadashi Matsumoto, Ryoji Yoshida, Akiyuki Hirosue, Daizo Murakami, Yorihisa Orita, Hideki Nakayama, Natsuo Oya

“…This was repeated every 3–4 weeks for a total of three cycles. No concurrent systemic therapy was performed. Results The number of completed cycles was 1 in 6 (18%) patients, 2 in 5 (15%), and 3 in 23 (68%). …”
Get full text

Nanofiber mat spinal cord dressing-released glutamate impairs blood-spinal cord barrier by Dorota Sulejczak, Anna Taraszewska, Stanisław J. Chrapusta, Dorota Dziewulska, Paweł Nakielski, Janina Rafałowska

“…These results demonstrate that glutamate-loaded nanofiber mat dressing can locally create glutamate levels capable of damaging BSCB and that the resulting damage can be mitigated with concurrent systemic valproate treatment.…”
Get full text