Effect of systemic antibiotics and topical chlorhexidine on meticillin-resistant Staphylococcus aureus carriage in intensive care unit patients. by Kypraios, T, O'Neill, P, Jones, D, Ware, J, Batra, R, Edgeworth, J, Cooper, B

“…Longitudinal data were analysed using Markov models allowing patients to move between two states: MRSA positive (detectable MRSA carriage) and MRSA negative (no detectable carriage). The effect of concurrent systemic antibiotic and topical chlorhexidine (CHX) on movement between these states was assessed. …”

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D

“…Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. …”

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D

“…Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. …”

Tool for Behavioral Analysis of Well-Structured Transition Systems by L. V. Dworzanski, V. E. Mikhaylov

“…Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency systems for proving decidability of properties based on coverability and boundedness. …”
Get full text

Gestational Diabetes Mellitus and Maternal Immune Dysregulation: What We Know So Far by Colm J. McElwain, Fergus P. McCarthy, Cathal M. McCarthy

“…Maternal hyperglycaemia ensues, instigating a ‘glucose stress’ response and concurrent systemic inflammation. Previous findings have proposed that both placental and visceral adipose tissue play a part in instigating and mediating this low-grade inflammatory response which involves altered infiltration, differentiation and activation of maternal innate and adaptive immune cells. …”
Get full text

Injectable in Situ Cross-Linking Hydrogels for Local Antifungal Therapy by Kohane, Daniel S., Hudson, Sarah, Fink, Gerald R, Langer, Robert S

“…Injectable systems of these types, containing soluble or insoluble drug formulations, could be useful for treatment of local antifungal infections, with or without concurrent systemic therapy.…”
Get full text
Get full text
Get full text

Dynamic load balancing algorithm for large data flow in distributed complex networks by Zhang Zhuo

“…At the same time, the algorithm can quickly find the sub-optimal nodes when the optimal nodes have been occupied, so it is very suitable for load balancing in highly concurrent systems. Finally, the effectiveness of the proposed load balancing algorithm is verified by simulation.…”
Get full text

Multiple cavernous hemangiomas of the orbit: Separate occurrence within a 24-year period by Nagulić Mirjana, Nikolić Igor, Manojlović-Gačić Emilija, Skender-Gazibara Milica

“…Multiple cavernous hemangiomas may recur after a complete excision and may exist with concurrent systemic tumors. Tumor recurrence is supposed to develop from vasculature that is present already in response to a proliferate stimulus. …”
Get full text

Towards Dynamic Updates in Service Composition by Mario Bravetti

“…Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have named scopes and are sensible to actions of dynamic update at runtime; this allows to express dynamic and static topologies of adaptable processes as well as different evolvability patterns for concurrent processes. …”
Get full text

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems by Carlos Olarte, Camilo Rueda

“…Abstract Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process cal- culi allow to both model and verify properties of a system, thus pro- viding a concrete design methodology for complex systems. ntcc , a constraints-based calculus for modeling temporal non-deterministic and asynchronous behaviour of processes has been proposed recently. …”
Get full text

Predicting Outcomes From Radical Radiotherapy for Non-small Cell Lung Cancer: A Systematic Review of the Existing Literature by Gerard M. Walls, Gerard M. Walls, Gerard G. Hanna, Gerard G. Hanna, Fang Qi, Sai Zhao, Jun Xia, Mohammed T. Ansari, David Landau, David Landau

“…Such a test would enable the Radiotherapist to tailor the clinical management of individual patients, considering their pre-treatment characteristics, in order reduce the risk of recurrence or toxicity e.g., dose modification, accelerated fractionation, hypofractionation, or concurrent systemic therapy. The aim of this review was to map the published literature relating to investigations of the potential predictive value of patient or treatment characteristics in radical RT for NSCLC. …”
Get full text

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata by Hao Ren, Jing Huang, Jing Huang, Shengbing Jiang, Ratnesh Kumar

