|
|
Venues (Conferences, Journals, ...)
|
|
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 |
54 | Christopher J. Merz, Michael J. Pazzani, Andrea Pohoreckyj Danyluk |
Tuning Numeric Parameters to Troubleshoot a Telephone-Network Loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(1), pp. 44-49, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Carrie Conaway, Philip A. Fedora |
New England's Wholesale Electricity Market, Six Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 123, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | K. T. Anuradha, Shalini R. Urs |
Bibliometric indicators of Indian research collaboration patterns: A correspondence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 71(2), pp. 179-189, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Farid Meziane, Sunil Vadera |
A Comparison of Computer Science and Software Engineering Programmes in English Universities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 17th Conference on Software Engineering Education and Training (CSEE&T 2004), 1-3 March 2004, Norfolk, VA, USA, pp. 65-70, 2004, IEEE Computer Society, 0-7695-2099-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Philip A. Fedora |
Summer 2001 Northeast Load Response Initiatives' Reliability Impacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 54, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Michael N. Geselowitz |
The Oxford-Cambridge Arc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 29(2), pp. 78-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cambridge, computer heritage, England, United Kingdom, Oxford, history, tour |
35 | Paul 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01453, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Paul 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](Pics/bibsonomy.png) |
EACL (Findings) ![In: Findings of the Association for Computational Linguistics: EACL 2024, St. Julian's, Malta, March 17-22, 2024, pp. 2342-2354, 2024, Association for Computational Linguistics, 979-8-89176-093-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
35 | A. 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](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 5(6), pp. 28, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | DeLos 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](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 11(3), pp. 227, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Anne-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](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 19(4), pp. 348-361, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Healthy work, Work organisation, Collaboration, Networks, Innovation, Action research |
31 | Nada Bates-Brkljac, John Counsell |
Issues in Participative Use of an Historic City Millennial Web Site. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2000, London, England, UK, July 19-21, 2000, pp. 119-125, 2000, IEEE Computer Society, 0-7695-0743-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multimedia WWW Site Records Heritage Culture |
31 | Philip A. Fedora |
Development of New England Power Pool's Proposed Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Nada Bates-Brkljac, John Counsell |
Usability of Associated GIS and VRML Urban Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 550-555, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Collaboration, GIS, VRML, Heritage |
27 | Lixin 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](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 74(1), pp. 57-69, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Brian Randell |
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 813, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Philip A. Fedora, Kollin J. Patten |
Wide-Area Trans-Regional Northeast Reliability Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 63, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Paul Kleindorfer, Dongjun Wu, Chitru S. Fernando |
Strategic Gaming in Electric Power Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Jacky Estublier, Jean-Marie Favre, Philippe Morat |
Toward SCM / PDM Integration? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCM ![In: System Configuration Management, ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings, pp. 75-94, 1998, Springer, 3-540-64733-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | W. Edward Hammond |
Patient management systems: the early years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 153-164, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | G. Octo Barnett |
History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 43-49, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | John J. Donovan |
Database System Approach to Management Descision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 1(4), pp. 344-369, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
management applications, modeling, networking, virtual machines, decision support systems, database systems, relational |
23 | Tereso 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.13343, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Andrew 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06063, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Lynn 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](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 123, pp. 102276, July 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Jasper 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](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 123, pp. 102288, July 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Tsun-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](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 467-481, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Tereso del Río, AmirHosein Sadeghimanesh, Matthew England 0001 |
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 57(3), pp. 126-132, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jochen Dittmann, Marc England, Bernd Ponick |
Design of hairpin windings considering the transient potential distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 140(2), pp. 271-280, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Fabricio 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](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(6), pp. 2306-2316, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Christopher 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](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 65(6), pp. 988-1000, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Tracey 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](Pics/bibsonomy.png) |
J. Simulation ![In: J. Simulation 17(1), pp. 94-104, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Rashid Barket, Matthew England 0001, Jürgen Gerhard |
Generating Elementary Integrable Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.15572, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Lynn 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.12154, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16761, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Tereso Del Rio Almajano, Matthew England 0001 |
Data Augmentation for Mathematical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06984, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | James H. Davenport, Matthew England 0001, Scott McCallum, Ali Kemal Uncu |
Iterated Resultants and Rational Functions in Real Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.16210, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | James H. Davenport, Matthew England 0001 |
Iterated Resultants in CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16750, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 17(3), pp. 22, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Neal 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](Pics/bibsonomy.png) |
npj Digit. Medicine ![In: npj Digit. Medicine 6, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Arnab Dey, Andrew Heger, Darin England |
Urban fire station location planning using predicted demand and service quality index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Sci. Anal. ![In: Int. J. Data Sci. Anal. 15(1), pp. 33-48, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Tereso del Río, Matthew England 0001 |
Data Augmentation for Mathematical Objects. ![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. 29-38, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Rashid Barket, Matthew England 0001, Jürgen Gerhard |
Generating Elementary Integrable Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings, pp. 21-38, 2023, Springer, 978-3-031-41723-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Franç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](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-031-41723-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Maryam 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](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 19, pp. 1-5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | AmirHosein Sadeghimanesh, Matthew England 0001 |
An SMT solver for non-linear real arithmetic inside maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 56(2), pp. 76-79, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Erika Ábrahám, James H. Davenport, Matthew England 0001, Alberto Griggio |
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 12(2), pp. 67-86, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | AmirHosein Sadeghimanesh, Matthew England 0001 |
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 23(1), pp. 391, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Beate Grawemeyer, John Halloran 0001, Matthew England 0001, David Croft 0005 |
Feedback and Engagement on an Introductory Programming Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.01240, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | AmirHosein Sadeghimanesh, Matthew England 0001 |
Resultant Tools for Parametric Polynomial Systems with Application to Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.13189, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Matthew England 0001 |
SC-Square: Overview to 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04359, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Tereso del Río, Matthew England 0001 |
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.13480, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jasper 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.09309, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001 |
SC-Square: Future Progress with Machine Learning? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04361, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 16(2-3), pp. 16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Rei England, Iqbal Owadally, Douglas Wright |
An Agent-Based Model of Motor Insurance Customer Behaviour in the UK with Word of Mouth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Soc. Soc. Simul. ![In: J. Artif. Soc. Soc. Simul. 25(2), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Shun 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](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2022, pp. 8265296:1-8265296:16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 10-24, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Beate Grawemeyer, John Halloran 0001, Matthew England 0001, David Croft 0005 |
Feedback and Engagement on an Introductory Programming Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEP ![In: CEP 2022: Computing Education Practice 2022, Durham, United Kingdom, 6 January 2022, pp. 17-20, 2022, ACM, 978-1-4503-9561-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Daniel 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](Pics/bibsonomy.png) |
ICHI ![In: 10th IEEE International Conference on Healthcare Informatics, ICHI 2022, Rochester, MN, USA, June 11-14, 2022, pp. 591-596, 2022, IEEE, 978-1-6654-6845-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Tereso del Río, Matthew England 0001 |
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 300-317, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Franç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](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-031-14787-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Russell 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](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(3), pp. 107-111, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Marc England, Bernd Ponick |
Einfluss der Rotorgeometrie auf Schwingungs- und Geräuschemissionen elektrischer Fahrzeugantriebe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 138(6), pp. 371-382, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England 0001 |
LIFT: lncRNA identification and function-prediction tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bioinform. Res. Appl. ![In: Int. J. Bioinform. Res. Appl. 17(6), pp. 512-536, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Peter 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](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 28(9), pp. 1874-1884, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Tracey 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](Pics/bibsonomy.png) |
J. Simulation ![In: J. Simulation 15(4), pp. 261-272, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jack W. Stokes, Paul England, Kevin Kane |
Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.10051, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Emma Slade, Sonya Kiselgof, Lena Granovsky, Jeremy L. England |
GNisi: A graph network for reconstructing Ising models from multivariate binarized data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.04257, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Russell 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.08740, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Pavel 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.00683, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Arnab Dey, Andrew Heger, Darin England |
Urban Fire Station Location Planning: A Systematic Approach using Predicted Demand and Service Quality Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.02160, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Erika Á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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.05320, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Matthew England 0001, Wolfram Koepf, Timur M. Sadykov 0001, Werner M. Seiler, Thomas Sturm 0001 |
Foreword, with a Dedication to Andreas Weber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 15(2), pp. 173-175, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001, François Boulier, Timur M. Sadykov 0001, Thomas Sturm 0001 |
Foreword, with a Dedication to Vladimir Gerdt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 15(3), pp. 369-371, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Erika Á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](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 119, pp. 100633, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001 |
SC-Square: Future Progress with Machine Learning? (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 7-16, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Matthew England 0001 |
SC-Square: Overview to 2021 (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 1-6, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Subhonmesh 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](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 4272-4279, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Erika Á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](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-5, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Adam 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](Pics/bibsonomy.png) |
AIIDE Workshops ![In: Joint Proceedings of the AIIDE 2021 Workshops co-located with 17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2021)(AAAI 2021), Virtual Event, Lexington, KY, USA, October 11-12, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Paul 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](Pics/bibsonomy.png) |
MMSys ![In: MMSys '21: 12th ACM Multimedia Systems Conference, Istanbul, Turkey, 28 September 2021 - 1 October 2021, pp. 108-121, 2021, ACM, 978-1-4503-8434-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Gereon 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](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 37-39, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Ben Samuel, Adam Summerville, James Owen Ryan, Liz England |
A Quantified Analysis of Bad News for Story Sifting Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIDS ![In: Interactive Storytelling - 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7-10, 2021, Proceedings, pp. 142-156, 2021, Springer, 978-3-030-92299-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jack W. Stokes, Paul England, Kevin Kane |
Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2021 IEEE Military Communications Conference, MILCOM 2021, San Diego, CA, USA, November 29 - Dec. 2, 2021, pp. 181-188, 2021, IEEE, 978-1-6654-3956-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Franç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](Pics/bibsonomy.png) |
CASC ![Springer, 978-3-030-85164-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Seyedmohammad 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](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 17(7), pp. 1218-1222, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Nick England, David J. Kasik, Chris R. Johnson 0001, Mary C. Whitton |
The Graphics System for the 80's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 40(3), pp. 112-119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Erika Á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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.04034, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Dorian Florescu, Matthew England 0001 |
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11251, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Erika Á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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.05633, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Paul 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.07886, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Russell 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](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 98, pp. 84-119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Matthew England 0001, Russell J. Bradford, James H. Davenport |
Cylindrical algebraic decomposition with equational constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 100, pp. 38-71, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | James H. Davenport, Matthew England 0001, Alberto Griggio, Thomas Sturm 0001, Cesare Tinelli |
Symbolic computation and satisfiability checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 100, pp. 1-10, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shun 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](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2020, pp. 6857891:1-6857891:11, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Dorian Florescu, Matthew England 0001 |
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 302-311, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Simon Billings, Matthew England 0001 |
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEP ![In: CEP 2020: Computing Education Practice 2020, Durham, UK, January 9, 2020, pp. 2:1-2:4, 2020, ACM, 978-1-4503-7729-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | David Croft 0005, Matthew England 0001 |
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEP ![In: CEP 2020: Computing Education Practice 2020, Durham, UK, January 9, 2020, pp. 1:1-1:4, 2020, ACM, 978-1-4503-7729-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Laurel Pardue, Kuljit Bhamra, Graham England, Phil Eddershaw, Duncan Menzies |
Demystifying tabla through the development of an electronic drum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 20th International Conference on New Interfaces for Musical Expression, NIME 2020, Birmingham, UK, July 25-27, 2020, pp. 596-599, 2020, nime.org. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|