Blog

CS talk today: Slashed graph representation in design & control problems

IMG_2462Title: Distributed graph models and transformations – slashed graph representation in design and control problems

[Presentation Slides]

Speaker: Adam Sędziwy, PhD, AGH University of Science and Technology, Kraków, Poland

Time: Thursday, June 9, 2016, at 11am

Place: Sierra Hall 1422

Abstract: Graph based structures play the important role in all domains of science: structure of physical objects, logical structure of abstract entities, functional and logical dependencies among them, data and process flows, dynamics of systems and many, many other phenomena can be  successfully described by graphs and hypergraphs. Practical application of graphs, however, meets constraints related to the complexity. They can be reduced to such common known problems as subgraph isomorphism problem, existence of k-clique, Hamiltonian path problem and others.

In this talk I will present the summary of the research on methods being a workaround to graph-related complexity issues. Obtained results enable practical application of graph-based models to problems inducing the graphs having tens of thousands of vertices. The application of presented methods to real-life cases will illustrate the presentation.

Bio: Adam Sędziwy (MSc, PhD, DSc (in completion) in computer science, MSc in theoretical physics) is an assistant professor in Dept. of Applied Computer Science, AGH University of Science and Technology, Kraków, Poland. His area of interest includes distributed graph transformations relied on multi-agent systems, and their applications. He also focuses on advanced methods of outdoor lighting design and control yielding highly energy-efficient SSL-based roadway lighting installations. He cooperates with lighting solutions vendors such as GE Lighting, Schreder, Philips. He is author and co-author of nearly 60 research publications. URL: http://researchgate.net/profile/Adam_Sedziwy

Complex Ranking Procedures

Complex Ranking Procedures is a paper co-authored by Barbara Sandrasagra and Michael Soltys, that appeared in a Special Issue of Fundamenta Informaticae dedicated to a method of ranking known as Pairwise Comparisons (Volume 144, Number 3-4, Pages 223-240, 2016). The full paper can be found here: http://doi.org/10.3233/FI-2016-1331.

This paper is a continuation of work that was first presented at the conference KES2014, tilted Fair ranking in competitive bidding procurement: A case analysisand where it was given the best paper award; click tag kes2014 for more background.

In Complex Ranking Procedures we propose a research program for developing a formal framework for ranking procedures based on the Pairwise Comparisons method. We are interested in the case where relatively few items are to be ranked with a complex procedure and according to a large number of criteria. A typical example of this scenario is a competition where several companies bid for a contract, and where the selection of the winner is done with multiple criteria according to an intricate selection procedure. Several other applications are suggested.

Alexandre Grothendieck: un mathématicien qui prit la tangente

Chercheur génial, écologiste radical au début des années 1970, ermite retiré du monde pendant 23 ans, il a eu trois ou quatre vies successives entre sa naissance, le 28 mars 1928 à Berlin, et sa mort, en 2014, quelque part dans l’Ariège.

Le monde des mathématiques l’a découvert en 1958, au congrès mondial d’Edimbourg, où il présenta une refondation de la géométrie algébrique. La géométrie algébrique, ce sera sa grande œuvre, une sorte de cathédrale conceptuelle construite en collaboration avec deux autres mathématiciens, Jean Dieudonné et Jean-Pierre Serre. En quoi cela consiste-t-il ? Difficile de dire, mais en gros, si on trace un cercle avec un compas, on fait de la géométrie. Si on écrit x2 + y2 = 1, c’est-à-dire l’équation d’un cercle, on devient un algébriste. La géométrie montre, l’algèbre démontre.

Grothendieck, lui, a voulu fonder une géométrie nouvelle à partir de deux concepts clé, les schémas et les topos.

