Skip to content
Open menu Close menu

Seminars Archive

PG Research Event
Research Seminar
Industry Talk

An Industry View of the Agile Mindset Jonathan Kessel-Fell, Agile Coach and Scrum Master, Capgemini UK, 09 December 2016

Date: 09 December 2016 Time: 13:30
Location: Horton D01.27 (The Barn) Lecture Theatre
Speaker: Jonathan Kessel-Fell, Agile Coach and Scrum Master, Capgemini UK

Abstract: The Agile Mindset; an industry view and worldwide perspective.
A key component for any Agile Transformation or Agile Delivery is that the team has the right Agile Mindset and the right Management support to put it into action. This sessions looks at what an Agile Mindset is, why is it so important and what are the main blockers to bringing it into an organisation.

Biography:
Jon has worked in the IT Development sector for over 25 years, 13 of which have been in the world of Agile. This experience spans Investment, Retail and Online Banking, Business Intelligence and Government projects. He is a Certified Agile Coach, Scrum Master and Product Owner, as well as being a facilitator for Capgemini University, guest lecturer at UK Academic Universities and keynote speaker.
Jon has extensive hands-on experience of implementing and maintaining Agile Transformations at a CIO / Portfolio level within large scale organisations. He also has hands-on delivery experience for complex projects with co-located and distributed teams. Jon’s coaching covers Agile, Agile@Scale, Scrum, Kanban, XP practices and Lean, and training through 1-2-1 sessions, classroom based sessions and large scale virtual sessions, all across international locations.

Verification Tool DIY Professor Georg Struth, University of Sheffield, 07 December 2016

Date: 07 December 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor Georg Struth, University of Sheffield

Abstract:

I present a principled modular approach to the design of program verification and correctness tools that yields a clean separation between the control flow and the data flow of programs. The aim is to find simple algebraic semantics for the control flow and combine them with detailed set-theoretic models for data and memory domains. The approach is implemented in the Isabelle/HOL theorem prover, and its principles will be illustrated through two example tools, both of which are correct by construction. The first one is a program verification and refinement tool for simple while-programs, which uses modal Kleene algebras for the control flow and a standard predicate transformer semantics for the data flow. The second tool implements separation logic using a novel algebraic semantics for the control flow and an extended relational model for the data flow on store and heap. Time permitting I will show these tools at work on a number of algorithmic verification and refinement examples.

Biography:

Professor Struth works mainly on logical and algebraic methods in computer science, formalised mathematics with interactive theorem provers and program verification and correctness. His interests range from foundational work on the axiomatisation and semantics of sequential and concurrent computing systems to applications in the design and implementation of program verification software.

Research in Progress (PhD Seminar) - Design and operation of multistage flash (MSF) desalination: advanced control strategies and impact of fouling Mr. Salih Alsadaie, 30 November 2016

Date: 30 November 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mr. Salih Alsadaie

Abstract:

The rapid increase in the demand of fresh water due the increase in the world population and scarcity of natural water puts more stress on the desalination industrial sector to install more desalination plants around the world. Among these desalination plants, multistage flash desalination process (MSF) is considered to be the most reliable technique of producing potable water from saline water. However, the MSF process is confronting many problems to cut off the cost and increase its performance.

Among these problems are the non-condensable gases (NCGs) and the accumulation of fouling which they work as heat insulation materials and consequently decrease the performance of the plants. Moreover, improved process control is a cost effective approach to energy conservation and increased process profitability. Thus, this study is motivated by the real absence of detailed kinetic fouling model and implementation of advance process control (APC).

This project aims to use gPROMS (general PROcess Modeling System) model builder to develop a dynamic mathematical model of MSF, study the design of venting system, implement advance control strategies and finally develop a dynamic fouling model to predict fouling inside the condensing tubes.

Social Media Mining for Crime Intelligence Haruna Isah, PhD Commonwealth Scholar, 16 November 2016

Date: 16 November 2016 Time: 13:00
Location: Horton D0.26
Speaker: Haruna Isah, PhD Commonwealth Scholar

Abstract

The use of the Internet for exploitative or malicious purposes has become a serious global issue. Over the years, the Internet is seen to be attracting disruptive entities who engage in cyber-crime and antisocial behaviours. The growing incidents of counterfeit/illegal product sale and other crimes over the Internet necessitate the development of automated surveillance systems for the effective governance of the content layer of the Internet.

Our research goal is to develop innovative data mining techniques to improve the understanding, intervention, and policy-making on cyber crime. We employ a variety of machine learning and graph mining methods on social data to characterise and combat cyber-crime on the Web. We are specifically interested in learning from data to identify, measure, and detect deceptive and low quality entities (such as brands, accounts, ads, social updates, reviews) on the Web.

In this talk, we will first present a review of the state of the art methods for sentiment analysis and graph mining, we will then highlight some of the contributions and results of our published work and ongoing projects, and finally, we will give an overview of our propose future work.

Biography

Haruna Isah is a Commonwealth Scholar and the outgoing chair of the University of Bradford ACM Student Chapter. He is currently rounding up his 3rd year PhD study in the Artificial Intelligence Research Group of the University of Bradford under the supervision of Professor Daniel Neagu and Dr. Paul Trundle. He obtained a Bachelor of Engineering (B. Eng.) Degree from the department of Electrical and Electronics Engineering, University of Maiduguri in 2008; Masters of Science (MSc.), Software Engineering in 2012 from the then School of Computing Informatics and Media (SCIM) University of Bradford.

Haruna is a recipient of NITDEF MSc. Scholarship Award, Commonwealth PhD Scholarship Award, and WAW2015 School on Complex Networks and Graph Models travel award. He has made several research presentations and also attended several major research training's including International Winter School on Big Data in Tarragona Spain, Machine Learning: A Computational Intelligence Approach (MLCI-2015) in Genova Italy, WAW2015 School on Complex Networks and Graph Models in Eindhoven in The Netherlands, and Development Module Road Map for Commonwealth PhD Scholars at Cumberland Lodge, Windsor.

Research in Progress (PhD Seminar) - Relationship between Design Structure Matrix and Multidisciplinary Optimization Mr. Abhishek Mishra, 16 November 2016

Date: 16 November 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mr. Abhishek Mishra

Abstract:

First paragraph gives a brief introduction about design structure matrix which is followed by introduction of Multidisciplinary Optimization techniques. The last paragraph gives detail about their implementation in the project.

A familiar tool to support the visualization of the disciplinary dependencies upon variables is the design structure matrix. Various algorithms such as Petri Nets, IDEF, Genetic Algorithm, COPE etc. have been used in the literature to adjust a DSM according to the design needs. Project aims to develop a new technique to decompose engineering problems effectively.

The basic aim of Multidisciplinary Optimization methods is to combine general multidisciplinary engineering systems, such as automotive or aerospace, whose design is controlled by a number of disciplines The basic goals of MDO formulations are to:

1. Compress design cycle time;
2. Yield substantive product quality;
3. Improve design knowledge to support more informed decision making;
4. Reduce time to market.

The project aims to utilise a DSM for optimal decomposition of an engineering problem and thereby solving it using an appropriate MDO technique.

Research in Progress (PhD Seminar) - Centre of Mass Dynamics and Control during Gait Termination in Trans-Femoral Amputees: Impact of Combined Microprocessor Control of the Knee and Ankle Mrs. Zahraa M. Abdulhasan, 02 November 2016

Date: 02 November 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mrs. Zahraa M. Abdulhasan

Abstract:

The general aim of this thesis is to investigate the biomechanical adaptations used by transfemoral amputees during gait termination when descending a ramp. The main focus is to evaluate the effectiveness of an above the knee prosthetic that uses combined/coordinated micro-processor control at the-knee and ankle- with ‘stop and lock’ feature (mode). The ‘stop and lock’ feature (mode) is designed to automatically control knee and ankle flexion for stable standing following a gait termination event. This feature increases resistance to flexion at the knee as soon as the foot is stationary (ankle static acceleration drops to zero) and essentially makes knee/ankle locked when terminating gait on declined surface. In turn it provides secure, comfortable weight distribution on both prosthetic and intact sides. In order to introduce a fair and objective assessment about the LiNX efficacy, it has been decided to investigate its biomechanical effects compared to using a TF prosthesis with passive hydraulic knee and ankle (i.e. LiNX with microprocessor inactive).

In this thesis, I aspire to promote a deep comprehension of gait termination task and present an objective scientific evaluation of the impact on gait biomechanics of using a LiNX limb system. Different studies were conducted through various experimental setups; a pilot study involved the participation of one able bodied individual, which was followed by data collection of a control group of nine able-body participants. The core studies included participation of a number of transfemoral amputees who were asked to perform gait termination on a ramp and overground using the LiNX when the microprocessor was switched off (inactive) and switch on (active).

To determine how use of a LiNX active compared to inactive effected the biomechanics of gait termination when walking down ramps and overground. The specific aims were to determine:

1. The percentage/relative contribution of the intact limb (penultimate step) and prosthetic limb (final step) in reducing the centre of mass forward velocity during the two steps of gait termination
2. The postural adjustment and centre of mass dynamics during the two steps of gait termination.
3. The relative contribution of ankle, knee and hip kinematics and kinetics during the two steps of gait termination.

Translate: Realising medical technologies innovation in the Leeds City Region (joint event with DHEZ) Drs Sean Clarkson & Danielle Miles, Technology Innovation Managers, Translate, University of Leeds, Translate, 02 November 2016

Date: 02 November 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Drs Sean Clarkson & Danielle Miles, Technology Innovation Managers, Translate, University of Leeds, Translate

Abstract

Translate is a project funded by HEFCE, establishing a new partnership of five universities in the Leeds City Region with world-class expertise in the development of new medical technologies. Translate provides sector-specific expertise to complement University Business Development teams, supporting academics by accelerating the translation of their research into effective commercial opportunities and real-life clinical applications. We work closely with clinicians and companies to identify the current needs of the sector, forming sector-inspired collaborative research to address key clinical challenges or areas of potential development. Translate also develops cutting-edge innovation skills development programmes, seeking to enhance and embed academic capability in successfully translating medical technology research. The seminar will give an overview of the Translate programme, the range of support available to academics for project progression and personal skills development, and case studies of previous support and activities. There will be time for group questions, and confidential one-one discussions regarding specific projects.

Bios

Dr Sean Clarkson is a Technology Innovation Manager within the Medical Technologies Innovation team at the University of Leeds. He mainly works on the HEFCE funded Translate programme, providing sector-specific expertise to support the development and translation of early stage medical technology research in five partner universities across the Leeds City Region. His role involves the development and identification of new technology opportunities through technology scouting activities and running unmet clinical need innovation workshops. He also provides sector-specific expertise, support, and management for projects to accelerate their progression towards commercialisation and investment readiness- assisting with areas such as proof of market/concept, business case development, regularity issues, external funding, and access to partners. Sean has a PhD in Sports Engineering, and a background in Electronics and IT. He has previously worked as a researcher at Sheffield Hallam Universities’ world leading Centre for Sports Engineering Research, developing new technology innovations for use in the UK elite sport programme, private health clinics, and the national healthcare system. Sean has experience in research translation, development of commercialisation strategies, and establishing collaborations with governing bodies, clinicians, and companies, having successfully translated a number of projects and IP assets which are now licensed to international companies and actively used within the NHS.

Dr Danielle Miles is a Technology Innovation Manager working in the Medical Technologies Innovation team on the Translate Programme. Her role involves supporting medical technology research translation and embedding innovation capability in the Leeds City Region. She complements the activities of knowledge and technology transfer staff at partner institutes by providing sector specific expertise to support the generation, evaluation and development of potential project opportunities. She builds consortiums to address un-met clinical needs through running innovation workshops, brokering relationships and carrying out technology scouting activities. Finally she provides support with external funding, market and regulatory requirements, risks and barriers to commercialisation, and IP strategy. Danielle comes from a research background, gaining a PhD in chemistry on self-assembling peptides. This led to her becoming a Research Fellow specialising in hydrogels for biomedical applications, where she was actively involved in shaping and implementing project IP and commercialisation strategies, as well as creating clinical collaborations. Danielle also brings industrial experience, having spent time in both the pharmaceutical and the medical devices industries, where she gained experience in evaluating early stage technologies and regulatory pathways, in particularly for advanced therapeutic medicinal products.

Research in Progress (PhD Seminar) - Centre of Mass Dynamics and Control during Gait Termination in Trans-Femoral Amputees: Impact of Combined Microprocessor Control of the Knee and Ankle Zahra Abdul Hassan, 02 November 2016

Date: 02 November 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Zahra Abdul Hassan

Abstract:

The general aim of this thesis is to investigate the biomechanical adaptations used by transfemoral amputees during gait termination when descending a ramp. The main focus is to evaluate the effectiveness of an above the knee prosthetic that uses combined/coordinated micro-processor control at the-knee and ankle- with ‘stop and lock’ feature (mode). The ‘stop and lock’ feature (mode) is designed to automatically control knee and ankle flexion for stable standing following a gait termination event. This feature increases resistance to flexion at the knee as soon as the foot is stationary (ankle static acceleration drops to zero) and essentially makes knee/ankle locked when terminating gait on declined surface. In turn it provides secure, comfortable weight distribution on both prosthetic and intact sides. In order to introduce a fair and objective assessment about the LiNX efficacy, it has been decided to investigate its biomechanical effects compared to using a TF prosthesis with passive hydraulic knee and ankle (i.e. LiNX with microprocessor inactive).
In this thesis, I aspire to promote a deep comprehension of gait termination task and present an objective scientific evaluation of the impact on gait biomechanics of using a LiNX limb system. Different studies were conducted through various experimental setups; a pilot study involved the participation of one able bodied individual, which was followed by data collection of a control group of nine able-body participants. The core studies included participation of a number of transfemoral amputees who were asked to perform gait termination on a ramp and overground using the LiNX when the microprocessor was switched off (inactive) and switch on (active).
To determine how use of a LiNX active compared to inactive effected the biomechanics of gait termination when walking down ramps and overground. The specific aims were to determine:
1. The percentage/relative contribution of the intact limb (penultimate step) and prosthetic limb (final step) in reducing the centre of mass forward velocity during the two steps of gait termination
2. The postural adjustment and centre of mass dynamics during the two steps of gait termination.
3. The relative contribution of ankle, knee and hip kinematics and kinetics during the two steps of gait termination.

Research in Progress (PhD Seminar) - Drying Shrinkage Strains Behaviours of Self-Compacting Concrete Mrs. Jamila Abdalhmid, 19 October 2016

Date: 19 October 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mrs. Jamila Abdalhmid

Abstract:

The main aims of this PhD project is to investigate the free and confined drying shrinkage behaviour of SCC compared that of normal conventional concrete (NCC) and develop a computer model using ANN for prediction of drying shrinkage strains of SCC, using collected comprehensive database from different sources in the literature, and to analyse the effect of key parameters considered in this study on the dying shrinkage of SCC
As well as, more rational computational model will be also developed based on equations available in literature for drying shrinkage.

Informal Seminar by Professor Marian Gheorghe Professor Marian Gheorghe (Chairperson), 19 October 2016

Date: 19 October 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor Marian Gheorghe (Chairperson)

This is an informal seminar where ALL staff members are invited to participate. The anticipated topics are: preparation to the forthcoming REF submissiojn: publications (individuals & groups), research money, external funding by research transfer, co-operation with industry ...

Please show interest, attend, listen with a view to contributing according to and in areas where your strength lies.

Non-additive probabilities and Choquet integrals in Computing and Engineering Professor A. Vourdas, 12 October 2016

Date: 12 October 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor A. Vourdas

SUMMARY

An introduction to non-additive probabilities and Choquet integrals, will be discussed. These ideas have been used in Artificial Intelligence, Game theory, Mathematical Economics, decision theory, etc, and the intention is to extend their applications into the general area of Science and Engineering. The presentation will be general aiming to motivate researchers to use these ideas in their own field.

BIO

A.Vourdas is a Professor in Computing at the School of Electrical Engineering and Computer Science. His area of Research is Quantum Computing.

Research in Progress (PhD Seminar) - Behaviour of Continuous Concrete Beams Reinforced with Hybrid GFRP/Steel Bars Mr. Almahdi Araba, 05 October 2016

Date: 05 October 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mr. Almahdi Araba

Abstract:

A hybrid system consisting of both FRP and steel reinforcement is proposed. Such reinforcement system shows improved serviceability and ductility, and enhancement of load-carrying capacity compared to traditional reinforcement.

Research in Progress (PhD Seminar) - Behaviour of Demountable Shear Connectors in a Composite Beam Mr. Naveed Rehman, 21 September 2016

Date: 21 September 2016 Time: 13:00
Location: Chesham Building – C4.02
Speaker: Mr. Naveed Rehman

Abstract:

The project is about to check the feasibility of demountable shear connectors as an alternative to welded shear connectors through push off tests and a full scale composite beam test. This project will explore the strength, ductility and stiffness of demountable shear connectors. This new form of demountable shear connector would allow the steel beam to be reused after dismantling the composite floor structure.

IoT Laboratory MSc Student Project presentations Drs Dhaval Thakker and Prashant Pillai & the IoT Laboratory MSc Students, 14 September 2016

Date: 14 September 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Drs Dhaval Thakker and Prashant Pillai & the IoT Laboratory MSc Students

The weekly/fortnightly research seminar series is used to present MSc projects completed by our IoT lab students. Several speakers will present their findings, each for 10 minutes, each followed by a short Q&A session.

Discovering "Unknown Known" Security Requirement Professor Awais Rashid, lead of head the Academic Centre of Excellence in Cyber Security Research , Lancaster University, 08 September 2016

Date: 08 September 2016 Time: 09:30
Location: Horton D0.24
Speaker: Professor Awais Rashid, lead of head the Academic Centre of Excellence in Cyber Security Research , Lancaster University

Abstract:
Donald Rumsfeld’s three permutations of knowns and unknowns are often quoted in the context of cyber security. We have the Known Knowns: the well-understood attacks such as SQL injection; the Known Unknowns, e.g., the theoretical and practical limitations of certain protocols; and the Unknown Unknowns, i.e. zero days. In this talk, I will talk about a fourth variation, that of Unknown Knowns. These represent the tacit knowledge often implicit within or across a variety of security incidents. This knowledge is “Unknown” in that it is not immediately captured in widely recommended models such as the Top 20 Critical Security Controls. Yet it is “Known” in that it is tacit in existing security breaches. I will discuss how an inter-disciplinary methodology enables discovery of such Unknown Knowns in order to identify gaps in existing security models and plug such gaps.

Bio: Professor Awais Rashid

Tracking Time-Evolving Data Streams and an Application to Short-Term Urban Traffic Flow Forecasting Professor Francesco Masulli, University of Genova (Italy), 26 August 2016

Date: 26 August 2016 Time: 13:00
Location: Horton D0.23
Speaker: Professor Francesco Masulli, University of Genova (Italy)

CV

Associate Professor of Computer Science with the Dept of Informatics, Bioingengering, Robotics and Systems Engineering (DIBRIS) of the University of Genova (Italy) and Adjunct Associate Professor at Center for Biotechnology of Temple University-Philadelphia (PA, USA). Lecturer of the courses on Fundamentals of Computer Science, Well-Being Technologies, and Machine Learning at the University of Genoa. Recipient of the 2008 Pattern Recognition Society Award for the paper "A survey of kernel and spectral methods for clustering". Author of more than 200 scientific papers in Clustering, Machine Learning, Neural Networks, Fuzzy Systems and Bioinformatics. Vice-Chair of the Italian Chapter of the IEEE Computational Intelligence Society, Co-Chair of the Special Interest Group on Bioinformatics of the International Neural Network Society.

ABSTRACT

Data streams have arisen as a relevant topic during the last decade. In this work we consider non-stationary data stream clustering using a possibilistic approach. The Graded Possibilistic Clustering model offers a way to evaluate “outlierness” through a natural measure, which is computed directly from the model. Both online and batch training scheme are considered, to provide two different trade-offs between stability and speed of response to change. The proposed approach is evaluated on a synthetic data set, for which the ground truth is available. Moreover, a real-time short-term urban traffic flow forecasting application is proposed, taking into consideration both spatial (road links) and temporal (lag or past traffic flow values) information. To this aim, we introduce a Layered Ensemble Model (LEM) which combines Artificial Neural Networks and Graded Possibilistic Clustering models obtaining an accurate forecast of the traffic flow rates with outlier detection. Experimentation has been carried out on two different data sets. The former was obtained from real UK motorway and the later was obtained from simulated traffic flow on a street network in Genoa (Italy). The proposed LEM model for short-term traffic forecasting provides promising results and given the its characteristics of outlier detection, accuracy, and robustness, it can be fruitful integrated in traffic flow management systems

Kernel P systems modelling, verification and testing - Sorting case study Professor Marian Gheorghe, 29 June 2016

Date: 29 June 2016 Time: 13:00
Location: Horton D0.24
Speaker: Professor Marian Gheorghe

ABSTRACT

This talk has two parts: an introduction to P systems & a presentation of some research topics prepared for CMC Conference. The first part is meant to give a short overview of the field, called P systems, the subject of the main presentation. The main talk will focus on a specific P systems model, called kernel P systems. In this talk it will be illustrated its capacity to model various sorting problems as well as its relationships with formal verification based on model checking and testing. This talk will be given to the main conference dedicated to P systems topics, CMC, in July 2016.

BIO

Professor Marian Gheorghe got a BSc and a PhD in Mathematics and Computer Science from the University of Bucharest, Romania. After some years in industry he moved to academia, initially as a lecturer with the University of Bucharest and then, after a short spell with the University of Pitesti, Romania, he moved to the University of Sheffield, in 2000, as a lecturer. He was promoted up to a readership position and became head of the Verification and Testing Group. He recently joined the University of Bradford as a Professor of computational models and software engineering. He has taught a large variety of topics, including formal methods, discrete mathematics, formal grammars and automata, software engineering group projects, systems analysis and design, programming languages (Haskel and Java) etc. He was working in Sheffield, together with other colleagues, in building one of the most popular modules, called Genesys, highly praised by students and acknowledged by employers as a unique real-life experience provided by the University to their Computer Science graduates. His research is rooted in core computer science, more precisely, he is studying various classes of computational models - automata, formal grammars, multiset rewriting systems, Petri nets, process algebra -, their formal properties and connections with other computational models. His research includes also significant applications of these modelling approaches in software engineering, formal verification and testing, simulations, systems and synthetic biology and others. Professor Gheorghe is equally interested in developing the core part of his research in theoretical computer science as well as in collaborating broadly across the whole spectrum of applications of computational models.

Modelling and Computational Analysis of Synthetic Biology Systems Dr Savas Konur, Department of Computer Science, University of Bradford, 22 June 2016

Date: 22 June 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr Savas Konur, Department of Computer Science, University of Bradford

Abstract:
Synthetic biology, allowing scientists to engineer unconventional biological systems that do not naturally exist in nature, is a rapidly growing field with promising potential in building new synthetically constructed devices and systems. In this talk, we will discuss a software platform developed to model and analyse synthetic biology systems using various computational techniques, such as simulation, verification and biocompilation.

Bio:
Dr Savas Konur is a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. His research interests involve Formal Methods (mainly modeling, verification and analysis of complex, concurrent and stochastic systems) and design/development of software systems/tools/methods facilitating Formal Methods in various application areas, including Systems and Synthetic Biology, Ubiquitous Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems.
More about Savas' research and published work is here: http://computing.brad.ac.uk/staff/skonur

Building Mobile Apps Steven Hadley, Solutions Architect, Sky Betting and Gaming, 15 June 2016

Date: 15 June 2016 Time: 13:00
Location: Horton D0.23
Speaker: Steven Hadley, Solutions Architect, Sky Betting and Gaming

Abstract:

In this talk Steven Hadley will provide tips on how to get started in mobile apps development. Steven will go through a number of recent mobile projects he has worked on; including streaming music services, gambling apps and ultra-secure banking terminals. In this session you will learn about skills and technologies needed for mobile app development, as well as how to identify promising, meaningful and manageable projects that will help you succeed in your career as a Mobile App Developer.

Bio:

Steven Hadley is a technologist with 19 years experience in the IT industry including mobile, telecommunications, gambling, media, finance, retail and law. Starting his career at British Telecoms research headquarters in the UK working on global tracking systems, Steven has since worked on many apps and websites, including Sky Betting and Gaming products, Sony Australia’s streaming music service Songl, Foxtel’s mobile TV guides, Astro On-The-Go video on demand service, Hutchison 3G’s mobile portal and bt.com.

Identifying Knowledge Anchors in Big Data Graphs Marwan Al-Tawil, Leeds University, 01 June 2016

Date: 01 June 2016 Time: 13:00
Location: Horton D0.26
Speaker: Marwan Al-Tawil, Leeds University

Abstract: The recent growth of the Web of Data has brought to the fore the need to develop intelligent means to support user exploration through big data graphs. It has been acknowledged that, to be effective, approaches for data graph exploration should take into account the knowledge utility of exploration paths – how useful the trajectories in a data graph are for expanding users’ knowledge. Motivated by an earlier controlled user study investigating nudging strategies for exploration, which has suggested that paths which start with familiar and highly inclusive entities and bring something new are likely to have good knowledge utility, we propose here an approach to identify knowledge anchors in a data graph. We call such anchors basic level entities in a data graph, following an analogy with basic level objects in domain taxonomies that underpin our approach. Several metrics for extracting basic level entities in a data graph, and the corresponding algorithms, have been developed. The performance of the metrics is examined using benchmarking sets obtained from an experimental study involving free naming tasks by humans. Based on quantitative and qualitative analysis of the individual metrics, a hybridization approach is proposed.

Bio: Marwan Al-Tawil is a third year postgraduate researcher in the Artificial Intelligence Group in the Computing Department at the University of Leeds. His research interests lie in the field of graph databases, particularly in developing computational methods and algorithms to support users exploration over big data graphs.

Big Data — The View From Space Prof Rami Qahwaji, EECS, University of Bradford, 25 May 2016

Date: 25 May 2016 Time: 13:00
Location: Horton D0.26
Speaker: Prof Rami Qahwaji, EECS, University of Bradford

ABSTRACT

Space data are big, complex, multi-dimensional, multi-wave length and could be challenging in terms of noise, consistency, etc. This makes them fascinating for data and computer scientists. The potential for efficient space data exploration is huge for space, satellites, medicine and variety of other sectors. These issues and more will be discussed at this talk.

PROFESSIONAL CV
Rami Qahwaji is Professor of Visual Computing and is the Academic Director for the Digital Catapult Centre Yorkshire (DigiCatYorks). His research interests include: visualisation, big data analytics, machine learning, and the design of machine vision systems with proven track record in the fields of medical imaging, space/satellite imaging, data visualisation and applied data mining working with medical and industrial collaborators such as NASA, European Space Agency, National Health Service (England), etc. His research was funded by EPSRC, EU FP7, NHS National Innovation Centre, ERDF, European Space Agency (ESA), NASA, TSB, Yorkshire Forward, and more. He has over 130 refereed publications, tens of invited talks at different UK and International meetings and has supervised 20 completed PhD projects. Rami is Fellow of the Institution of Engineering and Technology (FIET), Charted Engineer (CEng - Engineering Council, UK), IET Technical Assessor and Fellow of the Higher Education Academy (FHEA).
More about Rami's research and published work is here: http://www.brad.ac.uk/ei/s/?u=rsrqahwa

Knowledge Engineering with Semantic Technologies: From domains of Culture to Internet of Things (IoT) Dr Dhaval Thakker, Department of Computer Science, University of Bradford, 11 May 2016

Date: 11 May 2016 Time: 12:00
Location: Horton D0.26
Speaker: Dr Dhaval Thakker, Department of Computer Science, University of Bradford

Abstract:
For the last 15 years or so, semantic technologies have provided a successful and pragmatic way of carrying out knowledge engineering (KE) tasks in a bigger scale, and many will argue, in a more successful manner. In this talk, I will highlight my research in this area that includes methodologies and techniques for knowledge capture, enrichment, and building knowledge-enriched systems for exploration and decision support. I will conclude by highlighting the role of semantics in building an Internet of Things (IoT) middleware for event monitoring.

Short Bio:
Dr Dhaval Thakker is a Lecturer in the School of Electrical Engineering and Computer Science, University of Bradford. He has over ten years of experience in the European Union(EU) and industrial projects delivering innovative solutions. Prior to joining Bradford, Dr Dhaval Thakker worked as a Research Fellow at the University of Leeds from 2011 to 2015 and was leading semantic web related research in several EU projects like the EU FP7 NeTTUN, ImREAL and DICODE. Before Leeds, Dhaval worked in the industry with UK's national news agency (Press Association) as a Research & Development Consultant to provide strategic and technical leadership in implementing Semantic Web and Linked data related projects to improve access to their media repositories.

