1,442 results on '"England"'
Search Results
2. The Liouville Generator for Producing Integrable Expressions.
3. Grafu: Unleashing the Full Potential of Future Value Computation for Out-of-core Synchronous Graph Processing.
4. Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
5. Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs.
6. Data Augmentation for Mathematical Objects.
7. Generating Elementary Integrable Expressions.
8. Feedback and Engagement on an Introductory Programming Module.
9. SMT-Solving Induction Proofs of Inequalities.
10. New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
11. Evaluation of Participants' Reaction and Learning in a Taught Analytics and Modelling Academy Program in U.K.'s National Health Service.
12. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.
13. SC-Square: Overview to 2021 (invited paper).
14. SC-Square: Future Progress with Machine Learning? (invited paper).
15. AMP: authentication of media via provenance.
16. Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance.
17. A Quantified Analysis of Bad News for Story Sifting Interfaces.
18. Control Of Epidemic Spreads Via Testing And Lock-Down.
19. Feature extraction using VIPER: The geospatial vector, image, point cloud, elevation, and raster toolbox
20. Correcting SAR-derived DEMs with ICESat-2 using deep learning
21. POS0746 MEDICATION NON-ADHERENCE AMONG PATIENTS RECEIVING IMMUNOSUPPRESSION: THE IMPORTANCE OF ADDITIONAL CHRONIC DISEASES
22. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
23. First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
24. Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
25. A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs.
26. Demystifying tabla through the development of an electronic drum.
27. New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
28. Learning Communities: Strengthening Lifelong Learning through Practice. A Demos/Learning and Skills Development Agency Seminar Series.
29. 40 Working alongside Lancashire communities to build sustainable bereavement support
30. Design of a Low-Jitter 10 GHz PLL for a 12-bit 10-GSPS Cryogenic ADC for Quantum Readout in 22FDX
31. Networked Learning 2000: Innovative Approaches to Lifelong Learning and Higher Education through the Internet. Proceedings of the International Conference (2nd, Lancaster, England, April 17-19, 2000).
32. The New Learning Market.
33. Casual Creator Cursed Problems or: How I Learned to Start Worrying And Love Designers.
34. Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback.
35. Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.
36. Compact Scalable Dynamic TSV IR Drop Compensation for Power Delivery in 3D Packages.
37. Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness.
38. Dominance as a New Trusted Computing Primitive for the Internet of Things.
39. Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple.
40. Error Estimation of the Measured Time Delay using Wideband Autocorrelation Radiometry.
41. Life Histories and Learning. Language, the Self and Education. Papers from an Interdisciplinary Residential Conference at the University of Sussex (Brighton, England, United Kingdom, September 19-21, 1994).
42. The Future of the Classified Honours Degree. Proceedings of the National Conference (London, England, United Kingdom, June 29, 1993).
43. Foreign Language Education in an Age of Global English. Occasional Paper.
44. P-81 Talk as action: enhancing confidence by embedding RealTalk evidence base into multiprofessional advanced communication skills training
45. Transitions: Experiential Learning and the Process of Change. An Account of the Youth Conference Held at Brathay (3rd, Ambleside, Cumbria, England, September 17-19, 2001).
46. Learning 2010 (London, England, September 2000).
47. Improving Sentiment Analysis in Arabic Using Word Representation.
48. A Combined CNN and LSTM Model for Arabic Sentiment Analysis.
49. Machine Learning for Mathematical Software.
50. TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.