De 1950 à 1966, il fit des mathématiques, seulement des mathématiques. Mais un jour, il finit par découvrir la politique. En 1966, il refusa d’aller chercher sa médaille Fields à Moscou, où deux intellectuels venaient d’être condamnés à plusieurs années de camp pour avoir publié des textes en Occident sans autorisation. L’année suivante, il passa trois semaines au Vietnam pour protester contre la guerre lancée par les Etats-Unis. À partir de 1971, il consacra l’essentiel de son temps à l’écologie radicale à travers un groupe qui avait été fondé par un autre mathématicien, le groupe « Survivre et vivre ». En août 1991, il choisit de disparaître dans un village tenu secret après avoir confié 20 000 pages de notes à l’un de ses anciens élèves.

Le nom d’Alexandre Grothendieck sonne un peu comme la promotion de l’évanescence dans l’ontologie radicale. Car sa disparition donne à croire qu’elle le résume et le raconte davantage que tout le reste. Le choix qu’il a fait de d’évader rétro-projette son ombre sur tous les événements antérieurs de sa vie. Comme s’il n’avait jamais eu d’autre intention que celle d’échapper un jour au commerce des hommes. Mais raisonner ainsi serait injuste, car ce serait oublier l’homme, ses vies et son œuvre, qui est monumentale et demeure en partie inexplorée.

Source: Alexandre Grothendieck : un mathématicien qui prit la tangente

Comp Sci Bioinformatics talk on Tuesday April 12 in Broom 1310

The CI department of Computer Science is delighted to present the following talk:

Superbubbles and Clumps
by Costas Iliopoulos, Ritu Kundu, and Fatima Vayani
Tuesday April 12th, at 10am, in Broom 1310
Presentation Slides

Abstract: The information that can be inferred or predicted from knowing the genomic sequence of an organism is astonishing. String algorithms are critical to this process. This talk provides an overview of two particular problems – superbubbles and clumps – that arise during computational molecular biology research, and recent algorithmic developments in solving them.

IMG_6808

Costas Iliopoulos received his PhD in 1983 from Warwick University and he established the Algorithm Design Group at King’s College London in 1991. His field of expertise is the theory and practice of algorithmics, in areas including to, pattern matching, repetition and regularity finding, text compression, and automata theory and applications.The research problems he works on have many practical applications in fields varying from molecular sequence analysis,computer vision,symbolic computation & music.

Costas and his colleagues developed the most efficient (time/storage) software for mapping “Next generation Sequences”, handling the massive DNA data produced by the new sequencing hardware (Illumina) and the fastest methods/software for pairwise sequence alignment. Also, they developed the best method for hairpin identification in sequences (tropical diseases), methods for predicting the functional consequences of non-synonymous DNA sequence variants. Furthermore, they developed the Transcriptome map of mouse isochores in embryonic and neonatal cortex as well as the mouse liver, muscles & brain. In Combinatorics on words, they developed new data structures for order-preserving matching, new methods for finding Abelian regularities, subtree repeats, quasiperiods, cubic runs, tandem repeats , maximum number of squares, covers and seeds in strings and sequences.

In handling Big Data, they developed efficient parallel algorithms for mapping degenerate and weighted sequences to a reference genome, large scale DNA sequence analysis, parallel approximate string matching for massive data, storing and querying a massive number of highly similar sequences and mapping short reads to a massive number of dynamically changing genomic sequences.

Costas is the editor-in-Chief of the Journal of Discrete Algorithms (Elsevier) and he has served as chair and member of numerous programme committees of international conferences and workshops. He has held visiting positions in a number Universities: Paris Est, Pretoria, , McMaster, Rouen, Patras, Warsaw, Curtin, Stellenbosch etc. He has been supported by European Union, Royal Society, Institute of Maths, London Mathematical Society, Wellcome foundation, grants etc.

Ritu Kundu is a PhD student under the supervision of Prof. Costas S. Iliopoulos, in the Department of Informatics (Faculty of Natural & Mathematical Sciences), King’s College London, where she previously completed her M.Sc. in Advanced Computing. She has also worked as software developer for a couple of years.