Principles of Agile Software Development Methodology Anthony Shaughnessy, Software Architect at RentalCars.com, 04 May 2016

Date: 04 May 2016 Time: 13:00
Location: Horton D0.26
Speaker: Anthony Shaughnessy, Software Architect at RentalCars.com

Abstract:
Agile development methods are now accepted and commonplace in the
mainstream of commercial software development. Many organisations have
switched to agile methods successfully but a frustrating number are still
reluctant or make a half-hearted switch with limited or no success. This
lecture will introduce the basic framework of agile software development,
contrasted with the older style of waterfall development, but also discuss
common failure modes and how these can be addressed. In particular we will
look at the organisational challenges as well as how to adapt the project
delivery process to different types and scales of project. We'll briefly
touch on tool support and the move towards dev-ops and continuous
delivery.

Bio:
Anthony Shaughnessy has specialised in agile development methods for the
last 14 years of his 27 year career as developer, architect, project
manager, head of development and consultant. He has led projects to
deliver new systems for Vodafone Group, Allianz Insurance, William Hill,
RentalCars.com, and Arcadia Group among many others. He was one of the
co-authors of his consulting employer's agile development framework and
advises on the adoption of agile methods for clients such as Yorkshire
Building Society and Capital One Bank.

Designing and Performance Evaluating Satellite Network Layer Protocols Dr Xuzhe Feng, National University of Defense and Technology, Changsha City, China, 27 April 2016

Date: 27 April 2016 Time: 13:00
Location: D0.26 Horton Building
Speaker: Dr Xuzhe Feng, National University of Defense and Technology, Changsha City, China

ABSTRACT

A satellite network refers to the data communication network across satellites or between satellites and ground stations, which is different from a terrestrial network. A satellite network works in an unfavourable and changeable space environment, showing the characteristics of being topologically complex and dynamic, therefore it is difficult to maintain a stable connection between different network nodes. The method of how to design efficient and reliable data transmission protocols based on a satellite network has become the bottleneck problem of satellite network data transmission. In this talk, we will focus on the satellite network based on Inter-Satellite Links.

BIO

Feng Xuzhe is an Associate Professor at National University of Defense Technology, China. He received the Ph.D. degree in Measuring and Testing Technologies and Instruments from National University of Defense Technology in 2008. He has been an academic visitor in University of Bradford since October,2015. His research focuses on space instruments, designing and performance evaluating satellite network layer protocols.

Large Deviation Theory and Applications in Communication Outages and Resource Allocation Dr Taufiq Asyhari, Department of Computer Science, University of Bradford, 20 April 2016

Date: 20 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr Taufiq Asyhari, Department of Computer Science, University of Bradford

Abstract:
Analytical performance evaluation is often challenging for systems experiencing random fluctuations where the probability distribution cannot be precisely obtained. In this talk, we will review Large Deviation Principle (LDP) as a generic tool to characterize the (asymptotic) limiting behavior of certain probability distribution in terms of a rate function. The LDP is then applied to characterize the asymptotic behavior of communication outages where both the channel and channel state information are randomly varying with time. We will demonstrate how the LDP allows analytical characterization of asymptotic performance metrics, which reveals a number of new design criteria for communication systems.

Bio:
Dr Taufiq Asyhari has been a Lecturer in Computing at the University of Bradford since February 2014. He is a Member of IEEE and holds a PhD in Engineering (Information Engineering) from the University of Cambridge, UK. His research interests are in the areas of information theory, communication theory, coding theory, queueing theory and signal processing techniques with applications in wireless and nano-molecular networks.

Autonomous Self Drive Vehicles — The Opportunities for Engineering and Informatics at Bradford Dr. John Baruch, 13 April 2016

Date: 13 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr. John Baruch

SUMMARY

At the seminar the case will be made for self-driving vehicles as the next big technology breakthrough that will change the world even more than smart phones. The reasons why the big sponsors Google, Apple and Microsoft are pushing them will be discussed and the question asked whether it is just the value of the time of people with money that is driving the project. Google, Apple, Microsoft and others see car drivers as an immense untapped market. George Osborne in his recent budget said that he wanted the UK to be a world leader in self driving vehicles.
The basic software systems are well known, there are issues of responsibility under the law and software validation which are the last hurdles. The University of Bradford is very well placed to house a centre for self –driving vehicles. We already have the Automotive Research Centre and 20 years of experience of operating the first autonomous robot working 3000km from its base. We organised the first public discussion on Driverless vehicles at the British Science Festival in 2015 and worked with the initiatives at Heathrow, Milton Keynes, Bristol and Greenwich to use self-driving vehicles in urban environments. The law department has a section specialising in autonomous systems and we have an active psychology department.
Dr Baruch will discuss the problems and opportunities for those who might wish to join an autonomous vehicles software validation research centre focussed initially on how such software can be validated, what systems are required to ensure it can work effectively and what would be required to set up an international test centre for such software and their systems.

PROFESSIONAL CV

John Baruch received the BSc, and PhD degrees from the University of London in 1965 and 1973 respectively. He worked as a research fellow in the Department of Physics at the University of Leeds from 1965 to 1990 and then at the University of Bradford until 1997 in the Departments of Electrical and Electronic Engineering and Industrial Technology. He was then made Head of the new Department of Cybernetics a post which he held until 2006. He is now a Senior Lecturer in the School of Informatics. His areas of interest have been based in astrophysics and astronomy instrumentation including robotics, artificial intelligence and data mining. His interests extended to Knowledge Transfer and he has worked over many years with local companies in knowledge transfer programmes. He generated the first of the UK research councils’ knowledge transfer programmes in astronomy and has run over 20 such programmes. His interests have extended to education and e-learning and he runs the only freely available autonomous robot on the web dedicated to e-learning. He has argued that Astronomy has a unique place in the new world of the Knowledge Economy since it is the only practical science that can be delivered over the web to educate both teachers and learners in the philosophy and methods of practical science regarded as the key to developing the skills of innovation and creativity at the heart of the Knowledge Economy. He will be delivering a keynote address to the All China Conference on Education for the Knowledge Economy in Nanjing May 2016. He has published over 100 research papers in these and associated fields.

Data Mining BBC News Dr Ian Knopke, Data Scientist, BBC News Audience and Engagement / News Labs / BBC Monitoring, 08 April 2016

Date: 08 April 2016 Time: 14:00
Location: Richmond JS Bell Lecture Theatre
Speaker: Dr Ian Knopke, Data Scientist, BBC News Audience and Engagement / News Labs / BBC Monitoring

Abstract:
The nature of journalism is changing. As with many aspects of media, the traditional print models that were earlier moved on to the web are proving insufficient, and new modes of audience interaction are becoming prevalent. I'll be discussing some recent work towards understanding the relationships between the BBC and the News audience, as well as some work we have towards developing newer models. Most of this work is based on data mining work on a year's worth of News story and audience data, as well as previous work on News recommendation systems.

Bio:
Dr. Ian Knopke is a data scientist with BBC. He has worked extensively on software engineering, metadata, personalisation, audience measurement and machine learning problems across most areas of the BBC, and has written recommendation systems for iPlayer, Radio and BBC News. He is currently part of the audience engagement team in BBC News, and is also working with BBC Monitoring on content analysis, topic assignment and named entity extraction problems. Ian holds a Ph.D. in Media and Computing Science from McGill University (Montreal) and has worked in research labs in Canada, the United States, and the United Kingdom.

Connected Health: A revolution in healthcare? Dr John Ainsworth, Senior Lecturer & Deputy Director, Centre for Health Informatics & Health eResearch Centre (HeRC), University of Manchester, 06 April 2016

Date: 06 April 2016 Time: 13:00
Location: Horton D0.26
Speaker: Dr John Ainsworth, Senior Lecturer & Deputy Director, Centre for Health Informatics & Health eResearch Centre (HeRC), University of Manchester

Abstract: The advent of pervasive connectivity and ubiquitous computing in modern telecommunications networks and devices introduces a new source of data to healthcare. This data is generated by the individual, is about the individual and their interaction with their environment. This is potentially revolutionary for healthcare, as it will provide for the first time high-resolution longitudinal data about an individual and their health. This truly will be a new age of high resolution healthcare. However, despite the promise, the revolution is yet to arrive. This talk will examine where we are now, where we could potentially be, the technology that will drive this development and the barriers that stand in the way.

Bio:
Dr John Ainsworth is a Senior Lecturer at the University of Manchester where he is also Deputy Director of the Centre for Health Informatics. He is the Deputy Director of the Farr Institute @ HeRC, and chairs the Farr Institute eInfrastructure working group. He is involved in numerous research projects, but with one common aim – how can we use computing and information technology to improve the health of the population. His current research focuses on the mobile health technologies and the use of routinely captured healthcare data for research.
MRC Health eResearch Centre
http://The Farr Institute of Health Informatics Research

Models in Engineering Design Professor Claudia Eckert, Faculty of Mathematics, Computing and Technology, The Open University, 09 March 2016

Date: 09 March 2016 Time: 13:00
Location: Horton D0.26
Speaker: Professor Claudia Eckert, Faculty of Mathematics, Computing and Technology, The Open University

Abstract:
Engineers interact with their products and processes largely through models, however rarely reflect about the nature of these models and how technical possibilities and actions are affected by the properties and characteristics of the models. Models in engineering describe the product and process, but also at the same time shape and create them. This talk reflects on what we can learn from the research in the philosophy of science community on modelling, but also analyses the differences between scientific models and engineering models.

Short Bio:

Professor Claudia Eckert is a Professor of Design at the Open University. Her research interests lie in process modelling. She is interested in design as a professional practise in different domains. She has studied design processes of complex incremental products in industry through interviews and observations to identify problems to address them through tools, methods and the development of design theory. This brought her in touch with a broad range of topics from process management, processes planning, collaboration, sustainability and energy. The main focus of research has been engineering design, fashion design and in recent years also construction, which has led to a long standing interest in comparisons between design domains.

Professor Eckert is a co-chair of the Design Society’s "Modelling and Managing Engineering Processes" Special Interest Group and a member of the Advisory Board of the Design Society. She is an area editor of the Springer Research in Engineering Design.

See for more details http://www9.open.ac.uk/mct-ei/people/claudia.eckert

Big Data Science and Technology to enable Smart Businesses Prof Rami Qahwaji, Dr Yonghong Peng, Prof Daniel Neagu, IET and SEECS, University of Bradford, 08 March 2016

Date: 08 March 2016 Time: 18:00
Location: Horton D0.26
Speaker: Prof Rami Qahwaji, Dr Yonghong Peng, Prof Daniel Neagu, IET and SEECS, University of Bradford

We are currently living in the era of big data. Extracting meaningful information and knowledge from the large amount of increasingly available data to gain insight and guide strategic planning is becoming critical to ensure the success of businesses.
This event is intended for SME representatives, academics, young professionals, students, and all parties interested in using big data to improve current business practices, create new ideas and business opportunities. The activities of this event include:
(1) introduction to Big Data Science and Technology and recent research and trends
(2) interactive session discussing big data for smart businesses
(3) networking.

Speakers:
Professor Rami Qahwaji
Dr Yonghong Peng
Professor Daniel Neagu

This is a research event organised jointly by the UK - Yorkshire IET local network and the University of Bradford

IEEE Student/Researcher Event - University of Bradford Kristen MacCartney and Paul Henriques, Institute of Electrical and Electronics Engineers, 23 February 2016

Date: 23 February 2016 Time: 09:00
Location: Chesham Building Room B1.31
Speaker: Kristen MacCartney and Paul Henriques, Institute of Electrical and Electronics Engineers

Join the IEEE and the University of Bradford as they host a unique event for Engineering, Computing and Technology Students, PostGrads and Researchers at the University.

IEEE's University Partnership Program Manager - Kristen MacCartney and IEEE's Client Services Manager - Paul Henriques will provide attendees an insight into how IEEE can help students whilst in education and beyond into their professional career.

The event will provide an insight into how attendees make the transition from student to young professional. It will discuss how attendees can use IEEE information and opportunities to understand market trends, employment demands, build powerful networks and distinguish yourself in an academic, industry or government career.

The event will also cover IEEE support for students including awards, scholarships, opportunities, networking opportunities, jobs, skills development, how to get the most from IEEE and much more.

Find out how you could win prizes of between $2,500 and $10,000 from the IEEE!!!

PLUS: Tea/coffee and breakfast will also be provided.

Both the IEEE and the University of Bradford would be delighted if you could join us for this practical session.

Register now - seats are limited!

Event Details:
Date: Tuesday, 23rd February 2016
Time: 9am to 11am
Room: Room B1.31 (note the room has been changed)
Building: Chesham Building, Faculty of Engineering & Informatics

Book a place here

From Research to Standardisation of ICT Dr Hermann Brand, Vice-President New Initiatives and Market Development, European Telecommunications Standards Institute, Sophia Antipolis, 08 February 2016

Date: 08 February 2016 Time: 15:00
Location: Richmond E59
Speaker: Dr Hermann Brand, Vice-President New Initiatives and Market Development, European Telecommunications Standards Institute, Sophia Antipolis

European Telecommunications Standards Institute (ETSI) produces globally-applicable standards for Information and Communications Technologies (ICT), including fixed, mobile, radio, converged, aeronautical, broadcast and internet technologies and is officially recognized by the European Union as a European Standards Organization. ETSI is an independent, not-for-profit association whose more than 700 member companies and organizations, drawn from 63 countries across 5 continents worldwide, determine its work programme and participate directly in its work.

The science behind data visualisation Jacqui Taylor, FlyingBinary, 16 December 2015

Date: 16 December 2015 Time: 12:00
Location: Digital Catapult Centre Yorkshire, University of Bradford
Speaker: Jacqui Taylor, FlyingBinary

DigiCatYorks welcomes co-founder of FlyingBinary and author of Mapping the Future Jacqui Taylor for a special event around data journalism and data visualisation.
In this session Jacqui will talk about data journalism and the science behind data visualisation, illustrating the uses of data using examples such as the classified data leaks by Edward Snowden in 2013.
With the release of a new data journalism book to a global audience of 34 million citizens and 3,000 data journalists, Jacqui will tell her data story from the beginning and share some of the projects her web science company have delivered, and the impact these have had across organisations, nations and globally.
Biography: Jacqui has 25 years’ experience of deploying technology change across the world. After implementing a banking regulatory change programme with Web 3.0 tools she co-founded FlyingBinary a web science company which changes the world with data.
An appointment as an Independent Ministerial Advisor in Cabinet Office as an Open Data domain expert recognised her as a web scientist of influence in the era of Big Data and the Internet of Things (IoT). An inclusion as a data innovator for a number of the smart city initiatives signals the next steps as her company which was recognised in 2014 with an IoT international trailblazer award.
Jacqui collaborated with data journalism thought leaders to produce her first book “Mapping the Future “which signals the changes for the industry. Published in November by the Digital Enlightenment Forum Jacqui has contributed a chapter to the 2014 Yearbook relating her vision for the web and the role Open Data will play in the making of Open Policy. She is a member of the member of the British Standards Institute team working towards ISO eStandards for Smart Cities.
We are anticipating a high volume of interest, so please book your place using the Eventbrite link to avoid disappointment. Click here to book a place

For news and updates, please follow the centre on Twitter @DigiCatYorks and use the hashtag #DigiCatYorks.

Should you have any questions, please contact info@DHEZ.org

Horizon 2020 and EEN's services Andy Taylor, Enterprise Europe Network (EEN), 03 December 2015

Date: 03 December 2015 Time: 12:00
Location: re:centre, University of Bradford: Click here to book a place
Speaker: Andy Taylor, Enterprise Europe Network (EEN)

Summary:

DigiCatYorks welcomes Andy Taylor from the Enterprise Europe Network (EEN) to talk about Horizon 2020 and EEN’s free services:
· Information service
· Brokerage service
· Horizon 2020 services

Andy will show some examples of EEN’s commercial/technology/H2020 opportunities from their database and spend some time specifically looking at digital opportunities to suit the audience.

There will be opportunities for 1:1’s, live database searches and discussions around H2020 project ideas with Andy following the presentation. The event is suitable for SMEs and academics; a light lunch will be served.

Click here to book a place

About EEN:
EEN is a European Commission Network with coverage in over 54 countries across the world. Their FREE services include the following:
Commercial opportunities – to help you find agents, distributors, manufacturing partners and more for commercial partnerships in new markets
Technology opportunities – to help you find partners to license your technology, further develop your products or help find new technologies that might be of interest.
Information service – questions answered regarding any aspect of doing business in Europe. This could be regulations particular to your sector, labelling of products, import/export regulations, employment legislation and more.
Collaborative R&D – support in finding the right funding scheme. Awareness raising for Horizon 2020 projects that are forming or find partners for your own project. Evaluation of your project ideas and match them to calls. Assess your proposals for quality prior to submission.
Brokerage Events – EEN run matchmaking events alongside large conferences and exhibitions as well as missions and other events.
http://een.ec.europa.eu/tools/services/EVE/Event/ListEvents

EEN can develop a profile for their pro-active database that is specific to your needs and will attract interest from around the world.

State-Based Testing for Cloud Services Dr. Raluca Lefticaru, University of Bradford, 02 December 2015

Date: 02 December 2015 Time: 13:00
Location: D0.26 Horton D
Speaker: Dr. Raluca Lefticaru, University of Bradford

ABSTRACT

This talk describes how state machine models can be used for testing cloud services and presents a tool developed for the EU FP7 Broker@Cloud project, to support the continuous quality assurance objective.
1. Introduction: why state models?
2. Theoretical background
3. Tool presentation
a. Validation component
b. Verification component
c. Test generation module
d. Test grounding module
4. Conclusions and future work

CV

Dr Raluca Lefticaru received her MSc and PhD in Computer Science from the University of Pitesti, Romania. After some years in the automotive industry, she moved to academia, initially as teaching assistant at the University of Pitesti and later as lecturer with the University of Bucharest. In 2014 she moved to the University of Sheffield, as research associate in Broker@Cloud project and in 2015 she was appointed by the University of Bradford in the COSMOS project.
Her main research interests are in model based testing, especially state-machine based testing using evolutionary approaches, membrane computing, verification and testing of P systems. She published 10 journal papers and more than 20 articles in workshops and peer-reviewed conferences.

On the Edge with the Internet of Things Martin Beeby, Developer Evangelist, Microsoft, 27 November 2015

Date: 27 November 2015 Time: 15:00
Location: Horton D01.27
Speaker: Martin Beeby, Developer Evangelist, Microsoft

Abstract:

In September I built a beautifully ridiculous machine with a group of friends called "Edge Case". It's an Arcade machine size object that can tell you if your website is compatible with Microsoft Edge. During the process I learnt a lot about LCD's, Smoke Machines, Breadboards, 56k Dial Up modems, Linux, Windows 10, Raspberry PIs and Arduinos and I'd like to share my findings.

In this demo heavy session I will dissect a scaled down replica of the original machine built on the Windows 10 Universal App platform and running on Windows 10 IOT. We will look at how the app was built on a Raspberry PI 2, how to communicate with Arduinos and how we can take advantage of AllJoyn to allow devices to communicate.

At the end you should have a good understanding of how to build IOT devices and why it might be more relevant to your career than you might think.

Bio:

Martin Beeby works for Microsoft where he talks to developers about HTML5, Windows 10 and the web. Martin has been developing since he was 16 and over the past 16 years has worked on projects with many Major brands.
Martin has written articles for, and been featured in, .NET Magazine, ZDNet, the Microsoft Developer Network, Ubelly.com and Windows Magazine.

Model learning and test generation using cover automata Professor Florentin Ipate, University of Bucharest, 11 November 2015

Date: 11 November 2015 Time: 13:00
Location: Horton D0.26
Speaker: Professor Florentin Ipate, University of Bucharest

ABSTRACT

TESTING is a major part of system development and has a great impact on the quality of the delivered product. MODEL-BASED TEST GENERATION involves the use of a system model for selecting test data and offers the potential for automation. In this talk, we propose an approach which, given a state-transition model of a system, constructs, in parallel, an approximate automaton model and a test suite for the system.
The approximate model construction relies on a variant of Angluin's AUTOMATA LEARNING algorithm, adapted to finite cover automata.
A FINITE COVER AUTOMATON represents an approximation of the system which only considers sequences of length up to an established upper bound b. Crucially, the size of the cover automaton, which normally depends on b, can be significantly lower than the size of the exact automaton model.
Thus, controlling b, the STATE EXPLOSION PROBLEM normally associated with constructing and checking state based models can be mitigated.
The proposed approach also allows for a gradual construction of the model and of the associated test suite, with complexity and time savings.
Moreover, we provide automation of counterexample search, by a combination of black-box and random testing, and metrics to evaluate the quality of the produced results.
The approach is presented and implemented in the context of the Event-B modeling language, but its underlying ideas and principles are much more general and can be applied to any system whose behavior can be suitably described by a state-transition model.

CV

Florentin Ipate received his bachelor degree in computer science from the "Politehnica" University of Bucharest. He received his MSc (in Software Systems Technology, with distinction) and his PhD (with a thesis nominated for the Distinguished Disertation Award in UK) from the University of Sheffield. Since 2002 he is Professor of Computer Science (at Pitesti University 2002-2012) and since 2012 at the University of Bucharest. His main research interests are in model based testing, agent based modelling, membrane computing, verification and testing of membrane systems. He published over 100 papers in prestigious journals and conferences and a research monograph with Springer. He has been the (local) principal investigator of several RTD projects, at UE and national level.

Understanding and managing complex systems using advanced simulation Professor Mike Holcombe, Advanced Computing Research Centre, University of Sheffield, 21 October 2015

Date: 21 October 2015 Time: 13:00
Location: Horton D0.26
Speaker: Professor Mike Holcombe, Advanced Computing Research Centre, University of Sheffield

ABSTRACT

We describe how agent-based modelling can be used for research and the practical management of complex systems.

Examples include:

1. basic science of molecular, cellular and ecological systems
2. policy-making in macroeconomics
3. managing people in transport hubs and hospitals

The talk will include many examples in scientific research as well as commercial applications.

CV

Prof Mike Holcombe has developed research on Software Testing, agile software development and empirical software engineering, as well as simulation, computational biology and computational economics. Mike took a lead in the introduction of Agile Software development. His book on this topic is based on extensive industrial projects. He introduced the unique student software company, Genesys and founded the commercial University company epiGenesys that supports the unique teaching of practical software engineering.

Mike set up the world leading simulation framework FLAME which is used in modelling complex system. During his time at the University Mike has engaged in research collaborations in all of the University’s faculties.

From (unconventional) computational models to applications Prof. Marian Gheorghe, 01 July 2015

Date: 01 July 2015 Time: 13:15
Location: ALL DETAILS (DATE, TIME, VENUE) TO BE CONFIRMED
Speaker: Prof. Marian Gheorghe

ABSTRACT

In this talk it is presented a coherent research journey starting with the theoretical basis of some classical and unconventional computational models and finishing with software engineering applications. The focus will be on models like automata, rewriting systems and membrane computing. Some of the most challenging formal properties and latest research developments will be discussed and several applications, involving formal specification and verification of complex systems, will be presented. A case study in synthetic biology will illustrate the approach. The style of the presentation will be quite general, targeting a broad audience in computer science and aiming to open research avenues for collaborations and cross-fertilisation discussions and investigations.

BIO

Professor Marian Gheorghe got a BSc and a PhD in Mathematics and Computer Science from the University of Bucharest, Romania. After some years in industry he moved to academia, initially as a lecturer with the University of Bucharest and then, after a short spell with the University of Pitesti, Romania, he moved to the University of Sheffield, in 2000, as a lecturer. He was promoted up to a readership position and became head of the Verification and Testing Group. He recently joined the University of Bradford as a Professor of computational models and software engineering. He has taught a large variety of topics, including formal methods, discrete mathematics, formal grammars and automata, software engineering group projects, systems analysis and design, programming languages (Haskel and Java) etc. He was working in Sheffield, together with other colleagues, in building one of the most popular modules, called Genesys, highly praised by students and acknowledged by employers as a unique real-life experience provided by the University to their Computer Science graduates. His research is rooted in core computer science, more precisely, he is studying various classes of computational models - automata, formal grammars, multiset rewriting systems, Petri nets, process algebra -, their formal properties and connections with other computational models. His research includes also significant applications of these modelling approaches in software engineering, formal verification and testing, simulations, systems and synthetic biology and others. Professor Gheorghe is equally interested in developing the core part of his research in theoretical computer science as well as in collaborating broadly across the whole spectrum of applications of computational models.

What is Enterprise Architecture? Dr. Simon Smith, Chief Technology Officer for MooD International, BCS West Yorkshire Branch, 16 June 2015

Date: 16 June 2015 Time: 18:00
Location: Horton D0.26
Speaker: Dr. Simon Smith, Chief Technology Officer for MooD International, BCS West Yorkshire Branch

This is a joined event organised by BCS West Yorkshire Branch, University of Bradford BCS Student Chapter and Department of Computing.

Abstract:
What is Enterprise Architecture? Depending on who you ask the question and the context in which it is asked, you will find several different opinions emerging. Our speaker will cover the trends and status in enterprise architecture, give a brief consideration to the underling theories and frameworks, spend longer on whether these actually work in practice, and will look at some real examples of Enterprise Architecture in terms of contribution to improving business outcomes.

This last topic, in particular, of business outcomes, leads to the consideration of the importance of e.g. Portfolio Management, Cyber-Security, Systems Engineering and Business Change Management roles, and the question of whether ‘Enterprise Architect’ is, or should be, a distinct role in its own right amongst all those other roles that are involved in managing the impact of change across an enterprise.

Bio:
Simon has around twenty-five years’ experience in the IT industry in academic and industrial research and consultancy, currently as Chief Technology Officer for MooD International where he advises customers and partners on the application of MooD’s technologies to their methods, and is responsible for R&D and MooD’s strategic product roadmap.

He joined Salamander, an architecture consultancy, in 1998, as a consultant with responsibility for industry methods for business performance improvement across commercial, defence and aerospace sectors. He has a strong background in systems methods research and development, software and solutions development. He combines consultative engagement ways of working with in-depth experience in architecture and systems engineering gained in commercial systems integrators, major banks and energy companies, as well as MOD organisations and suppliers in the defence and national security sectors.

Prior to joining Salamander, Simon was a Lecturer in Software Engineering at the University of Durham, where he managed research in evolutionary software architectures, business requirements and knowledge management funded by EPSRC, BT, ICI and BAE. Further back, Simon worked for four years with Logica (now CGI) at the University of York on a business to IT specification methodology, ORCA, used principally for determining business system requirements, and worked in the High Integrity Systems Engineering research group at York on the use of formal logics in requirements engineering.

Simon holds a DPhil in Software Engineering and an MSc in Information Processing from the University of York, and an MA in English Literature from the University of Glasgow. He is a Chartered IT Professional and a Fellow of the British Computer Society.

Some applications of fuzzy techniques in medical data processing Professor Martin Tabakov, Wroclaw University of Technology, 11 June 2015

Date: 11 June 2015 Time: 14:15
Location: Horton D0.02
Speaker: Professor Martin Tabakov, Wroclaw University of Technology

Biography:

Martin Tabakov is currently an assistant professor with the Computational Intelligence Department at the Wroclaw University of Technology (Poland) as well as founder and current CTO of IResTech (Innovative Research Technologies), a company commercializing IT solutions in medicine. His research activity is mainly in the areas of fuzzy sets, fuzzy reasoning, image analysis and biomedical informatics. He received his PhD degree in Technical Sciences in the field of image processing and analysis from Wroclaw University of Technology in 2004.


Abstract

The presentation will consist of three parts:

1. ‘Recognition of HER-2/neu Breast Cancer Cell Membranes with Fuzzy Rough Sets’

The human epidermal growth factor receptor 2 (HER-2/neu) is a biomarker, recognized as a valuable prognostic and predictive factor for breast cancer. It is very important issue in modern breast cancer diagnosis, to introduce correct identification of the HER-2/neu positive breast cancer patients. This can be done by accurate recognition of HER-2/neu cancer cell membranes that are visualized as ‘HER-2/neu overexpressed’ on images acquired from corresponding histopathology preparations. In order to segment this structures, a new approach which uses appropriately defined fuzzy set approximations, with respect to corresponding image features will be discussed.

2. ‘Decision Support System for Histopathological Diagnosis of HER2 Breast Cancer using Pawlak’s Information System and Mamadani Type Fuzzy Control’

