Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Samin Ishtiaq"'
Publikováno v:
Journal of Open Research Software, Vol 5, Iss 1 (2017)
The reproduction and replication of research results has become a major issue for a number of scientific disciplines. In computer science and related computational disciplines such as systems biology, the challenges closely revolve around the ability
Externí odkaz:
https://doaj.org/article/56d37ccacf334f71aaae48d0616e036e
Autor:
Sourav Bhattacharya, Rui Li, Nicholas D. Lane, Ravichander Vipperla, Ilias Leontiadis, Samin Ishtiaq
Publikováno v:
GetMobile: Mobile Computing and Communications. 23:5-9
We have reached an important milestone in Automatic Speech Recognition (ASR) technology, with major industrial AI companies, such as Samsung, Google, Apple, and Amazon releasing high-quality ASR models that run completely on-device, e.g., on consumer
Autor:
Alberto Gil C. P. Ramos, Samin Ishtiaq, Ravichander Vipperla, Nicholas D. Lane, Kyoungbo Min, Ki-hyun Choo, Sangjun Park, Sourav Bhattacharya, Abhinav Mehrotra
Publikováno v:
INTERSPEECH
LPCNet is an efficient vocoder that combines linear prediction and deep neural network modules to keep the computational complexity low. In this work, we present two techniques to further reduce it's complexity, aiming for a low-cost LPCNet vocoder-b
Publikováno v:
Journal of Open Research Software, Vol 5, Iss 1 (2017)
Journal of Open Research Software; Vol 5, No 1 (2017); 32
Journal of Open Research Software; Vol 5, No 1 (2017); 32
The reproduction and replication of research results has become a major issue for a number of scientific disciplines. In computer science and related computational disciplines such as systems biology, the challenges closely revolve around the ability
Autor:
Sergey Berezin, Maik Riechert, Benjamin A. Hall, Nikita Skoblov, Samin Ishtiaq, Jay Nanavati, Jasmin Fisher, David Benque, Nir Piterman, Zara Ahmed, Anna Caroline E. Dahl
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319522333
VMCAI
VMCAI
The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction networks and stability anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9932efbc874d187f861afd3f3eec0570
https://doi.org/10.1007/978-3-319-52234-0_1
https://doi.org/10.1007/978-3-319-52234-0_1
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
TACAS
We present the open-source tool T2, the first public release from the TERMINATOR projecti??[9]. T2 has been extended over the past decade to support automatic temporal-logic proving techniques and to handle a general class of user-provided liveness a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65ea10e4e293f239b35f14c7e42bb0cf
https://doi.org/10.1007/978-3-662-49674-9_22
https://doi.org/10.1007/978-3-662-49674-9_22
Autor:
Samin Ishtiaq, Peter W. O'Hearn
Publikováno v:
POPL
Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an intuitionistic logic enriched with a spatial form of conjunction. We investigate the approach from the point of view of
Autor:
David Benque, Alex S. Taylor, Byron Cook, Berthold Göttgens, Benjamin A. Hall, Ryan Chuang, Samin Ishtiaq, Moshe Y. Vardi, Steffen Koschmieder, Nir Piterman, Jasmin Fisher
Publikováno v:
Scientific Reports
Scientific reports 5, 8190 (2015). doi:10.1038/srep08190
Scientific reports 5, 8190 (2015). doi:10.1038/srep08190
Chronic Myeloid Leukemia (CML) represents a paradigm for the wider cancer field. Despite the fact that tyrosine kinase inhibitors have established targeted molecular therapy in CML, patients often face the risk of developing drug resistance, caused b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d282463a854abc214240d2d78502c0b
https://www.repository.cam.ac.uk/handle/1810/247284
https://www.repository.cam.ac.uk/handle/1810/247284
Autor:
Ahmad, Samin Ishtiaq
Recent observations have shown that many sandstone buildings, including important components of the UK's cultural heritage, are becoming covered with green algal growths. This is likely to result from recent changes in air quality and the impacts of
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719921
Publikováno v:
UCC
The reproduction and replication of reported scientific results is a hot topic within the academic community. The retraction of numerous studies from a wide range of disciplines, from climate science to bioscience, has drawn the focus of many comment