Acoustic Environment Classification
Classification of acoustic environment relies on choosing the right set of features from the captured audio stream to represent the ambient environment. Normally the audio signal is captured as a discrete-time waveform, which cannot be used in its raw form. It is rather transformed into another domain where their instantaneous time values are replaced by meaningful feature vectors. Some of such features are: Fast Fourier Transform (FFT) Coefficients, Cepestral Coefficients and Linear Predictive Coding (LPC) Coefficients. Not all features are of the same complexity nor providing the same performance.
Ambient Computing
An Ambient system communicates information in an indirect way. For example, a corridor's light could be linked to the weather outside the building.
The sunnier it is, the brighter the light in the corridor, and the reverse.
Automatic Configuration of Combinational Logic Circuits
Conventional logic design techniques tend to depend on
domain-specific knowledge, which is somewhat limited
both by the training and experience of the designer. While
iterative heuristics, with little domain knowledge, allow the
search for solutions in a much larger, and often richer, design
space beyond the realms of conventional design techniques.
Combinatorial Algorithms
According to Kreher and Stinson (1999), combinatorial algorithms are classified into three classes: generation,
enumeration, and search algorithms. Generation algorithms "[construct] all the combinatorial structures of a partiular type"
(Kreher and Stinson, 1999, p. 1). These include algorithms for generating all subsets, partitions, or all permutations
of a set. Enumeration algorithms "[compute the number of different structures of a particular type]" (Kreher and Stinson, 1999, p. 1). For example, finding the number of subsets of size k of a set of size n is an enumeration problem. Search algorithms "[find] at least one example of a structure of a particular type (if it exists)" (Kreher and Stinson, 1999, p. 1). These include, for example, algorithms for finding a clique of a certain size in a given graph. Many interesting combinatorial problems
are, unfortunately, NP-hard.
Computer Supported Collaborative Work
Computer Supported Collaborative Work (CSCW) focuses on the development and study of systems designed to support
collaboration between individuals or groups. Objective and subjective studies are often carried to evaluate, the psychological,
social, and organizational impact of introducing a new system to ensure its’ effectiveness and efficiency.
Constraint Reasoning
Constraint reasoning is concerned with the modelling and solving of combinatorial search and optimization problems in various applications areas such as scheduling, timetabling, placement, combinatorial designs, network design and portfolio optimization to name a few.
It is also concerned with the design and implementation of programming languages that support the facilities to model and solve such problems.
Developing Apps for Intel Ultrabook and Win8 Platforms
In the past, every PC had a keyboard and a mouse. User was able to sit and focus 100% on the screen. Interfaces were complex, like MS Office. Nowadays, users are always moving : they need touch screen or movement sensors to replace the keyboard. They do a lot of things concurrently, forcing interfaces to be a lot simpler and
intuitive. That’s why Intel invented the Ultrabook and Ultrabook-convertibles, and Microsoft invented
Win8 and metro.
Electrocardiogram (ECG) Processing and Analysis
An electrocardiogram (ECG) is an electrical signal
representing the cardiac activity of the heart. This signal
is generally recorded by means a certain number of electtrodes,
properly pasted on the body.
ECG is most widely used signal in clinical practice as it conveys
information regarding the electrical
function of the heart, by altering the shape of its constituent waves.
Different operations can be performed on long records of ECGs in order to filter them out,
compress records to save storage space or to send over communication channels,
extract pathological information, or to model the signals for further processing.
MIT-BIH ECG database will be used in the projects below.
Game with a Purpose and Crowd Sourcing
Game with a Purpose (GWAP) make use of the contributions submitted by players of different Web gaming platforms in order to collect data. The games are designed in such a way so that while users are playing, needed data is collected.
Crowdsourcing is an emerging approach that involves humans in solving problems which, so far, have no pure algorithmic solutions. Both fields are increasingly gaining importance. They aim at making use of human intelligence.
GUC Software Foundation
Projects involved in the "GUC Software Foundation" are mainly applications being developed to help either the GUC develop its software infrastructure or to help students to understand the concept taught in different courses.
Human Activity Recognition
Modern mobile devices are equipped with a number of sensors such as accelerometers, magnetic compass, and gyroscopes, which help in providing many kinds of assistance to the user. For example, these sensors can detect a fatal accident happening to a living-alone senior such as passing out after falling on a slippery floor. Such incident is manifested as a short abrupt motion followed by a relatively long period of no motion. The inertial sensors, such as accelerometers, are integrated within modern personal devices thus require less effort in terms of hardware setup and maintenance compared to vision-based activity recognition systems.
Hyperspectral Images
Hyperspectral images are three-dimensional images that are composed of two spatial dimensions and one spectral dimension. They are formed by capturing the image through a relatively large number of optical filters centered at different wavelength in the visible light range, near-infra-red range and short wave infra-red range. The hyperspectral images are used applications such as remote sensing and detecting currency counterfeits.
Hypertext Framework
Hypertext is a means to structure information. There are various structure types supported by hypertext applications. The most dominant are node-link structures. The
WWW is based on that paradigm. Besides that there are spatial hypertexts (i.e., associating via visual cues), taxonomic structures (i.e., classifications), argumentation supporting structures (e.g., for collaborative decision making processes), or hypertext fiction
(i.e., fiction represented as hypertexts). They all come with their own structure abstractions and behavior. This creates specific requirements on a system that has the potential
to support them.
Integrated meta-modeling based software engineering framework
Model driven development and meta-modeling is a novel approach to software engineering that focuses on radical modularization and consistent, multi-level, abstraction and concretization (i.e., development) of software artifacts through hierarchic modeling. The aims of the model driven development paradigm are (a) a better management of the enormous complexity of modern-day software, (b) better re-use of existing software in various contexts, (c) better maintainability of software systems, (d) increased reliability of software systems, and (e) a substantial decrease in the costs of software development.
In this topic, CADENA, a model-based software engineering framework developed at Kansas State University will be enhanced and recreated as an Eclipse plugin. The name of the project is CADENA_e, where 'e' can stand for version 5, "enhanced", "evolution", "embedded systems", or "Egypt", whichever you like best.
All projects and tasks within this topic will require you to use Java, Git, Eclipse, some teamwork, and of course LaTeX
Intelligent Web Applications
Modern web applications are no longer just a portal to surf data. This is present in our daily use of the internet. Whether that is through searching via Google, using suggestions from Facebook or Twitter, or even considering suggested items on Amazon, web applications are no longer just a place to store and view data.
The involvement of Machine Learning, Data Mining, and Natural Language Processing techniques helps make use of data to obtain interesting observations and relations to offer to the user.
Java SNePS
SNePS is one of the oldest, yet developing, systems for knoweldge representation and reasoning in AI. Akin to a programming language, SNePS is a flexible system for building and manipulating propositional semantic networks. A propositional semantic network is a labelled directed graph were nodes represent entities (possibly propositions) and arcs represent structural relations among them. The basic SNePS system is a network managing system concerned with building and finding nodes. On top of that, there are several sub-systems for reasoning, acting, belief-revision, and natural language understanding and generation.
The current version of SNePS is implemented in Common Lisp. In a series of projects, we shall attempt to implement a Java version of the complete SNePS system.
Logic of Knowledge
Propositional knowledge is the type of knowledge expressed by sentences of the form "A knows that p", where A is an agent and p a proposition (statement). A classical analysis holds that propositional knowledge is justified true belief. Such an analysis has come under attack and has, thenceforth, been refined. Unfortunately, formal logics of knowledge have not yet matured enough to mirror the advances in philosophical analysis (with the possible exception of the so-called justification logic). This is unfortunate since formal logics of knowledge have had diverse applications in multi-agent systems and reasoning about network security, to mention only two application areas. This gap needs to be filled.
Orientation Sensors
The automatic control in some systems requires knowledge of the orientation of the system in the three-dimensional space. This knowledge can be acquired by a set of sensors including accelerometers, gyroscopes and magnetic sensors. The latter provides the orientation with respect to the direction of the earth magnetic pole depending on the magnetic field of the earth. Unfortunately, there exists in many cases an interference from stray magnetic fields that may result from nearby electrical motors, electricity power transmission lines, or electromagnetic waves transmitters.
Programming Language Localization
Language is currently a barrier for teaching programming to children of non-English speaking countries. Hence, a new research direction aims to provide a localized
version of programming languages. For example, Yijun Yu & Mylopoulos proposed using a localized version of XML on the web.
RDBMS
Databases are complex programs, with competing memory and memory-footprint requirements. Along with operating systems, they are considered the category of apps to learn about
writing sophisticated and large applications. However, most open source RDBMS are too complex to be studied at the undergraduate level (e.g. MySQL is 1.5Mn LOC).
Smart Building and simulation
This topic aims at studying the migration towards smart environment by developing simulation tools that study the minimization of operational costs meaning migrating towards automated tools that minimize people's interaction with the building facility.
Smart Mobile Application
With the growing capabilities of mobile devices and their wide spread in the society, the potential of employing such devices towards social development opportunities is highly recognized. Adding to this the availability of data through social networks and other data APIs, promises the possibility of adding intelligence to mobile applications. The tasks added to this topic will be strongly related to this generally acknowledged opportunities.
The announced ideas under this topic will be offered to applied arts students to contribute in the design part of the projects through their own bachelor projects. Additionally, the proposed ideas will aim to apply for the Etisalat Mobile competition.
Video Over Wireless
Develop Several Applications for Video Streaming in the very challenging limited BW of the wireless domain.