In this part, the specification of a histopathology decision making support system, based on Pawlak's information system concept and Mamdani type fuzzy control, will be discussed. The proposed procedure was applied as a recognition process of HER-2/neu histopathology preparations through microscopy image information analysis. The Pawlak’s information system methodology was applied in order to generate decision rules under the considered problem. The so generated rules can be easily transformed into fuzzy rules and exploited in the Mamdani inference model.

3. ‘Proposition of Electromyographic Signal Interpretation in the Rehabilitation Process of Patients with Spinal Cord Injuries’

Surface electromyography (sEMG) is one of the examinations within the protocol of neuro-rehabilitation processes, that allow the assessment of possible patient progress with respect to conductivity of neurons and skeletal muscle functionality. The interpretation of sEMG signal is one of the critical issues that should be considered in order to diagnose patients with severe spinal cord injuries. Currently, it is very hard to relate values gathered from sEMG to existing reference scale of patient rehabilitation progress. What more, the interpretation of the signal data is very subjective and it is also strongly related to current physical disposition of the patient. Therefore, the objective of the proposed research, was to introduce a mathematical approach which determines the patient's physical condition, based on sEMG data. To achieve this goal, the application of a properly defined fuzzy Sugeno integral will be discussed. The proposed aggregation operator allows to combine both: subjective expert knowledge and signal data.

25 million to 1: hunting for patterns in asynchronous pipelines Graham Birtwistle, Computer Science, University of Sheffield, 28 May 2015

Date: 28 May 2015 Time: 13:15
Location: Horton D0.23
Speaker: Graham Birtwistle, Computer Science, University of Sheffield

Abstract:
We give an overview of research conducted with Ken Stevens of Utah on a practical problem in asynchronous hardware: specifying and implementing asynchronous datapaths which are at the heart of microprocessor and filter designs (eg FFT). The focus of the talk is the interplay amongst the mathematics, the experiments, and the engineering aspects.

The mathematics led to a method for specifying a complete family of related designs and a neat notation for its associated design space. Engineering knowhow kept the mathematics grounded: and enabled the generation of novel pipeline components directly from their specifications and improvements to a largish published design. Insights from experiments over the whole design space led to a uniform notation which captures all linear and parallel pipeline behaviours; a calculus whose one line signature captures 25 million cases; and uncovered surprisingly good system properties for parallel pipelines. The approach is quite general and may be applied to other state machine models.

Bio:
Graham Birtwistle has worked at The Norwegian Computing Center as an underling on the IBM Simula Compiler. At Bradford on simulation language design (Demos 1979). At Calgary on clocked hardware specification in HOL, the re-implementation of HOL, and the modelling and specification of asynchronous systems in CCS. And Leeds on the semantics of OO simulation languages. Since retiring in the palindromic 2002, he has spent his efforts on modelling asynchronous hardware. Ever the man to catch the tidal wave of research, his chief claim to fame lies in being the first (?) man to give up object oriented programming (1984).

Induction for PG Research Students Speakers to be Confirmed, University of Bradford, 01 May 2015

Date: 01 May 2015 Time: 13:00
Location: To be confirmed
Speaker: Speakers to be Confirmed, University of Bradford

University induction for PG research students will take place on the following dates:

6th May 2015
5th August 2015

Additionally the Faculty of Engineering and Informatics induction for PG research students is scheduled to take place on the following dates:

1st Wednesday, August
1st Wednesday, November

An Introduction to Quantum Optical Interferometry Christopher Gerry, Lehman College, The City University of New York, 30 April 2015

Date: 30 April 2015 Time: 13:15
Location: D0.23, Horton D (THURSDAY, 30th April in D0.23)
Speaker: Christopher Gerry, Lehman College, The City University of New York

BIO:

BA in Physics University of Maine 1972
MS in Physics University of Maine 1974
Ph.D. in Physics, State University of New York at Albany, 1979
Work is currently in the area of quantum optics and quantum metrology
170+ papers published, three books

ABSTRACT:

I will give an elementary discussion of optical interferometry from the point of view of the quantum mechanical picture of light as consisting of photon. I will start with the classical picture of light but quickly jump to the quantum picture to describe interferometry at the level of a single photon. The quest for increased sensitivity with highly non-classical states of light needed for the detection of weak disturbances, such as are expected from gravitational waves for astrophysical sources, will be discussed at an accessible level. I will also address the seemingly innocent question: Do photons really interfere?

Cyber Maturity Assessment Saif Qazizada, Security Advisor, KPMG LLP (Risk Consulting) London, 29 April 2015

Date: 29 April 2015 Time: 14:15
Location: Horton D0.23
Speaker: Saif Qazizada, Security Advisor, KPMG LLP (Risk Consulting) London

Abstract:
The KPMG cyber maturity assessment is a unique offering that incorporates our insight into global best practice from the public and private sectors and drives business transformation based upon appropriate use of information assets.
The CMA is flexible and allows us to tailor each engagement to the specific requirements of the client. In addition, there are further modules that provide in depth detail of the client’s technical protective capabilities and their culture and approach to security.
The CMA addresses six key dimensions that together provide a comprehensive and in-depth view of an organisation’s cyber maturity.

Bio:
Saif is a Security Generalist with over 6 years experience within Information Security, including work on Public Sector, Private Sector, and Financial Services.
Saif specialises in Information Security Management Systems (ISMS), Information Risk Management, Information Security Strategy, Assurance, Governance, Risk and Compliance (GRC), and Security Awareness.

I'm the best programmer ever, why can't I get a job? Ian Sharp, Director, Khemeia Consulting Ltd, 15 April 2015

Date: 15 April 2015 Time: 13:15
Location: Horton D0.02
Speaker: Ian Sharp, Director, Khemeia Consulting Ltd

Abstract:

It's easy to believe that as you learn deep technical skills that they are the thing that will get you the great job in a great company or will enable you to start your own company which will do groundbreaking technical work and change the world...

The surprising truth for many engineers, programmers and scientists is that the technical skills they have gained at University are only the starting point to having a successful career. The key skills, assuming you
are technically competent are rarely taught, they are rarely talked about, they are cloaked in management speak but yet they are crucial to YOUR success.

In this short talk I'll cover the need for effective communication and how it is the foundation of planning and executing a successful project, how you might be called upon to explain your thinking and how to go about
structuring that process.

Bio:

Ian Sharp BEng. is an Electronics Engineer with 24 years experience of designing products for high volume manufacture. Whilst spending 13 years in an electronics design company designing products for international
markets he rose through the company from a graduate design engineer, project manager, commercial manager to Commercial Director. In 2005 he joined Pace, the worlds largest Set Top Box company as their President EMEA/APAC and ran a 160 person engineering team which generated £200m in revenues selling Pace's bespoke products to the tier 1 broadcasters (like Sky, Virgin and many others). In 2007 he left to start his own company, Khemeia Consulting which is a small business management consultancy which
provides a wrap around service for entrepreneurs and specialises in taking technology products and services to market. Khemeia works with inventors through to large companies on developing their innovative products. We work with a large pool of established and experienced design engineers (hardware and software) as well as product designers and if needed will manage not only the development but the introduction into the production environment in the most appropriate region for the product.

Structural behaviour of beam to concrete-filled elliptical steel tubular column connections Ms Jie Yang, 25 March 2015

Date: 25 March 2015 Time: 13:00
Location: Chesham B1.31
Speaker: Ms Jie Yang

Bio:
Jie is a 2nd year PhD student in Structural Engineering. She is working on the structural behaviour of beam to elliptical column connections under the supervision of Prof. Dennis Lam, Dr Xianghe Dai and Dr Therese Sheehan.

Abstract:
This talk will show some experimental results regarding the moment-rotation behaviour and failure modes of steel beam to elliptical hollow section connections with different joint types. Effect of in-filled concrete and stiffener plates will be discussed.

Big Data in Healthcare Dr Yonghong Peng, Faculty of Engineering and Informatics, 25 March 2015

Date: 25 March 2015 Time: 13:15
Location: Horton D0.02
Speaker: Dr Yonghong Peng, Faculty of Engineering and Informatics

Abstract:
In the era of big data, real world evidence and the associated actionable insight is becoming the main driving force for the innovation of healthcare. Big data is expecting to drive the improvement of patient safety and outcomes of treatments, to reduce costs of healthcare and increase the operational efficiency. This talk will firstly discuss the role of big data in healthcare focusing on the personalized medicine and healthcare, the framework of data-driven healthcare, and then addresses how big data analytics can help to gain insight from the integration of big data, a presentation of research findings on integrated big data analytics.

Bio:
Dr Yonghong Peng is a senior lecturer in computing, and programme leader for MSc Big Data Science and Technology (BDST). Dr Peng is the Chair for Big Data Task Force (BDTF) of IEEE Computational Intelligence Society (CIS), and member of Data Mining and Big Data Analytics Technical Committee of IEEE CIS. Dr Peng is also a member of Big Data Task Force of China Information Industry Association (CIIA). Dr Peng is an associate editor for IEEE Transactions on Big Data, a member of editorial board of International Journal of Big Data Intelligence, and an academic editor of PeerJ and PeerJ Computer Science.

SI Engines: Combustion, Emissions - Trends & Technology Development Mr Dave Richardson, Jaguar Land Rover, 18 March 2015

Date: 18 March 2015 Time: 12:00
Location: Chesham Building B.1.31
Speaker: Mr Dave Richardson, Jaguar Land Rover

Dave Richardson is a combustion specialist at Jaguar Land Rover Engine Research. In his role he oversees collaborative University research projects in combustions - both Gasoline and Diesel, single- and multi-cylinder.

Abstract

This talk will explore the challenge of evolution of emissions and fuel economy legislation and the trends in engine technology developments to address these challenges.

'Realistic motion for games, film and medical studies Karl Abson, 18 March 2015

Date: 18 March 2015 Time: 03:00
Location: D0.17 Horton
Speaker: Karl Abson

Mapping the future Jacqui Taylor, Founder, CEO of FlyingBinary, 18 March 2015

Date: 18 March 2015 Time: 13:15
Location: Horton D0.02
Speaker: Jacqui Taylor, Founder, CEO of FlyingBinary

Abstract:
In this session Jacqui will introduce the mega trends which will affect individuals, organisations and nations as
we move towards a future where 80% of the world’s population will be connected online. Never before in
human history have we ever witnessed a phenomenon like the world wide web.
This is an unprecedented opportunity for students from all disciplines but it will require some new skills to be
embraced, skills common for web scientists, but rarely found in other disciplines.
Jacqui will share some of the projects her web science company have delivered, and the impact these have
had across organisations, nations and globally. She will set the context for the changes the web will bring and
the impact it will have on all our careers. Whilst you may not wish to be become a web scientist you are likely
to work with or be impacted by them in your chosen career. An exciting future beckons for us all.

Bio:
Jacqui has 25 years experience of deploying technology change across the world. After implementing a
banking regulatory change programme with Web 3.0 tools she co-founded FlyingBinary a web science
company which changes the world with data.
An appointment as an Independent Ministerial Advisor in Cabinet Office as an Open Data domain expert
recognised her as a web scientist of influence in the era of Big Data and the Internet of Things (IoT) . An
inclusion as a data innovator for a number of the smart city initiatives signals the next steps as her company
which was recognised in 2014 with an IoT international trailblazer award.
Jacqui collaborated with datajournalism thought leaders to produce her first book “Mapping the Future”
which signals the changes for the industry. Published in November by the Digital Enlightenment Forum Jacqui
has contributed a chapter to the 2014 Yearbook relating her vision for the web and the role Open Data will
play in the making of Open Policy. She is a member of the member of the British Standards Institute team
working towards ISO eStandards for Smart Cities.
Jacqui trains Advanced Analysts on the Science of Data Visualisation is a regular speaker on Cloud Adoption,
Big Data, Smarter Analytics and Profiting from IoT.

Twitter @jacquitaylorfb

Impact Factors and Bibliometrics Anne Costigan, University of Bradford, 17 March 2015

Date: 17 March 2015 Time: 15:00
Location: Richmond, WB24
Speaker: Anne Costigan, University of Bradford

Bibliometrics is the science of measuring the impact of publications. It can be used to compare, authors, articles, journals and institutions. You will learn about how bibliometrics can help you to plan your publication strategy and allow you to track your own progress and demonstrate it to others. You will also learn about how organisations are using bibliometrics, including recruiters and research funders.

Bio:

Anne Costigan is Research Support Librarian and Subject Librarian for Pharmacy at the University of Bradford. She has been advising and teaching academics, researchers and students about the use and abuse of impact factors for many years.

Publishing with the IEEE Julia Stockdale, Content Online Ltd, 17 March 2015

Date: 17 March 2015 Time: 14:00
Location: Richmond, WB24
Speaker: Julia Stockdale, Content Online Ltd

This workshop, aimed at new and early career researchers in engineering, computing and technology related areas, will provide an overview of publishing with the IEEE - the world's largest professional associated for the advancement of technology. The workshop will cover:
• Overview of IEEE, technology areas and quality of content
• Activity of publishing by authors affiliated to the University
• Publishing choices with IEEE
• Audience
• Paper structure
• Ethics
• Where to publish - options
• Open Access options including University's policy and support
• Impact factor
• Preparing your manuscript, submission process, and peer review process
• Tools available to support publishing
• Tips on strengthening your paper/common pitfalls
• Key contacts and support

Bio:

Julia Stockdale, from Content Online Ltd, is the UK representative for the IEEE. Julia works closely with university libraries, engineering and computing departments and research services to provide access to IEEE's material, train and deliver workshops on a verity of aspects relating to the IEEE. Julia also works closely with University IEEE student branches and IEEE society branches in the UK, offering support, talks and assistance. In addition to IEEE, Julia also acts as the UK representative for SAE International (formerly Society of Automotive Engineers), ASTM International (formerly American Society of Testing and Materials), ASME (American Society for Mechanical Engineers) and SMPTE (Society for Motion Picture and Television Engineers).

Visual Computing Technologies Professor Rami Qahjwaji, School of Electrical Engineering and Computer Science, 11 March 2015

Date: 11 March 2015 Time: 13:15
Location: Horton D0.02
Speaker: Professor Rami Qahjwaji, School of Electrical Engineering and Computer Science

Abstract: Visual computing technologies deal with real-life data captured by a variety of sensors. The data could be complex, huge, multi-dimensional, multi-wave length, noisy, etc. Image/signal processing, machine learning and 3D modelling technologies work together to improve the quality of data and produce useful information and/or knowledge that can be used for variety of applications such as Big Data, Modelling, Prediction, Diagnostics, visualisation, etc.

Bio: Professor Rami Qahwaji FHEA CEng FIET is a Professor of Visual Computing at Bradford University (UK). His research interests include satellite imaging, medical imaging, data visualisation and applied data mining working with many medical and industrial collaborators. He has over 130 refereed publications, 20 completed PhD projects and his research was funded by major funding bodies in UK and Europe.

Behaviour of demountable shear connector in composite beams Mr Naveed Rehman, 11 March 2015

Date: 11 March 2015 Time: 12:30
Location: Chesham B1.31
Speaker: Mr Naveed Rehman

Bio:
Naveed is a PhD research student, working on demountable shear connectors under the supervision of Professor Dennis Lam, Dr Xianghe Dai and Dr Ashraf Ashour.

Abstract

The talk is about the behaviour of a demountable shear connector, including its ductility, stiffness and load bearing capacity determined through push-out tests, and how we can promote sustainability to allow the steel beam to be reused at the end of its structural design life.

Drôle dépoque: Bernard Stiegler and the hyperindustrial age Ben Roberts, University of Bradford, 04 March 2015

Date: 04 March 2015 Time: 17:00
Location: D0.17 Horton
Speaker: Ben Roberts, University of Bradford

Multi-Scale Wireless Communications: a New Frontier Dr Weisi Guo, School of Engineering’s Smart City research coordinator, University of Warwick, 04 March 2015

Date: 04 March 2015 Time: 13:15
Location: Horton D0.02
Speaker: Dr Weisi Guo, School of Engineering’s Smart City research coordinator, University of Warwick

Abstract:
Humanity has been reliant on wave-based wireless communications for several centuries. It has mainly severed us well in above the ground, open space, and relatively large-scale unbounded environments. However, our confidence in wave-based information transfer breaks down as we approach the micro-scale or smaller dimensions. As we move to the future, much of what we want to observe, to understand, and to act on is in the micro- and nano-scale. Examples include health monitoring in micro-cavities in complex machinery, and nano-robots performing targeted drug delivery. In order to realise the dream of wireless communications at this scale, alternative information carriers need to be found. Nature rarely uses low frequency electromagnetic waves to communicate, both at the microscopic and at the macroscopic level. One wonders why.
This talk examines the propagation advantages of molecular based information carriers and examines some of the early advances made in molecular communications by myself and others. In this talk, we address some fundamental questions: what is the capacity of a random walk channel, how can we equalize a diffusion channel, how do we encode messages onto chemical molecules, and how to we build a molecular communication test bed? This work has been extensively covered by the Economist, the Wall Street Journal, Wired, IET, and has received funding from the Royal Society. The idea was selected as a final entry into the prestigious Bell Labs Prize 2014.

Bio:
Dr Weisi Guo graduated from the University of Cambridge with MEng, MA, and PhD (2011) degrees. He is currently an assistant professor at the University of Warwick (UK) and the School of Engineering’s Smart City research coordinator. He has won IEEE best paper awards and published over 50 IEEE papers in the past few years in the area of 4G cellular networks, nano-communications, and mobile sensing. Weisi currently leads a team of 1 research fellow and 5 PhD students. As well as having worked in industry for 2 years, he has also served on the committee of flagship IEEE conferences, he is currently a guest editor for 2 IEEE journal special issues, and is an associate editor for a new IEEE transactions in 2015. The University of Warwick is consistently ranked top 10 in the UK, and was ranked 3rd worldwide in the under-50 years category, and is currently ranked 61st in global rankings (QS 2014). Weisi is part of a team that was recently awarded £4 million to operate a smart city research centre, and we are currently building smart city campuses in both Birmingham and London, as well as connecting to partner smart city centres in New York and Mumbai.

Time-Frequency Analysis and Fractional Fourier Transform Dr. Ci Lei, 25 February 2015

Date: 25 February 2015 Time: 13:15
Location: Horton D01.25
Speaker: Dr. Ci Lei

Abstract:

Time-Frequency analysis is a useful tool for studying the time and frequency properties of signals and data. Time-Frequency methods such as Wigner function have been used extensively in areas of quantum mechanics and signal processing. The talk will present applications of this technique to fast analysis and compression of the information in large-scale data analysis. A new and more general Wigner function representation (bi-fractional Wigner function) based on the Fractional Fourier Transform will also be presented in the talk. This bi-fractional Wigner function representation provides interpolations of different phase space quantities in quantum mechanics.

Bio:

Dr Ci Lei is currently a Lecturer in Computing at University of Bradford. Before joining Bradford, he worked as post-doctoral researcher in the Engineering Department at Lancaster University. He has a Ph.D in Computer Science from University of Bradford. His research interests focus on the areas of quantum computing, computational mathematics, large-scale data analysis and nano-electronics.

Visual Computing Technologies and Applications — Working with Big Industries (IET Lecture Series) Professor Rami Qahwaji, Dr Omar Ashamari and Dr MhD Saeed Sharif, University of Bradford, 19 February 2015

Date: 19 February 2015 Time: 18:00
Location: University of Bradford , Room: TBC
Speaker: Professor Rami Qahwaji, Dr Omar Ashamari and Dr MhD Saeed Sharif, University of Bradford

About this event:
Visual computing technologies deal with real-life data captured by variety of sensors. The data could be complex, huge, multi-dimensional, multi-wave length, noisy, etc. Image/signal processing, machine learning and 3D modelling technologies work together to improve the quality of data and produce useful information and/or knowledge that can be used for variety of applications such as Big Data, Modelling, Prediction, Diagnostics, visualisation, etc. In this talk we will introduce some of the technologies and applications we have developed in the field of visual computing in close collaboration with some industries such as the NHS and the European Space Agency (ESA).

Programme : 6PM: Refreshments, 6:30PM: Lecture
Additional information: Contact Prof Rami Qahwaji, Email R.S.R.Qahwaji@bradford.ac.uk
Registration information: Please register online at IET's website - https://localevents.theiet.org/681033
Organiser: The Institute of Engineering and Technology (IET) West Yorkshire Network and University of Bradford
For more info: http://www.theiet.org/events/local/214962.cfm

Mechatronics: Engineering for the 21st Century Professor Robert Parkin, Pro-Vice-Chancellor (Research and Knowledge Transfer), University of Bradford, 18 February 2015

Date: 18 February 2015 Time: 13:15
Location: Chesham B4.02
Speaker: Professor Robert Parkin, Pro-Vice-Chancellor (Research and Knowledge Transfer), University of Bradford

Abstract:
Mechatronics is a design philosophy integrating mechanics, electronics and embedded ICT to produce better products, processes and systems. It is, by nature, a translational research discipline and thus requires excellent team working. It has promoted significant price reductions and functionality enhancements with new business model paradigms, such as those evidenced in the automotive industry.

The lecture will cover some aspects of the pathway towards intelligent machines, presenting some projects in which I have been personally involved and some inspirational developments from around the world.

The presentation will then culminate with questions and an open forum discussion.

Bio:
Robert Parkin gained a BSc in Engineering Science from Leicester University and a PhD from Leicester Polytechnic (De Montfort University). He is a leading figure in the international field of Mechatronics and has published in excess of 400 journal and conference papers. In 31 years as a career academic he has graduated 45 PhD students.

He is a Chartered Engineer being a Fellow of the Institution of Mechanical Engineers, the Institution of Engineering & Technology and the Royal Society of Arts & Commerce. The majority of his research has involved industry partnerships and he has served as Managing Director of 3 spin-out companies, winning 2 DTI SMART awards and 2 HEIF Enterprise Fellowships. He has worked at De Montfort and Loughborough Universities served as a non- executive director of the MTC (www.the-mtc.org - opens in a new window) before joining Bradford.
Robert is an invited member of the Saxonian Academy of Sciences, Leipzig, Germany and a Visiting Professor of Chongqing UPT and Hohhot Forestry University PRC. He was a founder member of the UK Mechatronics Forum and led the Mechatronics Research Centre at Loughborough University before becoming Dean of the Wolfson School of Mechanical & Manufacturing Engineering in 2007.

During his leadership the School doubled its student applications and trebled its research portfolio. The School’s performance was instrumental in the University being awarded a Queen’s Anniversary Prize for High Value Manufacturing in 2013 and a QS World University 5 stars rating in 2014.
He is now the Pro-Vice-Chancellor for Research & Knowledge Transfer at the University of Bradford.

Health and Safety Lecture Ian Garwood, Faculty’s Health and Safety Officer , 12 February 2015

Date: 12 February 2015 Time: 15:00
Location: Chesham C1.03
Speaker: Ian Garwood, Faculty’s Health and Safety Officer

This is provided for all new and existing PGR students in the faculty.

Fuzzy Data Comparison Professor Daniel Neagu, School of Electrical Engineering and Computer Science, 28 January 2015

Date: 28 January 2015 Time: 13:15
Location: Horton D0.02
Speaker: Professor Daniel Neagu, School of Electrical Engineering and Computer Science

Abstract: Real-world data collections are often heterogeneous (represented by a set of mixed attributes data types: numerical, categorical and fuzzy); since most available similarity measures can only be applied to one type of data, it becomes essential to construct an appropriate similarity measure for comparing such complex data.
In this presentation, a framework of new and unified similarity measures is introduced for comparing heterogeneous objects described by numerical, categorical and fuzzy attributes. Some practical examples will illustrate, compare and discuss the applications and efficiency of the proposed approach to heterogeneous data comparison and clustering.

Bio: Daniel Neagu is Professor of Computing at the University of Bradford, and the leader of AIRe (Artificial Intelligence Research) group. His research focuses on Machine Learning techniques applied in Data
Governance, Healthcare, Toxicology, Software Engineering, and Social Network Analysis. Daniel is ACM, IEEE CS and CIS, and BCS member. More details and publications are
available at: http://www.comp.brad.ac.uk/~dneagu/

Modified Monte-Carlo Tree Search for Games in AI Dr. Paul Trundle, 10 December 2014

Date: 10 December 2014 Time: 13:15
Location: D0.02 Horton D
Speaker: Dr. Paul Trundle

Bio:

Paul graduated from the University of Bradford in 2004 after completing a Bachelor's degree in Computer Science, gaining a first class degree with honours. In 2008 he successfully defended his PhD thesis entitled "Hybrid Intelligent Systems Applied to Predict Pesticide Toxicity: A Data Integration Approach". From 2008 to 2010 he was employed as a Research Assistant in the Digital Media & Systems Research Institute in the School of Computing, Informatics & Media at the University of Bradford. He is currently a Lecturer in the School of Electrical Engineering and Computer Science at the University of Bradford. Paul's research interests include data mining, machine learning, artificial intelligence including applications in gaming, text processing, document clustering, document summarisation and general computational intelligence.

Abstract:

Monte-Carlo Tree Search (MCTS) has shown great promise and real world successes in developing AI players for a wide variety of games. For particular types of games it can outperform state evaluation and rule based approaches by orders of magnitude. However, in many scenarios even MCTS cannot cope with the exponential increase in possible future states where the game-tree branching factor is very high. This talk will present work in progress on the development of an aggressive pruning strategy using rule-based AI combined with MCTS for searching a game tree and selecting optimal actions.

Developing real-time web applications with SignalR Martin Beeby, Technical Evangelist, Microsoft, 09 December 2014

Date: 09 December 2014 Time: 12:00
Location: Horton D01.27 (The Barn) Lecture Theatre
Speaker: Martin Beeby, Technical Evangelist, Microsoft

Abstract:
ASP.NET SignalR enables real-time communications between your application and each connected client. We'll learn how to write code for SignalR, then use it to add real-time HTML5 charts to an application, power interactive games and more.

Bio:

Martin Beeby works for Microsoft where he talks to developers about HTML5, Windows 8 and the web. Martin has been developing since he was 16 and over the past 16 years has worked on projects with many Major brands.
Martin has written articles for, and been featured in, .NET Magazine, ZDNet, the Microsoft Developer Network, Ubelly.com and Windows Magazine.

Towards a Convex Framework for Contagion Control Dr. Chiwnendu Enyioha, General Robotics, Automation, Sensing and Perception (GRASP) Laboratory and PRECISE Center, University of Pennsylvania, US, 03 December 2014

Date: 03 December 2014 Time: 13:00
Location: Horton D0.24
Speaker: Dr. Chiwnendu Enyioha, General Robotics, Automation, Sensing and Perception (GRASP) Laboratory and PRECISE Center, University of Pennsylvania, US

Abstract:
Though a number of well-developed epidemic spreading models exist in the literature, little attention has been paid to epidemic control strategies; beyond heuristics usually based on network centrality measures. Since epidemic control resources are typically limited, the problem of optimally allocating resources to control an outbreak becomes of interest. Existing literature considered homogeneous networks, limited the discussion to undirected networks, and largely proposed network centrality-based resource allocation strategies.
In the talk, we will consider the well-known Susceptible-Infected-Susceptible (SIS) spreading model and study the problem of minimum cost resource allocation to control an epidemic outbreak in a networked population. We would solve the epidemic control problem via a convex optimization framework on generic weighted, directed networks comprising non-identical nodes. We will exploit the Perron-Frobenius theorem and formulate the problem as a Geometric Program, for which we derive a convex characterization guaranteeing existence of an optimal solution. The solution framework also allows for control of an epidemic outbreak on networks that are not necessarily strongly connected. Finally, I will propose a fully distributed solution to the resource allocation problem and illustrate each approach to validate our solutions.

Bio:
Chiwnendu Enyioha received the B.Sc in Mathematics from Gardner-Webb University (GWU) in 2008, and the M.Sc. in Electrical Engineering from University of Pennsylvania in 2010. He recently completed his Ph.D in Electrical and Systems Engineering at the University of Pennsylvania with a focus in systems, optimization and control theory. He is currently affiliated with the General Robotics, Automation, Sensing and Perception (GRASP) Laboratory and PRECISE Center.

Chiwnendu’s current research interests include control of networks, distributed computation and optimization over networks with applications to epidemiology and cyber-physical systems. Chiwnendu Enyioha was named a Fellow of the Ford Foundation by the National Research Council; and a William Fontaine Scholar at the University of Pennsylvania. He has also received the Mathematical Association of America (MAA) Walt and Susan Patterson Award.

