Items where Year is 2019

The Apache Spark install for COMP6235 VM. Please follow the instructions attached to the Spark tutorial in class.

We developed a simple RPG Simulator

Privacy and data protection, fundamentals for the data science MSc

Materials from the Teaching Abroad booster session run by stafff from the British School of Kuwait

Visualisation Perception: Part 2

Visual Perception: Part 1

Coursework Guidance

Human-Computer Interaction (HCI) is a research area which studies how people interact with computer systems. Because of its multidisciplinary nature, HCI modules often sit at unease within the computer science curriculum which is primarily composed by modules typically assessed through objective measures, using quantitative methods. Assessment criteria of HCI topics need to make some subjective measures quantifiable (e.g. aesthetics and creativity). In the case of large classes, it is critical that the assessment can scale appropriately without compromising on the validity of the judgment of how well the learning outcomes have been achieved. In this seminar talk Adriana will focus on her experiences in redesigning the assessment of an undergraduate module on HCI, taking into account increasingly larger classes. Redesign decisions needed to preserve the validity and reliability of the assessment whilst respecting the need for timely feedback. Adriana will explain how learning activities in the module were aligned to the assessment. This included the use of PeerWise for student-authored MCQs, and the use of video to foster creativity and application of knowledge. The combination of these helped leveraging the power of peer interaction for learning.

review the following set of CVs identify the good points and the flaws which would you bin and which would you keep?

These are the PowerPoint slides for the Rethinking Lectures session run by David Read for CHEP in 2019/20. A recording of one of the sessions can be viewed here: https://southampton.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=fa126a40-e9f2-42d5-b462-aaf000bf6e3b

Charts for geospatial, temporal, relational, hierarchical and network data

Stock market Simulator for Understanding Money MOOC

Material for Programming I Coursework 2019

Data Visualisation Planning Week 3

Week 2: HDI

Code for Intro to Python

Updated with students who joined the course later

Introductory lectures (2019-2020)

A Detailed Explanation Of the Proposed Coursework And a Brief Discussion Of the Importance And Possible Pitfalls From an Online Presence

This coursework is no longer active

Material related to Labs for COMP1202 Programming I

Lectures for COMP1202 Programming I

Text from a University produced free online course on Wellington and Waterloo.

Slides from presentation given at ALTC2019- University of Edinburgh. Covering the recent growth of the EdShare network of digital content platforms for sharing educational materials and will focus on the recent development of the EdShareHUB – a community resource harnessing a distributed growing collection of over 8000 open teaching and learning materials.

This quiz package has three sections, The pterygopalatine fossa, the tongue and cranial nerves in the neck.

Revision

Revision lecture

Abstract: Computational science (also scientific computing) involves the development of models and simulations to understand natural systems answering questions that neither theory nor experiment alone are equipped to answer. Despite the increasing importance of so-called in-silico experiments to the scientific discovery process, state-of-the-art software engineering practices are not fully adopted in computational science. However, software engineering is central to any effort to increase computational science’s software productivity. Among the methods and techniques that software engineering can offer to computational science, I’ll present work model-driven software engineering with domain specific languages and on modular software architectures. For good scientific practice, it is important that research results may properly be checked by reviewers, and possibly be repeated and extended by other researchers. This is of particular interest for "digital science" i.e. for in-silico experiments. In this talk, I’ll discuss some efforts on open science in both, computational science and computer science. Reference: A. Johanson, W. Hasselbring: “Software Engineering for Computational Science: Past, Present, Future”, In: Computing in Science & Engineering, pp. 90-109, March/April 2018. https://doi.org/10.1109/MCSE.2018.108162940# Biodata: Prof. Dr. Wilhelm (Willi) Hasselbring is professor of Software Engineering and former dean of the Faculty of Engineering at Kiel University, Germany. In the competence cluster Software Systems Engineering (KoSSE), he coordinates technology transfer projects with industry. In the excellence cluster Future Ocean, in the Helmholtz Research School Ocean System Science and Technology (HOSST), and in the new Helmholtz School for Marine Data Science (MarDATA), he collaborates with the GEOMAR Helmholtz Centre for Ocean Research Kiel.

Port Management system in Event-B

preparation for end of module CAA exam

Managing room allocation in multiple hotels in Event-B

