The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for England with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1978 (21) 1979-1983 (38) 1984 (40) 1985-1986 (79) 1987 (64) 1988 (28) 1989 (51) 1990 (71) 1991 (67) 1992-1993 (72) 1994 (785) 1995 (182) 1996-1997 (83) 1998 (124) 1999 (194) 2000 (155) 2001 (159) 2002 (372) 2003 (93) 2004 (22) 2005 (32) 2006 (58) 2007 (632) 2008 (139) 2009 (96) 2010 (150) 2011 (20) 2012 (55) 2013 (71) 2014 (104) 2015 (35) 2016 (33) 2017 (34) 2018 (55) 2019 (38) 2020 (35) 2021 (40) 2022 (34) 2023 (42) 2024 (14)
Publication types (Num. hits)
article(475) book(2) data(1) incollection(12) inproceedings(3854) phdthesis(7) proceedings(66)
Venues (Conferences, Journals, ...)
ISCAS(769) IV(515) GECCO(420) COMPSAC(184) GECCO (Companion)(122) SGAI Conf.(107) EMS(102) EURO-DAC(94) CoRR(84) CADE(73) ICHIM(64) EASE(60) ACM Multimedia(59) ECBS(58) ICALP(58) Symposium on Designing Interac...(58) More (+10 of total 449)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3720 occurrences of 1951 keywords

