|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2941 occurrences of 1412 keywords
|
|
|
Results
Found 35046 publication records. Showing 35016 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Carlos E. Thomaz, James P. Boardman, Derek L. G. Hill, Joseph V. Hajnal, David D. Edwards, Mary A. Rutherford, Duncan Fyfe Gillies, Daniel Rueckert |
Using a Maximum Uncertainty LDA-Based Approach to Classify and Analyse MR Brain Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I, pp. 291-300, 2004, Springer, 3-540-22976-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Olivier Clatz, Hervé Delingette, Éric Bardinet, Didier Dormont, Nicholas Ayache |
Patient-Specific Biomechanical Model of the Brain: Application to Parkinson's Disease Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS4TH ![In: Surgery Simulation and Soft Tissue Modeling, International Symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003, Proceedings, pp. 321-331, 2003, Springer, 3-540-40439-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paul M. Thompson, Kiralee M. Hayashi, Greig I. de Zubicaray, Andrew L. Janke, Stephen E. Rose, James Semple, David M. Doddrell, Tyrone D. Cannon, Arthur W. Toga |
Detecting dynamic and genetic effects on brain structure using high-dimensional cortical pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2002 IEEE International Symposium on Biomedical Imaging, Ritz-Carlton Hotel, Washington, DC, USA, 7-10 June 2002, pp. 473-476, 2002, IEEE, 0-7803-7584-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Takeshi Kaishima, Yuko Mizuno-Matsumoto, Susumu Date, Shinji Shimojo |
The Experience and Practice of Developing a Brain Functional Analysis System Using ICA on a Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2002, Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings, pp. 98-109, 2002, Springer, 3-540-00195-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Oskar M. Skrinjar, Colin Studholme, Arya Nabavi, James S. Duncan |
Steps Toward a Stereo-Camera-Guided Biomechanical Model for Brain Shift Compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001, Proceedings, pp. 183-189, 2001, Springer, 3-540-42245-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Su Ruan, Mohamed-Jalal Fadili, Daniel Bloyet, Jing-Hao Xue |
Unsupervised Segmentation of Three-Dimensional Brain Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 3409-3412, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Dimitrios Ekatodramis, Gábor Székely, Guido Gerig |
Detecting and Inferring Brain Activation from Functional MRI by Hypothesis-Testing Based on the Likelihood Ratio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI'98, First International Conference, Cambridge, MA, USA, October 11-13, 1998, Proceedings, pp. 578-589, 1998, Springer, 3-540-65136-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Henry Lai, Monserrat Carino, Narendra Singh |
Naltrexone blocks RFR-induced DNA double strand breaks in rat brain cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 3(6), pp. 471-476, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Sarang C. Joshi, Ayananshu Banerjee, Gary E. Christensen, John G. Csernansky, John W. Haller, Michael I. Miller, Lei E. Wang |
Gaussian Random Fields on Sub-Manifolds for Characterizing Brain Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, Proceedings, pp. 381-386, 1997, Springer, 3-540-63046-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Xinqi Zhou, Taoyu Wu, Jing Yu, Xu Lei |
Sleep Deprivation Makes the Young Brain Resemble the Elderly Brain: A Large-Scale Brain Networks Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Connect. ![In: Brain Connect. 7(1), pp. 58-68, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Karen Lancel, Hermen Maat, Frances M. T. Brazier |
EEG KISS: Shared Multi-modal, Multi Brain Computer Interface Experience, in Public Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 207-228, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Andrea Kübler, Loïc Botrel |
The Making of Brain Painting - From the Idea to Daily Life Use by People in the Locked-in State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 409-431, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Zakaria Djebbara, Lars Brorson Fich, Klaus Gramann |
Understanding Perceptual Experience of Art Using Mobile Brain/Body Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 265-282, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Richard Ramchurn, Sarah Martindale, Max L. Wilson 0001, Steve Benford, Alan Chamberlain |
Brain-Controlled Cinema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 377-408, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Mirjana Prpa, Philippe Pasquier |
Brain-Computer Interfaces in Contemporary Art: A State of the Art and Taxonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 65-115, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Anton Nijholt |
Introduction: Brain-Computer Interfaces for Artistic Expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Art ![In: Brain Art - Brain-Computer Interfaces for Artistic Expression, pp. 1-29, 2019, Springer, 978-3-030-14322-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Lin Yao 0002, T. Xie, Z. Wu, Xinjun Sheng, D. Zhang, Ning Jiang 0001, C. Lin, Francesco Negro, L. Chen, Natalie Mrachacz-Kersting, Xiangyang Zhu, Dario Farina |
Towards Online Functional Brain Mapping and Monitoring During Awake Craniotomy Surgery Using ECoG-Based Brain-Surgeon Interface (BSI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain-Computer Interface Research (6) ![In: Brain-Computer Interface Research - A State-of-the-Art Summary 6, pp. 91-96, 2017, Springer, 978-3-319-64372-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Han Zhong, Jianhui Chen, Jian Han, Ning Zhong 0001 |
Data-Brain Driven Documents Ranking for Constructing Brain Informatics Provenances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics and Health ![In: Brain Informatics and Health - International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014, Proceedings, pp. 198-207, 2014, Springer, 978-3-319-09890-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Jianhui Chen, Ning Zhong 0001, Runhe Huang |
Towards Systematic Human Brain Data Management Using a Data-Brain Based GLS-BI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2010, Toronto, ON, Canada, August 28-30, 2010. Proceedings, pp. 365-376, 2010, Springer, 978-3-642-15313-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Yingxu Wang |
Cognitive Computing and machinable thought. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 6-8, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Janusz Kacprzyk |
Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 1-12, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kuno Kirschfeld |
The physical basis of alpha waves in the electroencephalogram and the origin of the "Berger effect". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(3), pp. 177-185, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Lei Zhang 0002, Dimitris Samaras, Dardo Tomasi, Nora D. Volkow, Rita Z. Goldstein |
Machine Learning for Clinical Diagnosis from Functional Magnetic Resonance Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 1211-1217, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Chunyan Yu, Minghui Wu 0001, Honglun Hou |
Role based and agent oriented modeling technology for hybrid avatar and virtual actor in collaborative virtual environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5497-5502, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Ivan Bajla, Igor Holländer |
Geometry-driven-diffusion filtering of magnetic resonance images using model-based conductance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 12(5), pp. 223-237, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Nonlinear image filtering, Geometry-driven diffusion, Model-based image processing, Image segmentation, Magnetic resonance imaging |
29 | Bernhard Sendhoff, Edgar Körner, Olaf Sporns |
Creating Brain-Like Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creating Brain-Like Intelligence ![In: Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems, pp. 1-14, 2009, Springer, 978-3-642-00615-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Zhongzhi Shi |
Research on Brain-Like Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 5, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Ralf Morgenstern, Marcus Heldmann, Thomas F. Münte, Bodo Vogt |
Evaluation of Probabilities and Brain Activity - An EEG-Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 74-83, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Shoji Hirano, Naotake Kamiura, Yutaka Hata, Makoto Ishikawa |
MAGNET: An Active Ditch Extraction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 124-127, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
active ditch extraction model, cerebral sulcus, ditch deepest point detection, ideal magnetic poles, N-pole, S-poles, Coulomb forces, inverse square, sliced human brain MR images, medical image processing, medical diagnostic imaging, brain MRI |
29 | C. Di Sacco, L. Lutzember, Ovidio Salvetti |
Deformation Analysis of Three-Dimensional Morphometric Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 452-455, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
deformation analysis, three-dimensional morphometric structures, 3D deformation, nonregular geometry, two-dimensional deformation, spatial deformation, cerebral structures, morphometry, densitometry, simulation process, brain deformation, neoplasia, clinical cases, CT brain images, image sequences, image sequences, image coding, reconstruction, isometry |
29 | Silvester Czanner, H. Schopp, Robert Boesecke, M. Roth, J. Pross, Reinhold Haux |
Correlation of the Talairach atlas based on the proportional grid system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 109-113, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Talairach medical atlas, proportional grid system, medical image correlation, commissura anterior, commissura posterior, reference system, area localization, objects of interest, MRI data series, brain, human brain |
29 | Yann Hodé, Aline Deruyver, B. Bendriem, Nora D. Volkow |
Temporal image fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 472-475, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dynamic image analysis, temporal image fusion, recursive segmentation, human brain images, automatic region of interest detection, kinetic image, PET images, image segmentation, medical image processing, brain, positron emission tomography, image interpretation, medical diagnostic imaging, set operations, nuclear medicine |
29 | Aline Deruyver, Yann Hodé |
Semantic graph and arc consistency in "true" three dimensional image labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 619-622, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency |
29 | Geir Storvik |
A Bayesian Approach to Dynamic Contours Through Stochastic Sampling and Simulated Annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(10), pp. 976-986, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dynamic contours, simply connected objects, minimizing energy curves, global minimum energy configuration, simulated annealing, simulated annealing, image analysis, iterative methods, magnetic resonance images, Bayes methods, brain, iterative algorithms, numerical algorithms, active contour models, biomedical NMR, ultrasound images, noisy images, cardiology, Bayesian approach, local minima, left ventricle, image contours, uncertainty measures, curve detection, biomedical ultrasonics, stochastic sampling, human brain, posterior distribution |
29 | Shinichi Motomura, Yuya Ojima, Ning Zhong 0001 |
EEG/ERP Meets ACT-R: A Case Study for Investigating Human Computation Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 63-73, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Nakarin Suppakun, Songrit Maneewongvatana |
Automatic and Semi-automatic Approaches for Selecting Prominent Spatial Filters of CSP in BCI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 203-213, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Yusra Abdulrahman, M. A. Mohammed Eltoum, Abdulla Ayyad, Brain Moyo, Yahya H. Zweiri |
Aero-Engine Blade Defect Detection: A Systematic Review of Deep Learning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 53048-53061, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Nicole M. White, Hannah E. Carter, Sanjeewa Kularatna, David N. Borg, David C. Brain, Amina Tariq, Bridget Abell, Robin D. Blythe, Steven M. McPhail |
Evaluating the costs and consequences of computerized clinical decision support systems in hospitals: a scoping review and recommendations for future practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 30(6), pp. 1205-1218, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Jamie Deng, Yusen Wu, Hilary Hayssen, Brain Englum, Aman Kankaria, Minerva Mayorga-Carlin, Shalini Sahoo, John Sorkin, Brajesh Lal, Yelena Yesha, Phuong Nguyen |
Improving VTE Identification through Adaptive NLP Model Selection and Clinical Expert Rule-based Classifier from Radiology Reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.12273, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson |
Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 10, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Jacob M. Howe |
Widening for Systems of Two Variables Per Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 11-28, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Shreya Iyer, Jacob Brain, Reza Omidvar, Mario Siervo, Nadeem Qureshi, Ralph K. Akyea, Stephen Kaptoge, Grazziela P. Figueredo, Blossom Stephan |
Exploring Dementia Risk in Cardiovascular Patients Through AI-Enabled Big Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 1507-1512, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Jamie Deng, Yusen Wu, Hilary Hayssen, Brain Englum, Aman Kankaria, Minerva Mayorga-Carlin, Shalini Sahoo, John Sorkin, Brajesh Lal, Yelena Yesha, Phuong Nguyen |
Improving VTE Identification through Adaptive NLP Model Selection and Clinical Expert Rule-based Classifier from Radiology Reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023, Istanbul, Turkiye, December 5-8, 2023, pp. 480-487, 2023, IEEE, 979-8-3503-3748-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Tohmy Brain P. Espinosa, Glenn V. Magwili |
Synchronous Reference Frame Method with PLL and Hysteresis Current Controller for Three Phase Shunt Active Power Filter to Mitigate Harmonics Caused by Nonlinear Loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAE ![In: 14th International Conference on Computer and Automation Engineering, ICCAE 2022, Brisbane, Australia, March 25-27, 2022, pp. 110-116, 2022, IEEE, 978-1-6654-8380-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Ying Sheng 0007, Cesare Tinelli, Yoni Zohar |
cvc5: A Versatile and Industrial-Strength SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 415-442, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson |
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBCrypto ![In: Code-Based Cryptography - 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers, pp. 21-36, 2022, Springer, 978-3-031-29688-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | David Borland, Irena Brain, Karamarie Fecho, Emily R. Pfaff, Hao Xu 0006, James Champion, Chris Bizon, David Gotz |
Enabling Longitudinal Exploratory Analysis of Clinical COVID Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.11476, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Lenira Semedo, Kate J. Lifford, Adrian Edwards, Kathy Seddon, Kate Brain, Stephanie Smits, Sunil Dolwani |
Development and user-testing of a brief decision aid for aspirin as a preventive approach alongside colorectal cancer screening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 21(1), pp. 165, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Matthew R. Whiteway, Dan Biderman, Yoni Friedman, Mario Dipoppa, Estefany Kelly Buchanan, Anqi Wu, John Zhou, Niccolò Bonacchi, Nathaniel J. Miska, Jean-Paul Noel, Erica Rodriguez, Michael Schartner, Karolina Socha, Anne E. Urai, C. Daniel Salzman, International Brain Laboratory, John P. Cunningham, Liam Paninski |
Partitioning variability in animal behavioral videos using semi-supervised variational autoencoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(9), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Erdem Varol, Julien Boussard, Nishchal Dethe, Olivier Winter, Anne E. Urai, International Brain Laboratory, Anne Churchland, Nick Steinmetz, Liam Paninski |
Decentralized Motion Inference and Registration of Neuropixel Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2021, Toronto, ON, Canada, June 6-11, 2021, pp. 1085-1089, 2021, IEEE, 978-1-7281-7606-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian A. Bruijns, International Brain Laboratory, Peter Dayan |
Exploring learning trajectories with dynamic infinite hidden Markov models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, CogSci 2021, virtual, July 26-29, 2021, 2021, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | David Borland, Irena Brain, Karamarie Fecho, Emily R. Pfaff, Hao Xu 0006, James Champion, Chris Bizon, David Gotz |
Enabling Longitudinal Exploratory Analysis of Clinical COVID Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VAHC ![In: IEEE Workshop on Visual Analytics in Healthcare, VAHC 2021, New Orleans, LA, USA, October 24-25, 2021, pp. 19-24, 2021, IEEE, 978-1-6654-2067-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain |
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021., pp. 23-31, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Benedetta Piantella, Alex Nathanson, Tega Brain, Keita Ohshiro |
Solar-Powered Server: Designing for a More Energy Positive Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, CHI 2020, Honolulu, HI, USA, April 25-30, 2020, pp. 1-4, 2020, ACM, 978-1-4503-6819-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Rylan Schaeffer, Mikail Khona, Leenoy Meshulam, International Brain Laboratory, Ila Fiete |
Reverse-engineering recurrent neural network solutions to a hierarchical inference task for mice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Anqi Wu, Estefany Kelly Buchanan, Matthew R. Whiteway, Michael Schartner, Guido Meijer, Jean-Paul Noel, Erica Rodriguez, Claire Everett, Amy Norovich, Evan Schaffer, Neeli Mishra, C. Daniel Salzman, Dora E. Angelaki, Andrés Bendesky, International Brain Laboratory, John P. Cunningham, Liam Paninski |
Deep Graph Pose: a semi-supervised deep graphical model for improved animal pose tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Laine Nooney, Tega Brain |
A 'speculative pasts' pedagogy: where speculative design meets historical thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Creativity ![In: Digit. Creativity 30(4), pp. 218-234, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate |
Verifying Reachability Properties in Markov Chains via Incremental Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.08017, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Invertibility Conditions for Floating-Point Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, pp. 116-136, 2019, Springer, 978-3-030-25542-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Ilhan Aslan, Chi Tai Dang, Ruben Schlagowski, Michael Dietz, Fabian Brain, Elisabeth André |
Put that Hologram there - Probing Mobile Interaction Experiences for a Vision of Mixed Material Public Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOT ![In: Proceedings of the 9th International Conference on the Internet of Things, IoT 2019, Bilbao, Spain, October 22-25, 2019., pp. 6:1-6:4, 2019, ACM, 978-1-4503-7207-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Florian Schanda, Youcheng Sun |
Building Better Bit-Blasting for Floating-Point Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I, pp. 79-98, 2019, Springer, 978-3-030-17461-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Tomoya Yamaguchi 0001, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura |
Application of Abstract Interpretation to the Automotive Electronic Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, pp. 425-445, 2019, Springer, 978-3-030-11244-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Adam L. Asare, Smita Asare, Amrita Basu, Sue Dubman, Mitra Rocca, Aheli Chattopadhyay, Jessica Hong, Lisa Weiss, Ruby Singhrao, Amy Wilson, Garry Peterson, Devon McCabe, Jeff Matthews, Cal Collins, Karyn DiGiorgio, Bev Parker, Susie Brain, Diane Heditsian, Laura J. Esserman, Michelle Melisko |
Bridging Research and Clinical Care: Real-Time ePRO Adverse Event Real-Time Reporting in a Phase II Breast Cancer Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2019, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2019, 2019, AMIA. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli |
CVC4 at the SMT Competition 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08775, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Anna Maria Bigatti, Martin Brain (eds.) |
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Nilapratim Sengupta, Keith L. Brain, Rohit Manchanda |
Cellular Environment in a Bundle Modulates SEJP Characteristics in Detrusor Smooth Muscle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018, Honolulu, HI, USA, July 18-21, 2018, pp. 5842-5845, 2018, IEEE, 978-1-5386-3646-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Chitaranjan Mahapatra, Keith L. Brain, Rohit Manchanda |
Computational Study of Hodgkin-Huxley Type Calcium-Dependent Potassium Current in Urinary Bladder Over Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCABS ![In: 8th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2018, Las Vegas, NV, USA, October 18-20, 2018, pp. 1-4, 2018, IEEE Computer Society, 978-1-5386-8520-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Budhachandra S. Khundrakpam, John D. Lewis, Andrew T. Reid, Sherif Karama, Lu Zhao, François Chouinard-Decorte, Alan C. Evans, Brain Development Cooperative Group |
Imaging structural covariance in the development of intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 144, pp. 227-240, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
Functional Requirements-Based Automated Testing for Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.01466, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Ting Yue Yu, Hamid Dehghani, Keith L. Brain, Fahima Syeda, Andrew Holmes, Paulus Kirchhof, Larissa Fabritz |
Optical mapping design for murine atrial electrophysiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. methods Biomech. Biomed. Eng. Imaging Vis. ![In: Comput. methods Biomech. Biomed. Eng. Imaging Vis. 5(5), pp. 368-376, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller |
Incremental bounded model checking for embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(5), pp. 911-931, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Seth Hollar, Marshal Brain, Amit A. Nayak, Adam Stevens, Nikhil Patil, Harsh Mittal, W. Joel Smith |
A new low cost, efficient, self-driving personal rapid transit system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Vehicles Symposium ![In: IEEE Intelligent Vehicles Symposium, IV 2017, Los Angeles, CA, USA, June 11-14, 2017, pp. 412-417, 2017, IEEE, 978-1-5090-4804-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 6-10, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
Functional Requirements-Based Automated Testing for Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017, pp. 170-173, 2017, IEEE Computer Society, 978-1-5386-2431-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, James H. Davenport, Alberto Griggio |
Benchmarking Solvers, SAT-style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC²@ISSAC ![In: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Liana Hadarean (eds.) |
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 |
Satisfiability checking and symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(4), pp. 145-147, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 |
Satisfiability Checking and Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.06945, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 |
Satisfiability Checking meets Symbolic Computation (Project Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.08028, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening |
Towards Automated Bounded Model Checking of API Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTVA@ISSTA ![In: Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016., pp. 31-42, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Daniel Kroening, Ryan McCleeary |
Algebraic Techniques in Software Verification : Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC²@SYNASC ![In: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016., pp. 8-12, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
Automatic Generation of Propagation Complete SAT Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 536-556, 2016, Springer, 978-3-662-49121-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 |
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings, pp. 28-43, 2016, Springer, 978-3-319-42546-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Ryan McCleeary, Martin Brain, Aaron Stump |
A lazy approach to adaptive exact real arithmetic using floating-point operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(3), pp. 83-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Shailesh Appukuttan, Keith L. Brain, Rohit Manchanda |
A computational model of urinary bladder smooth muscle syncytium - Validation and investigation of electrical properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 38(1), pp. 167-187, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel |
Safety Verification and Refutation by k-invariants and k-induction (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.05671, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Kate J. Lifford, Jana Witt, Maria Burton, Karen Collins, Lisa Caldon, Adrian Edwards, Malcolm Reed, Lynda Wyld, Kate Brain |
Understanding older women's decision making and coping in the context of breast cancer treatment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 15, pp. 45, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Michael Docking, Anton V. Uzunov, Chris Fiddyment, Richard Brain, Scott Hewett, Lee Blucher |
UNISON: Towards a Middleware Architecture for Autonomous Cyber Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 24th Australasian Software Engineering Conference, ASWEC 2015, Adelaide, SA, Australia, September 28 - October 1, 2015, pp. 203-212, 2015, IEEE Computer Society, 978-1-4673-9390-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Nilapratim Sengupta, Keith L. Brain, Rohit Manchanda |
Spatiotemporal dynamics of synaptic drive in urinary bladder syncytium: A computational investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 8074-8077, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl |
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 22nd IEEE Symposium on Computer Arithmetic, ARITH 2015, Lyon, France, June 22-24, 2015, pp. 160-167, 2015, IEEE, 978-1-4799-8664-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller |
Successful Use of Incremental BMC in the Automotive Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings, pp. 62-77, 2015, Springer, 978-3-319-19457-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel |
Safety Verification and Refutation by k-Invariants and k-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, pp. 145-161, 2015, Springer, 978-3-662-48287-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Chitaranjan Mahapatra, Keith L. Brain, Rohit Manchanda |
Computational studies on urinary bladder smooth muscle: Modeling ion channels and their role in generating electrical activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NER ![In: 7th International IEEE/EMBS Conference on Neural Engineering, NER 2015, Montpellier, France, April 22-24, 2015, pp. 832-835, 2015, IEEE, 978-1-4673-6389-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Shailesh Appukuttan, Keith L. Brain, Rohit Manchanda |
Syncytial Basis for Diversity in Spike Shapes and their Propagation in Detrusor Smooth Muscle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014, pp. 785-794, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
Deciding floating-point logic with abstract conflict driven clause learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 45(2), pp. 213-245, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller |
Incremental Bounded Model Checking for Embedded Software (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.5872, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Ting Yue Yu, Hamid Dehghani, Keith L. Brain, Fahima Syeda, Andrew Holmes, Paulus Kirchhof, Larissa Fabritz |
New Optical Mapping Design and Automated Algorithms for Cardiac Electrophysiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIUA ![In: Medical Image Understanding and Analysis - MIUA 2014. 18th Annual Conference, Egham, UK, July 9-11, 2014. Proceedings., pp. 265-270, 2014, BMVA, 1-901725-51-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
Model and Proof Generation for Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 432-452, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Adetunji Sunmonu, Brain Leke-Betechuoh |
People driven technology solution: A Uganda example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GHTC ![In: IEEE Global Humanitarian Technology Conference, GHTC 2014, San Jose, CA, USA, October 10-13, 2014, pp. 441-444, 2014, IEEE, 978-1-4799-7193-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, pp. 412-432, 2013, Springer, 978-3-642-38855-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 35016 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|