Slides from presentation given at the eLearning Symposium conference at University of Southampton in January 2019

Abstract: The Data Observatory (DO) at the Data Science Institute (DSI) in Imperial College (IC) is the largest interactive visualisation facility in Europe, consisting of 64 monitors arranged to give 313 degree surround vision and engagement Opened in November 2015, the DO provides an opportunity for academics and industry to visualise data in a way that uncovers new insights, and promotes the communication of complex data sets and analysis in an immersive and multi-dimensional environment. Designed, built by, and housed within the DSI, the DO enables decision makers to derive new implications and actions from interrogating data sets in an innovative, unique environment. The talk will provide an overview of the DO capabilities and case studies of its use.

COMP2211 Software Engineering Group Agile project coursework specification for the 4th deliverable (Increment 3 of working software)

This video includes information on how the third Game Design and Development coursework (Level Design and Tutorials) will be marked

Abstract: The talk will provide a review of the digital landscape, along with an outline of the affordances of digital technologies. It will focus on networking and open practices and will argue that practitioners need new digital literacies to harness the potential of digital technologies. It will argue that the teachers role is central and that they need a range of Continuing Professional Practice. It will describe a new project at DCU, #OpenTeach, which will develop a course for our 90 part-time tutors to help them design and facilitate online courses. It will argue that new approaches to Learning Design are needed and will describe a number of recent frameworks. It will conclude with a set of final reflections drawing on a recent EU-commissioned report. Bio: Gráinne Conole is a professor and Head of Open Education in the National Institute for Digital Learning at Dublin City University. She has worked at the Universities of Bath Spa, Bristol, Leicester, OU and Southampton. Her research interests are on the use of technologies for learning, including Open Educational Resources (OER) and Massive Open Online Courses (MOOCs), new approaches to designing for learning, e-pedagogies, and social media. She has an HEA National Teaching Fellowship and fellow of EDEN and ASCILITE. She has published and presented over 1000 talks, workshops and articles. See http://e4innovation.co.uk for more details.

- "Chameleons of three colours" riddle

Verification in Dafny

Reasoning about looping programs

I will be speaking about how creative entrepreneurs can benefit from working with a range of intermediaries (instead of trying to do everything themselves). But a major challenge is how to connect those creatives with relevant people and supports.

Model a hotel reception system in Event-B

Abstract: Over the past couple of years, there has been increasing interest in applying the latest advances in machine learning to creative projects in art and design. From DeepDream and style transfer to a GAN-generated painting selling for $430,000 at auction, AI art has moved beyond the world of research and academia and become a trend in its own right. Meanwhile, the contemporary art world's fascination with the social impact of facial recognition, recommendation systems and deep fakes has encouraged artists to explore AI critically as subject matter. This talk will give an overview of how artists and technologists are using and thinking about machine learning, its creative potential and societal impact. Bio: Luba Elliott is a curator and researcher specialising in artificial intelligence in the creative industries. She is currently working to educate and engage the broader public about the latest developments in AI art through talks, workshops and exhibitions at venues across the art and technology spectrum including The Photographers’ Gallery, Victoria & Albert Museum, Seoul MediaCity Biennale, Impakt Festival, Leverhulme Centre for the Future of Intelligence, NeurIPS and ECCV. Her Creative AI London meetup community includes 2,300+ members. She has advised organisations including The World Economic Forum, Google and City University on the topic and was featured on the BBC, Forbes and The Guardian. She is a member of the AI council at the British Interactive Media Association. Previously, she worked in startups and venture capital and has a degree in Modern Languages from Cambridge University.

This video includes information on how the second Game Design and Development coursework (Interactive Narrative) will be marked.

Modelling using Relations in Event-B

An introduction to the use of autonomous drones in military scenarios

Slides from Prof Michael Butler

Like any form of human interaction and communication it is possible to view Social Media as a means for the powerful to influence and control the less powerful. But what is power on social media, how might we measure or affect it, and does it translate to the real world? In this lecture we will explore how power has been analysed in social networks and social media systems. We will also look at the characteristics of social networks that impact on power, including Homophily and CyberBalkanization. Finally we will ask what evidence there is that power in social media can affect what goes on in the real world, and explore some real examples to see what the consequences of social media activity can be. Concluding that the power of social media often lies with those operating the network, or with access to the data, rather than the individuals using the system. Trust is a complex philosophical, social and technical notion, but it underlies many of our digital interactions including e-commerce and collective intelligence. In this lecture we will explore how software engineers have implemented trust models based on policy, provenance and reputation. We will take a closer look at both Global and Local reputation-based trust, and see how assumptions of transitivity and asymmetry are useful. Finally we will look at trust in information, otherwise known as credibility, and look at the phenomenon of fake news and how trust methods have been used to combat it.