Hewlett Packard Storage Strategy - the foundation for the next 75-years Mark Watkins, HP Fellow, Enterprise Group, Hewlett-Packard Company, 03 December 2014

Date: 03 December 2014 Time: 15:45
Location: Richmond JSB lecture theatre
Speaker: Mark Watkins, HP Fellow, Enterprise Group, Hewlett-Packard Company

Abstract:
This talk is an overview of what HP does in storage and the opportunities we have for graduates and potential collaboration with academic partners.

Bio:
Mark Robert Watkins is Director of Storage Technologies for HP’s Storage Business, where he leads a development team that makes existing HP solution designs relevant for new markets, such as the cloud. Most recently, he has been developing cloud-scale object storage technologies.
Recognized as a leader in the storage industry for delivering high-performance cloud computing in warehousing and storage environments, Watkins has been involved in every major initiative in HP's Storage Division as both a driver and an active team member. He also established HP’s World-Wide Technical Evaluation Process (TEP), which is designed to keep HP abreast of the latest in cloud and other emerging technologies.
With over twenty years’ experience in the industry, Watkins is an acknowledged subject matter expert in the areas of software, firmware, ASIC, and Internet technologies, and was named to CRN's 2010 listing of ‘storage superstars.’
A prolific inventor, Watkins holds numerous patents that have both improved the utilization of data storage arrays and led to new storage methods for data and auxiliary information – a number of which have been licensed to third party manufacturers.
Watkins received his B.Eng. in electrical and electronic engineering and a MSc. in Information Engineering from Bristol University.
More at: http://www.hp.com/united-states/Mark-Watkins-External-Bio-FINAL.pdf (also attached)

Flowgraph Models in Reliability and Finite Automata -- What do they have in common? Dr Attila Csenki, Artificial Intelligence Research (AIRe) Group, EECS, Faculty of Engineering and Informatics, 26 November 2014

Date: 26 November 2014 Time: 13:15
Location: Horton D0.02
Speaker: Dr Attila Csenki, Artificial Intelligence Research (AIRe) Group, EECS, Faculty of Engineering and Informatics

Abstract:
Two disparate areas of knowledge are interrelated in this seminar: (a) The Theory of Finite Automata, and, (b) semi-Markov Flowgraphs. These two areas, which at first sight do not have anything in common, are shown to have similar structures and to be governed by similar rules.

It is shown that the RENEWAL ARGUMENT applies in both areas, resulting in equations marking at certain points in `time' system regeneration. The corresponding sets of equations look FORMALLY the same but hold in entirely different domains, (a): language equations; (b): equations for Laplace transforms of waiting time distributions.

The equations thus obtained can be solved ITERATIVELY, as their solutions are FIXED POINTS. We use (a): Knaster--Tarski Fixed Point Theorem; (b): Contraction Mapping Principle.

Even though the mathematical structures in both areas are different, the formal steps of arriving at the equations, their structure and solution techniques used are remarkably similar.

The seminar has two goals. The first is, identifying structural similarities in two distant areas. This structural result is hoped to be the first step towards finding a single theoretical framework encompassing both fields. Furthermore, the analogy observed here may in the future allow known techniques from one field to be `carried over' to the other, thus generating new results. The second contribution is educational. It is instructive to draw learners' attention to analogous structures in another field as it reinforces the learning experience.

Key words: Semi-Markov Flowgraph; Renewal Argument; Finite Automaton; Language Equation; Fixed Point Theorems; Cross-disciplinary Problem Solving

Bio:
Schooling & University education in Germany: 1972-1977: Study of Mathematics, Physics & Economics at Freiburg University. 'Diplommathematiker' 1977. 1977-1980: Doctoral studies at Freiburg University. Doctoral degree in Mathematics 1980. Habilitation in Mathematics at University of Freiberg/Sachsen in 1993. 1980-1982: Software engineer with Siemens. 1982-1985 UG studies in Civil Engineering at University College London, 1985: 1st class BSc in Civil Engineering UCL. 1985-1987 Reliability Engineer in Offshore Engineering, London. Since 1987 to date lecturer at various universities in the UK. 51 research papers in refereed journals, and many other related activities. Fellow of IMA.

