Results 1 to 10 of about 3,259,357 (300)

Hybridization of Institutions [PDF]

, 2011
Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models.
Manuel A. Martins 0001, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa   +3 more
openaire   +3 more sources

Federated Contrastive Learning Framework for Proactive Malware Signature Generation in IoT Enabled Edge Environments [PDF]

EPJ Web of Conferences
Malware signatures have been generated traditionally and passively, heavily relying on centralized training and post Infection analysis, delaying containment, and unable to generalize across the heterogeneous IoT ecosystems.
Varri Ramana, Tamatapu Siva kumari, Sirisha Udandarao, Mahesh Amujuru venkata   +3 more
doaj   +1 more source

Institutions, Power, and Institutional Balance

, 2020
Abstract Institutional balance, as opposed to strict separation of powers, characterized the disposition of legislative and executive power in the EEC from the outset. The chapter is divided into four temporal periods. The initial period runs between the Rome Treaty and the Single European Act 1986 (SEA).
openaire   +2 more sources

Gastrointestinal Stromal Tumors Mimicking Gynecologic Disease: Clinicopathological Analysis of 20 Cases

Diagnostics, 2022
Diagnosis of pelvic gastrointestinal stromal tumors (GISTs) can be challenging because of their nonspecific presentation and similarity to gynecological neoplasms. In this series, we describe the clinicopathological features of 20 GIST cases: 18 patients
Ying Liu, Maryam Shahi, Karin Miller, Christian F. Meyer, Chien-Fu Hung, T.-C. Wu, Russell Vang, Deyin Xing   +7 more
doaj   +1 more source

Carnegie Institution [PDF]

Science, 1902
n ...
Pickering, E. C., Boss, L., Hale, G. E., Langley, S. P., Newcomb, S.   +4 more
openaire   +4 more sources

Physiochemical characterization of taste masking levetiracetam ion exchange resinates in the solid state and formulation of stable liquid suspension for pediatric use

Beni-Suef University Journal of Basic and Applied Sciences, 2016
In the present work, an attempt has been made to mask the bitter taste of Levetiracetam using various ion-exchange resins such as Amberlite IRP69 and Duolite AP143.
Sivaneswari S., Karthikeyan E., Veena D., Chandana P.J., Sai Sumana P., Subhashree P., Ramya L., Rajalakshmi R., Ashok Kumar C.K.   +8 more
doaj   +1 more source

A patient-like swine model of gastrointestinal fibrotic strictures for advancing therapeutics

Scientific Reports, 2021
Gastrointestinal (GI) strictures are difficult to treat in a variety of disease processes. Currently, there are no Food and Drug Administration (FDA) approved drugs for fibrosis in the GI tract.
Ling Li, Mohamad I. Itani, Kevan J. Salimian, Yue Li, Olaya Brewer Gutierrez, Haijie Hu, George Fayad, Jean A. Donet, Min Kyung Joo, Laura M. Ensign, Vivek Kumbhari, Florin M. Selaru   +11 more
doaj   +1 more source

Review on the synthetic pathway and pharmacological significance of benzothiazole derivatives in medicinal chemistry

Discover Chemistry
Benzothiazole (BTZ) is a fused heterocyclic compound of a benzene ring and a thiazole moietythat shows several pharmacological characteristics.
Saurav Kr. Talukdar, Sanjit Kalita, Nilanjana Thakuria, Babita Deka, Debaprotim Dasgupta, Pooja Patowary, Muslek Uddin Mazumder, Bitu Gogoi, Biprojit Paul, Deijy Choudhury, Rouchan Ali, Bhargab Jyoti Sahariah, Apurba Talukdar   +12 more
doaj   +1 more source

Patient with antiphospholipid syndrome presenting with testicular torsion-like symptoms

Urology Case Reports, 2017
Testicular torsion, a urological emergency, occurs due to absence of testicular blood supply secondary to a mechanical twist of the spermatic cord. The authors describe a 28-year-old male who presented with torsion symptoms, first in the left testicle ...
Arnav Srivastava, Joan Ko, Joy Ogunsile, Alison Moliterno, William H. Westra, Alice Semerjian   +5 more
doaj   +1 more source

Proteomic Analysis of the Air-Way Fluid in Lung Cancer. Detection of Periostin in Bronchoalveolar Lavage (BAL)

Frontiers in Oncology, 2020
Background: Bronchoalveolar lavage (BAL) is a specific type of air-way fluid. It is a commonly used clinical specimen for the diagnosis of benign diseases and cancers of the lung.
Yangying Zhou, Weiming Yang, Minghui Ao, Naseruddin Höti, Edward Gabrielson, Edward Gabrielson, Daniel W. Chan, Daniel W. Chan, Hui Zhang, Hui Zhang, Qing Kay Li, Qing Kay Li   +11 more
doaj   +1 more source