“…Its analysis can be conducted in the proposed counterexample fragment based specification relaxation (CEFSR) framework, where an invalid fragment of a counterexample is used to eliminate the entire set of counterexamples sharing the same fragment, by way of specification relaxation (as opposed to the traditional model refinement). For concurrent systems, we propose further enhancement towards scalability as follows. …”
Get full text

Clinical Profile and Visual Outcome of Ocular Bartonellosis in Malaysia by Chai, Lee Tan, Lai, Chan Fhun, Li, Evelyn MinTai, Abdul Gani, Nor Hasnida, Muhammed, Julieana, Tuan Jaafar, Tengku Norina, Ahmad Tajudin, Liza Sharmini, Wan Hitam, Wan-Hazabbah

“…Azithromycin was the antibiotic of choice (42.1%). Concurrent systemic corticosteroids were used in approximately 60% of cases. …”
Get full text

Hardware transactional memory architecture with adaptive version management for multi-processor FPGA platforms by Sirkunan, J., Ooi, C. Y., Shaikh-Husin, N., Hau, Y. W., Marsono, M. N.

“…However, lock-based synchronization limits the efficiency of such heterogeneous concurrent systems. Hardware Transactional Memory (HTM) is a promising approach in creating an abstraction layer for multi-threaded programming. …”

Long-Term Anticoagulation Therapy for Antiphospholipid Syndrome Following Unsuccessful Arterial Thrombosis Stent Procedure: A Case Report by Hyun Sik Kang

“…Approximately 50% of APS patients exhibit primary disease features, while the remainder present with concurrent systemic autoimmune conditions. Venous thromboses are more common than arterial thromboses, with the latter primarily developing within the cerebral arteries, as in transient ischemic attacks or strokes. …”
Get full text

Catalytic Social Entrepreneurship to Combat Desperate Poverty: A Systems Approach by Oswald A. J. Mascarenhas, Ram Kesavan, Michael D. Bernacchi

“…Eradication of global desperate poverty and its unjust structural causes can be done through two concurrent systems-thinking based strategies: (a) micro catalytic social entrepreneurship that leads to catalytic innovations that alleviate poverty, and (b) macro social catalytic political entrepreneurship that radically innovates legislation or designs macro-policy intervention systems that can effectively dismantle existing unjust structures of social injustice and inequities – the causes that perpetuate endemic global poverty. …”
Get full text

Medication-Related Osteonecrosis of the Jaw in Dental Practice: A Retrospective Analysis of Data from the Milan Cohort by Cristina Mirelli, Sonia Marino, Andrea Bovio, Sara Pederielli, Cristina Dall’Agnola, Aldo Bruno Gianni, Roberto Biagi

“…The following variables were collected: sex, age, smoking habit, type of ARD, duration of treatment, route of administration, therapeutic indication, concurrent systemic therapies and pathologies. Statistical analysis confirmed the relevance of chemotherapy, smoking, and immunosuppressive drugs as risk factors. …”
Get full text

Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility by Estefanía Coronado, Valentín Valero, M. Emilia Cambronero, Luis Orozco-Barbosa

“…CPNs provide a graphical model for the modeling and analysis of concurrent systems, which can be parameterized by the use of constants, and thus they allow us to create more flexible models. …”
Get full text

From verified model to executable program: the PAT approach by Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei

“…CSP# is a formal modeling language that emphasizes the design of communication in concurrent systems. PAT framework provides a model checking environment for the simulation and verification of CSP# models. …”
Get full text
Get full text

Catalytic Social Entrepreneurship to Combat Desperate Poverty: A Systems Approach by Oswald A. J. Mascarenhas, Ram Kesavan, Michael D. Bernacchi

“…Eradication of global desperate poverty and its unjust structural causes can be done through two concurrent systems-thinking based strategies: (a) micro catalytic social entrepreneurship that leads to catalytic innovations that alleviate poverty, and (b) macro social catalytic political entrepreneurship that radically innovates legislation or designs macro-policy intervention systems that can effectively dismantle existing unjust structures of social injustice and inequities – the causes that perpetuate endemic global poverty. …”
Get full text