Zobrazeno 1 - 10
of 25
pro vyhledávání: '"T. Darga"'
Publikováno v:
OOPSLA
This paper presents novel techniques for checking the soundness of a type system automatically using a software model checker. Our idea is to systematically generate every type correct intermediate program state (within some finite bounds), execute t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77d6704c74977090b974b5efa74b0299
https://doi.org/10.1145/1449764.1449803
https://doi.org/10.1145/1449764.1449803
Autor:
Paul T. Darga, Chandrasekhar Boyapati
Publikováno v:
Directed Model Checking
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree implementation. Traditional software model checkers systematically generat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e9162aec63e0bb52e2572160cd73db0
https://doi.org/10.1145/1167473.1167504
https://doi.org/10.1145/1167473.1167504
Publikováno v:
DAC
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed artifact, and thus are likely to possess much inherent symmetry and spars
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::139e776d5557daf7ce9d9851bf7d55a6
https://doi.org/10.1145/996566.996712
https://doi.org/10.1145/996566.996712
Autor:
Caraline L. Coats, André Hanauer, Ulrich Kellner, E.J.M. Schuurman, Niklas Dahl, Beate Niesler, N. Tijmes, Susannah M. Walpole, Ute Schulz, Anne Rantala, S.A. Gaythor, A.M. Bardelli, Eugenio Montini, G.J.B. van Ommen, Christina L. McHenry, C. Oudet, A. Blankenagel, J.E. Richards, H.G. Brunner, Andrea Ballabio, E. van de Vosse, P.T.V.M. de Jong, J.T. Dendunnen, Carmen Ayuso, E.L. Bingham, L Huopaniemi, Gudrun A. Rappold, K. Ruether, Thomas Rosenberg, Vera M. Kalscheuer, V. Ventruto, Paul A. Sieving, Arthur A.B. Bergen, Hanno J. Bolz, Ulrike Orth, T. Kraayenbrink, D. Pimenides, M.J. van Schooneveld, Andreas Gal, Alan F. Wright, N.D.L. George, Grazia Andolfi, F.J. Diaz, Brunella Franco, H.H. Ropers, Silke Feil, John R.W. Yates, Wolfgang Berger, Tiina Alitalo, Alfred J. L. G. Pinckers, A. dela Chapelle, U.T. Moore, J. Kaplan, Dorothy Trump, Steffen Lenzner, Pierre Bitoun, A. Nicolaou, K.T. Hiriyana, Hemant Pawar, T. Darga, J.B. ten Brink
Publikováno v:
Human molecular genetics, 7(7), 1185-1192. Oxford University Press
Human Molecular Genetics, 7(7), 1185-1192. Oxford University Press
Human Molecular Genetics, 7(7), 1185-1192. Oxford University Press
X-linked retinoschisis (XLRS) is the most common cause of juvenile macular degeneration in males, resulting in vision loss early in life. The gene involved in XLRS was identified recently. It encodes a protein with a disoidin domain, suggested to be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5f0fd99a148b526ec431d89cab82bed
https://pure.amc.nl/en/publications/functional-implications-of-the-spectrum-of-mutations-found-in-234-cases-with-xlinked-juvenile-retinoschisis-xlrs(1e0da310-81f1-413d-914c-b73a21b1a089).html
https://pure.amc.nl/en/publications/functional-implications-of-the-spectrum-of-mutations-found-in-234-cases-with-xlinked-juvenile-retinoschisis-xlrs(1e0da310-81f1-413d-914c-b73a21b1a089).html
Publikováno v:
European Journal of Cancer Supplements. 2:193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e890d0aa2416bd4c5e0bd750f2a3a1b0
https://doi.org/10.1016/s1359-6349(04)80648-7
https://doi.org/10.1016/s1359-6349(04)80648-7
Publikováno v:
The Journal of Qazvin University of Medical Sciences, Vol 20, Iss 2, Pp 41-48 (2016)
Background: Nuclease and caspase activities that promote death signals and cause apoptosis are dependent to potassium ion. Objective: The aim of this study was to investigate the effect of potassium channel blocker tetraethylammonium (TEA) on preven
Externí odkaz:
https://doaj.org/article/48904a32036943a3bc61a5b5fe1e37f8
Publikováno v:
The Journal of Qazvin University of Medical Sciences, Vol 19, Iss 2, Pp 11-20 (2015)
Background: Nuclease and caspase enzymes activities which promote death signals and lead to apoptosis are dependent to potassium ions. Objective: The aim of this study was to determine the effect of 4-aminopyridine (4-AP) potassium channel blocker o
Externí odkaz:
https://doaj.org/article/25e2421f5bd24c429b71b8eaa9405719
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.