Ritu’s research focusses on the design and analysis of efficient algorithms and data structures for sequential data (Stringology), which have many practical applications in fields varying from molecular sequence analysis, computer vision, symbolic computation and computational music. Her recently published works include several novel linear-time algorithms – for conservative degenerate pattern matching, for identifying super bubbles, and for discovering clumps. Some of her recently developed software-tools can be found at her GitHub profile.

She currently is a student member at Centre for Combinatorics on Words & Applications (CCWA,  University, Perth, Australia) and also is acting as the web-master for International Federation for Information Processing (IFIP) Working Group 10. She is also a member of research teams of King’s College London that collaborate with CSUCI and University of Helsinki, supported by the Royal Society. She has also reviewed for LATA 2016 and MACIS 2015.

She is being funded by EPSRC DTP. In addition, she has been awarded various grants -ERASMUS+, British Council’s INSPIRE, and KCL’s Global Research Grant etc.

Fatima Vayani is a PhD student under the supervision of Prof. Costas Iliopoulos and Dr. Solon Pissis in the Department of Informatics at King’s College London. She holds a BSc in Biological Sciences and an MSc in Bioinformatics and Theoretical Systems Biology.

Her research is in the area of algorithm design, and the subsequent development of tools, for molecular sequence analysis. She has contributed to projects concerned with the alignment of circular sequences, error detection in genome assembly, pattern matching in degenerate sequences and finding the locus of the Origin of Replication in bacterial genomes.

Fatima is a member of the International Society for Computational Biology, and has been an active committee member of their Regional Student Group in the UK since 2014, helping to organise two annual student conferences. She is also a member of the Centre for Combinatorics on Words & Applications, Murdoch University (Perth, Australia) and participated in their Stringmasters workshop in 2015. She has been a member of the organising committee for London Stringology Day and London Algorithmic Workshop (LSD/LAW) since 2015. She is holds the position of events coordinator for the
International Federation for Information Processing Working Group 10. In 2015, she gave presentations at the International Symposium on Experimental Algorithms, the Workshop on Bioinformatics and Stringology at BUET, Bangladesh and Stringmasters at Murdoch University. She also gave a presentation at LSD/LAW in 2016.

Her research is funded by a Doctoral Training Award from the EPSRC. Her research visits and conference trips have been funded by The Royal Society, ERASMUS and King’s College London’s Graduate School Conference Fund, Global Research Grant and Department of Informatics.

Research position in Portugal

