Search Results - "Krzysztof Bar"

Globular: an online proof assistant for higher-dimensional rewriting by Krzysztof Bar, Aleks Kissinger, Jamie Vicary

“…This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool…”
Get full text

Inflammatory myofibroblastic tumor of the kidney in patient with nephron-sparing surgery. Case report and review of the literature by Korolczuk, Agnieszka, Jarosz, Piotr, Jasielski, Patryk, Mitura1, Przemysław, Bar, Krzysztof

“…According to the WHO classification, mesenchymal tumors of the kidney are divided into mesenchymal tumors occurring mainly in adults and children. Accumulating…”
Get full text

Extraperitoneal Laparoscopic Prostatectomy in a Prostate Cancer Patient Undergoing Continuous Ambulatory Peritoneal Dialysis by Widz, Damian, Kuliniec, Iga, Yadlos, Andriy, Sudoł, Damian, Godzisz, Michał, Wisz, Agata, Płaza, Paweł, Mitura, Przemysław, Cabanek, Michał, Bar, Krzysztof

“…Radical prostatectomy (RP) in patients on continuous ambulatory peritoneal dialysis (CAPD) is a challenging procedure. The following key points need to be…”
Get full text

A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem by Bar, Krzysztof, Vicary, Jamie

“…This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a…”
Get full text

Data structures for quasistrict higher categories by Bar, Krzysztof, Vicary, Jamie

“…We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity…”
Get full text

Serum and urine metabolomic fingerprinting in diagnostics of inflammatory bowel diseases by Dawiskiba, Tomasz

“…AIM:To evaluate the utility of serum and urine metabolomic analysis in diagnosing and monitoring of inflammatory bowel diseases(IBD).METHODS:Serum and urine…”
Get full text

PALB2 mutations and prostate cancer risk and survival by Wokołorczyk, Dominika, Kluźniak, Wojciech, Stempa, Klaudia, Rusak, Bogna, Huzarski, Tomasz, Gronwald, Jacek, Gliniewicz, Katarzyna, Kashyap, Aniruddh, Morawska, Sylwia, Dębniak, Tadeusz, Jakubowska, Anna, Szwiec, Marek, Domagała, Paweł, Lubiński, Jan, Narod, Steven A., Akbari, Mohammad R., Cybulski, Cezary

“…Background The objective of this study was to establish the contribution of PALB2 mutations to prostate cancer risk and to estimate survival among PALB2…”
Get full text

Urinary Incontinence in Adulthood in a Course of Ectopic Ureter—Description of Two Clinical Cases with Review of Literature by Kuliniec, Iga, Mitura, Przemysław, Płaza, Paweł, Widz, Damian, Sudoł, Damian, Godzisz, Michał, Kołodyńska, Aleksandra, Monist, Marta, Wisz, Agata, Bar, Krzysztof

“…Urinary tract pathologies are the most common congenital abnormalities. Duplex colleting system occurs at different stages of completion and is usually…”
Get full text

Preoperative Neutrophil-lymphocyte Ratio as a Predictor of Overall Survival in Patients with Localized Renal Cell Carcinoma by Widz, Damian, Mitura, Przemyslaw, Buraczynski, Pawel, Plaza, Pawel, Bar, Marek, Cabanek, Michal, Nowak, Grzegorz, Ostrowska, Anna, Bar, Krzysztof

“…The neutrophil-to-lymphocyte ratio (NLR), as an indicator of the systemic inflammatory response, predicts adverse outcomes in many malignancies. We…”
Get full text

Neutrophil-to-lymphocyte ratio as a predictor of overall survival and cancer advancement in patients undergoing radical cystectomy for bladder cancer by Sudoł, Damian, Widz, Damian, Mitura, Przemysław, Płaza, Paweł, Godzisz, Michał, Kuliniec, Iga, Yadlos, Andriy, Cabanek, Michał, Bar, Marek, Bar, Krzysztof

“…Neutrophil-to-lymphocyte ratio (NLR) has proven to be promising as a prognostic factor in many malignancies. We investigated the prognostic significance of NLR…”
Get full text

Kynurenic acid in human renal cell carcinoma: its antiproliferative and antimigrative action on Caki-2 cells by Walczak, Katarzyna, Żurawska, Małgorzata, Kiś, Jacek, Starownik, Radosław, Zgrajka, Wojciech, Bar, Krzysztof, Turski, Waldemar A., Rzeski, Wojciech

