This module aims to train students in both the principles and the practice of software verification. A range of verification approaches, including both testing and formal verification, will be covered. The use of logic as a specification language for programs will be explored. In addition to covering the key techniques for software verification, the module will provide practical experience in using state of the art verification tools.
This module will first be offered in 2021/22. This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride.
This module will first be offered in the 2021/22 academic year. This module provides knowledge and understanding of electronics systems of modern road vehicles. Students will become familiar with electro-mechanical and electronic components and systems and will be able to design and improve systems aiming to enhance driving safety, performance, and ecology.
Motorised transport has transformed many aspects of human life over the past 120 years. Today’s automotive engineers, however, face the unresolved challenge of continuing that transformation in a sustainable manner. Therefore this module develops the student’s ability to engineer efficient and lowemission automotive propulsion solutions.
This module will provide you with the opportunity to explore in further depth what it means to be an autonomous practitioner, and the skills you need to assume this responsibility upon qualification. You will learn about decision-making theory and how they apply to the delivery of evidence-based care in a clinical setting. You will critically explore the themes of quality assurance, personal leadership, coaching of others, maternity services provision and midwifery professionalism. You will be given the opportunity to ‘strengthen your capabilities’ (NMC, 2019) to realise your own potential to support your transition to first post as a newly qualified midwife. This module is especially linked to the Consolidating Midwifery Practice Module.
Theoretical component: The theoretical component will include synchronous and asynchronous learning activities associated with decision-making, quality assurance, personal leadership, coaching of others, continuity of carer, maternity services provision and midwifery professionalism. The role of the midwife as student supervisor will be explored to support you in your role supporting learning in practice. You will be given the opportunity to ‘strengthen your capabilities’ (NMC, 2019) to realise your own potential to support your transition to first post as a newly qualified midwife. Practice linked component: You will be required to complete a minimum of five continuity of carer caseload experiences. This will be introduced early within the programme to allow time for the required planning and risk assessment. There is a risk assessment caseload document that needs completing per caseload. Each caseload will require a user feedback evaluation which you will then incorporate within a written reflection as well as add to your portfolio of evidence that will support future first post interviews. Appropriate activities can be recorded within your Midwifery ongoing Record of Achievement (MORA) portfolio of evidence.
The need for greater moves towards individualization and language learner autonomy in our classrooms has been widely recognized in recent years. This module explores the themes of language learner autonomy, resource-based learning both in and beyond the classroom and their practical outworking in an institutional context. You will be encouraged to consider the role of the teacher in supporting learner autonomy and think through ways of facilitating learning in a range of contexts. Apart from the theoretical base which underpins the concept of learner autonomy, the topics covered, and their precise focus, will be selected in consultation with the course participants and the final programme will be drawn up after the first meeting.
This module focuses on the detailed 'hands-on' analysis of works of European art music, guided by a selection of classic and contemporary theoretical and analytical writings that challenge assumptions about the inner structure of musical works. Extramusical matters may be considered too. The module will focus on two areas of music theory and analysis, with approximately half the semester being spent on each. It is taught together with MUSI6023 Analytical Techniques, which is designed for students taking Music's MMus degree; students on the undergraduate module will attend the same seminars and do the same reading, but will complete shorter assignments.
The project should normally be completed in the first semester, although in unusual circumstances, it may be finished in the second semester. Students normally work in pairs, in close collaboration with a member of staff. By undertaking a project students should develop skills which are necessary for experimental or theoretical research (such as initiative, decision making, determining priorities, searching and learning relevant material from literature, ability to collaborate and to report results).
This module explores the role of banks and central banks in the economy with a focus on financial intermediation and monetary policy, respectively. The module covers the tools for predictive and generative AI and their transformational effect on banking and central banks. The module also explores the AI-driven changes in regulatory and governance structures in the financial market, and especially in the banking sector. Overall, this module teaches specialised financial skills for a career in the financial market in the age of AI.
The dissertation stage of your Postgraduate programme involves an extended, independent investigation of a topic of your own choosing and the preparation of a 15,000 word dissertation describing your work. Essentially, the dissertation is a test of your ability to create and investigate, on your own initiative, a text which demonstrates a Masters level understanding of a particular subject issue.
This module will introduce the main theoretical ideas of language and identity alongside tracing the historical, social and linguistic background to the presence of the so-called Latinos in the USA. By considering a range of texts, as well as cultural output such as music, film and literature, you will develop an understanding of the key themes and experiences of the Latino communities and how they negotiate and challenge their place in contemporary US society. The module will look at the role that the Spanish language plays in Latino identities – linguistic vitality, transmission to new generations, and the phenomenon of translanguaging or 'Spanglish'.
This module focuses on the basic epidemiological methods and approaches that underpin an evidence-based approach to public health research and practice. The module covers each of the main types of epidemiological study design and provides a framework for critically assessing each method, differentiating association from causation, basic principles of screening and prevention. The module includes sessions on epidemiological study designs, chance, bias, confounding, measures of disease frequency and risk estimation and hypothesis testing. The module also provides guidance as to how to critically appraise published studies.
This module will provide you with an introduction to the fundamental properties of floating bodies, covering those areas conventionally treated by hydrostatic methods and will provide students with an early insight into a range of tasks involved in the design, construction, management and operation of marine vehicles and an awareness of an engineer's responsibility to society. Students should be aware that this module requires good grades at A level Mathematics and Physics or equivalent qualifications.
This module examines key features of cell design and of materials used in batteries. It links this to a range of techniques that are commonly used to study cell architecture and structure, composition and surface chemistry of battery materials. Emphasis is placed on the operando use of these techniques and on reading of the associated literature.
The development of energy storage technologies plays a critical role in the transition to an environmentally sustainable society and improving people's quality of living. Energy storage technologies are necessary in a variety of very important applications such as the storage of energy from renewable energy resources, electrification of transport, portable devices, etc. In this module you will learn about the main applications of battery technologies and their specific requirements, as well as the strategies that are currently under development to make better batteries, and the decisive factors that guide the choice of different battery chemistries for different applications.
To gain an in-depth theoretical and practical understanding of Bayesian inference and active learning, and their applications.
In this module, students will be provided with foundational training that will provide them with the knowledge and skills to become a psychology researcher. This includes a range of data collection and analytic approaches, as well as writing up the results of experiments.
In this module, students will continue their journey towards becoming a psychology researcher in order to design, run, analyse and write-up the results of both quantitative and qualitative research.
A week-long field course held in Bolonia on the Andalucian coast of Southern Spain, within the Estrecho natural park. The field course will take place during the Easter holidays, when there is a large diversity of flora and fauna to survey. As a residential field course, you will be able to immerse yourself in research, undertaking a research project of your own design, to test a novel ecological hypothesis. You will then collect, analyse and interpret your data, producing a written report and a conference-style presentation. Throughout the module you will keep a field notebook to record your project’s development, data collection and interpretation. Teaching sessions will be accompanied by practical work which involves animal observation, with alternatives in place if required to meet minimum learning outcomes.