INESC TEC (https://www.inesctec.pt/ip-en) at Porto, Portugal, is accepting applications to award 1 Research Grant for MSC within the Project “TEC4Growth – RL FourEyes – Intelligence, Interaction, Immersion and Innovation for media industries (NORTE-01-0145-FEDER-000020)” to support a PhD thesis on “Temporal News IR”.

Work area: Text Mining and Information Retrieval.

Academic Qualifications: MSc in Computer Science, Computer Engineering or similar;

Minimum Profile required: Research experience in Information Retrieval and Text Mining. Fluency in English (oral and written);

Preference factors: Good programming skills (preferably C#). Knowledge in the fields of information retrieval/text mining/information extraction.

The position is offered for an initial period of one year (from 2016-05-01 a 2017-04-30) and may be renewed for additional periods.

Application Period: 2016-04-07 to 2016-04-21

If you want to apply for this position, please follow the corresponding link and read the details about the application procedure at https://www.inesctec.pt/ip-en/work-with-us/bolsas-inescporto/concurso-para-a-atribuicao-de-1-bolsa-de-investigacao-para-mestre-no-projeto-tec4growth-rl-foureyes?set_language=en&cl=en

For further inquiries regarding the position, please contact Prof. Ricardo Campos

—————————————————————————————
Ricardo Campos
Assistant Professor – ICT Department
Polytechnic Institute of Tomar at Tomar, Portugal

Researcher
LIADD – INESC TEC at University of Porto, Portugal

e-mail: ricardo.campos@ipt.pt
e-mail: ricardo.campos@inesctec.pt
Web: http://www.ccc.ipt.pt/~ricardo
—————————————————————————————

PhD position in Bioinformatics in Lille, France

Two PhD positions are available in the Bonsai group (Lille, France),
starting
Fall 2016:

* Algorithms for analyzing assembly graphs from third-generation DNA
sequencing (with R. Chikhi, J-S. Varré)

* Algorithms for finding motifs in alignments of small RNA-sequencing
data in
plant genomes (with H. Touzet, R. Chikhi)

Recent DNA and RNA sequencing technologies yield a large amount of
short sequence fragments that need to be analyzed
computationally. Broadly speaking, these PhD offers deal with
algorithms for the analysis of such sequencing data.

Pre-requisites:

A master degree in computer science or bioinformatics, and more
specifically a good knowledge of methods in discrete algorithms.
Knowledge in biology is not a requirement, but then the applicant
should have a strong computational background and be interested
in biological problems.

How to apply:

Send applications or inquiries to helene.touzet@inria.fr,
rayan.chikhi@inria.fr,
jean-stephane.varre@univ-lille1.fr Applications should include a CV, a
transcript of master-level grades and the name of two references.

Deadline: April 15, 2016

Bonsai (http://www.cristal.univ-lille.fr/bonsai) is a bioinformatics
research group at University of Lille, affiliated with INRIA Lille –
Nord Europe and CRIStAL (Université Lille 1, CNRS). The main goal of
our research is to define combinatorial models and efficient
algorithms for large-scale sequence analysis in molecular
biology. This includes genome annotation, high-throughput sequencing,
metagenomics, noncoding RNAs, genome structure, non ribosomal peptides.

Faculty position in Berlin in the field of algorithms

Technische Universität Berlin
Faculty IV – Electrical Engineering and Computer Science
Department of Software Engineering and Theoretical Computer Science

offers an open position of a

Junior professor – salary grade W1 –
in the field of “Efficient Algorithms”.

Reference number: IV-68/16
(starting at the earliest possible / to be filled as soon
as possible for a period of 3 years;
an extension of 3 more years is possible after successful evaluation /
closing date for applications 28/04/16)

Working field: The position includes teaching duties in the Bachelor and
Master programs “Computer Science”, “Computer Engineering”, and
“Information Systems Engineering and Management”. In addition, an active
participation in Berlin’s algorithmic research (in particular concerning
successful grant application, cooperations, committee work, regular
publications) is expected.

Requirements: Candidates must meet the requirements of the Berlin Higher
Education Act (§102a BerlHG)
(the information leaflet will be forwarded upon request), including a
completed academic education, qualified achievements in research,
usually proven by an outstanding doctoral thesis (PhD),
educational and didactic competences. We are seeking a scientist with
a PhD and expertise in the theoretical study of algorithms or a closely
related area. Applicants should have a strong scientific track record
witnessed by publications in peer-reviewed journals
and conferences related to algorithmic research.
Applicants should be experts in one of the following research areas or
in a related field:
* algorithm engineering,
* algorithms for massive data (in particular streaming algorithms),
* algorithmic game theory,
* approximation and online algorithms,
* data structures,
* graph algorithms,
* parameterized algorithms,
* randomized algorithms.
In addition, knowledge in one or more areas of applied computer science
is favourable, for example in
* bioinformatics,
* computational social choice,
* data mining,
* machine learning,
* social network analysis.

Technische Universität Berlin strives to increase the proportion of
women in research and teaching and therefore
strongly encourages qualified female researchers to apply. Qualified
individuals with disabilities will be favored.
Technische Universität Berlin is a certified family-friendly higher
education institution, and our Dual Career Service offers assistance to
you and your family when relocating to Berlin.

Please send your written application with the reference number and the
usual documents (including a CV listing publications, teaching
experience etc., copies of academic degrees,
as well as copies of up to five selected publications)
until 28/04/2016 to

Technische Universität Berlin – Der Präsident -, Dekan der Fakultät IV,
Sekr. MAR 6-1, Marchstr. 23,
D-10587 Berlin, Germany
or by email to bianca.hahn@tu-berlin.de