Search concepts
|
Selected filters
|
- 10,050 - 10,100 out of 11,587 results
Search results
-
Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement
Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In: IEEE Transactions on Software Engineering. 47, 1, p. 189-203 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile221 Downloads (Pure) -
Automatically refining partial specifications for Program Verification
Qin, S., Luo, C., Chin, W-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile127 Downloads (Pure) -
Automatically refining partial specifications for heap-manipulating programs
Qin, S., He, G., Luo, C., Chin, W. & Yang, H., 1 Mar 2014, In: Science of Computer Programming. 82, p. 56-76Research output: Contribution to journal › Article › peer-review
Open Access -
Automated verification of the FreeRTOS scheduler in Hip/Sleek
Ferreira, J., Gherghina, C., He, G., Qin, S. & Chin, W-N., 18 Mar 2014, In: International Journal on Software Tools for Technology Transfer. p. -Research output: Contribution to journal › Article › peer-review
Open AccessFile181 Downloads (Pure) -
Automated Verification of Shape and Size Properties Via Separation Logic
Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile189 Downloads (Pure) -
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Chin, W-N., David, C., Nguyen, H. H. & Qin, S., Aug 2012, In: Science of Computer Programming. 77, 9, p. 1006-1036Research output: Contribution to journal › Article › peer-review
Open AccessFile91 Downloads (Pure) -
Automated Verification of Shape, Size and Bag Properties
Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile146 Downloads (Pure) -
Automated tracking to measure behavioural changes in pigs for health and welfare monitoring
Matthews, S., Miller, A., Plotz, T. & Kyriazakis, I., 14 Dec 2017, In: Scientific Reports. 7, 17582.Research output: Contribution to journal › Article › peer-review
Open Access -
Automated Specification Inference in a Combined Domain via User-Defined Predicates
Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In: Science of Computer Programming. p. -Research output: Contribution to journal › Article › peer-review
Open AccessFile156 Downloads (Pure) -
Automated Specification Discovery via User-Defined Predicates
He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).Research output: Chapter in Book/Report/Conference proceeding › Chapter
File144 Downloads (Pure) -
Automated Planning of Concrete Joint Layouts with 4D-BIM
Sheikhkhoshkar, M., Rahimian, F., Kaveh, M. H., Hosseini, M. R. & Edwards, D., 30 Nov 2019, In: Automation in Construction. 107, 13 p., 102943.Research output: Contribution to journal › Article › peer-review
Open AccessFile292 Downloads (Pure) -
Automated Operation With Redundant Ultrasonic Reactor Water Level Monitoring System
Askari, V., 2009, p. 43-47.Research output: Contribution to conference › Paper › peer-review
-
Automated Modular Verification for Relaxed Communication Protocols
Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile196 Downloads (Pure) -
Automated measurement of anteroposterior diameter and foraminal widths in MRI images for lumbar spinal stenosis diagnosis
Natalia, F., Meidia, H., Afriliana, N., Young, J. C., Yunus, R. E., Al-Jumaily, M., Al Kafri, A. & Sudirman, S., 2 Nov 2020, In: PLoS ONE.Research output: Contribution to journal › Article › peer-review
Open Access -
Automated intelligent system for sound signalling device quality assurance
Maniak, T., Jayne, C., Iqbal, R. & Doctor, F., 10 Feb 2015, In: Information Sciences. 294, p. 600-611 12 p.Research output: Contribution to journal › Article › peer-review
-
Automated Game-Theoretic Verification of Security Systems
Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile189 Downloads (Pure) -
Automated Extension of Narrative Planning Domains with Antonymic Operators
Porteous, J., Lindsay, A., Read, J., Truran, M. & Cavazza, M., 2015.Research output: Contribution to conference › Paper › peer-review
Open AccessFile83 Downloads (Pure) -
Automated computational cognitive-modeling: goal-specific analysis for large websites
Van Schaik, P., Muzahir, R. H. & Lockyer, M., 2 Apr 2015, In: ACM Transactions on Computer-Human Interaction. 22, 3, p. - 29 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile90 Downloads (Pure) -
Authors' reply to comment by Grant et al
Ryan, C., McDonough, S., Kirwan, J. P., Leveille, S. & Martin, D. J., 1 Jan 2014, In: European Journal of Pain (United Kingdom). 18, 6, 1 p.Research output: Contribution to journal › Letter › peer-review
-
Authoring Plan-based Narratives via a Social Network
Porteous, J., Charles, F. & Cavazza, M., 2013.Research output: Contribution to conference › Paper › peer-review
-
Authentic learning in healthcare: Challenges and opportunities
Chesterton, P., 1 Sep 2021.Research output: Contribution to conference › Other › peer-review
-
Austerity and the rise of hostility towards marginalized groups
Smith, C., 2016, Occupational Therapies Without Borders: integrating justice with practice. Pollard, N. & Sakellariou, D. (eds.). 2nd ed. Edinburgh: ElsevierResearch output: Chapter in Book/Report/Conference proceeding › Chapter
-
A Uses And Gratifications Exploration Of Young Women's Instagram Usage
Rodgers, J. & Dee, G., 5 Jul 2019.Research output: Contribution to conference › Paper › peer-review
-
Au Revoir to “Sacred Cows”? Assessing the Impact of the Nouvelle Droite in Britain
Copsey, N., 1 Jul 2013, In: Democracy and Security. 9, 3, p. 287-303Research output: Contribution to journal › Article › peer-review
-
-
A university student social worker buddying scheme: the individual, the community and the developing profession(al)
Simpson, D., 26 Sep 2019.Research output: Contribution to conference › Other › peer-review
Open AccessFile21 Downloads (Pure) -
A University of Greenwich Case Study of Cloud Computing: Education as a Service
Chang, V. & Wills, G., 30 Apr 2013, E-Logistics and E-Supply Chain Management: Applications for Evolving Business.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
A unification of probabilistic choice within a design-based model of reversible computation
Stoddart, B. & Zeyda, F., 1 Jan 2013, In: Formal Aspects of Computing. 25, 1, p. 107-131Research output: Contribution to journal › Article › peer-review
Open AccessFile133 Downloads (Pure) -
A UK-US investigation of early education practitioners’ opinions about child poverty and its prioritizing within their practice
Simpson, D., 2015Research output: Book/Report › Commissioned report
-
A UK collaborative study of student peer leaders – Teesside University data.
Portas, M., Swainston, K. & Byrnes, K., 2016.Research output: Contribution to conference › Abstract › peer-review
-
A UK collaborative study of student peer leaders.
Portas, M., Swainston, K. & Byrnes, K., 2016.Research output: Contribution to conference › Abstract › peer-review
-
Augustus and the Use of Propaganda in Official Portraits
Morris, A. F., 2010, In: Collegiate Anthropologist. 32, 1, p. 16-21Research output: Contribution to journal › Article › peer-review
-
Augmenting building energy usage models with data segmentation
Mounter, W., Dawood, H. & Dawood, N., 22 Nov 2019, CONVR2019. Teesside University, 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile31 Downloads (Pure) -
Augmented reality for the sight impaired: Innovation Pilot Project
Reid, P., Riley, D. & Chakzatis, E., 10 Jul 2018.Research output: Contribution to conference › Paper › peer-review
-
Augmented reality-based visual-haptic modeling for thoracoscopic surgery training systems
Tai, Y., Shi, J., Pan, J., Hao, A. & Chang, V., 1 Aug 2021, In: Virtual Reality and Intelligent Hardware. 3, 4, p. 274-286 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
Augmented materials: Spatially embodied sensor networks
Razzaque, M. A., Dobson, S. & Delaney, K., 1 Dec 2013, In: International Journal of Communication Networks and Distributed Systems. 11, 4, p. 453-477 25 p.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus) -
Audiovisual Violence and Editorial Manipulation: The Relationship Between Violent Image-Content and Violent Image-Form
Watson, T., Oct 2015Research output: Thesis › Doctoral Thesis
-
A typology for a social justice approach to assessment: Learning from universal design and culturally sustaining pedagogy
Hanesworth, P., Bracken, S. & Elkington, S., 1 Jan 2019, In: Teaching in Higher Education. 24, 1, p. 98-114Research output: Contribution to journal › Article › peer-review
-
A two-arm parallel-group individually randomised prison pilot study of a male remand alcohol intervention for self-efficacy enhancement: The APPRAISE study protocol
Holloway, A., Guthrie, V., Waller, G., Smith, J., Boyd, J., Mercado, S., Smith, P., Stenhouse, R., Sheikh, A., Parker, R. A., Stoddart, A., Conaglen, P., Coulton, S., Stadler, G., Hunt, K., Bray, J., Ferguson, J., Sondhi, A., Lynch, K., Rees, J. & 1 others, , 2 Apr 2021, In: BMJ Open. 11, 4, p. e040636 e040636.Research output: Contribution to journal › Article › peer-review
Open AccessFile16 Downloads (Pure) -
Attribute Based Access Control for Big Data Applications by Query Modification
Longstaff, J. & Noble, J., 29 Mar 2016.Research output: Contribution to conference › Paper › peer-review
Open AccessFile183 Downloads (Pure) -
Attitudes to work and time spent unemployed across 30 years
Dunn, A., 1 Jun 2021, In: Economic Affairs. 41, 2, p. 225-240Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Downloads (Pure) -
Attitudes towards user experience (UX) measurement
Law, E. L-C., Van Schaik, P. & Roto, V., 2014, In: International Journal of Human-Computer Studies. 72, 6, p. 526-541Research output: Contribution to journal › Article › peer-review
Open AccessFile1894 Downloads (Pure) -
Attitudes towards the male contraceptive pill in men and women in casual and stable sexual relationships
Eberhardt, J., Van Wersch, A. & Meikle, N., 1 Jul 2009, In: Journal of Family Planning and Reproductive Health Care. 35, 3, p. 161-165 5 p.Research output: Contribution to journal › Article › peer-review
12 Citations (Scopus) -
Attitudes of women with a learning disability and their carers, towards the NHS cervical and breast cancer screening programmes: A qualitative systematic review and meta-aggregation
Byrnes, K., Giles, E., McGeechan, G., Hamilton, S., O'Malley, C. & Mankelow, J., 10 Dec 2018, (Accepted/In press).Research output: Contribution to conference › Poster › peer-review
-
Attitudes of radiographers to radiographer-led discharge: A survey
Lumsden, L. & Cosson, P., 1 Jan 2015, In: Radiography. 21, 1, p. 61-67 7 p.Research output: Contribution to journal › Article › peer-review
-
Attitudes and perceptions of people with a learning disability, family carers and paid care workers, towards cancer screening programmes in the United Kingdom: A qualitative systematic review and meta-aggregation
Byrnes, K., Hamilton, S., McGeechan, G., O'Malley, C., Mankelow, J. & Giles, E., 29 Mar 2020, In: Psycho-Oncology. 29, 3, p. 475-484 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile221 Downloads (Pure) -
Attitudes and delivering brief interventions for heavy drinking in primary health care: analyses from the ODHIN five country cluster randomized factorial trial
Anderson, P., Kaner, E., Keurhorst, M., Bendtsen, P., van Steenkiste, B., Reynolds, J., Segura, L., Wonar, M., Kłoda, K., Parkinson, K. N., Drummond, C., Okulicz-Kozaryn, K., Mierzecki, A., Laurant, M. G. H., Newbury-Birch, D. & Gual, A., 26 Jan 2017, In: International Journal of Environmental Research and Public Health.. p. -Research output: Contribution to journal › Article › peer-review
Open AccessFile96 Downloads (Pure) -
At the heart of things: the role of the married couple in entrepreneurship and family business
Owens, G., 12 Jun 2009.Research output: Contribution to conference › Paper
-
At the heart of things: The role of the “married” couple in entrepreneurship and family business
Seaman, C. (ed.), Blenkinsopp, J. & Owens, G., 2010, In: International Journal of Entrepreneurial Behaviour and Research. 16, 5, p. 357-369Research output: Contribution to journal › Article › peer-review
-
At the fuzzy front end - Introducing four stages of innovation to Solo Cup Europe: A Knowledge Transfer Partnership with Teesside University.
Reid, P., Brown, A. & Sutton, A., 13 Jan 2014.Research output: Contribution to conference › Paper › peer-review