Výsledky vyhledávání

Akademický článek

Autor: Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Publikováno v: Logical Methods in Computer Science, Vol Volume 11, Issue 1 (2015)

Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably, such proofs, whether manual or automatic, are often complicated and s

Externí odkaz: https://doaj.org/article/6735816f14644ed298f912c6500b7972

Zobrazit plný text záznamu

Malign Renal Mixed Epithelial Stromal Tumor Mimicking Angiomyolipoma: A Rare Entity

Autor: Emre Can POLAT, Musab Ümeyir KARAKANLI, Mehmet Ali SEZGİN, Çağlar ÇAKIR, Alper ÖTÜNÇTEMUR

Publikováno v: Journal of Reconstructive Urology. 11:155-158

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5953afd3d4e6f134a0233614a894906a
https://doi.org/10.5336/urology.2021-85244

Zobrazit plný text záznamu

Long lived transients in gene regulation

Autor: Ali Sezgin, Tatjana Petrov, Thomas A. Henzinger, Claudia Igler, Călin C. Guet

Publikováno v: Theoretical Computer Science, 893

Gene expression is regulated by the set of transcription factors (TFs) that bind to the promoter. The ensuing regulating function is often represented as a combinational logic circuit, where output (gene expression) is determined by current input val

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a4dabb3e083989c1aac0774317af3fc
https://hdl.handle.net/20.500.11850/512193

Zobrazit plný text záznamu

The effect of effort test on the levels of ischemia modified albumin, 7-ketocholesterol and cholestan-3β , 5α , 6β -triol and their role in the diagnosis of coronary artery disease

Autor: Emine Keles, Yusuf Ziya Şener, Incilay Lay, Ali Sezgin, Selen Yilmaz Isikhan, Afshin Samadi, Muhammed Emin Keles, Uğur Canpolat

Publikováno v: Journal of Medical Biochemistry, Vol 38, Iss 3, Pp 249-255 (2019)
Journal of Medical Biochemistry

Oxysterols have been shown to play a role in plaque formation while ischemia modified albumin (IMA) is widely accepted as an acute marker for ischemia. The effort test is one of the methods used to identify the presence of coronary artery disease. Th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c56a595d93025438d2a19296a4093330
http://www.degruyter.com/view/j/jomb.2019.38.issue-3/jomb-2018-0028/jomb-2018-0028.xml?format=INT

Zobrazit plný text záznamu

Comprehensive examination of haematological parameters of patients operated due to testicular torsion

Autor: Erkan Merder, Mehmet Ali Sezgin, Ahmet Ariman, Fatih Altunrende, Mehmet Gokhan Culha, Muammer Bozkurt

Publikováno v: Andrologia. 52

We aimed to investigate the pre-operative predictive role of haematological parameters in patients with testicular torsion. The medical records of patients operated between January 2016 and November 2018 were retrospectively analysed. The demographic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bace59540ba865e8a4eaa21b4ae49ef
https://doi.org/10.1111/and.13674

Zobrazit plný text záznamu

Transient Memory in Gene Regulation

Autor: Tatjana Petrov, Ali Sezgin, Thomas A. Henzinger, Călin C. Guet, Claudia Igler

Publikováno v: Computational Methods in Systems Biology ISBN: 9783030313036
CMSB

The expression of a gene is characterised by its transcription factors and the function processing them. If the transcription factors are not affected by gene products, the regulating function is often represented as a combinational logic circuit, wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6286c1c0698858fe861dc174e6f42096
https://doi.org/10.1007/978-3-030-31304-3_9

Zobrazit plný text záznamu

HIF-1a Pathway is Associated With Neutrophil to Lymphocyte Ratio in Patients With Renal Artery Stenosis

Autor: Ali Sezgin, Metin Okşul, Yusuf Ziya Şener

Publikováno v: Türk Kardiyoloji Derneği Arşivi, Vol 47, Iss 6, Pp 534-534 (2019)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58dad6f6423354aa10f2d8ed97793b4a
https://doi.org/10.5543/tkda.2019.44675

Zobrazit plný text záznamu

Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC

Autor: Susmit Sarkar, Peter Sewell, Mark Batty, Christopher Pulte, Kyndylan Nienhuis, Ali Sezgin, Luc Maranget, Shaked Flur, Kathryn E. Gray

Publikováno v: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, EPSRC grant C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence EP/M027317/1 (Sarkar), an ARM iCASE a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28e5ffb005cc51cf5dd097d1971c6ded
https://kar.kent.ac.uk/64723/1/mixed-size.pdf

Zobrazit plný text záznamu

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

Autor: Kathryn E. Gray, Christopher Pulte, Ali Sezgin, Peter Sewell, Luc Maranget, Will Deacon, Susmit Sarkar, Shaked Flur

Publikováno v: Principles of Programming Languages 2016 (POPL 2016)
Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, the Scottish Funding Council (SICSA Early Career Industry Fellowship, Sarkar), an ARM iCASE award (Pulte), and ANR grant WMC (AN

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff47d827ee18455402b0595f5a65e4c
https://hal.inria.fr/hal-01244776

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání