Search results for "BRAIN"

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.	MICCAI (1)	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.	IS4TH	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.	ISBI	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.	ASIAN	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.	IPMI	2001	DBLP DOI BibTeX RDF
30	Su Ruan, Mohamed-Jalal Fadili, Daniel Bloyet, Jing-Hao Xue	Unsupervised Segmentation of Three-Dimensional Brain Images.	ICPR	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.	MICCAI	1998	DBLP DOI BibTeX RDF
30	Henry Lai, Monserrat Carino, Narendra Singh	Naltrexone blocks RFR-induced DNA double strand breaks in rat brain cells.	Wirel. Networks	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.	IPMI	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.	Brain Connect.	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.	Brain Art	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.	Brain Art	2019	DBLP DOI BibTeX RDF
30	Zakaria Djebbara, Lars Brorson Fich, Klaus Gramann	Understanding Perceptual Experience of Art Using Mobile Brain/Body Imaging.	Brain Art	2019	DBLP DOI BibTeX RDF
30	Richard Ramchurn, Sarah Martindale, Max L. Wilson 0001, Steve Benford, Alan Chamberlain	Brain-Controlled Cinema.	Brain Art	2019	DBLP DOI BibTeX RDF
30	Mirjana Prpa, Philippe Pasquier	Brain-Computer Interfaces in Contemporary Art: A State of the Art and Taxonomy.	Brain Art	2019	DBLP DOI BibTeX RDF
30	Anton Nijholt	Introduction: Brain-Computer Interfaces for Artistic Expression.	Brain Art	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).	Brain-Computer Interface Research (6)	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.	Brain Informatics and Health	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.	Brain Informatics	2010	DBLP DOI BibTeX RDF
30	Yingxu Wang	Cognitive Computing and machinable thought.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
30	Janusz Kacprzyk	Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful?.	RSCTC	2008	DBLP DOI BibTeX RDF
30	Kuno Kirschfeld	The physical basis of alpha waves in the electroencephalogram and the origin of the "Berger effect".	Biol. Cybern.	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.	CVPR (1)	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.	SMC (6)	2004	DBLP DOI BibTeX RDF
30	Ivan Bajla, Igor Holländer	Geometry-driven-diffusion filtering of magnetic resonance images using model-based conductance.	Mach. Vis. Appl.	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.	Creating Brain-Like Intelligence	2009	DBLP DOI BibTeX RDF
29	Zhongzhi Shi	Research on Brain-Like Computer.	Brain Informatics	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.	Brain Informatics	2009	DBLP DOI BibTeX RDF
29	Shoji Hirano, Naotake Kamiura, Yutaka Hata, Makoto Ishikawa	MAGNET: An Active Ditch Extraction Model.	ICIP (2)	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.	ICIP (1)	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.	CBMS	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.	ICIP	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.	ICIP	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	Brain Informatics	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.	Brain Informatics	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.	IEEE Access	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.	J. Am. Medical Informatics Assoc.	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.	CoRR	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.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
28	Martin Brain, Jacob M. Howe	Widening for Systems of Two Variables Per Inequality.	SC-Square@ISSAC	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.	IEEE Big Data	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.	BIBM	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.	ICCAE	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.	TACAS (1)	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.	CBCrypto	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.	CoRR	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.	BMC Medical Informatics Decis. Mak.	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.	PLoS Comput. Biol.	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.	ICASSP	2021	DBLP DOI BibTeX RDF
28	Sebastian A. Bruijns, International Brain Laboratory, Peter Dayan	Exploring learning trajectories with dynamic infinite hidden Markov models.	CogSci	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.	VAHC	2021	DBLP DOI BibTeX RDF
28	Martin Brain	Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.	SMT	2021	DBLP BibTeX RDF
28	Benedetta Piantella, Alex Nathanson, Tega Brain, Keita Ohshiro	Solar-Powered Server: Designing for a More Energy Positive Internet.	CHI Extended Abstracts	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.	NeurIPS	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.	NeurIPS	2020	DBLP BibTeX RDF
28	Laine Nooney, Tega Brain	A 'speculative pasts' pedagogy: where speculative design meets historical thinking.	Digit. Creativity	2019	DBLP DOI BibTeX RDF
28	Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate	Verifying Reachability Properties in Markov Chains via Incremental Induction.	CoRR	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.	CAV (2)	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.	IOT	2019	DBLP DOI BibTeX RDF
28	Martin Brain, Florian Schanda, Youcheng Sun	Building Better Bit-Blasting for Floating-Point Problems.	TACAS (1)	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.	VMCAI	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.	AMIA	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.	CoRR	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.	SC-Square@FLOC	2018	DBLP BibTeX RDF
28	Nilapratim Sengupta, Keith L. Brain, Rohit Manchanda	Cellular Environment in a Bundle Modulates SEJP Characteristics in Detrusor Smooth Muscle.	EMBC	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.	ICCABS	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.	NeuroImage	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.	CoRR	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.	Comput. methods Biomech. Biomed. Eng. Imaging Vis.	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.	Formal Aspects Comput.	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.	Intelligent Vehicles Symposium	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.	ARCADE@CADE	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.	ICECCS	2017	DBLP DOI BibTeX RDF
28	Martin Brain, James H. Davenport, Alberto Griggio	Benchmarking Solvers, SAT-style.	SC²@ISSAC	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.	SMT	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.	ACM Commun. Comput. Algebra	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.	CoRR	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).	CoRR	2016	DBLP BibTeX RDF
28	Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening	Towards Automated Bounded Model Checking of API Implementations.	CSTVA@ISSTA	2016	DBLP BibTeX RDF
28	Martin Brain, Daniel Kroening, Ryan McCleeary	Algebraic Techniques in Software Verification : Challenges and Opportunities.	SC²@SYNASC	2016	DBLP BibTeX RDF
28	Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins	Automatic Generation of Propagation Complete SAT Encodings.	VMCAI	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).	CICM	2016	DBLP DOI BibTeX RDF
28	Ryan McCleeary, Martin Brain, Aaron Stump	A lazy approach to adaptive exact real arithmetic using floating-point operations.	ACM Commun. Comput. Algebra	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.	J. Comput. Neurosci.	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).	CoRR	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.	BMC Medical Informatics Decis. Mak.	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.	ASWEC	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.	EMBC	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.	ARITH	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.	FMICS	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.	SAS	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.	NER	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.	ICCS	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.	Formal Methods Syst. Des.	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).	CoRR	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.	MIUA	2014	DBLP BibTeX RDF
28	Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel	Model and Proof Generation for Heap-Manipulating Programs.	ESOP	2014	DBLP DOI BibTeX RDF
28	Adetunji Sunmonu, Brain Leke-Betechuoh	People driven technology solution: A Uganda example.	GHTC	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.	SAS	2013	DBLP DOI BibTeX RDF