Cyber Security Strategy: Managing your controls in the context of risk Ben Densham, Chief Technology Officer (CTO), Nettitude (http://www.nettitude.co.uk/), 25 November 2014

Date: 25 November 2014 Time: 09:00
Location: Richmond J19
Speaker: Ben Densham, Chief Technology Officer (CTO), Nettitude (http://www.nettitude.co.uk/)

Abstract:
Organizations often implement many controls to try and address Cyber Security concerns within their organisation. Many are implemented due to compliance pressures or driven by IT developments and changes. However, cyber breach reports frequently show that many implemented controls are not effective in preventing and detecting malicious activity when it occurs. Is this because they are not up to the job? Is it because they are incorrectly configured? Is it because the wrong controls have been applied? We will take a high level look at what is happening within both the threat landscape and the industry at large and ask the question, who is deciding what is to be protected and why within your organization? This question will form the basis for an understanding of the risks that need to be mitigated, the threats to be defended against and the vulnerabilities that should be addressed. Understanding the right controls to implement and the overall objective is key for all organizations. What should your Cyber Strategy look like? How should this be governed and implemented? How do you measure the effectiveness of your controls? Ultimately, are you realising and addressing the real risk to your business?

Bio:
Ben (http://www.nettitude.co.uk/leadership-team/) has developed a passion for cyber security having worked in IT for the last 18 years with a focus on Cyber Security for the last 10+. He has been technically deployed as a network security professional, penetration tester, risk and security consultant and has an in depth knowledge of compliance, risk and cyber strategy. Over the last 8 years he has led and developed the capabilities of the IT security, penetration testing and governance, risk and compliance teams at Nettitude. As the CTO he now oversees the future developments at Nettitude including the growth of their R&D capabilities. Recent projects have included a managed logging and incident response service (threat2alert) and security awareness training services. He is involved in regular speaking at conferences, membership of industry working groups on PCI and penetration testing and maintains technical accreditations with Crest, PCI (PCI, PA and P2PE) and CISSP.

ServiceNow, The Enterprise IT Cloud Company Art Nisperos, Jr., Education Services, Senior Program Manager – Academic Learning Partner, 14 November 2014

Date: 14 November 2014 Time: 12:00
Location: Horton D1.01
Speaker: Art Nisperos, Jr., Education Services, Senior Program Manager – Academic Learning Partner

Abstract:
ServiceNow, The Enterprise IT Cloud Company, is the industry-leading cloud platform provider for building enterprise applications. We are redefining markets and changing the perception of enterprise software. Our cloud platform allows enterprise IT to bring together business strategy, application design and operations in a powerfully simple solution.

Presentation Abstract
The presentation will introduce ServiceNow, its platform, and its client and explanation of the Academic Learning Partner Program and how it benefits schools and students who are involved in the program.

Bio:
Mr. Nisperos has more than 15 years of experience as a Project Management and Professional Services Professional delivering SaaS and desktop product solutions in the financial and services sector to companies ranging in size from small to Fortune 500. For the last ten years, he has led the growth of services teams and business in areas of product implementation, professional development, resource allocation, and project management. Prior to ServiceNow, he was the Senior Director of Program Management for MaintenanceNet managing their operations and establishing best practices with respect to client implementations. He is certified as a Project Management Professional (PMP) and Certified Scrum Master (CSM).

For the past two years, Art was part of the Professional Services Operations Group as the Senior Planning Manager initially managing all resourcing for AMS and eventually for the Subcontracting Partners and Expert Services. He was instrumental in getting the resource management processes and tools established within PS Ops and also developing positive relationships with our subcontracting partners and all ServiceNow departments affiliated with the partner programs. In his current role, he is responsible for managing the Academic Learning Partner program in order to secure educational institutions to adopt the ALP program and development of placement strategies that can be offered to students, working with local sales and professional services leaders.

Quantum probabilities versus Kolmogorov probabilities Professor Apostol Vourdas, School of Electrical Engineering and Computer Science, 12 November 2014

Date: 12 November 2014 Time: 13:15
Location: Horton D0.02
Speaker: Professor Apostol Vourdas, School of Electrical Engineering and Computer Science

Abstract:
The logic of classical computers is described with Boolean algebras. The logic of quantum computers is described with the Birkhoff-von Neumann orthomodular lattices. It will be shown that the standard (Kolmogorov) probability theory is intimately related to Boolean algebras and classical computation. A more general probability theory is needed for quantum computation, and the Dempster-Shafer theory will be adopted. The talk is at an introductory level, and explores the interface between computational logic and probability theory.

Short Bio:
A. Vourdas did a PhD at the University of Manchester, and worked at UMIST, Marburg, and the University of Liverpool, before coming to Bradford. His research is in the general areas of quantum computing, Engineering Mathematics and theoretical computer science.

Mismatched Decoding in Communications, Networks and Beyond Taufiq Asyhari, Computing, EECS, School of Engineering and Informatics, 05 November 2014

Date: 05 November 2014 Time: 13:15
Location: Horton D0.02
Speaker: Taufiq Asyhari, Computing, EECS, School of Engineering and Informatics

Abstract:
This talk will introduce the theories and concepts of mismatched decoding, a long-standing problem in information theory. As provisioned by Claude Shannon in 1948, information theory promises reliable information transmission (i.e., with arbitrarily few errors) for any rates below capacity. This promise can be realised when the knowledge about the transmission channel is available and the channel likelihood can be used to decode the transmitted data. In practice, things are not as ideal as those in theory. Complexity as well as limited understanding on channel behaviour may prohibit the use of the channel likelihood for decoding purposes, giving rise to a mismatched decoding problem. In this talk, the theory underlying mismatched decoding will be discussed. A range of applications in communications and networks will also be provided to illustrate how results in theory can be used to reasonably understand practical problems.

Bio:
Dr Taufiq Asyhari has been a Lecturer in Computing at the University of Bradford since February 2014. He is a Member of IEEE and holds a PhD in Engineering (Information Engineering) from the University of Cambridge,
UK. His research interests are in the areas of information theory, communication theory, coding theory, queueing theory and signal processing techniques with applications in wireless and nano-molecular networks.

3GPP/ETSI Lecture Hermann Brand (ETSI Director of Innovation), 21 October 2014

Date: 21 October 2014 Time: 12:00
Location: Chesham B2.35a
Speaker: Hermann Brand (ETSI Director of Innovation)

Talk structure:
- Why standardisation of ICT is important
- The Research input to Standardization

Short Bio:
Hermann Brand held the position of R&D manager in mobile communications before joining ETSI in 2008. Since then, as a general manager, he has been responsible for various institutional services of ETSI, including new initiatives, partnership management, membership care, and meeting support. As one of the Directors of ETSI he is currently responsible for Innovation.
Hermann Brand has started his professional carrier as a SW developer and system designer in telecommunications. He then worked as a researcher in the semiconductor business, investigating novel manufacturing processes and developing new microstructures. Back in telecommunications he managed several international R&D teams including a group of delegates to different standards developing organizations. While his employer evolved into a diversified IT service provider, Dr. Brand also engaged as technology manager, innovation manager and business developer.
Hermann Brand received Dipl.-Ing. and Dr. tech. degrees in telecommunications and electrical engineering from the Technical Universities of Graz and Vienna, Austria.

3GPP/ETSI Lecture Juha Korhonen (ETSI Mobile Competence Centre, Secretary to 3GPP TSG RAN3) and Hermann Brand (ETSI Director of Innovation), 21 October 2014

Date: 21 October 2014 Time: 11:00
Location: Chesham B2.35a
Speaker: Juha Korhonen (ETSI Mobile Competence Centre, Secretary to 3GPP TSG RAN3) and Hermann Brand (ETSI Director of Innovation)

We are pleased to announce that we are one of six universities (University of Bradford, University of Surrey, Queen Marry University of London, Queen’s University Belfast, Royal Holloway University and University of Essex) to have the 3GPP/ETSI lecture delivered by two prominent speakers from ETSI (European Telecommunications Standards Institute).
The lecture is open to academics, research staff, PhD students, MSc students and Final year students.
30 copies of the book entitled “Introduction to 4G Mobile Communications” will be distributed for free on the day. Priority of the free book distribution will be given to students and researchers attending the lecture on the day on a first come first serve basis.

3GPP/ETSI Lecture Juha Korhonen (ETSI Mobile Competence Centre, Technical officer and Secretary to 3GPP TSG RAN3), 21 October 2014

Date: 21 October 2014 Time: 11:00
Location: Chesham B2.35a
Speaker: Juha Korhonen (ETSI Mobile Competence Centre, Technical officer and Secretary to 3GPP TSG RAN3)

Talk structure:
- Introduction to 4G Mobile Communications
- The status of 3GPP RAN Release 12 and start of Release 13
- An introduction to the 3GPP Standards process

Short Bio:

Juha Korhonen started his telecoms career in Nokia Research Center in Espoo, Finland in 1988. He was seconded to Nokia Mobile Phones (UK) in Camberley between 1993 and 1995, and then moved to Cambridge in 1997 to work for TTP (later TTPCom), a company that develops technology for wireless terminals. After TTPCom was sold to Motorola in 2006, he worked briefly for ARM, before setting up in his own technology consultancy company Cantab Wireless. He has participated in R&D for both network and mobile handset environments, covering both protocols and radio research for GSM, DECT, PDC, GPRS, ICO, UMTS, HSDPA, HSUPA, IMS, TD-SCDMA, WiMAX, MIMO and LTE.
Juha has degrees (MSc and MPhil) from Finland and a PhD from Cambridge (Magdalene College). While in Cambridge his research interests included MIMO and later wireless sensors.
In 2001 (2nd ed. in 2003) he published his “Introduction to 3G Mobile Communications” (Artech House), with 3G mobile communication system principles, concepts, and applications - covering the basics of the UMTS system. This year he has written and published his “Introduction to 4G Mobile Communications” which brings in Long Term Evolution (LTE) radio access work.
He joined ETSI’s Mobile Competence Centre in 2009, to offer technical support to the 3GPP RAN Working Group 3, covering the architectures of UMTS/LTE radio access networks, and the interfaces of those networks.

4G Mobile Communications Juha Korhonen, ETSI Mobile Competence Centre, 21 October 2014

Date: 21 October 2014 Time: 11:00
Location: Chesham B2.35a
Speaker: Juha Korhonen, ETSI Mobile Competence Centre

Juha Korhonen started his telecoms career in Nokia Research Center in Espoo, Finland in 1988 before moving to the Cambridge in 1997 to work for TTP (later TTPCom), a company that develops technology for wireless terminals. He has participated in R&D for both network and mobile handset environments, covering both protocols and radio research for GSM, DECT, PDC, GPRS, ICO, UMTS, HSDPA, HSUPA, IMS, TD-SCDMA, WiMAX, MIMO and LTE.
Juha has degrees (MSc and MPhil) from Finland and a PhD from Cambridge.
In 2003 he published his “Introduction to 3G Mobile Communications” (Artech), with 3G mobile communication system principles, concepts, and applications - covering the basics of the UMTS system. This year he has written and published his “Introduction to 4G Mobile Communications” which brings in Long Term Evolution (LTE) radio access work.
He joined ETSI’s Mobile Competence Centre in 2009, to offer technical support to the 3GPP RAN Working Group 3.

Interpretation of Random Forest Models Dr Anna Palczewska, Artificial Intelligence Research (AIRe) Group, School of Electrical Engineering and Computer Science, 15 October 2014

Date: 15 October 2014 Time: 13:00
Location: Horton D0.02
Speaker: Dr Anna Palczewska, Artificial Intelligence Research (AIRe) Group, School of Electrical Engineering and Computer Science

Abstract:
Model interpretation is one of the key aspects of the model evaluation process. The explanation of the relationship between model variables and the output is relatively easy for such statistical models as linear regressions thanks to the availability of model parameters and their statistical significance. For Random Forest models, this information is hidden within the model structure.
During this seminar I will recall definitions of CART decision tree and Random Forest models as well as tree search algorithms. I will also present a novel approach for computing feature contributions for Random Forest classification models and methods for their analysis. The extensive analysis leads to a discovery of the standard behaviour of the model and allows for additional assessment of model reliability for new data.

Short Bio:
Dr Anna Palczewska is Post-Doctoral research Assistant with the AIRe Group of the School of Electrical Engineering and Computer Science. She works for the EC FP7 and Cosmetics Europe project COSMOS (http://www.cosmostox.eu/), a European Union project developing methods for determining the safety of cosmetic ingredients for humans, without the use of animals, using computational models. Anna successfully completed her PhD in March 2014 with the thesis entitled: Interpretation, Identification and Reuse of Models: Theory and Algorithms with Applications in Predictive Toxicology. Anna holds a MSc Computer Science and a BSc (Hons) in Computational Physics degrees from University of Silesia, Katowice, Poland.

AI topics in the ENGINE centre from prospective cooperation view Professor Urszula Markowska-Kaczmar, ENGINE Centre, Wroclaw University of Technology, Poland, 11 September 2014

Date: 11 September 2014 Time: 12:00
Location: Horton D0.02
Speaker: Professor Urszula Markowska-Kaczmar, ENGINE Centre, Wroclaw University of Technology, Poland

Abstract:
ENGINE - The European research centre of Network intelliGence for INnovation Enhancement. is an interdisciplinary research unit of the Wrocław University of Technology, specializing in so-called Network Intelligence. This term spans the development of innovative, intelligent and advanced tools for effective computing, smart decisions and intelligent human-computer interactions applied in medicine, natural sciences, sociology and psychology, management and economics, mobile entertainment, business and industrial solutions, with special emphasis on SMEs. This project has received funding European Union’s Seventh Framework Programme for research, development and demonstration. The University of Bradford is one of the 17 of partnering organizations in this project therefore this talk is focused on presentation of the ENGINE AI research direction, executed and currently performed projects showing ENGINE’s potential for future cooperation and for applying for future grants.

Biography:
Urszula Markowska-Kaczmar is a professor at Wroclaw University of Technology, Poland. Her research and teaching domain is oriented into Computational Intelligence field.. She is also a member of ENGINE centre, where she is responsible for the work package that aims to enhancing expertise and exchanging know-how through twinning activities with partnering organization.

The Future of Open Data is Local Mark Barrett, Open Data Lead, Leeds Data Mill, 29 May 2014

Date: 29 May 2014 Time: 14:00
Location: Horton D0.24
Speaker: Mark Barrett, Open Data Lead, Leeds Data Mill

Abstract:
Abstract - The Open Data movement has gained a huge amount of traction at a national level. There is a huge amount of data available, but the data often only shows a single entry for each city. What if we were to release the data at a lower level so cities could understand themselves better?

Biography:
Mark Barrett is the Open Data Lead for Leeds. He manages Leeds Data Mill - an open data platform for the city that holds public sector, private sector, and third sector data to build a rich picture of Leeds as a City - an approach like no other. Mark also created the 1st Open Data app to reach #1 in iTunes - GP Ratings. He previously worked for the NHS and last year was selected as one of the top 50 innovators in healthcare by the Health Service Journal. Marks passion is for local level data - helping people to understand their environment and improve their surroundings.

Modelling, specification and verification. Why do we need them? Dr Marian Gheorghe, Department of Computer Science, University of Sheffield, 16 January 2014

Date: 16 January 2014 Time: 12:30
Location: Richmond C7
Speaker: Dr Marian Gheorghe, Department of Computer Science, University of Sheffield

Abstract.

Modelling is an important part of any computational approach. Formal models, dealing either with different types and sizes of data as well as with the behaviour of various systems, represent a special class of computational models, widely used nowadays in specifying and analysing systems of different levels of complexity.

This talk will illustrate the use of some more established computing paradigms like, (extended) finite automata and Petri nets, as well as of some newer formalisms, like membrane systems, for modelling different engineering problems in natural or artificial systems. The presentation is aimed at showing the benefits of using these approaches in designing domain specific languages in areas, like biology and economy, or for building adequate tools. The need of providing more powerful and diverse methods for analysing complex systems leads to approaches that complement these models with formal verification procedures which increase the confidence in using the models and the tools, and provide ways of deepening the knowledge regarding the behaviour of these systems. Some formal verification methods based on model checkers, like Spin and PRISM, will be utilised in the context of our applications in order to show their capabilities in providing a better understanding of the systems investigated. Some examples emerging from our recent projects will illustrate the approach and try to provide some answers to the question of "why do we need to combine modelling, specification and verification?".

Biography.
Marian Gheorghe got a PhD in Computer Science and Mathematics from the University of Bucharest, Romania. He joined the Department of Computer Science of the University of Sheffield in 2000, where he is the head of the Verification and Testing Group. His research covers a broad spectrum of computer science and software engineering topics, like formal computational models - automata, languages, Petri nets, process algebras -, formal verification and testing, modelling and simulation, agent-based approaches, applications in biology, economy. His research results have been published throughout the years in about 100 journal and conference papers. He has edited 14 volumes and journal special issues. Some of his research has been funded by EPSRC - development of nature inspired computational models, empirical assessment of various software engineering methods, development of agent-based tools for HPC platforms, applications of membrane systems and formal verification to synthetic biology -, EU - development of new computational models, use of open source software in public administration -, Royal Academy of Engineering, Royal Society and British Council - collaborations on developing computational models, like membrane systems and associated tools. He is currently working on developing, together with colleagues at Newcastle and Warwick Universities, domain specific modelling languages for synthetic biology and tools for analysing and formally verifying systems in this area.

Classification of starch granules for archaeological studies Dr. Julie Wilson, University of York, 29 November 2013

Date: 29 November 2013 Time: 14:00
Location: Horton D0.24
Speaker: Dr. Julie Wilson, University of York

Abstract:
The use of starch granules to identify plants to genus and species, is a widely used resource in archaeology. Granules in archaeological samples retrieved from sediments, dental calculus and ancient tools and pots have been used for determining diet, the origins of agriculture and plant domestication and trajectories. Starch granules are often assigned to species based upon their morphological characteristics, but such studies usually rely upon the visual comparison between individual archaeological granules and modern reference granules. We have used image analysis and pattern recognition techniques to investigate the likelihood of being able to provide an objective classification of starch granules.

Bio:
Dr Julie Wilson is a lecturer at the University of York with a joint appointment between the Departments of Mathematics and Chemistry. She is one of the resident staff in the York Centre for Complex Systems Analysis (YCCSA), an interdisciplinary research collaboration between the University's science departments, and her research interests lie in the application of mathematical modelling and statistical methods to biological and chemical problems. The focus is on the development of chemometric techniques to extract maximum information from the very large data sets obtained by -omic techniques. Current projects include the integration of data from different technologies (transcriptomics, proteomics and metabolomics) and data fusion methods to combine data sets from multiple analytical techniques. In collaboration with the Food and Environment Research Agency, Dr Wilson has been developing methods for data processing and discriminative analysis. Image classification also involves the extraction of relevant features and software to classify the results of crystallization experiments was developed in collaboration with structural biology laboratories throughout Europe. She is now applying image analysis techniques in bioarchaeology, where the morphology of plant fossils is used to make inferences about ancient human diet.

The Roles of Mechanistic Chemistry, QSARs and Read-Across in Risk Assessment for Cosmetic Ingredients Dr Nora Aptula, SEAC, Unilever, 20 November 2013

Date: 20 November 2013 Time: 13:30
Location: Horton D01.25
Speaker: Dr Nora Aptula, SEAC, Unilever

Abstract:
There is ongoing work to assess the risks of chemical substances, in particular industrial organic chemicals, to humans and the environment. One of the first steps in risk assessment for any novel chemical is to establish, whether there are sufficient existing hazard data, related to the toxicological end-point of concern to allow the risk assessment. If this information is not readily available, which is often the case then additional data are required to complete the assessment.
There is a need to perform the risk assessments in ways without the use of animal models. Progress has been made in identifying and developing new in chemico, in silico and in vitro tools that can be used for hazard characterisation and in subsequent risk assessment.
The methods noted below are gaining popularity as part of a non-animal toolbox of methods for risk assessment:
Mechanistic chemistry (i.e. in chemico) approach: predicting toxicity from known chemical data (e.g. measuring reactivity by experimental method).
Quantitative Structure-Activity Relationship (Q)SAR (i.e., in silico): predicting toxicity directly from the chemical structure (i.e., predicting toxic potency from an equation).
Read-across: predicting toxicity of an untested chemical from data for tested chemical(s) (i.e., fill a data-gap with data for a "similar" chemical).
This talk will demonstrate the use of mechanistic chemistry information, (Q)SARs and read-across in the risk assessment for cosmetic ingredients.
Bio:
Dr. Aynur (Nora) Aptula earned her Ph.D. in theoretical chemistry from Bourgas University, Bulgaria. She has over 20 years experience in predictive toxicology both within Unilever and within academia. She has authored more that forty papers on a variety of topics including acute toxicity and skin sensitisation. She has been involved in many activities related to ECETOC, COLIPA, ECVAM, OECD and CEFIC. Her research interests are focused on the application of organic chemistry in the modelling of a number of toxicological endpoints, with a specific interest in skin sensitisation.

Real-time Ego-centric Activity Monitoring and Recovery using Wearable Sensors Dr. Ardhendu Behera, Computer Vision Research Group, University of Leeds, 09 October 2013

Date: 09 October 2013 Time: 14:00
Location: Horton D0.23
Speaker: Dr. Ardhendu Behera, Computer Vision Research Group, University of Leeds

Abstract: This research is a part of the COGNITO (EU FP7) project for developing an intelligent assistive system for guiding naive user while performing an industrial manual task. The system guides the user through head-mounted display. It involves a novel approach for real-time activity monitoring and recovery in an ego-centric setup using on-body sensors of IMUs (Inertia Measurement Unit) and camera. In a given activity, the component atomic events are characterised in terms of spatiotemporal pairwise relationships between body parts, objects, tools and machine parts in a workspace. The motivation is that these relationships are invariant to position and viewpoint, and correlate well with functional relationships between objects (e.g. picking up an object with the hand involves contact between the body part and the object; hitting a nail with a hammer involves a high speed of approach between the hammer and the nail).
We have combined the above-mentioned representation for the key objects in the workspace with an HMM to model workflow activity and observation uncertainty. Details of this model and associated evaluation can be found in (Behera, Hogg and Cohn in ACCV 2012 and MMM 2012). An activity is assumed to be a temporally ordered set of procedural steps or atomic events for accomplishing a task. The atomic events are associated with the states of an HMM, with a conditional observation distribution over a summary of the expected spatiotemporal relationships between pairs of objects in the workspace within a sliding time window. These objects include parts of the human body such as the wrists, work tools such as hammers and screwdrivers, and machine parts. The observation distribution is represented by a probabilistic multi-class SVM. The key novelty in our model is the way in which we characterise the movement and interaction of a varying number of objects using a fixed observation space, and in such a way that recognition performance is invariant to broken tracks and missed detections.

Bio:
Ardhendu Behera is currently working as a Research fellow at the School of Computing, University of Leeds. He has received his PhD degree in Computer Science at University of Fribourg, Switzerland (won the best computer science thesis of the year 2006). Soon after, he has joined as Research Fellow on the EPSRC HAML (Cognitive Foresight: Human Attention and Machine Learning) research project in the Computer Vision group, at the University of Leeds. He has worked as a Research Fellow on the EU FP7 COGNITO (Cognitive Workflow Capturing and Rendering with On-body Sensor Networks) and EU FP7 SUBITO (Surveillance of Unattended Baggage and the Identification and Tracking of the Owner) research project in the same group. His research focuses on Intelligent Systems, Artificial Intelligence, Computer Vision, Machine Learning, Activity Analysis and Recognition, Scene Understanding and Visual Attention. He is also a member of the review panel of IEEE Transactions on Systems, Man, and Cybernetics,
Machine Vision and Applications, IEEE CVPR, ICCV, ECCV, BMVC, IEEE ICPR and IEEE AVSS. Prior to his PhD, he has worked in Sun Microsystems as a member of technical staff. For more information, please refer to http://www.comp.leeds.ac.uk/behera/

Using Pareto Points for QSAR Model Identification in Predictive Toxicology Anna Palczewska, AIRe Group, Dept of Computing, University of Bradford, 11 June 2013

Date: 11 June 2013 Time: 13:00
Location: Horton D0.01
Speaker: Anna Palczewska, AIRe Group, Dept of Computing, University of Bradford

Abstract:
Predictive toxicology is concerned with the development of models that are able to predict toxicity of chemicals. A reliable prediction of toxic effects of chemicals in living systems is highly desirable in cosmetics, drug design or food protection to speed up the process of chemical compound discovery while reducing the need for lab tests.
There is an extensive literature associated with the best practice of QSAR model generation and data integration but management and automated identification of relevant models from available collections of models is still an open problem. Currently, the decision on which model should be used for a new chemical compound is left to users and it relies on more than one criteria (model reliability and applicability domain). In literature, this decision making problem is known as a multi-criteria problem and the solutions have to represent a optimal trade-off between these criteria (the so-called Pareto points). In this talk I will discuss properties of the Pareto set and I will introduce the algorithm for the Pareto Points calculation.
Additionally, I will present two approaches of using a Pareto neighbourhood to identify a model (from the collection of models) that predict IGC50 for Tetrahymena pyriformis for a given chemical compound.

Bio:
Anna Palczewska is a PhD student in the Artificial Intelligence Research (AIRe) Group of the Department of Computing, University of Bradford.
Anna's research on 'Data Mining Applications in Product Safety' is funded by a BBSRC CASE with Syngenta plc training grant.

The impact of diversity on the accuracy of evidential classifier ensembles Dr Yaxin Bi, School of Computing and Mathematics, University of Ulster, 23 May 2013

Date: 23 May 2013 Time: 10:00
Location: Horton D0.23
Speaker: Dr Yaxin Bi, School of Computing and Mathematics, University of Ulster

Abstract:
Diversity being inherent in classifiers is widely acknowledged as an important issue in constructing successful classifier ensembles. Although many statistics have been employed in measuring diversity among classifiers to ascertain whether it correlates with ensemble performance in the literature, most of these measures are incorporated and explained in a non-evidential context. In this paper, we provide a modeling for formulating classifier outputs as triplet mass functions and a uniform notation for defining diversity measures. We then assess the relationship between diversity obtained by four pairwise and non-pairwise diversity measures and the improvement in accuracy of classifiers combined in different orders by Demspter's rule of combination, Smets' conjunctive rule, the Proportion and Yager's rules in the framework of belief functions. Our experimental results demonstrate that the accuracy of classifiers combined by Dempster's rule is not strongly correlated with the diversity obtained by the four measures, and the correlation between the diversity and the ensemble accuracy made by Proportion and Yager's rules is negative, which is not in favour of the claim that increasing diversity could lead to reduction of generalization error of classifier ensembles.

Biography:
Yaxin Bi received his PhD degree in Artificial Intelligence from the University of Ulster, UK. Presently he is a lecturer in the School of Computing and Mathematics at the University of Ulster. His research interests include multiple classification systems and ensemble learning, the Dempster-Shafer theory of evidence and sensor fusion for activity recognition, text mining for sentiment analysis, and big data analysis for satellite data exploitation.

Enhancing Medical Simulation with the use of Haptics Professor Nigel John, School of Computer Science, University of Bangor, 08 May 2013

Date: 08 May 2013 Time: 14:00
Location: The Barn Lecture Theatre (Horton D1.27)
Speaker: Professor Nigel John, School of Computer Science, University of Bangor

Abstract:
This talk will provide an overview of the current state-of-the art of medical virtual environments and their use for procedures training. The use of 3D displays, haptics and other relevant technologies will be discussed. A series of case studies will be presented drawing on research projects from Bangor University and the NISCHR Advanced Medical Imaging and Visualization Unit. The latter is a pan-Wales initiative that is working closely with the NHS in Wales to introduce visual computing techniques into every day practice.

Bio:
Prof. Nigel W. John holds a chair in computing within the School of Computer Science at Bangor University. He established research activities at Bangor in visualization and medical graphics in 2003, and leads a dynamic and growing group of researchers active in this field. His primary research interests are in the application of computer graphics, haptics, and virtual environments to medical applications. Recent projects have included creating simulators for training interventional radiology, and the use of augmented reality for anatomy education.

Data mining goes mainstream Mike Davis, MSMD Advisors, 07 May 2013

Date: 07 May 2013 Time: 14:00
Location: Horton D4.07
Speaker: Mike Davis, MSMD Advisors

Mike is Principal Analyst at MSMD Advisors covering the breadth of Information Management technologies and how they relate to the business issues faced by organisations.

As former CTO/CIO in the UK NHS Mike has experience of managed services and outsourcing from many perspectives. First as a commissioner of Facilities Management (FM) contracts in the 1980s, delivering outsourced and shared services to a range of NHS organisations in the 1990s, and most recently advising organisations, both public and private, on exploiting the benefits of managed service/cloud provision.

Mike's analysis and strategic advice, delivered through reports, speaking, and consultancy, is highly respected in both blue chip businesses, and large public sector organisations across Europe and the Asia-Pacific region. Mike regularly presents at industry events and major conferences, and is a frequent commentator in the press.

Prior to establishing msmd advisors in 2012, Mike spent six years as a Senior Analyst at Ovum. During this time he established himself as a key influencer and commentator in the areas of information access, content management and Big Data, and their application to industries such as healthcare and Oil & Gas. Mike's previous six years were spent as an analyst at Butler Group. This followed an 18-year career running information and IT systems in the UK health service. This was interspersed with short periods as a management consultant, working as IT manager for a chartered institute, and two years managing healthcare workers, and clinics in one of England's most deprived housing estates. Mike was awarded his MBA in 1998.

Analysis, Synthesis and Applications of Gene Regulatory Networks Prof Yaochu Jin, Head of the Nature Inspired Computing and Engineering (NICE) Group, Department of Computing, University of Surrey, 29 April 2013

Date: 29 April 2013 Time: 15:00
Location: Richmond C7
Speaker: Prof Yaochu Jin, Head of the Nature Inspired Computing and Engineering (NICE) Group, Department of Computing, University of Surrey

Abstract:
This talk starts with a brief introduction to computational models of gene regulatory networks (GRN), followed by a description of our recent results on analyzing and synthesizing gene regulatory motifs, particularly from the robustness and evolvability perspective. We show that in a feedforward Boolean network, the trade-off between robustness and evolvability cannot be resolved. In contrast, how that this trade-off can be resolved in an ODE-based GRN model for cellular growth based on a quantitative evolvability measure. In addition, we demonstrate that robust GRN motifs can emerge from in silico evolution without an explicit selection pressure on robustness. We demonstrate that complex genetic dynamics can be synthesised from simple motifs.
In the second part of the talk examples will be given on the application of computational models of gene regulatory networks to the self-organisation of swarm robots, modeling of cell growth for structural design and modeling of neural and morphological development.

Biography:
Yaochu Jin received the B.Sc., M.Sc., and Ph.D. degrees from Zhejiang University, China, in 1988, 1991, and 1996, respectively, and the Dr.-Ing. Degree from Ruhr University Bochum, Germany, in 2001. He is currently a Professor of Computational Intelligence and Head of the Nature Inspired Computing and Engineering (NICE) Group, Department of Computing, University of Surrey, UK. His research interests include understanding evolution, learning and development in biology and bioinspired approached to solving engineering problems. He is an Associate Editor of BioSystems, the IEEE Transactions on Neural Networks and Learning Systems, the IEEE Transactions on Cybernetics, and the IEEE Computational Intelligence Magazine. He is an Invited Plenary / Keynote Speaker on several international conferences on various topics, including multi-objective machine learning, computational modeling of neural development, morphogenetic robotics and evolutionary aerodynamic design optimization. He is the General Chair of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology and Program Chair of 2013 IEEE Congress on Evolutionary Computation.
Dr Jin is a Distinguished Lecturer and AdCom member of the IEEE Computational Intelligence Society. He is Fellow of BCS and Senior Member of IEEE.

The Leeds Virtual Microscope Dr. Roy Ruddle, School of Computing, University of Leeds, 24 April 2013

Date: 24 April 2013 Time: 14:00
Location: The Barn Lecture Theatre (Horton D1.27)
Speaker: Dr. Roy Ruddle, School of Computing, University of Leeds

Abstract:
The Leeds Virtual Microscope is an interactive visualization system, capable of rendering gigapixel virtual slides onto high-resolution, wall-sized displays. I will describe the six years of research we have conducted, developing the Microscope, and evaluating its use for the diagnosis of cancer, the training of histopathology specialists, and the education of medical students. In particular I will focus on the solutions we have developed for the multi-scale navigation of these huge image datasets.

Bio:
Roy Ruddle has a PhD in psychology, is professionally a computer scientist and is a Reader in Interactive Systems in the School of Computing at the University of Leeds. He has been researching navigation and interactive visualization for 15 years, and currently focuses on Powerwall (gigapixel) displays and navigation in information spaces.

Analysis of Social Interactions in Face-to-Face Proximity Networks Dr. Martin Atzmueller, University of Kassel, 27 March 2013

Date: 27 March 2013 Time: 13:15
Location: Horton D0.01
Speaker: Dr. Martin Atzmueller, University of Kassel

Abstract:
In addition to online social interactions, the analysis of physical (offline) behavior and interactions is receiving interest. The emergence of ubiquitous and mobile devices enables the capture of such interactions, and the generation of according interactions networks.
This talk focuses on the analysis and mining of such interaction networks, the connection to social media and online interactions, and discusses examples in the context of real-world systems.

Bio:
Dr. Martin Atzmueller is a senior researcher at the University of Kassel.
He studied Computer Science at the University of Texas at Austin (USA) and at the University of Wuerzburg (Germany) where he completed his MSc in Computer Science. Martin earned his PhD from the University of Wuerzburg.
His research areas include data mining, social computing, mining social media, web science, machine learning, and natural language processing.

Latex for Scientific Writing — A Hands-on Introduction to Advanced Features of Latex Dr Yang Lan, Artificial Intelligence Research Group, Department of Computing, 30 November 2012

Date: 30 November 2012 Time: 14:00
Location: Horton D1.26
Speaker: Dr Yang Lan, Artificial Intelligence Research Group, Department of Computing

Abstract:
LaTeX is a document preparation system for TeX typesetting. LaTeX is widely used in academia and an ideal high-level language for scientific writing. Many contributed extensions bundled with TeX/LaTeX software distribution provide a wide range of advanced approaches for high quality research manuscripts and papers writing.
This presentation will continue to present how to format research manuscripts and papers: to process figures and captions, to import ACM, IEEE and Springer style classes, and to prepare presentation slides using LaTeX classes. Some advanced features in LaTeX will also be introduced and demonstrated in the seminar, for example to create own packages and style classes. This is a great opportunity for PG students and researchers to learn how to prepare in a professional manner their research papers submissions.

Bio:
Dr Yang Lan graduated his PhD studies with the Department of Computing of the University of Bradford in 2009 with a thesis on 'Computational Approaches for Time Series Analysis and Prediction - Data-Driven Methods for Pseudo-Periodical Sequences (2009)'.
Currently he is a Research Assistant with the project COSMOS (http://www.cosmos-tox.eu/) funded by the European Community's Seventh Framework Programme and the European Cosmetics Association Cosmetics Europe, where he is in charge for the data and model representation and storage using a novel data governance framework.

How Do Computers Recognise Molecules? Richard L. Marchese Robinson, PD KT Associate, University of Bradford and Syngenta Ltd, 23 November 2012

Date: 23 November 2012 Time: 14:00
Location: Horton D0.01
Speaker: Richard L. Marchese Robinson, PD KT Associate, University of Bradford and Syngenta Ltd

Abstract:
The computational prediction of molecular properties, such as toxicity, is of huge interest to the pharmaceutical, agrochemical and, especially in light of recent European legislative changes, cosmetics industries. Data driven models which directly capture relationships between molecular structure and (deleterious) biological properties are of particular value.
Capturing such relationships is impossible without an appropriate means of numerically encoding molecular structures as "molecular descriptors" to yield the input variables required for modelling. This short talk will provide an introduction to molecular descriptors, illustrate their usage and the principles one needs to consider in their design.

Bio:
Richard Marchese Robinson spent four years studying Natural Sciences at the University of Cambridge, graduating with a BA and MSci in Chemistry. In his final year, he researched the mechanisms of supposed aza-Diels-Alder reactions using density functional theory calculations.
He shifted research areas to pursue a PhD in Computational Toxicology at the Unilever Centre for Molecular Informatics, also in Cambridge. His work primarily focused on generating quantitative structure-activity relationships, using Machine Learning, for pharmaceutically relevant toxicity endpoints.
He is currently based at Jealott's Hill Research Centre, working on a Knowledge Transfer project funded by TSB, Syngenta Ltd and the University of Bradford in Model and Data Governance.

Latex for Scientific Writing — A Hands-on Introduction to Latex Anna Palczewska, Artificial Intelligence Research Group, Department of Computing, 16 November 2012

Date: 16 November 2012 Time: 14:00
Location: Horton D1.26
Speaker: Anna Palczewska, Artificial Intelligence Research Group, Department of Computing

Abstract:

LaTeX is a document preparation system for high-quality typesetting. It is often used for medium-to-large technical or scientific documents, but it can be also used for almost any form of publishing (letters, books, thesis and slide presentation) [1]. Latex is free, fast, stable, and runs on most (if not all) platforms.
LaTeX is not a word processor! You have to type a source file containing special typesetting commands using a text editor, and then process the file using LaTeX. For the first time it could appear very complicated, but once you'd started using LaTeX, you will love it.
During this hands-on session I will demonstrate how to write an article using LaTeX, introducing the basic commands for text formatting, figures, tables, algorithms and mathematical expressions.
You will also have a chance to start building your own article during this session. If you decide to learn more, you may find useful 'The Not So Short Introduction to LATEX 2' by Tobias Oetiker [2].
references:
[1] http://www.latex-project.org/intro.html
[2] http://tobi.oetiker.ch/lshort/lshort.pdf

Bio:
Anna Palczewska is a PhD student in the Artificial Intelligence Research Group of the Department of Computing, University of Bradford. Anna's research on 'Data Mining Applications in Product Safety' is funded through a BBSRC CASE with Syngenta plc.

Inaugural Lecture: Towards Data-Driven Science: Exploring Some Consequences of Moore's Law in Computing Big Data Professor Daniel Neagu, Department of Computing, 31 October 2012

Date: 31 October 2012 Time: 14:30
Location: John Stanley Bell Lecture Theatre, Richmond building
Speaker: Professor Daniel Neagu, Department of Computing

Abstract

Due to recent advances in generating data (e.g. biological and chemical experimental data generated by robotic technology, smart and mobile devices, sensors), data storage and sharing, fast world-wide connections, and also due to more accessible, user-friendly data mining tools used to generate large amounts of models from data sets, there is an increasing need for flexible and consistent processing of large data collections and their representation. In order to better manage such data collections, new functionalities aiming to capture semi-structured information, use data-driven models, and make high quality data and
models reusable sources of information are requested.
In this lecture the concepts of small data, big data, fuzzy data comparison, data and models governance framework supported with examples from the current research projects will be introduced. This talk reviews current trends in data mining in order to aim for better quality, secure and consistent data and model management, and consequently to increase confidence in the use of data-driven models.

Biography:

Daniel Neagu joined the Department of Computing of the University of Bradford as a Lecturer in 2002; he was promoted to Senior Lecturer in 2005 and Professor of Computing in November 2011. He has previously served as Associate Professor at the Department of Computer Science & Engineering, University of Galati, Romania (1993-2001) and Post-Doctoral Research Fellow at Politecnico di Milano, Italy (2001-2002).
The main theme throughout his work is the advance of the Artificial Intelligence (AI) field by studying systems from rigorous computational perspectives to integrate experts' knowledge and digital information. His research focuses on Knowledge Representation, Artificial Intelligence (AI) and Data Mining techniques and applications in Predictive Toxicology, Healthcare Online Social Networks, Software Engineering, Information Quality. Daniel's research is funded by national research and EC institutions, and by the industry. He has published over 100 papers in international peer-reviewed journals and conferences.
He is the Editor of the Special Journal Issue of Expert Systems for BCS AI-2011 awards papers, a Review Board member for Springer's International Journal of Applied Intelligence and IOS IJKES, member of the Editorial Board for IOS IJHIS, and IPC member for ISDA, ICMLA, UKCI, ADMA, ICTAI annual conferences, Deputy Chair of the BCS SGAI Conference in AI (AI-2011, AI-2012, Peterhouse College, Cambridge), and co-organiser of the UK Symposium on Knowledge Discovery and Data Mining (2011, 2013). Daniel Neagu is currently revamping the AI Research Group at Bradford.
Professor Daniel Neagu is member of IEEE Computer Society, ACM, BCS, Committee member for SGAI, the BCS Specialist Group on Artificial Intelligence and Fellow of the Higher Education Academy. More details about his work are available at: http://www.comp.brad.ac.uk/~dneagu/

Virtual Universe: large scale volume rendering and simulation Robert Sugar, Crocotta Research and Development Ltd, 23 October 2012

Date: 23 October 2012 Time: 11:00
Location: Horton D0.09
Speaker: Robert Sugar, Crocotta Research and Development Ltd

Abstract

In the last few years, particle-based object representations have proven to be a flexible and efficient alternative to mesh-based surface representations. In fact, particles are more suited to imitate real-world phenomena, as real-world matter is composed of extremely small particles and not of mesh-based surfaces. However a quasi-real-time virtualization method of real-world complex material structures in large scale and with high accuracy has to face two major technical difficulties, namely: 1. Large amounts of computation; and 2. Enormous amounts of data.

At Crocotta R&D we have developed a novel method (a set of sub-methods) to the quasi-real-time synthesis, compression, simulation, and visualization of virtual matter, and of virtualized environments in high-resolution with the living cell being the smallest visible element. This talk will describe the concepts underlying this technology, and will go into the challenges in realizing the system, including some practical examples from different application areas.

Biography

Robert Sugar is a scientist, researcher and IT entrepreneur the same time. He has been starting companies since 1996, ranging from software companies, media companies, computer game developer companies and internet companies. Robert Sugar was born in 1978, and grew up in Hungary. He graduated in physics at the Lorand Eotvos University (Budapest, Hungary). First software engineering was just his hobby and later it has become his full time profession. His first development project was about artificial intelligence and graphical visualization for computer games back in 1996. He founded his own game developing studio in 2001 - called Mithis Entertainment - in the heart of Budapest the capital of Hungary. Until the end of 2005 his studio completed four big game titles which were distributed world-wide by well known multi-national publishers. Since his departure from the gaming industry in 2006 he has been focusing on cutting edge technology development. His fields of interest are "Visualization" (focusing on "Virtual Reality") and "Artificial Intelligence".

Crocotta Research and Development Ltd is made of a small team of international researchers with the aim of conducting technology leaps in exciting fields of exploration like visualization, virtual reality, virtual synthesis of matter, perception and recognition, artificial intelligence, and robotics. When Robert Sugar, founder of Crocotta Research and Development Ltd, established this research facility he had one main goal in mind: to become part of such pioneer research society who keeps rolling the ever accelerating technology developments of mankind, while also generating superb returns to the company's investors by successful commercialization of its achievements.

The Fraunhofer Model for Research and Development Professor Jose Encarnacao, TU Darmstadt, Germany, 03 October 2012

Date: 03 October 2012 Time: 15:00
Location: The Barn Lecture Theatre (Horton D1.27)
Speaker: Professor Jose Encarnacao, TU Darmstadt, Germany

Abstract

The Fraunhofer-Gesellschaft (FhG) is one of the pillars of research and innovation in Germany. These pillars are the Universities, the Leibniz-Gesellschaft (Associated Institutes), the Helmholtz-Gesellschaft (National Labs), the Max-Planck-Gesellschaft (fundamental basic research) and the Fraunhofer-Gesellschaft (applied contract research). The Fraunhofer-Gesellschaft undertakes applied research of direct utility to private and public enterprises and of wide benefit to society. It is the largest organization for applied research in Europe.

The presentation will start by giving a brief history of the Fraunhofer-Gesellschaft since 1954 and by describing the Fraunhofer position in the German Innovation System. The way Fraunhofer cooperates with Universities and its internal structure (Institutes, Networks of Institutes, Innovation Clusters) will be presented. The Fraunhofer financial model and the internal modes of governing institutional funding, as well as the performance-based internal distribution of funding will then be detailed. It aims at finding the right balance of competition and cooperation between Institutes.

The next part of the presentation will address strategy planning at the Fraunhofer. This strategy considers a balance between independence of institutes and corporate management. There is also an instrument in place for corporate foresight; this is based on structured processes helping the institutes to identify and submit future topics.

Fraunhofer also acts internationally and has developed several forms of international cooperation that will be described. Special focus will be made on the Fraunhofer activities in Europe, especially in the UK (Fraunhofer UK Research) since 2011.

Examples and videos showing some of the Fraunhofer innovation achievements and their impact in bridging the gap between science and industry are integrated into the presentation.

Biography

Professor Jose Encarnacao has been a Professor of Computer Science at the Technical University of Darmstadt and the head of the Interactive Graphics Research Group (THD-GRIS) since 1975. He has been the chairman of the board of the Computer Graphics Center (ZGDV) since 1984, and the director of the Fraunhofer Institute for Computer Graphics from 1987 to 2009. He has also been the director of the Rostock divisions of the ZGDV (since 1990) and of the IGD (since 1992). In 1991, Professor Encarnacao started a division of the Fraunhofer Institute in Providence, RI, USA (CRCG, Inc.), and in 1994 a division of the ZGDV in Coimbra, Portugal (CCG).
http://www.fernuni-hagen.de/ICDE/final/themes/key_enca.htm

Grand Challenges in Computer Graphics — How much Realism is enough Realism? Professor Jim Foley, Georgia Institute of Technology, College of Computing, 03 October 2012

Date: 03 October 2012 Time: 14:00
Location: The Barn Lecture Theatre (Horton D1.27)
Speaker: Professor Jim Foley, Georgia Institute of Technology, College of Computing

Professor Foley founded the Georgia Graphics, Visualization and Usability Centre at Georgia Tech, which has been ranked first by U.S. News & World Report for graduate computer science work in graphics and user interaction. The Association for Computing Machinery has awarded him the Lifetime Achievement Award for computer-human interaction and the Steven A. Coons Award, which places him among the World's leading computer graphics pioneers. He is co-author of several widely-used textbooks: http://en.wikipedia.org/wiki/Textbook in the field of computer graphics: http://en.wikipedia.org/wiki/Computer_graphics, of which over 400,000 copies are in print and translated into ten languages.
He will discuss the issue of realism and how far special effects gurus can, or need to, go in creating graphics and images which fool the eye - as well as some of the future challenges. The lecture duration will be about one hour. More detail here: http://sites.google.com/site/foley3Oct2012

This is part of an afternoon looking at "Grand Challenges in Computer Graphics".
More detail here: http://sites.google.com/site/foley3Oct2012a
Why is it great for students? - the answer is here: http://sites.google.com/site/foley3Oct2012b

Colour constancy in natural images through colour naming and sensor sharpening Dr. Javier Vazquez-Corral , Universitat Autonoma de Barcelona, Centre for Computer Vision , 23 May 2012

Date: 23 May 2012 Time: 14:00
Location: Horton D0.24
Speaker: Dr. Javier Vazquez-Corral , Universitat Autonoma de Barcelona, Centre for Computer Vision

Brief Summary:
Colour is derived from three physical properties: incident light, object reflectance and sensor sensitivities. The colour of the incident light varies significantly under natural conditions; hence, recovering the scene illuminant is an important issue in computational colour. One way to deal with this problem under calibrated conditions is by following three steps, 1) building a narrow-band sensor basis to allow for a diagonal model of illumination change, 2) building a feasible set of illuminants, and 3) defining criteria to select the best illuminant. The work described in this talk solves for colour constancy in natural images by introducing perceptual criteria in the first and third stages.
To deal with the illuminant selection step, we hypothesize that basic colour categories can be used as anchor categories to recover the best illuminant. These colour names are related to how the human visual system has evolved to encode relevant natural colour statistics. Therefore the recovered image provides the best representation of the scene labelled with the basic colour terms. We demonstrate with several experiments how this selection criterion achieves current state-of-art results in computational colour constancy. In addition to this result, we demonstrate with psychophysical experiments that the angular error measure, commonly used in colour constancy, does not correlate with human preferences, and we propose a new perceptual colour constancy evaluation.
The implementation of the illuminant selection criterion strongly relies on the use of a diagonal model for illuminant change. We focus on the principles behind building an appropriate narrow-band sensor basis to represent natural images. We propose to use the spectral sharpening technique to compute a unique narrow-band basis optimized to represent a large set of natural reflectances under natural illuminants and given in the basis of human cones. The proposed sensors allow the prediction of unique hues and the World colour Survey (colour names) data independently of the illuminant by using a compact singularity function. Additionally, we study different families of sharp sensors to minimize different perceptual measures. This allows us to extend the spherical sampling procedure from 3D to 6D.

Short bio:
Dr. Javier Vazquez-Corral obtained a BSc in Maths from Universitat de Barcelona in 2006, and both an MSc and PhD in Computer Science from Universitat Autonoma de Barcelona in 2007 and 2011 respectively. He currently works as a Postdoctoral fellow in the Centre for Computer Vision at the same university. He has also worked as a visiting researcher at the University of East Anglia and EPFL Lausanne. His research interests are broadly in computational colour, ranging from Colour Constancy to Colour Representation and Colour Psychophysics. His approach focuses on bridging the gap between colour in the human brain and its application to computer vision problems.

Information-Driven Value Chains Dr Catherine Mulligan, University of Nottingham, 02 May 2012

Date: 02 May 2012 Time: 13:00
Location: Richmond C7
Speaker: Dr Catherine Mulligan, University of Nottingham

Abstract:
In this talk Catherine will present her work on "Information-Driven Value Chains" in relation to Smart Cities focussing on how digital technologies can create new jobs and foster economic growth in urban areas.
In addition, Catherine will present an overview of "Sustainable Society Network+" a new grant that aims to create a network of academics, third sector organisations and companies interested in the application of digital technologies in the creation of a "sustainable society".
--
Short biography:
Dr Catherine Mulligan is Transitional Fellow at the University of Nottingham, currently working in Horizon Digital Economy Research. Catherine has a BSc. BIT from UNSW Australia, an MPhil in Engineering for Sustainable Development and a PhD in Economics both from the University of Cambridge, UK. Her research focuses on the value chains of ICT in smart cities, rural enterprises and also the emerging industrial structure of the global economy. Catherine is PI for the joint DST/RCUK project "Scaling the Rural Enterprise", investigating the use of mobile technologies for generating economic growth in the UK and India. She is also 'Champion' (PI) for the RCUK funded project Challenge Area Sustainable Society Network+. Catherine's research is well received in the business community and she is regularly asked to present on ICT, sustainability and emerging value chains. Catherine also works to ensure her research has real-world impact and is currently working with several cities in order to understand how an "Information Value Chain" can help create jobs and new industries. Catherine has 15 years industrial experience in the ICT industries, including 10 years at Ericsson in Stockholm, Sweden and is the author of several books on the communications industries.

Strategies for Agent-Based Modelling: An Object Oriented Approach to Modelling and Simulating Complex Systems Dr Eugene Ch'ng, Director of Innovation, IBM Visual and Spatial Technology Centre, Heritage and Cultural Learning Hub, University of Birmingham, 25 April 2012

Date: 25 April 2012 Time: 13:00
Location: Richmond C7
Speaker: Dr Eugene Ch'ng, Director of Innovation, IBM Visual and Spatial Technology Centre, Heritage and Cultural Learning Hub, University of Birmingham

Abstract:
Agent-based modelling is a process of representing and simulating the intentions, behaviour and actions of complex systems and real world autonomous agents with the goal of understanding specific phenomenon, or predicting spatial or behavioural trends of individuals or groups of interacting entities. Agent-based modelling, also termed multiagent systems, or in ecological simulation, individual-based model spans simple to highly complex systems and can be difficult to implement and optimize programmatically. This lecture aims to dissect individual agents and complex systems with a view to modelling and simulating them, using mathematical models, efficient algorithms and adaptive data structures.
The talk will also probe philosophical questions related to simulation.

Bio:
Dr Eugene Ch'ng is Senior Lecturer at the University of Birmingham. Dr Ch'ng directs technological developments at the IBM Visual and Spatial Technology Centre and innovates user experience in digital heritage using emerging hardware and information computation at the Heritage and Cultural Learning Hub. He has formal education in a wide variety of fields (Fine Arts, Graphic Design, Interior Architecture, Information Technology and, Electronic, Electrical and Computer Engineering). Dr Ch'ng specialises in interactive 3D, Virtual Environments, Artificial Life and Agent-based Modelling for marine and terrestrial ecology that requires large computing clusters for processing of agent-interaction and computer graphics rendering. The fusion of 3D visualisation and agent-based modelling is a unique strength that is applicable to a wide variety of research. He has in the past worked on a number of interactive 3D projects related to the reconstruction of terrestrial landscapes (Individual-Based Modelling and Ecology), palaeoenvironments and archaeological sites. He is involved in editorial boards, technical and programme committees in international journals and conferences in his field. Dr Ch'ng is a member of the IEEE Computer Society.
(http://www.opennature.org/).

Robot Traders and Flash Crashes: WTF? Professor Dave Cliff, Department of Computer Science, University of Bristol, 07 March 2012

Date: 07 March 2012 Time: 13:00
Location: Chesham C4.01
Speaker: Professor Dave Cliff, Department of Computer Science, University of Bristol

Abstract:
In the past decade, the global financial markets have become very heavily dependent on automated trading systems where computer systems perform trading jobs that were previously done by humans. Automated trading systems can now perform at truly superhuman levels, integrating vast amounts of data and reacting at split-second speeds that no human trader could ever match. The mix of human traders and automated systems, and the planetary interconnectedness of various major trading exchanges, mean that the global financial markets are now a single ultra-large-scale socio-technical system, built from risky technology. Various events in the past 18 months have served to highlight that the global financial system may now be less resilient, and more vulnerable to sudden severe failures, than it has ever been in the past. In this lecture I will talk about how we got to where we are, what the current problems are, what's likely to happen next, and what might be done to make things better.

Bio:
Dave Cliff is a professor of computer science at the University of Bristol and has previously worked as an academic at the Universities of Sussex and Southampton in the UK, and at MIT in the USA. He has also worked as a research scientist for Hewlett-Packard Labs and as a Director/Trader for Deutsche Bank's Foreign-Exchange Complex Risk Desk. Since 2005 he has served as Director of a ���£15m national research and training initiative addressing issues in the science and engineering of Large-Scale Complex IT Systems (LSCITS: see www.lscits.org). He is author on approx 100 academic publications, and inventor on 15 patents. In 1996 he iinvented one of the first adaptive autonomous algorithmic trading systems applicable to financial markets, which in 2001 was demonstrated by IBM to outperform human traders. He is currently serving as one of the group of eight experts leading the UK Government's "Foresight" investigation into the future of computer trading in the financial markets, a two-year project run by the Government Office for Science.

Interactive exploration of image collections Dr Gerald Schaefer, Department of Computer Science, Loughborough University, 22 February 2012

Date: 22 February 2012 Time: 14:00
Location: Horton D0.27
Speaker: Dr Gerald Schaefer, Department of Computer Science, Loughborough University

With image collections, both private and commercial, ever growing, efficient and effective tools for managing these repositories are becoming increasingly important. Content-based approaches, which are based on the principle of image feature extraction and similarity calulation based on these features, seem necessary as most images are unannotated. However, typical content-based retrieval systems have shown only limited usefulness.
In my talk, I will present interactive image database browsing systems as an alternative to retrieval approaches. Exploiting content-based concepts, large image collections can be visualised so that visually similar images are located close in the visualisation space. Once an image collection has been displayed, the user is given the possibility of interactively exploring it further through various browsing operations.
After introducing various approaches to visualising and browsing image collections, I will then focus on some of the systems that we have developed in our lab for this purpose. In particular, I will look in detail at the Hue Sphere Browser and Honeycomb Image Browser systems, both of which provide hierarchical browsing approaches which give access to large image collections in an intuitive yet efficient manner.
===
Gerald Schaefer gained his PhD in Computer Vision from the University of East Anglia. He worked at the Colour & Imaging Institute, University of Derby (1997-1999), in the School of Information Systems, University of East Anglia (2000-2001), in the School of Computing and Informatics at Nottingham Trent University (2001-2006), and in the School of Engineering and Applied Science at Aston University (2006-2009) before joining the Department of Computer Science at Loughborough University where he leads the Vision, Imaging and Autonomous Systems Research Division.
His research interests are mainly in the areas of colour image analysis, image retrieval, physics-based vision, medical imaging, and computational intelligence. He has published extensively in these areas with a total publication count exceeding 250. He is a member of the editorial board of more than 10 international journals, reviews for over 70 journals and served on the programme committee of more than 200 conferences. He has been invited as keynote or tutorial speaker to more than 30 conferences, is the organiser of various international workshops and special sessions at conferences, and the editor of several books, conference proceedings and special journal issues.

Fuzzy Rule-Based Systems for Autonomous Intelligent Agents Dr Tomoharu Nakashima, Osaka Prefecture University, 15 February 2012

Date: 15 February 2012 Time: 14:00
Location: Horton D0.27
Speaker: Dr Tomoharu Nakashima, Osaka Prefecture University

Abstract:
Fuzzy systems based on fuzzy if-then rules have been shown to be effective especially in the field of control and classification. Fuzzy systems can be constructed in various modes of learning such as supervised learning, unsupervised learning, and reinforcement leaning. One advantage of fuzzy systems over non-fuzzy ones is that fuzzy systems can produce non-linear mapping. Thus the fuzzy systems are able to accomplish complex tasks that cannot be achieved by non-fuzzy rule-based systems.
In this presentation, three fuzzy rule-based systems are shown that are used for the decision making of the following autonomous intelligent agents: a virtual futures trader, an autonomous car controller, and a robotic footballer. Three learning methods of fuzzy systems for developing autonomous intelligent agents are also shown.
Experimental results for these application domains are shown with some movie demonstrations.

Bio:
Tomoharu Nakashima received his Ph.D. degree in engineering from Osaka Prefecture University in 2000. He is an associate professor at Osaka Prefecture University, where he has worked since 2000.
His research interests include fuzzy rule-based system, RoboCup soccer simulation, pattern classification, agent-based simulation of financial engineering, evolutionary computation, neural networks, reinforcement learning and game theory.

Artificial Intelligence Demystified Professor Adrian Hopgood, Pro Vice-Chancellor Dean of the Sheffield Business School, Sheffield Hallam University, 25 January 2012

Date: 25 January 2012 Time: 11:30
Location: Chesham C4.02
Speaker: Professor Adrian Hopgood, Pro Vice-Chancellor Dean of the Sheffield Business School, Sheffield Hallam University

Abstract:
Artificial intelligence has been a rich branch of research for computer scientists and psychologists for over 50 years. The concept of mimicking human intelligence in a computer fuels the public imagination and has led to countless academic papers, news articles, and fictional works. Such exposure has led to high public expectations, despite the incredible complexity of everyday human behaviour and the difficulties in replicating even limited aspects of it. The challenge now is to build a system that can operate across the spectrum of intelligent behaviour from low-level reaction and control to high-level specialist expertise. The achievement of this goal requires a hybrid approach that draws on a variety of different techniques, each of which will be explained at an introductory level. Several practical examples will be presented, ranging from the control of specialised manufacturing processes to the diagnosis of mouth cancer. No prior knowledge of artificial intelligence will be assumed.

Bio:
Professor Adrian Hopgood joined Sheffield Hallam University in 2011, having previously worked for De Montfort University, Nottingham Trent University, and the Open University. He also has industrial experience with Telstra Research Laboratories in Melbourne, Australia and Systems Designers plc (now part of Hewlett-Packard). Professor Hopgood has published over 100 papers. His text book "Intelligent Systems for Engineers & Scientists" is ranked as a bestseller and the third edition is due for publication in late 2011. He is a visiting professor at De Montfort University and the Open University, Fellow of the British Computer Society, Chartered Engineer, and a panellist for the Engineering and Physical Sciences Research Council (EPSRC). He holds a doctorate from the University of Oxford and a bachelor's degree from the University of Bristol.

Process Optimisation Using an Evolutionary Multi-objective Framework Professor Ashutosh Tiwari, Cranfield University, 18 January 2012

Date: 18 January 2012 Time: 14:00
Location: Richmond C7
Speaker: Professor Ashutosh Tiwari, Cranfield University

Abstract:
As industry faces the current global economic slowdown, it is looking for innovative solutions to improve its processes. Processes are traditionally improved within industry by following certain guiding principles, such as lean initiatives, business process re-engineering, total quality management and six sigma. However, most of these initiatives are manual, expensive and time-consuming due to the complex subjective nature of process re-design. This talk investigates the application of evolutionary computing for providing computer-assisted continued/automated optimisation and adaptation of processes. Process optimisation problems are complex and are characterised by their multiple stages and hierarchical nature. This talk will consist of two parts: the first part will focus on the optimisation of multi-stage production processes and the second on the optimisation of complex, non-sequential business processes. Production processes deal with product manufacture, while business processes (such as customer order taking, servicing and information exchange) support the production processes and the services offered throughout the lifecycle of a specific product. This talk will present new modelling and optimisation techniques for production and business processes. The proposed techniques identify a variety of near-optimal solutions from which one could be finally chosen based on the designer's preferences. It is also shown that the obtained solutions dominate the previous results reported in literature.

Bio:
Professor Ashutosh Tiwari is a Chair in Manufacturing Informatics at Cranfield University. Over the last ten years, he has established Cranfield as one of the centres of excellence in the application of computing techniques to process and product design optimisation. He has developed a strong research track record by leading (as principal investigator) 6 EPSRC projects, 3 Cranfield Innovative Manufacturing Research Centre (IMRC) projects, 4 Knowledge Transfer Partnership (KTP) projects, and several EPSRC PhD/EngD studentships and MSc projects with industry. He has published extensively in his research career with around 150 research publications as refereed journal papers, conference papers, book chapters, edited books, workshop papers and research reports. He has also successfully completed the supervision of 50 MSc theses, 6 MSc by Research theses, 11 PhD/EngD theses and 7 Chevening Fellows.

The First Cross-domain Heuristic Search Challenge: Results and Analysis Dr Gabriela Ochoa, University of Nottingham, 07 December 2011

Date: 07 December 2011 Time: 14:00
Location: Horton D0.23
Speaker: Dr Gabriela Ochoa, University of Nottingham

The first 'Cross-domain Heuristic Search Challenge' (CHeSC 2011) (http://www.asap.cs.nott.ac.uk/chesc2011/) was organised by the ASAP research group in Nottingham. The aim was to bring together researchers from operational research and computer science who are interested in developing more generally applicable search methodologies (hyper-heuristics). The challenge was to design a search algorithm that works well, not only across different instances of the same problem, but also across different problem domains. Using a sport metaphor, it is the 'Decathlon' challenge of search heuristics. The event successfully attracted the interests of over 40 researchers at academic institutions across the six continents. To support the competition, and to promote research in this area, a software framework (HyFlex) was developed, which features a common interface for dealing with different optimisation problems. This presentation will summarise the main features of HyFlex and the competition; and will present an analysis of the results, highlighting the design principles of the most successful cross-domain hyper-heuristics.
--
Dr Gabriela Ochoa is a Senior Research Fellow in the Automated Scheduling, Optimisation and Planning (ASAP) research group, School of Computer Science, University of Nottingham, UK. She holds BSc and MRes degrees in Computer Science from the University Simon Bolivar, Venezuela; and a PhD in Artificial intelligence from the University of Sussex, UK. Her research interests lie in the foundations and application of evolutionary algorithms, heuristic search methods, and machine learning with emphasis in automated heuristic design, self-* search heuristics, hyper-heuristics, fitness landscape analysis, and applications in combinatorial optimisation, software engineering, medicine and biology. She has published over 50 articles in these topics. She has co-organised several workshops, special sessions and tutorials in hyper-heuristics and self-* search (GECCO, PPSN, LION, CEC), and co-edited two journal special issues in these topics (Journal of Heuristics, and MIT Press Evolutionary Computation Journal). She proposed and co-organised the first Cross-domain Heuristic Search Challenge (http://www.asap.cs.nott.ac.uk/chesc2011/), a research competition that received significant national and international attention.

Trust and Reputation Management in Distributed Systems Antesar Shabut, 23 November 2011

Date: 23 November 2011 Time: 14:00
Location: Horton D0.23
Speaker: Antesar Shabut

Considerable models and theories have been proposed in the last few years to manage trust and reputation as an instrument to concern with some security deficiencies which are inherent to distributed systems like e-commerce, social networks, peer-to-peer networks, and mobile ad hoc networks. However, very few of them take into account all the potential security threats and dynamic characteristics of these systems. This presentation presents some of the most important and vital properties that should be considered when developing or enhancing trust and reputation mechanisms especially in a dynamic changeable environment like mobile ad hoc networks (MANETs). A brief description and analysis of each of those properties is provided. Some addition and modification to those models are proposed in order to enhance such these models.
--
Currently Antesar is a PhD student in the University of Bradford under Dr Keshav Dahal and Prof I Awan supervision. She is a lecturer at Faculty of Information Technology of Garyounis University of Libya, where she joined in since 2008. She holds a Bachelor degree in Computer Science from the University of Garyounis, Libya in 1999 and received her Master Degree in IT consultancy from the Sheffield Hallam University, UK in 2008. Her current research interests include trust and reputation management, security issues in Mobile ad hoc networks and recently fuzzy logic as a tool to handle uncertainty.

Starter Kit for Computer Emergency Response Team Madihah Binti MohdSaudi, 09 November 2011

Date: 09 November 2011 Time: 14:00
Location: Horton D0.23
Speaker: Madihah Binti MohdSaudi

Abstract:
In this presentation, a new model called STAKCERT (Starter Kit for Computer Emergency Response Team) will be presented. It is a model to detect and respond to worms attack efficiently. It is a blended integration of worm, incident response, apoptosis, security metrics and data mining.

The novelty and the strengths of the STAKCERT model lie in the method implemented which consists of STAKCERT KDD processes and the development of STAKCERT worm classification, STAKCERT relational model and STAKCERT worm apoptosis algorithm. This STAKCERT model has produced encouraging results and outperformed comparative existing work for worm detection. It produces an overall accuracy rate of 98.75% with 0.2% for false positive rate and 1.45% is false negative rate.

Towards the end of the presentation, future work and opportunities for further collaboration will be discussed.
--
Recently Madihah completed her PhD from University of Bradford under Dr Andrea Cullen and Prof Mike Woodward supervision. She is a senior lecturer at Faculty Science and Technology of Islamic Science University of Malaysia (USIM), Malaysia (www.usim.edu.my) where she joined in since 2006. She holds a Bachelor degree in Computer Science from the Universiti Kebangsaan Malaysia(UKM), Malaysia in 2001 and received her Master Degree in Software Engineering from Universiti Malaya (UM), Malaysia in 2006. Prior to that, she was attached with the CyberSecurity Malaysia as a MyCERT team, specialized in computer virus and project manager for CyberSecurity Honeynet project. She is certified with CEH, Ec-Council, USA and GSEC,SANS Institute,USA, and a member of IEEE and IAENG.
Her current research interests include malware detection and response, incident response, information security management, data mining, security metrics, social engineering and gaming.
She has published papers on the above and related topics; she has completed a research grant from Malaysia government and USIM in total amount RM469,456.
Email: maddymms@gmail.com/madihah@usim.edu.my/m.b.mohdsa@student.bradford.ac.uk.

Determinization and Information Set Monte Carlo Tree Search for the Card Game Dou Di Zhu Daniel Whitehouse, 02 November 2011

Date: 02 November 2011 Time: 14:00
Location: Horton D0.23
Speaker: Daniel Whitehouse

Determinization is a technique for making decisions in games with stochasticity and/or imperfect information by sampling instances of the equivalent deterministic game of perfect information. Monte-Carlo Tree Search (MCTS) is an AI technique that has recently proved successful in the domain of deterministic games of perfect information. This paper studies the strengths and weaknesses of determinization coupled with MCTS on a game of imperfect information, the popular Chinese card game Dou Di Zhu. We compare a "cheating" agent (with access to hidden information) to an agent using determinization with random deals. We investigate the fraction of knowledge that a non-cheating agent could possibly infer about opponents' hidden cards. Furthermore, we show that an important source of error in determinization arises since this approach searches a tree that does not truly resemble the game tree for a game with stochasticity and imperfect information. Hence we introduce a novel variant of MCTS that operates directly on trees of information sets and show that our algorithm performs well in precisely those situations where determinization using random deals performs poorly.

In this talk I will describe the work which I recently presented at the 2011 IEEE Conference on Computational Intelligence and Games in Seoul, South Korea. In addition I will present a brief introduction to Monte Carlo Tree Search and concepts related to Hidden Information and Uncertainty in Games. This work was done under the supervision of Dr. Edward Powley and Prof. Peter Cowling and is funded as part of the EPSRC project "UCT for Games and Beyond".
--
Daniel has been a PhD student at the University of Bradford for the past year under the supervision of Prof. Peter Cowling and Dr. Edward Powley and in 2010 he received a Masters degree in Mathematics from the University of Manchester. He is interested in Artificial Intelligence applied to games and is currently investigating the application of Monte Carlo Tree Search methods to games with Hidden Information and Uncertainty.

Writing your way to recognition Dr Ariadne Tampion, 26 October 2011

Date: 26 October 2011 Time: 12:30
Location: Richmond C7
Speaker: Dr Ariadne Tampion

Written language can be a powerful tool for establishing your identity and worth in the minds of others. This presentation will give tips for writing in a way that is not only readable but memorable. It will cover some background to the nature, origins and limitations of language communication and thereby provide guidance for connecting with a variety of audiences.

For Dr Ariadne Tampion, writing has been a thread throughout her life: from childhood obsession, through an exceptional doctoral thesis, to the varied demands of a myriad of community and campaigning roles. Most recently, she has produced works of fiction on the theme of her current interest, artificial intelligence.

Mining Association Rules in Distributed Databases Walid Adly, 19 October 2011

Date: 19 October 2011 Time: 14:00
Location: Horton D0.23
Speaker: Walid Adly

Abstract: Mining the overwhelming amount of medical databases that are distributed in
geographically distributed hospitals is a very important issue. One of the reasons to develop distributed approaches is that in most of the cases the data itself is distributed in different sites. Loading data into a centralized location for mining interesting rules is not a good approach for real time environments as it violates common issues like data privacy and network overhead. Another reason for developing distributed approaches is the increased complexity of the algorithms which made the researches present other ways to divide the data into independent subsets and apply the required algorithm on each subset and then combine their partial results.
Many algorithms have been proposed to improve the efficiency of the distributed association rules algorithms to handle real-world large datasets and to deal with the real time environments that lack limited network bandwidth and memory. In this talk, I will present a proposed distributed Multi-Agent based algorithm for mining association rules in distributed environments. The algorithm is implemented in the context of Multi-Agent systems and complies
with global communication standard Foundation for Intelligent Physical Agents (FIPA). The proposed distributed algorithm with its new data structure improves implementations reported in the literature that were based on Apriori. The algorithm has better performance over Apriori-like algorithms.
-------------------
Walid has started his Ph.D. studies in Bradford one year and half ago and is a member of the AI Research Group. He received a Masters degree from the Ein Shams University in Cairo, Egypt. He is a:
Microsoft Certified System Engineer (M.C.S.E.)
Microsoft Certified Database Administrator (M.C.D.B.A.)
Microsoft Certified Trainer (M.C.T.)
Oracle Certified Professional (O.C.P.)

Fuzzy Interpolation and Its Adaptation Longzhi Yang, 12 October 2011

Date: 12 October 2011 Time: 14:00
Location: Horton D0.23
Speaker: Longzhi Yang

Abstract:
Fuzzy interpolative reasoning strengthens the power of fuzzy inference by enhancing the robustness of fuzzy systems and reducing systems complexity. However, after a series of interpolations, it is possible that multiple object values for a common variable are inferred, leading to inconsistency in interpolated results. Such inconsistencies may result from incorrect observations, incorrect rules in the given rule base or defective interpolation procedures. In this talk, I will introduce an approach for detection, identification and correction of multiple simultaneous faults during fuzzy interpolation in an effort to remove the inconsistencies. In particular, an assumption-based truth maintenance system (ATMS) is utilised to record the dependencies of reasoning conclusions and system inconsistencies, while the underlying technique that the classical general diagnostic engine (GDE) employs for fault localization is adapted to isolate possible sets of simultaneous faults. From this, a modification mechanism is introduced to correct a certain set of identified faults in interpolation, thereby removing inconsistencies. This approach has been applied to a real-world problem, which predicates the diarrhoeal disease rates in remote villages, to demonstrate the potential of this work in improving the effectiveness of fuzzy interpolation.
--
Longzhi Yang started his RA with the FP7 project COSMOS team at SCIM on the 1st of September 2011. Longzhi will defend his PhD thesis in Aberystwyth University at the start of November 2011. He is the main author of research papers published in highly visible conferences; Longzhi has been awarded the Best Student Paper Prize at the 2010 IEEE International Conference on Fuzzy Systems FUZZ-IEEE (the most prestigious international annual event in his research field), and the IEEE CIS Outstanding Student Paper Travel Grant for three times in a row.

Graph Search + Machine Learning = Monte Carlo Tree Search Professor Peter Cowling, 05 October 2011

Date: 05 October 2011 Time: 14:00
Location: Chesham B1.20
Speaker: Professor Peter Cowling

Search in (very large) directed graphs has proven a very productive model for creating intelligent behaviours, in areas such as computer Chess, planning, scheduling and optimisation. For other problems that can be modelled using directed graphs, such as creating computer players for the traditional board game Go, search in these graphs has proved intractable. There is considerable current excitement over the potential of Monte Carlo Tree Search algorithms (particularly UCT (http://senseis.xmp.net/?UCT)), which have integrated machine learning and graph search methods to beat human professional Go players in the past couple of years. This represents a significant step towards an outstanding research question in Artificial Intelligence (http://oase.nutn.edu.tw/FUZZ_IEEE_2009/result.htm).

In addition to its success in computer Go, Monte Carlo Tree Search has proven to be more effective than other graph search algorithms in a wide range of decision problems. In the first part of this talk we will discuss very recent work on Monte Carlo Tree Search as a general-purpose way of searching minimax trees (e.g. for Go) and other trees (e.g. for multiplayer games and decision problems with uncertainty and incomplete information).


When dealing with uncertainty and incomplete information, a common approach is to use a particular determinization, by assuming that all players know all information and that all random events are known in advance. We average over a number of determinizations, and choose the move with the best average score, yielding strong play for games such as Bridge and Scrabble. We will discuss the advantages and shortcomings of determinization, by reviewing our own work on searching the decision trees for the card games Dou Dhi Zhu and Magic:The Gathering and the board game Lord of the Rings:The Confrontation. We will discuss approaches to handling decision trees with uncertainty and hidden information, culminating in our recent work on Information Set Monte Carlo Tree Search. as well as the work of others to create strong players for other games.

After a brief explanation of the algorithms, and a survey of some highlights of the work to date, we will discuss the rich set of open questions surrounding Monte Carlo Tree Search, which will allow us to understand this family of algorithms and the range of applications for which they might prove effective.

The Impact of Social Networks and Web 3.0 in the Management and Marketing of the Companies Dr Fernando J. Garrigos-Simon and Yeamduan Narangajavana, 14 September 2011

Date: 14 September 2011 Time: 13:30
Location: Horton D0.01
Speaker: Dr Fernando J. Garrigos-Simon and Yeamduan Narangajavana

Abstract:
This presentation analyses the transformation that is producing the development of social networks, the virtual communities and web 3.0. The study presents also the interrelationships between professional virtual communities and social networks, and analyses how companies can use the new innovations in order to improve their business models, by concentrating specifically in the marketing process of the firms. We focus also on presenting how nowadays real enterprises are using these innovations in order to get competitive advantage in their marketplaces.

Dr Fernando J. Garrigos-Simon is Associate Professor with Department of Business Organization, Universidad Politécnica de Valencia. He received his PhD from Universitat Jaume I, and MSc from Bournemouth University. He has been visiting professor or visiting academic in several universities such as University of Miami, Singapore Management University, or University of Sydney. His research focuses on information and knowledge management, managerial capabilities, and social networks. He has published several books, chapters, and articles in leading journals such as Small Business Economics, Tourism Management, Canadian Journal of Administrative Sciences, International Journal of Technology Management, or Annals of Tourism Research.

Yeamduan Narangajavana is a PhD. student at Universitat Jaume I, Spain. She has got the MSc from Bournemouth University. She has been a lecturer at Dusit Thani College and at Walailak University, Thailand. Her research interests include tourism and hotel management, information systems and technologies, and knowledge management. She’s got the award of the Social Council for the best researching work in the University Jaume I in 2006 (published as a book), and has articles in journals such as Tourism Today, International Journal of Contemporary Hospitality Management, Tourism Management, Annals of Tourism Research, and Air Transport Management.

Double Min-Score (DMS) Algorithm for Automated Model Selection in Predictive Toxicology Anna Wojak, 06 September 2011

Date: 06 September 2011 Time: 15:30
Location: Horton D0.18
Speaker: Anna Wojak

In silico modelling is considered a cost efficient alternative to in vivo - in vitro testing and it allows the identification of toxic effects in early stages of product development. To speed up this discovery process while reducing the need of lab tests, a collection of high quality data and models is required. Data integration, data quality assessment and model management are current challenges for predictive toxicology in order to make data and models re-usable sources of information. One of model management components is model selection. This paper presents a novel concept of an automated model selection framework that leads to an efficient re-usage of existing models in predictive toxicology. This study demonstrates that the new classification methods, used for model selection, improve the quality of the test set, and unseen chemical compound prediction.

Cancer cell detection and tracking using Nonlinear image filtering techniques Reema Khorshed, 04 March 2010

Date: 04 March 2010 Time: 13:00
Location:
Speaker: Reema Khorshed

Tumour detection has always remained a critical issue. Early tumour detection and cancer cell tracking could lead to best possible treatments. Several imaging techniques are utilised for the purpose. However, precise detection of cancer cell is yet not achieved. Nonlinear filtration utilising image processing techniques could be a possible solution for the precise and defined cell tumour detection and tracking. Non linear filtration has been implemented as edge detection mainly.

This research proposes a method to extract and analyse the features of cancer cells under the help of linear filter mainly edge detection by implementing autocorrelation, cross-correlation, thresh holding, segmentation and description of images, it also provides valuable data for the diagnoses of cancer cells.

Magnetic reconnection and the active solar corona' Dr. Philippa Browning, 11 March 2009

Date: 11 March 2009 Time: 13:00
Location: Horton D4.07
Speaker: Dr. Philippa Browning

This is a great pleasure to announce the first research seminar in Applied Mathematics with the talk 'Magnetic reconnection and the active solar corona' given by Dr. Philippa Browning, a very distinguished speaker from Manchester University, graduated in Applied Mathematics from Cambridge University, the first female PhD student in plasma physics at St. Andrews University.

Information Quality in E-learning Mrs Mona Alkhattabi, Drs A Cullen and D Neagu, 28 January 2009

Date: 28 January 2009 Time: 18:30
Location: New Board Room, Richmond Building (D2)
Speaker: Mrs Mona Alkhattabi, Drs A Cullen and D Neagu

IET Prestige Event – Information Quality in E-learning

Wednesday 28 January 2009 from 7:00PM (6:30PM Refreshments) New Board Room (D2), Richmond Building, University of Bradford, Bradford, BD7 1DP

SPEAKERS:

Mrs. Mona Alkhattabi, School of Computing, Informatics and Media, University of Bradford Dr. Andrea Cullen, School of Computing, Informatics and Media, University of Bradford Dr. Daniel Neagu, School of Computing, Informatics and Media, University of Bradford

E-learning services and technologies provide teachers and learners with distributive, collaborative, and interactive features which help to overcome the restriction of space and time in information delivery and reception, and allow the learners to create their own learning paths and procedures.
The quality of education using e-learning systems depends largely on the objectives and expected results. The measurement of the quality of content delivered by e-learning systems is an important and influential factor in evaluating the overall quality of learning and must be considered from both teachers’ and learners’ perspectives. We address quality as a key factor in the success of the educational process in e-learning. An overview of research into the quality of e-learning to identify a way to effectively measure the quality of the content of learning materials distributed via e-learning systems will be provided.

All students and non-IET members are welcome to this FREE event

Mrs. Mona Alkhattabi is a PhD student at the University of Bradford, with over 5 years educational experience in the field of Mathematics, with a bachelor degree from Education College in Riyadh, Saudi Arabia. After she was awarded an MSc in Computing with Distinction from the University of Bradford in 2006, she started her research in the quality of e-learning content. More details are included in her personal webpage: http://www.inf.brad.ac.uk/~maalkhat

Dr. Andrea Cullen has many years industrial experience as a computer programmer and systems analyst working on projects throughout the UK. Her academic career spans two disciplines: computer science; and management. She is currently a senior lecturer in computing at the University of Bradford, teaching operations management, business systems security and e-business. Main areas of research
include: e-commerce, e-government, and issues associated with IS security within organisations. More details are included in her personal webpage:
http://www.inf.brad.ac.uk/staff/index.php?type=p&u=ajcullen

Dr. Daniel Neagu is senior lecturer in computing with the University of Bradford, where he was appointed in 2002. His research focuses on Artificial Intelligence techniques applied to Data Quality, Visual Arts, Toxicology, Software Engineering, OODbs and Web Semantics. Processing information to identify key attributes and making unknown, hidden or distributed information accessible to people plays a vital role in the progress of science and technology, thus Daniel's work addresses applications as diverse as e-learning, health, engineering, and entertainment. More details are included in his personal webpage:
http://www.inf.brad.ac.uk/staff/index.php?type=p&u=dneagu

To register your attendance to this free event please contact: Dr Crinela Pislaru, Tel: 01484 473843 Email: c.pislaru@hud.ac.uk or Dr Daniel Neagu, E-mail: d.neagu@bradford.ac.uk

Mathematical Methods for Sensor Data Processing Prof Kiril Alexiev Institute of Parallel Processing, Bulgarian Academy of Sciences, 30 May 2008

Date: 30 May 2008 Time: 14:00
Location: D2.06
Speaker: Prof Kiril Alexiev Institute of Parallel Processing, Bulgarian Academy of Sciences

Poor(ous) Thinking or Leaky Data? Observations on Plugging security holes. Pravin Mirchandani, 28 May 2008

Date: 28 May 2008 Time: 14:00
Location: D2.06
Speaker: Pravin Mirchandani

The now infamous loss of the CD sent by HM Revenue and Customs to the National Audit Office, in late 2007, and several other high-profile data losses have provoked widespread comment in the UK and international press, mostly focusing on the scale of the data losses - personal data on 25 million people in the HMRC CD case - and the question of culpability. Critics of the government claim the security incidents indicate systemic error, whilst the government has insisted it is (just) the fault of low-level officials not following procedures.

Pravin Mirchandani, Managing Director of Syphan Technologies, a Yorkshire-based network security company, will argue that the HMRC CD and other incidents are highly illustrative of a number of trends of major importance to researchers and other actors in the security industry. The highlighted trends demonstrate important gaps in current security models, which have significant ramifications for future security system deployments. In his discussion, Pravin Mirchandani will also use these trends to provide a different perspective on the case for national ID cards as a system for protecting citizens.

From Planning to Cultivation: educating for ICT management and design Lars Rönnbäck, Industrial IT Group, University of Umea, 23 April 2008

Date: 23 April 2008 Time: 14:00
Location: D2.06
Speaker: Lars Rönnbäck, Industrial IT Group, University of Umea

A research seminar organized by the School of Informatics and the International Office with the support of the EC Erasmus/Socrates Programme:
This is a good opportunity to learn about the Erasmus exchange destination at the University of Umea (presentation of the department, courses and Umea as a place to study) and also to attend the research presentation on the view of technology in organizations and what that means for systems development, ICT management, business management, risk handling.

Research seminar title:

From Planning to Cultivation: educating for ICT management and design

Date: 23 April 2008
Time: 1530 - 1630
Location: Richmond C7
Speaker: Lars Rönnbäck, Industrial IT Group, School of Informatics, University of Umea

Abstract:
Planning is one of the most fundamental activities in businesses and organizations. ICT management, implementation and design are not excluded from planning, quite the opposite.
Organizations strive to control not only the technology, but also the cost and use of it in different stages. The designer and developer try to plan the implementation and design process in order to control the outcome and result. This, however, is proving increasingly difficult.
For organizations, the more they try to control the technology the more unexpected outcomes and side effects occur. The technology, and its use, tend to drift. New challenges arise for designers and developers as well as for managers in organizaitions. In order to manage these challenges cultivation seems to be a more promising way of dealing with the design, development and management of technology.
At the Department of Informatics at Umea University in Sweden we aim at educating students so that they are prepared for the challenges ahead. We have designed our education in such a way that the students will be trained in making informed decisions in changing, dynamic environments.

Further details about the speaker:
http://www.informatik.umu.se/iit/?page_id=4
and institution:
http://www.informatik.umu.se/iit/

Teaching the Google-Eyed You Tube Generation Dr Bill Ashraf, Biomedical Sciences, 15 December 2006

Date: 15 December 2006 Time: 14:00
Location: Horton D2.06
Speaker: Dr Bill Ashraf, Biomedical Sciences

My vision is to offer multi-dimensional flexible learning opportunities through audio and visual learning materials thereby, significantly enhancing the student experience through real-time on demand learning using “Enhanced Podcasts” of my lectures. My desire to achieve this vision is centred of my own recent experiences as a part-time and, for some modules a distance learning, student on the Bradford Executive MBA programme. This has provided me with a unique view of a learner centred distance learning strategy by utilising student friendly technology to support a 24/7 learning environment.

The term podcasting “refers to any software and hardware combination that permits automatic downloading of audio files to an MP3 player for listening at the user's convenience”. Part of the appeal of podcasting is the ease with which audio content can be created, distributed, and downloaded from the Web.
Barriers to adoption and costs are minimal, and the tools to implement podcasts are simple. The application of this technological innovation allows for the introduction of a 24/7 learning environment in a rapidly developing customer led 24/7 culture. More recently, I have also utilised “enhanced podcasts” were the audio and PowerPoint slides are downloaded simultaneously and can be “viewed” and “reviewed” together seamlessly. The other main advantage is that the podcasting approach can more easily reach and engage with students as it helps them learn where they play – on the internet and via their mp3 players, laptops and mobile phones. This means that education becomes portable and the traditional hurdles to effective distance learning, including remoteness and time constraints, are much lower than ever before.

Quantum Computing & Stereoscopic imaging techniques for videos Dr. C. Lei - University of Lancaster &Yue Feng, 17 November 2006

Date: 17 November 2006 Time: 14:00
Location: Horton D2.06
Speaker: Dr. C. Lei - University of Lancaster &Yue Feng

Dr C Lei

Fourier Multi-port Device

Abstract:

A beam splitter is the simplest example of an optical device with two inputs and two outputs. In the classical picture, a beam splitter is an optical device that splits a beam of light into two parts. In this case, there is an unused port which is empty of an input field and has no effect on the output beams. However, in the quantum mechanical picture, the ‘unused’ port still contains a quantized field mode which is in the vacuum state and the vacuum state leads to important physical effects.

A multi-port analogue of a beam splitter with d inputs and d outputs performs unitary transforms and plays a very important role in quantum optics and quantum information processing.
We consider a special case of 2d-port devices in which the creation and annihilation operators of the photons at the inputs are related to the creation and annihilation operators at the outputs through a finite Fourier transform. In this case, each output is a combination of all the inputs with equal weights, which leads to interesting results.

Intelligent Algorithms for Real-time Optimal Ammr Madkour, 08 November 2006

Date: 08 November 2006 Time: 14:00
Location: Horton D2.06
Speaker: Ammr Madkour

Optimal guidance algorithm design has been widely considered to be the most effective way for a guided missile to intercept a manoeuvring and non-manoeuvring target in three dimensions (3D). However, it is also known from the optimal control theory that a straightforward solution to the optimal trajectory shaping problem leads to a two point boundary-value problem which is too complex for real-time implementation.
This thesis reviews the history of missiles, concept of guidance systems, and the classification of the missiles. An overview of the widely used missile guidance interception algorithms for a given target is also discussed to demonstrate the current state of art technology
This thesis also presents an investigation into the optimal missile guidance algorithms using a trained neural network to achieve accurate interception of a manoeuvring target in 3D. Evolutionary genetic algorithm is used to generate a set of optimized training data to train the neural network. The Navigation Constant ( ) of the Proportional Navigation Guidance (PNG) algorithm and the target position at the launching are considered for optimization using genetic algorithms for an accurate interception. This is achieved by minimizing the miss distance and missile flight time.
This also presents an investigation into a comparative performance of the intelligent learning algorithms using the evolutionary genetic algorithms, neural network, and adaptive neuro-fuzzy inferences system. The merits and capabilities of the learning algorithms are demonstrated through a set of experiments. A new crossover approach for population inheritance of genetic algorithms using a concept taken from the recessive trait idea is also designed, implemented and tested.

Finally, the merits of the optimal missile guidance algorithms are also discussed and analysed through a set of experiments. It is worth noting that, all of the heavy in-flight computational burden and the convergence characteristics are done off-line to train the neural network which can easily be used for real-time guidance system.

Investigation, Assessment and Identification of Possible Data Quality Criteria in Predictive Toxicology and Combining Multiple Classifiers using Dempster's Rule of Combination for Toxicity Prediction Ladan Malazizi & Dr. Gongde Guo, 30 August 2006

Date: 30 August 2006 Time: 14:00
Location: Horton D1.21
Speaker: Ladan Malazizi & Dr. Gongde Guo

Speaker: Ladan Malazizi
Title: Investigation, Assessment and Identification of Possible Data Quality Criteria in Predictive Toxicology

Abstract: Measuring the quality of available information is an important issue in many scientific domains, and even more so if provides a basis for further model development. An example is predictive toxicology that relies on data from public and commercial databases for analysis and modeling towards Quantitative Structure Activity Relationship (QSAR) models development. Much work has been done on QSAR modeling, but in many cases little attention has been paid to the quality of toxicology data, since there is not a clear definition of what quality is or criteria to base the quality assessment on. Some background investigation into the current developments in data quality assessment in various domains and their relevance to predictive toxicology will be introduced. A number of quality issues from experimental work on toxicological data will be highlighted. Some quality criteria will be discussed as a result of the study.

Speaker: Dr. Gongde Guo
Title: Combining Multiple Classifiers using Dempster's Rule of Combination for Toxicity Prediction

Abstract: The performance of individual classifiers applied to complex data sets has for predictive toxicology a significant importance. An investigation was conducted to improve classification performance of combinations of classifiers. For this purpose some representative classification methods for individual classifier development have been used to assure a good range for model diversity. A new effective multi-classifier system based on Dempster's rule of combination of individual classifiers will be presented. The classification accuracy of the proposed combination models achieved, according to our initial experiments, better average than that of the best individual classifier among five classification methods (IBL, DT, RIPPER, MLP and SVM) studied.

Seminar by Research Students for Research Students 7 Staff, Modeling of Generator Maintenance Cost in Deregulated Power Systems, The Trade Off between Diversity and Quality for Multi-objective Workfo Khalid Al-Arfaj & Nic Colledge, 01 August 2006

Date: 01 August 2006 Time: 14:00
Location: D1.21
Speaker: Khalid Al-Arfaj & Nic Colledge

Presenter: Khalid Al-Arfaj
Title: Modeling of Generator Maintenance Cost in Deregulated Power Systems

Abstract: The accurate cost function plays an important role in maintenance scheduling and planning for generator companies in deregulated power systems. Many literatures assume a constant maintenance cost while investigating a maintenance plan. We propose a model to reflect more real-world situations by including components such as, direct/indirect maintenance costs, failure costs and opportunity costs. A brief description about each component in the model will be given. A way of quantifying them will be presented.



Presenter: Nic Colledge
Title: The Trade Off between Diversity and Quality for Multi-objective Workforce Scheduling

Abstract: The relative importance (weights) of different objectives in many problems is often unknown and hard to define. The problem of defining weights can be overcome by using multi-objective approaches such as NSGA-II and SPEA2 in genetic algorithms but at what cost? We have shown that multi-objective approaches can find solutions whose quality is close to that of solutions found by single objective weighted-sum approaches with no knowledge of the weights for a real world NP-hard scheduling problem.

Target Tracking and Multisensor Fusion of State Estimation Prof Chong Zhao Han, 21 July 2006

Date: 21 July 2006 Time: 14:00
Location: D2.06
Speaker: Prof Chong Zhao Han

Prof Han is a visiting Professor from Xi'an Jiaotong University

Application of Subdivision Techniques in CAD Dr Nele Gross, School of Applied Sciences, University of Northampton & Ayman Abubaker, Research Student, 07 July 2006

Date: 07 July 2006 Time: 15:00
Location: Horton D2.06
Speaker: Dr Nele Gross, School of Applied Sciences, University of Northampton & Ayman Abubaker, Research Student

Application of Subdivision Techniques in CAD Dr Nele Gross
Abstract: In order to machine a shape using a computer, it is necessary to produce a computer-compatible description of that shape. A surface model of an object is usually created digitally in shape of a triangular mesh or a spline surface. Spline surfaces have advantages over triangular meshes as data of varying curvature can be more compactly described and tool-paths can be oriented along parameter lines. However, the parameter lines should be continuous over patch boundaries for this goal. Also the surface should preferably be globally curvature continuous to facilitate the milling process. However, de facto methods of creating spline models don't fulfil these requirements. These difficulties are caused by the fact that in current methods spline patches are calculated separately and are afterwards "stitched" together at the boundaries. In this paper, an algorithm based on subdivision techniques is introduced that calculates surfaces which can be machined using NC-milling. The advantages of subdivision techniques regarding efficiency and topological properties are transferred to the algorithm. Another application is the calculation of "Class-A" surfaces in car manufacturing.


Automated Detection of Breast Cancer Microcalcifications in Digitized Mammogram Images using CAD Technology Ayman Abubaker Abstract: Breast cancer is the second most diagnosed cancer among women after skin cancer. The aim of Ayman's PhD is to design an automated CAD system for the early detection of microcalcifications in digitized mammogram images. The detection and verification of microcalcifications is challenging because of their hazy characteristics, the high resolution of mammograms and because they are embedded mainly in non-homogeneous background. In this presentation Ayman will provide a brief introduction to mammography, current-state-of-the-art and the available data sources. The proposed design for the CAD system will be introduced and the current progress will be discussed. Ayman will also introduce some of his practical results in image reduction and enhancement, breast region segmentation and initial detection of microcalcifications using statistical, morphological and topological based imaging techniques.

Future of Computing Peter Excell, 20 June 2006

Date: 20 June 2006 Time: 15:00
Location: D2.06
Speaker: Peter Excell

Extra talk from Vassilis Theodorakopoulos, Computing Research Student, entitled "Data partitioned
H.263 video transmission with high level QAM"

The Integration of Heterogeneous Protein Information using Bayesian Networks for Hypothesis Exploration Dr Ken McGarry, School of Computing & Technology, University of Sunderland, 19 May 2006

Date: 19 May 2006 Time: 13:00
Location: D2.06
Speaker: Dr Ken McGarry, School of Computing & Technology, University of Sunderland

Bayesian networks can provide a suitable framework for the integration of highly heterogeneous experimental data and domain knowledge from experts and ontologies. In addition, they can produce interpretable and understandable models for knowledge discovery within complex domains by
providing knowledge of casual and other relationships in the data. We have developed a system using Bayesian Networks that enables domain experts to express their knowledge and integrate it with a variety of other sources such as protein-protein relationships extracted by text
mining and to cross-reference this against new knowledge discovered by the proteomics experiments. The underlying Bayesian mechanism enables a form of hypothesis testing and evaluation.

Optical emission and polarisation in solar flares Dr. Kashapova, Institute of Space Physic, Irkutsk, Russia, 28 April 2006

Date: 28 April 2006 Time: 14:00
Location: D2.06
Speaker: Dr. Kashapova, Institute of Space Physic, Irkutsk, Russia

Mobile E-Commerce: The Inhuman Factor Yasmin Malik, Consultant, yEvolve (a Mobile CRM Solutions Company), 24 March 2006

Date: 24 March 2006 Time: 14:00
Location: D2.06
Speaker: Yasmin Malik, Consultant, yEvolve (a Mobile CRM Solutions Company)

"MOBILE E-COMMERCE: THE INHUMAN FACTOR

It is predicted that by the year 2010, Internet related commerce will have trillions of users - but beware: most of them will NOT be human.

The advent of the mobile millennium has meant that mobile devices such as cell phones and PDAs are setting the new trends for interacting with the Internet. Is your mobile device really on its way to becoming the pre-pay wallet that
will fuel the ?boom in m-commerce?? EU deregulation on mobile e-money rules, increased mobile based purchasing of products, to the more exotic promises of catching the latest football and X-Factor highlights via mobile TV
certainly seem to second this.

Join me for an informative yet realistic look, at how you and I can become Mobile Masters of tomorrow.?

Seminar for Technical Presentations Dr Anastasia Konstadopoulou/Dr Hassan Ugail, 17 February 2006

Date: 17 February 2006 Time: 14:00
Location: D2.06
Speaker: Dr Anastasia Konstadopoulou/Dr Hassan Ugail

Purpose: to tell staff and research students about really
good ways of presenting technical material to conferences
etc using a data projector.

Software for technical presentations Prof Peter Graves-Morris, Drs Anasatasia Konsodoloulou, Dr Hassan Ugail, 02 December 2005

Date: 02 December 2005 Time: 14:00
Location: TBA
Speaker: Prof Peter Graves-Morris, Drs Anasatasia Konsodoloulou, Dr Hassan Ugail

Purpose: to tell staff and research students about really
good ways of presenting technical material to conferences
etc using a data projector.

Mastering Complex Casual Systems Dr Cosmin Danut Bocaniala, University Dunarea de jos, Romania, 18 November 2005

Date: 18 November 2005 Time: 14:00
Location: D2.06
Speaker: Dr Cosmin Danut Bocaniala, University Dunarea de jos, Romania

Cosmin Danut BOCANIALA, PhD
Lecturer
Department of Computer Science and Engineering
University "Dunarea de Jos" from Galati, ROMANIA

Abstract:
The talk focuses on a novel distributed methodology for complex systems, based on the use of causal models. Here, a complex system represents a system whose global behaviour, which emerges from the interactions between its large number of basic components, is difficult to be accurately described via state-of-the-art modeling techniques. The
methodology has been applied so far for fault diagnosis and
fault-tolerant control purposes. However, on-going research indicate that the methodology may be successfully applied for a variety of purposes on complex systems, which feature causal relationships between their components, from various research fields such as Bioinformatics, Distributed Computing and Data Mining.

Cosmin contributed in the last few years to the following European projects: EU FP5 DEMETRA project - Development of Environmental Modules for Evaluation of Toxicity of pesticide Residues in Agriculture, http://www.demetra-tox.net, (Causal relationships data mining in large
data sets), the Portuguese National Project FCTMAS at Instituto Superior Tecnico, Lisbon, Portugal (Fault-tolerant control based on multi-agents systems), the Portuguese National Project PLAMEL at Instituto Superior
Tecnico, Lisbon, Portugal (Application of causal models in Distributed Fault Diagnosis), EU FP5 RTN-DAMADICS Project at Instituto Superior Tecnico, Lisbon, Portugal (Neuro-fuzzy techniques applied to Fault Diagnosis of Industrial Processes).

Origin of spicules: is there magnetic coupling between the interior and the atmosphere of the Sun? Prof. Robert Erdeli of Sheffield University, 04 November 2005

Date: 04 November 2005 Time: 14:00
Location: Horton D2.06
Speaker: Prof. Robert Erdeli of Sheffield University

This paper published in Nature last year.

Predicting parasite pathways and protein interactions Dr David Westhead, 27 May 2005

Date: 27 May 2005 Time: 14:00
Location: D2.06
Speaker: Dr David Westhead

Dr. David Westhead,
Bioinformatics Research Group Leader
School of Biochemistry and Microbiology
University of Leeds

Two problems in molecular biology will be discussed. Using support vector machines we have been developing methods to predict protein interaction surfaces from protein three dimensional structures. This is a key problem for the
interpretation of structural genomics data. A related problem is the discovery of more abstract protein interactions such as shared membership of metabolic or
signalling pathways. In this area, some work on data mining the genome sequencesof important parasites (malaria, Eimeria) will be presented.

Sports scheduling - don't just give them what they ask for, give them what they really want Dr Mike Wright - Lancaster, 20 May 2005

Date: 20 May 2005 Time: 13:30
Location: D2.06
Speaker: Dr Mike Wright - Lancaster

The vast majority of sports leagues are run by volunteers. They know that it is important to get their schedules "right", but they may find it difficult to be precise about what this means. When asked to formulate their problem, they may talk about definite constraints but be much hazier about the exact definition of their preferences, although they may be extremely important to them.

There may therefore be a temptation for schedulers to take their requests at face value and even treat them as a "standard" sports scheduling case. The customers may be reasonably happy with the resulting outcomes, but this may be because they don't realise that we could do much better. We can, and should, do better. By taking the trouble to find out what they really want, and not treating them as "standard", we can give them schedules that may be better than they believed possible.

The key to this is not striving to find the best possible solution technique, though obviously we should use a good one. The key lies in intelligent problem formulation, which may need to be rather complex (or "rich") in order to capture all the relevant nuances of the problem.

This argument will be illustrated using a cricket umpire scheduling problem.

High Order Statistics in Neuro-Computation and Bioinformatics Prof Jianfeng Feng, 13 May 2005

Date: 13 May 2005 Time: 14:00
Location: D2.06
Speaker: Prof Jianfeng Feng

Prof Jianfeng Feng,
Centre for Scientific Computing and Computer Science,
Warwick University

How to carry out reliable computations in a system with stochastic units? Usually the second order statistics is thought of as 'noise', useless and harmful. Here we first review some results in the literature and point out that
in fact the second order statistics plays an important role in computation. Both positive and negative correlations are observed in biological data in bioinformatics and neuroinformatics. Positive correlation (~synchronization) has been extensively discussed in the literature, we mainly focus on the functionalroles of negative correlations. Based upon these results, a novel way of neuronal computation: moment neuronal networks, is proposed and some
applications will be discussed.

Web mining: extracting knowledge from data originated in the web Dr. Juan Velasquez, 18 March 2005

Date: 18 March 2005 Time: 14:00
Location: Horton D2.06
Speaker: Dr. Juan Velasquez

Dr. Juan Velasquez, Post-Doctoral Researcher with Oxford University Computing Laboratory. PhD in Computer Science at the University of Tokio, Assistant Professor with the University of Chile in Santiago de Chile.

Web mining: extracting knowledge from data originated in the web.

During the last years, we have witnessed a tremendous growth of business performed via Internet. This led to an explosion of the number of Internet sites and also of the number of visits to these sites.

Web Mining techniques have contributed to the analysis and exploration of the information that users left behind after navigating through a particular web site. By applying these techniques, significant patterns about the user behavior and her/his preferences are discovered and used to personalize the web site, i.e., to adapt its structure and content for a particular user.

In this seminar, we will review the main web mining techniques used in the extraction of knowledge about the user behavior in the web and their application in real world cases.

COMPUTER ANIMATION - MODELLING, RENDERING, SIMULATION AND DEFORMATION Jian Jun Zhang , 25 February 2005

Date: 25 February 2005 Time: 14:00
Location: D2.06
Speaker: Jian Jun Zhang

In his talk, Professor Jian J Zhang will introduce the computer animation research work by his research group at the national centre for computer animation, Bournemouth University. The talk includes the following topics:
Surface modelling
This concerns two special modelling techniques: splines of irregular topology; and PDE-based surface modelling. Both have interesting characteristics and able to complement the main-stream surface modelling techniques.
3D cloth modelling
3D cloth modelling allows the designer to design their products directly on a 3D mannequin or a scanned human model. Both geometry- and physics-based approaches are included.
Physically based modelling and animation
This section presents a number of physics-based modelling and animation techniques, including multi-body dynamics, smoke, fluids and hair simulation.
Non-photorealistic rendering and animation
This section concerns with two NPR techniques, an object-space technique and an image-space technique.
Deformable objects
Despite numerous efforts, current techniques rely heavily on human preparation if realistic results are to be obtained. This work starts from the root of the mechanics and presents a new technique which aims to minimise the amount of human preparation work without compromising its efficiency and accuracy. The technique is called the mesh-free deformations.
Skinning of animated characters
Efficient and realistic character skinning is an important topic for realistic character animation and similarly for virtual environments. Two techniques are currently being studied by this research group and this section presents their recent development.

Environmental and Eco-Genomics: Challenges and Opportunities Dr Dawn Field, 18 February 2005

Date: 18 February 2005 Time: 14:00
Location: Horton D2.06
Speaker: Dr Dawn Field

Environmental Genomics and Eco-Genomics are rapidly developing fields in which researchers are working at the interface between the environmental and ecological sciences and genomics. In this talk I will discuss some of the challenges and opportunities within these fields. First, I will give a brief overview of some of the many NERC funded activities in this area and describe in more detail the work of the Environmental Genomics Data Centre (EGTDC). I will then describe ongoing work in my lab to identify and characterize ecologically important genes through large-scale comparative genomic studies of microsatellite loci and orphans genes. The need for a richer set of metadata describing our current genome collection can be a bottleneck in the study of these genomes and the benefits of being able to place genomes into their organismal contexts is vast. This has led us to suggest the need for a new genomic standard to be developed within the auspices of an international working group and I will finish this talk with a discussion of our proposal for such a standard.

The design and prototyping of information appliance in 24 hours Steve Gill & Gareth Loudon, 04 February 2005

Date: 04 February 2005 Time: 14:00
Location: D2.06
Speaker: Steve Gill & Gareth Loudon

We will present the results of an exercise held at The National Centre for Product Design Research (PDR) based at the University of Wales Institute, Cardiff, (UWIC) in partnership with Nottingham Trent University, and two UK Top Ten design consultancies, Alloy Product Design and PDD. The event was sponsored by the Audi Design Foundation and set out to cover the ground from briefing document to the full design and prototyping of an Information Appliance within 24 hours.

Computer Entertainment: Exploiting the fascination and making games a serious business for Education, Research and Enterprise Activities Abdennour El-Ralibi, 14 January 2005

Date: 14 January 2005 Time: 13:00
Location: D2.06 Horton Building
Speaker: Abdennour El-Ralibi

Games have an extraordinary ability to entertain and fascinate us. They facilitate social interaction as well as interaction with the technology. They have enabled a mature and successful industry, at the edge of the computing technologies.
However in the serious academic world and until recently, they have been misunderstood, undervalued, and considered as mere amusement, toys and immature.

Computer Entertainment is an exciting topic that crosses over a large variety of different areas such as design and storytelling, human computer interface design, computer music, graphics, software and hardware development, education, psychology and communication. In an era where researchers are becoming increasingly specialized it is refreshing to be able to work and participate in a truly multi-disciplinary field.

In this talk I will present some the important work achieved in the last years at Liverpool John Moores University to promote game as education tools and media, game programmes development, research activities, collaboration with the industry and the current attempt to set-up an international research activities network.

All the initiatives undertaken have seen an important support from the industry, and the existing gaps between industry and academic; and between research and practice are being filled.

A lot of work remains to be done before games are considered as serious studies and research activities, and the help and support from other institutions involved in games activities is more than ever needed. Please come around and see if you want to be involved.

Developing Games on Mobile Phones Prof Paul Coulton, 26 November 2004

Date: 26 November 2004 Time: 14:00
Location: Horton D2.06
Speaker: Prof Paul Coulton

It is commonly acknowledged that the market for mobile phones has reached a
level of saturation and that mobile operators have invested heavily in the
provision of 3G services. There is therefore a real need for applications
which encourage adoption of new devices and services and mobile manufactures
are placing a growing importance on embedded games. With mobile gaming
revenues expected to reach £5 billion it is a highly lucrative market, to
quote John Romero, the legendary figure behind Wolfenstein 3D, Doom and
Quake,:

“Everyone has a cell phone…and everyone is going to want to play games”

However, programming mobile phones requires a considerably different
approach for developing applications than those developed for the PC market.
These days even the most basic PC has large amounts of memory and huge disk
space reliving the PC developer from the need to minimise the usage of their
particular applications resources. Whereas, mobile phones have limited
memory and no disk drive storage meaning that whatever space your
application requires is taken away from your overall data space. Even the
most advanced mobile phone has a significantly more limited screen size
compared to that of a PC, which when coupled with the different way users
interact with handheld devices means that developers must get their ideas
across in a very small footprint. In this lecture we shall consider mobile
games development in general and also the relative merits of developing
games in Symbian, Brew, and J2ME.

Fractal Techniques and Image processing Prof Revathy & Dr.S.R.Prabhakaran Nayar, 12 November 2004

Date: 12 November 2004 Time: 12:00
Location: D2.06
Speaker: Prof Revathy & Dr.S.R.Prabhakaran Nayar

Fractal geometry has proven to be an useful tool in quantifying the structure of wide range of objects in various fields such as medicine, physics, astronomy and engineering. Fractal techniques are widely applied in many image processing tasks. The talk will focus on the application of fractal techniques in image compression, analysis and image classification.

AI Applications in Bioinformatics Dr. Vasile Palade, 05 November 2004

Date: 05 November 2004 Time: 15:00
Location: D2.06
Speaker: Dr. Vasile Palade

Invited by Dr Dan Neagu

Visualization and Computational Steering for e-Science Prof Ken Brodlie, University of Leeds, 04 June 2004

Date: 04 June 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Prof Ken Brodlie, University of Leeds

The talk will describe recent work in building visualization
systems for e-science. The approach is not to create entirely
new systems, but to evolve existing visualization systems
so that they can exploit new technologies such as collaborative
working over the Internet, and Grid computing. In particular,
the talk will describe how we have extended the IRIS Explorer
dataflow visualization system from NAG Ltd. In e-science,
where a process is modelled by a simulation, it is often
extremely useful to view the results so that parameters of
the simulation can be changed as the simulation is running.
We shall describe how visualization systems can be extended
to provide this computational steering facility.

Analysing Pharaceutical Data - Parameterisation of peaks in chemometric data, Pattern Discovery in NMR Spectroscopy Prof Peter Graves-Morris & Yonghong Peng, 28 May 2004

Date: 28 May 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Prof Peter Graves-Morris & Yonghong Peng

Speaker: PR Graves-Morris.

Title: Parameterisation of peaks in chemometric data.

Recognition of peaks in chemometric data from chemical separation methods is essential for the characterisation and international control of drugs. Automated peak
recognition algorithms for these purposes is an active area of research in pharmaceutical analysis. Slides and a few formulas will be presented to demonstrate rational interpolation as a useful means for parameterisation of
data from capillary electropheresis. These will be based on recent data from a collaborative programme with Mahdi Bensalem and Tony Fell (School of Pharmacy).

Speaker: YH Peng.

Title: Pattern Discovery in NMR Spectroscopy.

A Nuclear Magnetic Resonance (NMR) spectrum can provide information about the chemical environment of a spinning nucleus and it can be used to deduce the structure of molecules. The technique has been extensively used in structure elucidation by chemists. It has also been applied to the study of mixtures of small molecules in biological fluids and extracts (metabolomics). This talk will present our recent investigation on the potential application of
data mining and computational intelligence techniques to extract meaningful patterns from NMR spectra for the purpose of identifying and quantifying the associated components.

ns2 - A free alternative to OPNET Vince Chook - Cybernetics, 21 May 2004

Date: 21 May 2004 Time: 14:00
Location: D2.06 Horton
Speaker: Vince Chook - Cybernetics

TBA Dr Mike Wright, 20 May 2004

Date: 20 May 2004 Time: 14:00
Location: TBA
Speaker: Dr Mike Wright

Professor Simon Jones, the Managing Director of Media Lab Prof Simon Jones, 14 May 2004

Date: 14 May 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Prof Simon Jones

Simon Jones is currently the Managing Director (CEO) of the Media Lab Europe, the
European arm of the world famous Media Lab at MIT. There was a published article about
him in recent IEE journals (either IEE Review or IEE Software Journal). Five years after his
PhD, he was awarded a full professorship at the UK’s largest Engineering Research
Institution – Loughborough University, where he held the ARM/Royal Academy of
Engineering Research Chair in Embedded Microelectronic Systems. He was also awarded at
the age of 31 the British Association for the Advancement of Science 'Brunel Prize' awarded
to 'an outstanding academic in engineering under the age of 40'. In 1998, Simon was awarded
The Siemens/German Research Ministry Research Chair at the Technical University of
Dresden working that year with Siemens to advance new computer systems for the consumer
electronic market and he continues to be well connected with European industry. Before he
joined Media Lab Europe, he was the Dean of Faculty of Engineering at the University of
Bath, one of the top 10 research-led universities in the UK.

Self Organizing Maps (SOM) and Counter Propagation Neural Networks in Molecular structure-property modeling (QSAR) Dr. Marjan Vracko, 07 May 2004

Date: 07 May 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Dr. Marjan Vracko

Self Organizing Maps (SOM) and Counter Propagation Neural Networks (CPNN) in Molecular Structure-Property Modeling (QSAR)

Marjan Vracko, National institute of chemistry, Hajdrihova 19, 1000 Ljubljana, Slovenia

Molecular structure-activity/property relationship (QSAR/QSPR) is a synonym for a modeling technique where the model is built on the basis of known data. The model is in the further step used to predict the unknown property for new compounds. We present how the SOM and CPNN can be used to treat three crucial questions in (QSAR/QSPR) modeling, the question about the selection of data set, about the representation of molecular structures, and how to test the models. Several examples made on different sets of chemicals and different properties (toxicity, aquatic toxicity, mutagenic potency, etc.) will be discussed.

Dr Vracko is from: Laboratory of Chemometrics, National Institute of Chemistry, Ljubljana, Slovenia
http://www.ki.si/lab/l03/staff/marjan.html
http://www.ki.si

Ross Velentzas - Motorola Ross Velentzas - Motorola, 30 April 2004

Date: 30 April 2004 Time: 00:00
Location: D2.06 Horton
Speaker: Ross Velentzas - Motorola

New and Cool in JAVA Simon Ritter - Java Technology Evangelist at Sun Microsystems, 23 April 2004

Date: 23 April 2004 Time: 00:00
Location: D2.06 Horton Building
Speaker: Simon Ritter - Java Technology Evangelist at Sun Microsystems

Simon Ritter discusses the new features in Java 2 Standard Edition 1.5

Dr James Stewart Dr James Stewart, 19 March 2004

Date: 19 March 2004 Time: 14:00
Location: D2.06 Horton
Speaker: Dr James Stewart

Dr James Stewart is a Senior Research Fellow in the Research Centre for Social Studies, University of Edinburgh ( http://www.rcss.ed.ac.uk/). He works in the field of technology studies, concentrating on the appropriation, consumption and use of new ICTs and the co-evolution of
large scale systems of technology and culture. His recent work has been on future mobile and wireless systems, gender and technology. He was a key researcher in a large recent EU project 'FLOWS' (Flexible Convergence of Wireless Standards and Services http://www.flows-ist.org/). Other work includes cybercafes, digital cities, developing Internet business, ICts and eroticism, and managing innovative multimedia projects. His doctoral research was on the way we engage and cope with new media in our everyday lives at home and work. James is a commentator
on Interactive Television and the convergence of television and the Internet.

Mr Ian Curran & Mr Mike Wild - 02 The expected growth in non-human communication Ian Curran & Mike Wild, 12 March 2004

Date: 12 March 2004 Time: 14:00
Location: Horton D2.06
Speaker: Ian Curran & Mike Wild

Ian Curran, O2

Ian works alongside Mike Wild at O2, his current role is Head of Business Development and Partnership strategy.

His current responsibility is for developing growth via mobile data application deployment, to this end he manages a partnership team focussed on:

- Computer SI's
- Software eg oracle, MS etc
- OEM's eg Dell, Sony etc
- Telematics (automotive aftermarket) eg Tafficmaster

The challenge faced by mmO2 is migrating a network operators business from voice 2G to become a multimedia 2.5G, 3G and 4G network operating business, bringing together applications, content, billing and customer service and being a unique network delivering distribution of services to both consumers and business. Ian has looked at streaming voice and video services, and voice portal technologies. He has produced conference papers on mobile
location and Telematics.

Ian developed and delivered the first real time location based traffic information service back in 1977 called "Traffic Line". In seven years at O2 he developed the strategy for deployment of mobile location using GSM cell location. Typical services deployed were 'find nearest McDonalds etc', and enhancing 999 emergency calls to the police with cell level location.

Ian launched in Europe the first GPRS PCMCIA data card for lap top computers to allow mobile office applications (email/web access), and also brought to market a Bluetooth radio card with 3com. In addition his team delivered a
strategy and applications to make O2 the market leader in the Telematics areas (vehicle tracking/telemetry).

O2 operates an application developers program, www.sourceo2.com which provides access to network location API's for third party applications developers and operates a delivery program for applications called revolution.

In addition to the above Ian Curran is a co-director of a consultancy company "The Telematics Partnership" working with a number of UK PLC's in the IT and transport sector.

Mike has been with O2 for 5 years in a variety of Head of Department roles in both Customer Services and Marketing.

When GSM WAP and GPRS was first introduced, Mike set up and ran a specialist Customer Service support department responsible for the anticipation and delivery of emerging customer needs associated with new technologies (new networks, devices, operating systems, applications).

Mike and Ian have worked together on such things as bringing bluetooth data cards to market and the initial set up of the application developers programme. However Mike has also been involved in shaping customer service strategy by defining 3G requirements and contracting with third parties for the supply of device management software.

Mike has written several articles as a freelance writer on the subjects of business and technology, and has spoken publically at several international conferences on these matters.

Electronic Fusion - future of ad hoc networks, WiFi, monitoring the environment Prof Ray Steele, 05 March 2004

Date: 05 March 2004 Time: 14:00
Location: John Stanley Bell Lecture Theatre, Richmond Bldg
Speaker: Prof Ray Steele

Electronic communications originated to allow people to communicate over relatively large distances. Wireless communications untethered the users, but the networks were essentially client server based. Nowadays, the fixed networks are having wireless tails added, in the form of wireless local area networks (WLANs), in order to facilitate connectivity to the web and other users. Cellular networks are supporting multimedia services. There is a growing use of ad hoc sensor networks that use peer-to-peer links, and communications are increasingly not between users but between processors. There is research on ambient intelligence, in which intelligence is embedded into the environment and actions are taken by software agents. The stalwart keyboard and screen interfaces will give way to a myriad of ‘natural’ ones. Communications, computing, microelectronics, and information management are being fused together, organised and implemented by software and made possible by electronic platforms. The original necessity for users to have connectivity remains, but this will be augmented by the need for ambient intelligence to conduct a vast number of ordinary tasks, usually unseen by humans. In order to realise these tasks unobtrusive electronic devices will be embedded throughout the environment, from inclusion in everyday artefacts to exceedingly complex technological machines, to being sited in buildings and cities, embedded in the countryside and seas, and located in space.

The lecture will address some of the above issues, from where the fixed and mobile networks might be heading, to the world with trillions of nodes, to the importance of ambient intelligence, and to what this electronic fusion might mean to life in the future. On a more tangible level, a simulation will be shown of an ad hoc sensor network to be deployed on the River Crouch in Essex for monitoring river flooding. This will be followed by a simulation of a vehicular ad hoc network in Central London. Both networks use 802.11 WLANs operating at 2.4 GHz.

Short Biography
Professor Raymond Steele BSc, PhD, DSc, FEng, FIEE, CEng, FIEEE

Professor Raymond Steele is the Chairman of Multiple Access Communications Ltd, and until 1999 he was the Head of the Communications Research Group in the Department of Electronics and Computer Science at Southampton University. His previous industrial experience is with Bell Laboratories (New Jersey), Marconi, Cossar Radar and Electronics, E.K.Cole, and as non-executive director of Roke Manor. In 1986 he formed Multiple Access Communications Ltd, a company concerned with digital mobile radio systems. Other academic posts held were at Loughborough University and the Royal Naval College, Greenwich.


Professor Steele is the author of the book Delta Modulation Systems (Halsted, New York, 1975), editor of the book Mobile Radio Communications (IEEE Press and John Wiley, 1992, 1999), co-author of Source-Matched Mobile Communications (IEEE Press and John Wiley, 1995) and of GSM, cdmaOne, and 3G Systems (John Wiley, 2001); and he is the author of over 250 technical publications. Professor Steele and his co-authors were awarded the Marconi Premium in 1979 and in 1989, and the Bell System Technical Journal's Best Mathematics, Communications, Techniques, Computing and Software, and Social Sciences Paper in 1981. He is the chairman of the Department of Trade and Industry's Next Wave Technologies and Marketing Technical Advisory Group Committee dealing with pervasive computing, and is a member of the Radio Research Advisory Committee of the Ofcom. Professor Steele is a Fellow of The Royal Academy of Engineering, a Fellow of the IEE, and a Fellow of the IEEE. He is also a member of the IEEE Avant Garde.

Internet Security Jules Pagna Disso, 27 February 2004

Date: 27 February 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Jules Pagna Disso

Keeping sensitive information from illegal access has been a challenge. Only 10% of websites are protected against common vulnerabilities. On the news these days it is common to hear that any computer system with a MS operating system is vulnerable to attack. These systems can be accessed and any information in the system can be read. At the application layer level, cross-site scripting and SQL injection are the most common issues, yet, they are not difficult to solve.

Many improvements in mobile communication have been made. There are more WAP enabled mobiles than PCs connected to the Internet. Therefore, experts predict that mobile commerce will over take e-commerce. However, the vulnerabilities at the e-commerce level are more or less the same as those for mobile commerce. What is the guarantee that mobile commerce will escape from the same issues that are associated e-commerce?

The discussion will take the form of security problems and their solutions at the application layer in relation to any online system (PC, mobile phone, etc.). The discussion will also focus on the “standard” of security through the Common Criteria and its application to a mobile phone environment.

Trashing the net: subcultural practice online Mark Goodall, 20 February 2004

Date: 20 February 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Mark Goodall

My research area is centered around what may be called 'cult' films - in particular Italian cult films of the 1960's and 1970's. But this talk will provide a broader context by discussing the importance of 'non-linear' digital media- especially the internet/WWW- to the arena of cult media product. So the intention of the talk is to critically examine uses of the World Wide Web by fans of cult movies. It begins by outlining how cult movies are categorised - and notes the problems this engenders
Then the relationship between technologies and subcultural practices is observed. Examples are presented to illustrate the question of whether, through remediation processes, such practices tell us anything new about forms of contemporary communication and consumption.

I teach theoretical/contextual components and digital video practice on all of our media courses (undergraduate and postgraduate) and have a background in art and design, journalism, popular music and experimental film/video production.

Mobile E-Commerce: The Inhuman Factor Yasmin Malik, 13 February 2004

Date: 13 February 2004 Time: 14:00
Location: D2.06 Horton
Speaker: Yasmin Malik

"MOBILE E-COMMERCE: THE INHUMAN FACTOR

It is predicted that by the year 2010, Internet related commerce will have trillions of users - but beware: most of them will not be human.

Just as traditional e-commerce made waves (creating both uplifts and wash outs), the advent of the mobile millennium has meant that mobile devices such as cell phones and PDAs are setting the new trends for interacting with the Internet. This seminar takes a look at the possibilities that m-commerce opens up (purchasing products, making
reservations, checking bank balances) as well as the many hurdles that need to be overcome before you and I can truly become Mobile Masters of tomorrow. "

Efficient Parameterisation of Shape for Modelling and Animation Dr Hassan Ugail, 06 February 2004

Date: 06 February 2004 Time: 14:00
Location: D2.06
Speaker: Dr Hassan Ugail

Traffic Analysis in IP Networks Using Constraint Techniques Helmut Simonis, 30 January 2004

Date: 30 January 2004 Time: 14:00
Location: D2.06
Speaker: Helmut Simonis

Traffic Analysis in IP Networks Using Constraint Techniques
and it is about understanding traffic flows and congestion under failure in IP networks using a combination of Integer Programming and constraint techniques.

An Introduction to Building Connected Applications Gavin King - Microsoft, 16 January 2004

Date: 16 January 2004 Time: 14:00
Location: D2.06 Horton Building
Speaker: Gavin King - Microsoft


Most hardware and software vendors have competing and contrasting approaches to building mobile applications that take advantage of today's connected world. In this session I would introduce the different scenarios for building mobile applications - from those that are consumed by connected devices, to those that run locally on a rich
programming platform. We will then demonstrate how the .NET Framework and Visual Studio(r) .NET allow developers to build these applications for a wealth of devices as easily as if they ran on a local desktop environment.

Quick change over time: Silicon Valley's histories and the computer Dr Christine Finn, 12 December 2003

Date: 12 December 2003 Time: 14:00
Location: D2.06 Horton Bldg
Speaker: Dr Christine Finn

Dr. Christine Finn is the author of 'Artifacts: an archaeologist's year in Silicon Valley' (MIT Press 2001 and 2002). She spent the year 2000 'excavating' the area's unique cultural and physical landscape, observing the end of the dot.com boom, and the beginning of the dot.com crash. She revisits the area frequently, and will be haring her original research, and the surprising growth of the field of computer collecting. Dr. Finn is an Honorary research Fellow in the Department of Archaeological Sciences at Bradford. She is also writer-in-residence in the JB Priestley Library, where she is writing the authorised biography of Priestley's third wife, Jacqetta Hawkes.

Quantitative and Qualitative Design Evaluations within the Multi-objective optimisation environment Dr Rajkumar Roy, 05 December 2003

Date: 05 December 2003 Time: 14:00
Location: D2.06
Speaker: Dr Rajkumar Roy

Most of the algorithmic engineering design optimisation approaches reported in the literature tends to focus on quantitative (QT) formulation of the problem and ignore the related qualitative (QL) issues. These QL issues can be very important in real world problems, and by combining QL evaluation with QT knowledge can deliver more robust solutions. This talk presents a three objective design optimisation of long product rolling within QT and QL search space using a simplified method to address the membership function values within the optimisation
framework. The study shows how QL issues can be incorporated into optimisation framework to achieve near optimal solutions for multi-objective problems. The talk will also outline other Soft Computing research within the Decision Engineering group at Cranfield.

Behavioural Analysis of Component Architectures Prof Tomai, 07 November 2003

Date: 07 November 2003 Time: 14:00
Location: D2.06
Speaker: Prof Tomai

--------------- Seminar Announcement --------------
Behavioural Analysis of Component Architectures

Tetsuo Tamai
Graduate School of Arts and Sciences
The University of Tokyo
3-8-1 Komaba, Meguro-ku
Tokyo 153-8902, Japan
tamai@acm.org
http://www.graco.c.u-tokyo.ac.jp/~tamai/

Abstract

We are conducting a 4.5 year project called "High Reliability Component-based Software Engineering". There are various activities under the project, which can be broadly divided into two areas: component decomposition technology and component/composite verification. The following is one of the component/composite verification techniques we are pursuing.

Rigorous description of protocols (a sequence of events) between components is mandatory for specifications of distributed component frameworks. In this seminar, I will talk about our experience of formalizing and verifying behavioural aspects of the Enterprise JavaBeansTM specification with the SPIN model checker. As a result,
some potential flaws are identified in the EJB 1.1 specification document. The case study also demonstrates that the SPIN model checker is an effective tool for behavioural analysis of distributed software architecture.

Some related topics of combining the model checking technique with aspect oriented programming and formal treatment of security mechanism in Java will be also mentioned.

Manufacturing in the 21st Century Mr Kim Chong, Silvertech Ltd, UK, 21 October 2003

Date: 21 October 2003 Time: 12:00
Location: D2.06 Horton Building
Speaker: Mr Kim Chong, Silvertech Ltd, UK

Manufacturing in the 21st Century

12.00-13.00 pm 21 October 2003

Mr Kim Chong
Director of Quality & Business Improvement
Silvertech Ltd, UK


I am sure everybody is well aware of the challenges that all industrialised nations of the West have to face in the ever changing globalised economy. The world appeared large in the early century, but has since appeared to shrink. Competition has gone beyond national boundaries in the knowledge driven economy. For organisations to survive, they have to be the best in the world in everything they do and have to stay ahead of their international competition.

To be competitive may not be enough in this 21st century, one has to surpass and remain ahead in its field of excellence. Organisational Excellence does not happen by chance and has to be planned and executed progressively and continuously. There are seven key imperatives for organisational excellence:

1. People, Purpose, Product, Process, Performance, Productivity and Profitability
2. Of course, people are key to achieving excellence.
3. The 21st century is a century of people focussed - the heart of the matter.
4. People excellence = Total Excellence
5. Core competencies of the right people are key to business and organisational excellence for the 21st century.
6. Excellence through People's empowerment!
7. People need total skills - EQ and not just IQ.


Kim Chong’s experiences cover the following areas:

• Toyota Production Systems - Just In Time Manufacturing Philosophy
• Process Management - Lean Operations and value Stream
• Total Quality Management with emphasis on Six Sigma methodology
• Kaizen Management with special emphasis on 5 S's concept of Workplace Management
• Industrial and Manufacturing Engineering Management and Practice
• Total Quality Tools in Practice
• Concurrent/Simultaneous Engineering
• Mass Production Vs Mass Customisation
• New Product Introduction
• Bottleneck Management - Theory of Constraint
• One Piece Flow - with special emphasis on kanban system (Push Vs Pull)
• Visual Manufacturing - Transparent Factory

Evaluating Framework 6 Proposals Prof Jianmin Jiang, 13 June 2003

Date: 13 June 2003 Time: 12:00
Location: Horton D2.06
Speaker: Prof Jianmin Jiang

Abstract: After spending a long week in Brussels evaluating FP-6 proposals, I wish to share my experiences with colleagues, and hopefully to encourage more active participation in European Framework-6 Research Programme within the School of Informatics and the university. Since the Commission introduced two new instruments, Network-of-Excellence and Integrated Project, into the Framework-6, significantly different elements are also introduced into the evaluation process. The most important part is that applicants whose proposals passed the thresholds will be required to attend a hearing session lasting about one hour each in Brussels and facing the challenges by the evaluators (The hearing I am involved is arranged on 5th of June). After that, another round of discussion among all evaluators will be arranged to determine the final ranking of each proposal, based on which the Commission will decide whether the proposal is to be funded or not. To this end, I will try to provide more details about those new elements to share my views and experiences to stimulate active discussions throughout this seminar.

Careers Seminar Cathy Gregory, 09 April 2003

Date: 09 April 2003 Time: 12:00
Location: D2.06 Horton Building
Speaker: Cathy Gregory

Intelligent modelling for general evaluation of toxicities (pdf files in 'Additional Information' below) Dr Daniel Neagu, Dr. Mark Cronin, Dr. Tatiana Netzeva and Prof. T.W. Schultz, 26 March 2003

Date: 26 March 2003 Time: 13:00
Location: D2.06 Horton Building from 13.00 to 15.00
Speaker: Dr Daniel Neagu, Dr. Mark Cronin, Dr. Tatiana Netzeva and Prof. T.W. Schultz

We are becoming increasingly aware of the need to understand and predict the consequences of chemicals to human health and the environment. A number of studies have been based upon the premise that toxicity is related to the physico-chemical properties of a compound.
Scientifically, predictive (eco)toxicology is an exciting novel area.

Recent advances in the field of describing molecular properties and applications of Artificial Intelligence, particularly Hybrid Intelligent Systems, has provided new possibilities to this area of research.

The invited talks:

1. Validation and quality of QSARs
Speaker: Dr. Mark Cronin, Reader in Computational Chemistry, School of Pharmacy and Chemistry, Liverpool John Moores University.

QSARs (Quantitative Structure-Activity Relationship) require a process of validation to ensure they are efficient predictive tools. A formal process of validation will be introduced that incorporates the concepts of "quality" into QSARs.

2. QSARs for the prediction of the toxicity of phenols
Speaker: Dr. Tatiana Netzeva, Post-doctoral Researcher, School of Pharmacy and Chemistry, Liverpool John Moores University.

A comparison of QSAR methods to predict the toxicity of phenols to Tetrahymena pyriformis will be made. The methods include various applications of regression analysis, partial least squares, and neural network. The models will be discussed in terms of predictivity and transparency.

3. Modelling the toxicity of organic chemicals to Tetrahymena pyriformis
Speaker: Prof. T.W. Schultz, Professor of Predictive Toxicology, College of Veterinary Medicine, University of Tennessee.

Approaches to develop QSARs for the toxicity of chemicals to the ciliated protozoan Tetrahymena pyriformis will be discussed. These approaches are broadly based on developing models for mechanisms of action and across domain (more general models).

4. Hybrid Intelligent Systems for toxicity prediction
Speaker: Dr. Daniel Neagu, Lecturer in Computing, School of Electrical Engineering and Computer Science, University of Bradford.

It became obvious, in the last decade, that there are at least four basic different intelligent techniques and approaches in the wide area of Artificial Intelligence: traditional knowledge-based systems, neural networks, fuzzy systems, genetic algorithms. Additionally, other recent methodologies, such as multi-agent systems and data mining, have emerged in the AI field. The limitations of each methodology have determined the researchers in the field to look for ways of hybridizing more intelligent techniques. There has been a tremendous amount of research work on the integration of two or more intelligent approaches of those given above. This approach is usually termed Hybrid Intelligent Systems.
A review of models based on neural and neuro-fuzzy structures, developed to represent knowledge about the toxicity of a large number of industrial organic compounds will be given. The proposed neuro-fuzzy models include quantitative structure-activity relations (QSARs) and numerical values. The developed approaches to insert knowledge by training, and to map rules in neuro-fuzzy structures are evaluated and show that the combination of fuzzy inference systems and connectionist structures as Hybrid Intelligent Systems improve over individual models.

Baharum Baharudin & Puteri Rahman (EIMC), 12 March 2003

Date: 12 March 2003 Time: 12:00
Location: D2.06 Horton Building
Speaker: Baharum Baharudin & Puteri Rahman (EIMC)

The Analytic Hierarchy Process (AHP) Applied to Best Effort QoS Routing with Multiple Metrics: a Comparative Evaluation Abdullah Alkahtani - Computing, 05 March 2003

Date: 05 March 2003 Time: 12:00
Location: D0.19 Horton Building
Speaker: Abdullah Alkahtani - Computing

Research Methodologies - Literature Review - a Personalised View Khalid Al-Begain, John Mellor, 26 February 2003

Date: 26 February 2003 Time: 12:00
Location: D2.06 Horton
Speaker: Khalid Al-Begain, John Mellor

Part of an occasional series of Research Methodologies

Phase space of Bloch Sheng Zhang, 19 February 2003

Date: 19 February 2003 Time: 12:00
Location: D0.19 Horton Building
Speaker: Sheng Zhang

Research Students' Forum None, 05 February 2003

Date: 05 February 2003 Time: 12:00
Location: D2.06 Horton Building
Speaker: None

Student Forum - A session for students to meet each other and discuss what they want from the weekly seminars

Solar Disk fitting, Standardization and normalization using image processing techniques Dr Ali Benkhalil and Dr Sergei Zharkov, 29 January 2003

Date: 29 January 2003 Time: 12:00
Location: D2.06
Speaker: Dr Ali Benkhalil and Dr Sergei Zharkov

Representation - from continuous systems to discrete event systems Dr Hongnian Yu, 11 December 2002

Date: 11 December 2002 Time: 12:00
Location: D1.21 Horton Building
Speaker: Dr Hongnian Yu

Formal Development Method for Mobile Agent Systems Dr Kenji Taguchi, 04 December 2002

Date: 04 December 2002 Time: 12:00
Location: Horton D2.06
Speaker: Dr Kenji Taguchi

Slides can be found at:
http://www.inf.brad.ac.uk/research/seminars/ppt/sem-4-dec.pdf

Efficient Parameterisation of Shape for Design, Analysis and Optimisation Dr Hassan Ugail, 27 November 2002

Date: 27 November 2002 Time: 12:00
Location: Horton D2.06
Speaker: Dr Hassan Ugail

School of Informatics Workshop - all day Workshop, 20 November 2002

Date: 20 November 2002 Time: 09:00
Location: Horton D2.06
Speaker: Workshop

Scheduling: from theory to practice Dr Keshav Dehal, 13 November 2002

Date: 13 November 2002 Time: 12:00
Location: Horton D2.06
Speaker: Dr Keshav Dehal

Meta-Learning and Active Learning: toward Collaborative Learning in Distributed Systems. Dr Yonghong Peng, 06 November 2002

Date: 06 November 2002 Time: 12:00
Location: Horton D2.06
Speaker: Dr Yonghong Peng

Feedback on EPSRC meeting/research funding Panel, 30 October 2002

Date: 30 October 2002 Time: 12:00
Location: Horton D2.06
Speaker: Panel

Strategies for Research Funding (Staff only) University Seminar, 23 October 2002

Date: 23 October 2002 Time: 12:00
Location: Richmond Small Hall
Speaker: University Seminar

General discussion with research students General Discussion, 16 October 2002

Date: 16 October 2002 Time: 12:00
Location: D2.06
Speaker: General Discussion

Artificial Immune Systems Dr Uwe Aickelin, 09 October 2002

Date: 09 October 2002 Time: 12:00
Location: Horton D2.06
Speaker: Dr Uwe Aickelin

Ubiquitous optimisation: Making optimisation easier to use Professor Peter Cowling, 02 October 2002

Date: 02 October 2002 Time: 12:00
Location: Horton D2.06
Speaker: Professor Peter Cowling

Induction course for demonstrators Rona Wilson & Khalid Al-Begain, 25 September 2002

Date: 25 September 2002 Time: 12:00
Location: Horton D2.06
Speaker: Rona Wilson & Khalid Al-Begain

Upcoming events

View all events »