Proteus: A Hierarchical Portfolio of Solvers and Transformations
, 2014 In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances. In this paper, we leverage advances in both SAT and CSP solving
B.A. Huberman +11 more
core +1 more source
Lipopolysaccharide (LPS, endotoxin) of Proteus bacteria-chemical structure, serological specificity and the role in pathogenicity [PDF]
, 2008 Lipopolysaccharides (LPS) of Gram-negative bacteria are composed of three regions: О-specific chain (OPS), the core oligosaccharide and lipid A. All three regions of Proteus LPS were studied. The differences in the structure of OPS serve as the basis
Różalski, Antoni
core
Prevalence and antimicrobial resistance of Enterobacteriaceae in the north of Kazakhstan
Open Veterinary JournalBackground: An increasing number of drugs are used each year in the treatment of small pets (cats and dogs), including medicines (cephalosporins and fluoroquinolones) used in human therapy. Aim: The purpose of this study was to isolate and explore the
Yuliya Aleshina +4 more
doaj +1 more source
Infectious Diseases Associated With Renal Homotransplantation: I. Incidence, Types, and Predisposing Factors [PDF]
, 1964 Infectious diseases occurred in 26 of 30 renal homotransplantation patients and contributed to eight of the 12 deaths in this series. There were 52 infections, 17 occurring before and 35 after transplantation.
Marchioro, TL +3 more
core +1 more source
Bacteriophage Typing of Proteus mirabilis, Proteus vulgaris , and Proteus morganii [PDF]
Applied Microbiology, 1974 A bacteriphage typing scheme for differentiating Proteus isolated from clinical specimens was developed. Twenty-one distinct patterns of lysis were seen when 15 bacteriophages isolated on 8 Proteus mirabilis , 1 P. vulgaris , and 1 P.
W C, Schmidt, C D, Jeffries
openaire +2 more sources
mSystems, 2023 Integrative conjugative elements (ICEs) are important mobile elements that are associated with the dissemination of antibiotic resistance genes (ARGs) in Proteus.
Kai Peng +5 more
doaj +1 more source
PENGARUH PENGGUNAAN MEDIA SOFTWARE SIMULASI PROTEUS TERHADAP PRESTASI BELAJAR SISWA PADA MATA DIKLAT ELEKTRONIKA [PDF]
, 2012 Penelitian ini bertujuan untuk mengetahui perbedaan prestasi belajar siswa kelas X1 Kelas A dan Kelas B jurusan Teknik Instalasi Tenaga Listrik SMK 1 Sedayu pada mata diklat Elektronika dengan menerapkan media software simulasi proteus sebagai media ...
Yana Andri, Ariyanto
core
On an age and spatially structured population model for Proteus Mirabilis swarm-colony development
, 2007 Proteus mirabilis are bacteria that make strikingly regular spatial-temporal patterns on agar surfaces. In this paper we investigate a mathematical model that has been shown to display these structures when solved numerically.
Laurençot, Philippe, Walker, Christoph
core +3 more sources
Total column CO_2 measurements at Darwin, Australia – site description and calibration against in situ aircraft profiles [PDF]
, 2010 An automated Fourier Transform Spectroscopic (FTS) solar observatory was established in Darwin, Australia in August 2005. The laboratory is part of the Total Carbon Column Observing Network, and measures atmospheric column abundances of CO_2 and O_2 and ...
Allen, N. T. +16 more
core +3 more sources
Acta Biologica Slovenica, 2017 The European blind cave salamander, Proteus anguinus, is a neotenic, permanently aquatic amphibian with a very long life span, late sexual maturity, and the ability to reproduce for at least 30 years.
Lilijana Bizjak Mali
doaj +1 more source