“…Kidneys possess a complex enzyme system which plays a major role in tryptophan metabolism. Taking into account a considerably high concentration of one of the…”
Get full text

Automated rewriting for higher categories and applications to quantum theory by Bar, Krzysztof

“…The contribution of this thesis is a novel framework for rewriting in higher categories. Its theoretical foundation is the theory of quasistrict higher…”
Get full text

Infiltrating Treg and Th17 Cells of the Prostate Hypertrophy Gland Associated with Propionibacterium Acnes Infection by Radej, Sebastian, Płaza, Paweł, Olender, Alina, Szewc, Monika, Bar, Krzysztof, Maciejewski, Ryszard

“…The aim of the study was to evaluate prostate cell infiltration by CD4(+)IL-17(+) and Treg cells in BPH and PCa patients depending on infection in the prostate…”
Get full text

Prediction of the risk of surgical complications in patients undergoing monopolar transurethral resection of bladder tumour - a prospective multicentre observational study by Poletajew, Sławomir, Krajewski, Wojciech, Gajewska, Dominika, Sondka-Migdalska, Joanna, Borowik, Michał, Buraczyński, Paweł, Dzięgała, Mateusz, Łykowski, Marcin, Przudzik, Maciej, Tukiendorf, Andrzej, Woźniak, Rafał, Bar, Krzysztof, Jabłonowski, Zbigniew, Roslan, Marek, Słojewski, Marcin, Zdrojowy, Romuald, Radziszewski, Piotr, Dziobek, Konrad

“…The aim of the study was to identify predictors of surgical complications of transurethral resection of bladder tumour (TURBT). We prospectively recruited 983…”
Get full text

Uterovesical fistula caused by cervical pessary placed for the prevention of preterm delivery – case report by Monist, Marta J., Skorupski, Paweł J., Bar, Krzysztof, Rechberger, Tomasz A., Semczuk, Andrzej

“…Uterovesical fistulas are the rarest of all urogenital fistulas, mostly occurring as a complication of cesarean section. We present a case of a 32-year-old…”
Get full text

Propionibacterium acnes infection associated with cancerous prostate hypertrophy by Olender, Alina, Radej, Sebastian, Płaza, Paweł, Bar, Krzysztof, Maciejewski, Ryszard

Get more information

Concurrent Bilateral Emphysematous Pyelonephritis and Emphysematous Cystitis: A Case Report of Glomerulonephritis Severe Complication by Godzisz, Michał, Mitura, Przemysław, Widz, Damian, Sudoł, Damian, Kuliniec, Iga, Bar, Krzysztof

“…Emphysematous pyelonephritis (EPN) and emphysematous cystitis (EC) are severe, necrotizing emphysematous urinary tract infections (EUTI) characterized by the…”
Get full text

Mondor's disease or systemic sclerosis - diagnostic and therapeutic dilemmas by Kostrzewa, Olga, Kołodziej, Paweł, Majdan, Maria, Zwolak, Robert, Górak, Anna, Bar, Krzysztof

“…In this article we have presented a case of 31-year-old male with thickening of the skin and tender cord of superficial veins of the penis and laboratory…”
Get more information

The influence of varicocelectomy on semen parameters and fertility by Mateusz Stasieczek, Krzysztof Bar, Przemysław Mitura, Wojciech Dzierżak, Maciej Barczentewicz, Konrad Janicki, Piotr Bobiarski, Barbara Jach-Siwek, Jakub Kempisty

“…Introduction. Varicocele is an abnormal dilation of the spermatic veins within the pampiniform plexus of the spermatic cord. This pathology is diagnosed in 25%…”
Get full text

The influence of varicocelectomy on semen parameters and fertility by Mateusz Stasieczek, Krzysztof Bar, Przemysław Mitura, Wojciech Dzierżak, Maciej Barczentewicz, Konrad Janicki, Piotr Bobiarski, Barbara Jach-Siwek, Jakub Kempisty

“…Introduction. Varicocele is an abnormal dilation of the spermatic veins within the pampiniform plexus of the spermatic cord. This pathology is diagnosed in 25%…”
Get full text