Results
Found 4469 publication records. Showing 4417 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
54Christopher J. Merz, Michael J. Pazzani, Andrea Pohoreckyj Danyluk Tuning Numeric Parameters to Troubleshoot a Telephone-Network Loop. Search on Bibsonomy IEEE Expert The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Carrie Conaway, Philip A. Fedora New England's Wholesale Electricity Market, Six Years Later. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41K. T. Anuradha, Shalini R. Urs Bibliometric indicators of Indian research collaboration patterns: A correspondence analysis. Search on Bibsonomy Scientometrics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Farid Meziane, Sunil Vadera A Comparison of Computer Science and Software Engineering Programmes in English Universities. Search on Bibsonomy CSEE&T The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Philip A. Fedora Summer 2001 Northeast Load Response Initiatives' Reliability Impacts. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Michael N. Geselowitz The Oxford-Cambridge Arc. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cambridge, computer heritage, England, United Kingdom, Oxford, history, tour
35Paul Youssef, Jörg Schlötterer, Christin Seifert The Queen of England is not England's Queen: On the Lack of Factual Coherency in PLMs. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Paul Youssef, Jörg Schlötterer, Christin Seifert The Queen of England is not England's Queen: On the Lack of Factual Coherency in PLMs. Search on Bibsonomy EACL (Findings) The full citation details ... 2024 DBLP  BibTeX  RDF
35A. P. Whittick Presentation of evidence: The report of the Steering Group of the Member Services' Directorate by the Institute of Chartered Accountants in England and Wales (I.C.A.E.W.) 1989, (The Institute of Chartered Accountants in England and Wales) ISBN 1 85355 020 5. Search on Bibsonomy Comput. Law Secur. Rev. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
35DeLos F. DeTar Modern Approaches to Chemical Reaction Searching, Proceedings of a Conference organized by the Chemical Structure Association of the University of York, England, 8-11 July 1985 : Edited by Peter Willett, Gower Publishing Company Limited, Aldershot, England, 1986. ISBN 0 566 03550 2; 262 pp. Search on Bibsonomy Comput. Chem. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Anne-Marie McEwan, Richard Ennals Building social capital and regional innovation through Healthy Working Centres: An investigation in the South East of England. Search on Bibsonomy AI Soc. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Healthy work, Work organisation, Collaboration, Networks, Innovation, Action research
31Nada Bates-Brkljac, John Counsell Issues in Participative Use of an Historic City Millennial Web Site. Search on Bibsonomy IV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Multimedia WWW Site Records Heritage Culture
31Philip A. Fedora Development of New England Power Pool's Proposed Markets. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Nada Bates-Brkljac, John Counsell Usability of Associated GIS and VRML Urban Models. Search on Bibsonomy IV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Collaboration, GIS, VRML, Heritage
27Lixin Chen, Ronald Rousseau 0001 Q-measures for binary divided networks: Bridges between German and English institutes in publications of the Journal of Fluid Mechanics. Search on Bibsonomy Scientometrics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Brian Randell The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Philip A. Fedora, Kollin J. Patten Wide-Area Trans-Regional Northeast Reliability Assessment. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Paul Kleindorfer, Dongjun Wu, Chitru S. Fernando Strategic Gaming in Electric Power Markets. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Jacky Estublier, Jean-Marie Favre, Philippe Morat Toward SCM / PDM Integration? Search on Bibsonomy SCM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27W. Edward Hammond Patient management systems: the early years. Search on Bibsonomy History of Medical Informatics The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27G. Octo Barnett History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital. Search on Bibsonomy History of Medical Informatics The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27John J. Donovan Database System Approach to Management Descision Support. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF management applications, modeling, networking, virtual machines, decision support systems, database systems, relational
23Tereso del Río, Matthew England 0001 Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Andrew H. Proppe, Guillaume Thekkadath, Duncan England, Philip J. Bustard, Frédéric Bouchard, Jeff S. Lundeen, Benjamin J. Sussman 3D-2D Neural Nets for Phase Retrieval in Noisy Interferometric Imaging. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Lynn Pickering, Tereso Del Rio Almajano, Matthew England 0001, Kelly Cohen Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown 0001, James H. Davenport, Matthew England 0001 Levelwise construction of a single cylindrical algebraic cell. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Tsun-Yu Yang, Cale England, Yi Li, Bingzhe Li, Ming-Chang Yang Grafu: Unleashing the Full Potential of Future Value Computation for Out-of-core Synchronous Graph Processing. Search on Bibsonomy ASPLOS (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Tereso del Río, AmirHosein Sadeghimanesh, Matthew England 0001 Clustering in the Lazard method for Cylindrical Algebraic Decomposition. Search on Bibsonomy ACM Commun. Comput. Algebra The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Jochen Dittmann, Marc England, Bernd Ponick Design of hairpin windings considering the transient potential distribution. Search on Bibsonomy Elektrotech. Informationstechnik The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Fabricio Alcalde Bessia, Troy D. England, Hongzhi Sun, Leandro Stefanazzi, Davide Braga, Miguel Sofo Haro, Shaorui Li, Juan Estrada, Farah Fahim A Sub-Electron-Noise Multi-Channel Cryogenic Skipper-CCD Readout ASIC. Search on Bibsonomy IEEE Trans. Circuits Syst. I Regul. Pap. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Christopher R. Reid, Jacqueline M. Charvat, Shane M. McFarland, Jason R. Norcross, Elizabeth Benson, Scott England, Sudhakar L. Rajulu Modeling Occupational Fingernail Onycholysis Disorders in the Population of US Astronauts Who Have Engaged in Extravehicular Activity. Search on Bibsonomy Hum. Factors The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Tracey J. England, Paul R. Harper, Tom Crosby, Daniel Gartner, Edilson F. Arruda, Kieran Foley, Ian Williamson Modelling lung cancer diagnostic pathways using discrete event simulation. Search on Bibsonomy J. Simulation The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Rashid Barket, Matthew England 0001, Jürgen Gerhard Generating Elementary Integrable Expressions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Lynn Pickering, Tereso Del Rio Almajano, Matthew England 0001, Kelly Cohen Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Ali Kemal Uncu, James H. Davenport, Matthew England 0001 SMT-Solving Induction Proofs of Inequalities. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Tereso Del Rio Almajano, Matthew England 0001 Data Augmentation for Mathematical Objects. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23James H. Davenport, Matthew England 0001, Scott McCallum, Ali Kemal Uncu Iterated Resultants and Rational Functions in Real Quantifier Elimination. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23James H. Davenport, Matthew England 0001 Iterated Resultants in CAD. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 Foreword. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Neal G. Ravindra, Camilo Espinosa, Eloïse Berson, Thanaphong Phongpreecha, Peinan Zhao, Martin Becker 0003, Alan L. Chang, Sayane Shome, Ivana Maric, Davide De Francesco, Samson Mataraso, Geetha Saarunya, Melan Thuraiappah, Lei Xue, Brice Gaudilliere, Martin S. Angst, Gary M. Shaw, Erik D. Herzog, David K. Stevenson, Sarah K. England, Nima Aghaeepour Deep representation learning identifies associations between physical activity and sleep patterns during pregnancy and prematurity. Search on Bibsonomy npj Digit. Medicine The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Arnab Dey, Andrew Heger, Darin England Urban fire station location planning using predicted demand and service quality index. Search on Bibsonomy Int. J. Data Sci. Anal. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Tereso del Río, Matthew England 0001 Data Augmentation for Mathematical Objects. Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
23Rashid Barket, Matthew England 0001, Jürgen Gerhard Generating Elementary Integrable Expressions. Search on Bibsonomy CASC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23François Boulier, Matthew England 0001, Ilias S. Kotsireas, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings Search on Bibsonomy CASC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Maryam Salim, Roger D. De Roo, Mohammad Mousavi, Kamal Sarabandi, Anthony W. England RFI Mitigation in Time Domain Wideband Autocorrelation Radiometry (WiBAR) Using a Comb Filter. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23AmirHosein Sadeghimanesh, Matthew England 0001 An SMT solver for non-linear real arithmetic inside maple. Search on Bibsonomy ACM Commun. Comput. Algebra The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Alberto Griggio New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23AmirHosein Sadeghimanesh, Matthew England 0001 Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. Search on Bibsonomy BMC Bioinform. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Beate Grawemeyer, John Halloran 0001, Matthew England 0001, David Croft 0005 Feedback and Engagement on an Introductory Programming Module. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
23AmirHosein Sadeghimanesh, Matthew England 0001 Resultant Tools for Parametric Polynomial Systems with Application to Population Models. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
23Matthew England 0001 SC-Square: Overview to 2021. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Tereso del Río, Matthew England 0001 New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown 0001, James H. Davenport, Matthew England 0001 Levelwise construction of a single cylindrical algebraic cell. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Matthew England 0001 SC-Square: Future Progress with Machine Learning? Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 Foreword. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Rei England, Iqbal Owadally, Douglas Wright An Agent-Based Model of Motor Insurance Customer Behaviour in the UK with Word of Mouth. Search on Bibsonomy J. Artif. Soc. Soc. Simul. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Shun Cao, Neil G. MacLaren, Yiding Cao, Jason Marshall, Yingjun Dong, Francis J. Yammarino, Shelley D. Dionne, Michael D. Mumford, Shane Connelly, Robert Martin, Colleen J. Standish, Tanner R. Newbold, Samantha England, Hiroki Sayama, Gregory A. Ruark Group Size and Group Performance in Small Collaborative Team Settings: An Agent-Based Simulation Model of Collaborative Decision-Making Dynamics. Search on Bibsonomy Complex. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ali Kemal Uncu, James H. Davenport, Matthew England 0001 SMT-Solving Induction Proofs of Inequalities. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
23Beate Grawemeyer, John Halloran 0001, Matthew England 0001, David Croft 0005 Feedback and Engagement on an Introductory Programming Module. Search on Bibsonomy CEP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Daniel Gartner, Izabela Spernaes, Tracey J. England, Doris A. Behrens, Joanne Buchanan, Paul R. Harper Evaluation of Participants' Reaction and Learning in a Taught Analytics and Modelling Academy Program in U.K.'s National Health Service. Search on Bibsonomy ICHI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Tereso del Río, Matthew England 0001 New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. Search on Bibsonomy CASC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings Search on Bibsonomy CASC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Russell J. Bradford, James H. Davenport, Matthew England 0001, AmirHosein Sadeghimanesh, Ali Kemal Uncu The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. Search on Bibsonomy ACM Commun. Comput. Algebra The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Marc England, Bernd Ponick Einfluss der Rotorgeometrie auf Schwingungs- und Geräuschemissionen elektrischer Fahrzeugantriebe. Search on Bibsonomy Elektrotech. Informationstechnik The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England 0001 LIFT: lncRNA identification and function-prediction tool. Search on Bibsonomy Int. J. Bioinform. Res. Appl. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Peter J. Schüffler, Luke Geneslaw, Dig Vijay Kumar Yarlagadda, Matthew G. Hanna, Jennifer Samboy, Evangelos Stamelos, Chad M. Vanderbilt, John Philip, Marc-Henri Jean, Lorraine Corsale, Allyne Manzo, Neeraj H. G. Paramasivam, John S. Ziegler, Jianjiong Gao, Juan C. Perin, Young Suk Kim, Umeshkumar K. Bhanot, Michael H. A. Roehrl, Orly Ardon, Sarah Chiang, Dilip D. Giri, Carlie S. Sigel, Lee K. Tan, Melissa Murray, Christina Virgo, Christine England, Yukako Yagi, S. Joseph Sirintrapun, David S. Klimstra, Meera R. Hameed, Victor E. Reuter, Thomas J. Fuchs Integrated digital pathology at scale: A solution for clinical diagnostics and cancer research at a large academic medical center. Search on Bibsonomy J. Am. Medical Informatics Assoc. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Tracey J. England, Daniel Gartner, Edward Ostler, Paul R. Harper, Doris A. Behrens, John Boulton, Dilwyn Bull, Claire Cordeaux, Ian Jenkins, Fiona Lindsay, Rhys Monk, Leanne Watkins Near real-time bed modelling feasibility study. Search on Bibsonomy J. Simulation The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Jack W. Stokes, Paul England, Kevin Kane Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Emma Slade, Sonya Kiselgof, Lena Granovsky, Jeremy L. England GNisi: A graph network for reconstructing Ising models from multivariate binarized data. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Russell J. Bradford, James H. Davenport, Matthew England 0001, AmirHosein Sadeghimanesh, Ali Kemal Uncu The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Pavel Chvykov, Thomas A. Berrueta, Akash Vardhan, William Savoie, Alexander Samland, Todd D. Murphey, Kurt Wiesenfeld, Daniel I. Goldman, Jeremy L. England Low rattling: A predictive principle for self-organization in active collectives. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Arnab Dey, Andrew Heger, Darin England Urban Fire Station Location Planning: A Systematic Approach using Predicted Demand and Service Quality Index. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Matthew England 0001, Wolfram Koepf, Timur M. Sadykov 0001, Werner M. Seiler, Thomas Sturm 0001 Foreword, with a Dedication to Andreas Weber. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 Foreword, with a Dedication to Vladimir Gerdt. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Matthew England 0001 SC-Square: Future Progress with Machine Learning? (invited paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
23Matthew England 0001 SC-Square: Overview to 2021 (invited paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
23Subhonmesh Bose, Sebastian Souyris, Ujjal K. Mukherjee, Anton Ivanov, Sridhar Seshadri, Albert C. England, Yuqian Xu Control Of Epidemic Spreads Via Testing And Lock-Down. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. Search on Bibsonomy ARCADE@CADE The full citation details ... 2021 DBLP  BibTeX  RDF
23Adam Summerville, Ben Samuel, James Owen Ryan, Liz England Casual Creator Cursed Problems or: How I Learned to Start Worrying And Love Designers. Search on Bibsonomy AIIDE Workshops The full citation details ... 2021 DBLP  BibTeX  RDF
23Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, John C. Simmons, Sam Wenker, Anika Zaman AMP: authentication of media via provenance. Search on Bibsonomy MMSys The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Gereon Kremer, Erika Ábrahám, Matthew England 0001, James H. Davenport On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. Search on Bibsonomy SYNASC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Ben Samuel, Adam Summerville, James Owen Ryan, Liz England A Quantified Analysis of Bad News for Story Sifting Interfaces. Search on Bibsonomy ICIDS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Jack W. Stokes, Paul England, Kevin Kane Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance. Search on Bibsonomy MILCOM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23François Boulier, Matthew England 0001, Timur M. Sadykov 0001, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings Search on Bibsonomy CASC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Seyedmohammad Mousavi, Roger D. De Roo, Kamal Sarabandi, Anthony W. England Retrieval of Snow or Ice Pack Thickness Variation Within a Footprint of Correlation Radiometers. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Nick England, David J. Kasik, Chris R. Johnson 0001, Mary C. Whitton The Graphics System for the 80's. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer, Zak Tonks New Opportunities for the Formal Proof of Computational Real Geometry? Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Dorian Florescu, Matthew England 0001 A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Shabnam Erfani, Kevin Kane, Alex Shamis AMP: Authentication of Media via Provenance. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Russell J. Bradford, James H. Davenport, Matthew England 0001, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Identifying the parametric occurrence of multiple steady states for some biological networks. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Matthew England 0001, Russell J. Bradford, James H. Davenport Cylindrical algebraic decomposition with equational constraints. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23James H. Davenport, Matthew England 0001, Alberto Griggio, Thomas Sturm 0001, Cesare Tinelli Symbolic computation and satisfiability checking. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Shun Cao, Neil G. MacLaren, Yiding Cao, Yingjun Dong, Hiroki Sayama, Francis J. Yammarino, Shelley D. Dionne, Michael D. Mumford, Shane Connelly, Robert Martin, Colleen J. Standish, Tanner R. Newbold, Samantha England, Gregory A. Ruark An Agent-Based Model of Leader Emergence and Leadership Perception within a Collective. Search on Bibsonomy Complex. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Dorian Florescu, Matthew England 0001 A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. Search on Bibsonomy ICMS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Simon Billings, Matthew England 0001 First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. Search on Bibsonomy CEP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23David Croft 0005, Matthew England 0001 Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. Search on Bibsonomy CEP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Laurel Pardue, Kuljit Bhamra, Graham England, Phil Eddershaw, Duncan Menzies Demystifying tabla through the development of an electronic drum. Search on Bibsonomy NIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4417 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license