Modelling with Sets in Event-B

Modelling using Relations in Event-B - Order Pairs - Cartesian Product - Relations - Domain/Range of relations - Relational Image

Lecture on testing for SEGP

Dynamic Modelling with UML

Fixing models using failing proofs

- Abstraction & Refinement - Extension Refinement

Debugging Models with Proof and Judgement - Strengthen Guards - Modify Actions - Strengthen Invariants - Weaken Invariants

Revisit Activity and Sequence Diagrams

Abstract: Circular Economy is a paradigm for sustainable growth that envisions the transformation of how modern societies design, produce and consume goods and services towards a regenerative economic cycle. Future and emerging technologies, such as 5G, the blockchain, and crowdsourced sensing systems, along with innovative models and paradigms, such as the Internet of Things, Industry 4.0, and community networks, will play an important role in the transition to Circular Economy by enabling and facilitating, among others, digitization (efficient asset management, open data, etc.) and collaboration (co-innovation, shared value creation, etc.). In this talk we will introduce the paradigm of Smart (i.e. data-driven) Circular Economy, we will review corresponding technological enablers and will present data-driven circular business models. Biodata: Dr. Marios Angelopoulos is Principal Academic in Computing at Bournemouth University (UK), specialising in future and emerging paradigms of computer networks and distributed systems. Previously, he was with University of Geneva (CH) under the prestigious Swiss Government Excellence Scholarship for Foreign Researchers. At BU, he has established and leads the Open Innovation Lab (OIL) and is a founding member of the Future & Complex Networks (FlexNet) Research Group. He is also the founding Programme Leader of three master courses in the area of Internet of Things. Marios is also active in international standardisation bodies. Since 2018, he serves at the International Telecommunication Union (ITU-T) as Associate Rapporteur of Question 5 "Research and emerging technologies, terminology and definitions" in Study Group 20: Internet of Things (IoT) and Smart Cities and Communities (SC&C). He is also the Liaison co-Rapporteur of Study Group 20 to the Standardization Committee for Vocabulary (SCV). His research on Crowdsourced Systems has greatly contributed to the ITU-T work item on "Requirements and Functional Architecture of IoT-related Crowdsourced Systems". Finally, he has published in and served in the committees of several highly-esteemed international Journals and Conferences in his area of expertise (such as IEEE ToN, Elsevier's ComNet, ComCom, Ad-Hoc Nets, IEEE ICDCS, DCOSS, ICC, ACM MSWiM, etc).

Phillip came to talk to us about his teaching at the NOC. He has some interesting challenges in his work including what to do with a large collection of images of butterflies and moths.

We take a look at the OOtumlia airlines case study on class diagrams

This video includes information on how the first Game Design and Development coursework (Level Design and Tutorials) will be marked

This video includes a general overview for completing the Game Design and Development coursework, including academic integrity, aspects of the markscheme common to all coursework, and general tips.

Chris Gutteridge an award winning developer in iSolutions, will be posing the provocative statement: ‘There is no such thing as open data’. Maybe perfection in a few open datasets isn't the goal and we should concentrate on removing barriers to data instead. Chris Gutteridge is a developer at the University with a long track record for innovative developments in open access and open data. He was the lead developer for early versions of ePrints and created data.southampton.ac.uk which provides open access to a number of non-confidential administrative datasets at the University. He has won numerous national awards including the 2012 Times Higher Education Award for Outstanding ICT Initiative of the Year and the CILIP Jason Farradane Award for his outstanding contribution to the information profession in 2017. The video of Chris's talk and the other talks in Love Data Week 2019 are available from http://library.soton.ac.uk/lovedata

First week of Group Project

Object modelling with UML

Further D3 resources

Abstract: In Wendy Hall's 2017 AI review, the first recommendation was to create data trusts to encourage data access and data sharing. A number of initiatives are exploring these ideas in concrete contexts, including Elena Simperl's Data Pitch project and the Open Data Institute's work on data innovation. This talk will consider the question in more abstraction, to consider data trusts' function, and how this will determine their form. I will argue that a data trust should work within existing law to provide ethical, architectural and governance support for trustworthy data processing, and I will unpack this in terms of how it might create trust, what architectures might help implement data trusts, and how they relate to the existing law of trusts. Biodata: Kieron O'Hara is an associate professor in the WAIS group of ECS. His research interests are in trust, privacy and the nature of digital modernity. He is a lead in the UKAN network of anonymisation experts. His latest book, The Theory and Practice of Social Machines (with Nigel Shadbolt, Dave De Roure and Wendy Hall) will be published by Springer in March.

In this session we look at how to model flow of control and interactions between components using UML Activity and Sequence Diagrams. This is an introductory session and so for Activity Diagrams we only cover branching, forks and joins and swim lanes, and for Sequence we cover lifelines, messages and returns, and alt, par and opt frames.

Functional Modelling with UML Use Cases and Use Case Diagrams.

Open source best practice, academic integrity, locally hosting a website, introduction to HTML, CSS, SVG

A refresher on Set Theory

UML Class diagram with example scenarios. Shows: classes, properties and attributes; associations: generalisation, inheritance, component, aggregation

COMP2211 SEG

Pilot for Paula Sands

COMP2211 SEG deliverable 5

COMP2211 SEG Deliverable 4

COMP2211 SEG Deliverable 3

COMP2211 SEG

COMP2211 SEG Del 1 coursework spec

- Tree file system - Transitive Closure

Requirement Analysis

Lecture on modeling software requirements using the Unified Modeling Language (UML 2.5)including structured textual Use Case description and Use Case diagram

This is for practice only. This is NOT the dataset for the COMP6214 coursework in 2018/19

overview

in class exercise - read and follow for indpeneet study if you miss the class. There is also an online survey of this to follow up the anonymous class-wide results in week 2

Some useful proof rules

A guide to the companies attending the 2019 Engineering & Technology Careers Fair, with stand plan of the venue

- Constructing Proof Trees - Inference Rules - Applying inference rules backwardly to construct proof trees

Proof-based Verification in Event-B

Introduction to Advanced Software Modelling & Design

Introductory Lecture for COMP1216 Software Modelling and Design.

Jenny is a PhD student in Engineering. Her research uses machine learning to identify marine animals in imagines taken by autonomous underwater vehicles. She talks about that an her experiences with iSolutions as a customer.

COMP6214 Open Data Innovation: Coursework 1 specification

Artificial Intelligence has a very high profile over the last few years, as huge quantities of data from the Web have given computers new kinds of capability. But what about Human Intelligence? Google is building smart cars that understand the roads, but can Google make smart humans that understand the world? In this talk I will look at some of the ways that we have tried to make computers help us to be more intelligent, from Indexing the Internet, to Webs of Semantics, to Data Storytelling.

This thought provoking talk will be given by Bo Ji, Founder of China Start, an inspiring TEDx speaker, a Chinaprenuer, and a game changer in the global startup ecosystem. Bo is currently the Assistant Dean & Chief Representative for Europe at Cheung Kong Graduate School of Business (CKGSB), a top business school with more than 10,000 chairman/CEO level alumni in China. Bo had an over-20-year successful corporate career in Global Business Development, Innovation, Strategy, Supply Chain Management, M&A, etc and has served at the senior executive level for companies such as Monsanto, Cargill, Pfizer, Wrigley and Mars. After a long corporate life, Bo became a serial entrepreneur and investor and founded “China Start” to bring global startups and scaleups to China. He created a paradigm shift for global startups to expand to China instead of Silicon Valley. Is an innovator born or made? Is it possible to learn the ability of generating innovative ideas? The answer is YES! Our ability to generate innovative ideas is not just a function of our minds, but of our behaviors. There are five “discovery skills” used by innovative leaders that distinguish them from the ordinary: questioning, observation, networking, experimenting, and associational thinking. These skills can be learned and trained. Innovative companies have three components, people, process, and philosophy to support the application of the 5 DNA skills.

Week 19: it is about drawing and animating graphics on a canvas in Python.

Week 18: It is about creating graphical user interfaces for Python applications.