DOCSLIB.ORG

Overviewresearchactivities2008

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Overviewresearchactivities2008 OverviewResearchActivities2008 1 Centrum Wiskunde&Informatica Visiting address Science Park 123 1098 XG Amsterdam The Netherlands Postal address P.O. Box 94079 1090 GB Amsterdam Telephone +31 20 592 9333 Fax +31 20 592 4199 Website www.cwi.nl Centrum Wiskunde & Informatica (CWI) is the national research institute for mathematics and com- puter science of The Netherlands. It is supported by the Netherlands Organisation for Scientific Research (NWO). CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathe- matics. CWI is a member of the World Wide Web Consortium (W3C) and it manages the W3C Office in the Benelux. CWI is located at Science Park Amsterdam. CONTENTS Preface 4 Strategic themes 5 Scientific clusters Probability, Networks and Algorithms – PNA 7 PNA1 Algorithms, Combinatorics and Optimization 7 PNA2 Performance Analysis of Communication Networks 21 PNA4 Signals and Images 37 PNA5 Cryptology and Information Security 40 Software Engineering – SEN 48 SEN1 Interactive Software Development and Renovation 48 SEN3 Coordination Languages 55 SEN4 Computational Intelligence and Multi-agent Games 67 SEN5 Distributed Multimedia Languages and Infrastructures 74 Modelling, Analysis and Simulation – MAS 80 MAS0 Life Sciences 80 MAS1 Dynamical Systems and Numerical Analysis 80 MAS2 Scientific Computing and Control Theory 88 MAS3 Multiscale Modelling and Nonlinear Dynamics 103 Information Systems – INS 111 INS0 Standardization and Knowledge Transfer 111 INS1 Database Architectures and Information Access 113 INS2 Semantic Media Interfaces 121 INS3 Visualization and 3D Interfaces 126 INS4 Quantum Computing and Advanced Systems Research 128 Appendices A Statistics of CWI output 140 B Publications outside the research clusters 140 C Acronyms of universities in The Netherlands 140 D Distribution of funding over research groups 141 E PhD theses 142 The CWI annual report series consists of: - Annual Report (English), a full colour document giving a general overview of CWI’s scientific activities and some research highlights - Overview Research Activities (English), a comprehensive listing of CWI’s scientific activities - Sociaal-Financieel Jaarverslag (Dutch), a supplement containing the social and financial report and the works council report These can be ordered at the department of Communication & Information ([email protected]) PREFACE This overview is a comprehensive report of the programmes; NWO Veni, Vidi, Vici grants; TI CWI research activities in 2008 and is a supple- projects and, more recently, Bsik programmes ment to the Annual Report 2008, which high- BRICKS, MultimediaN, and VL-e) and has exten- lights CWI’s scientific research. sive experience in managing these collaborative research efforts. CWI is also strongly embedded in Dutch university research: about twenty-five Mission of CWI of its senior researchers hold parttime positions as professors at universities and several projects CWI is the national research institute for math- are carried out in cooperation with university ematics and computer science. It is a private, research groups. Annually CWI hosts some 200 non-profit organization. Founded in 1946 (as visiting scientists from abroad. Mathematisch Centrum), it aims at fostering CWI hosts a staff of 216 fte, of which 164 sci- mathematics and computer science research in entific staff. It operates on an annual budget of The Netherlands. CWI receives a basic funding M 17.9 (2008). from the Netherlands Organisation for Scientific Research (NWO), amounting to about two thirds of the institute’s total income. The remaining one third is obtained through national research CWI’s research entities programmes, international programmes, and CWI’s scientific research is organized in four contract research commissioned by industry. scientific clusters, each consisting of three to five CWI’s mission is twofold: To perform fron- scientific research groups. Besides, its research tier research in mathematics and computer sci- is increasingly oriented on its strategic research ence, and to transfer new knowledge in these themes: earth and life sciences, the data explosion, fields to society in general and trade and indus- societal logistics, software as service. try in particular. This mission is realized by several means. In addition to the standard ways of disseminating Items per cluster scientific knowledge, for example through pub- - Principal research area and mission lications, presentations at conferences, organiza- - Cluster staff tion of workshops and exchange of researchers, - Research groups and their leaders CWI actively pursues joint projects with exter- nal partners, provides consulting services, and actively stimulates the creation of spin-off com- Items per group panies. A technology transfer event is organized - Name and acronym annually to promote these activities. Also spe- - Mission cial efforts are made to make research results known to non-specialist circles, ranging from - MSC or CR classification researchers in other disciplines to the public at - Subgroups and their leaders large. CWI has many contacts with national or- - Staff (+ affiliation of seconded staff) ganizations for applied research with wide ex- - Scientific report: highlights, PhD students, perience in turning research results directly into and report per subgroup/project practical applications. Its researchers are sup- - Societal aspects and knowledge transfer ported by state-of-the-art computing facilities - Organization of conferences and workshops and a library of national importance. - Lectures CWI has always been very successful in se- - Other professional activities curing considerable participation in European - Awards and grants research programmes (e.g., ESPRIT, ACTS, - Academic publications TELEMATICS, RESQ, MUSCLE, and others) and national research programmes (ICES/KIS - Professional products 4 STRATEGICTHEMES Earth and life sciences (SEN4). Two highly talented scientists have been successfully attracted to CWI; Bert Zwart The earth sciences was hired as a tenured researcher in the field of stochastic optimization, and Guido Schaefer was The CWI, and especially the MAS cluster, has a hired as a tenure-track researcher in combinato- strong tradition in the earth sciences. Except for rial optimization and algorithmic game theory. the project on the reliability of the Dutch coastal The research in the area of SL encompasses a protection – that is supported by internal CWI broad range of application areas, including the funds – no special new initiatives have taken areas performance analysis of information and place in this area. communication systems, performance analysis of large-scale service systems, healthcare logis- The life sciences tics, ambulance service provisioning, transport and distribution, airport logistics, pricing and In 2008, a major project to stimulate life sciences revenue management, advanced routing algo- research at the CWI has been started up. Two rithms, and energy markets. young scientists have been hired at the tenure In the context of SL, the Franz Edelman track level, Gunnar Klau (Mathematical Life Award of INFORMS was awarded to the project Sciences, FU Berlin) and Roeland Merks (Flan- The New Dutch Timetable – the OR Revolution de- ders Interuniversity Institute of Biotechnology, veloped by CWI researchers (A. Schrijver and Ghent). Klau’s research focuses on computa- former researchers G. Maroti and A. Steenbeek) tional biology, combinatorial optimization, and in collaboration with researchers from NS, EUR algorithmic problems in the life sciences; Merks and University of Padova. works in the area of biological, multi-scale mod- Stimulated by three NWO-bonus funded elling, currently primarily of multicellular de- PhD students in the field of Revenue Manage- velopment. Both Klau and Merks immediately ment and algorithmic game theory, CWI has co- started to build up their own research groups by founded (jointly with VU Amsterdam and OR- hiring students and postdocs. TEC) a knowledge network on Pricing and Rev- During 2008, Klau, Merks and their groups enue Management (PreMa), aimed at bringing have for practical reasons been embedded in the together academic institutes and industrial par- MAS-cluster. By 01-01-2009, they are part of the ties. This network, which has already attracted new ‘pilot cluster’ Life Sciences. Several CWI- interest from a variety of industrial partners, researchers, originating from the MAS and PNA forms an excellent basis for transfer and cross- clusters and whose research focuses on the life fertilization of knowledge and experience. sciences, will also be part of this pilot cluster. External funding has been awarded for The CWI-life scientists have strong connections projects in several sub-areas ofrelated to SL, in- with the NISB (Netherlands Institute of Systems cluding the SenterNovem funded project End- Biology), in fact, Roeland Merks has been hired to-end Quality of Service in Service Supply Chains as leader of the NISB modelling group. There (SeQual), the NWO-VIDI project on Large Scale are also promising scientific interactions with the Service Systems , the SenterNovem funded project NKI (‘Netherlands Cancer Institute’). Intelligent and Decentralized Management of Elec- tricity Networks and Data. (IOP-EMVT-project Han), and the NWO Free Competition project Societal logistics Mixed-integer optimization: unification of polyhe- In 2008, significant efforts have been taken to dral combinatorics and lattice basis reduction algo- build up the research theme Societal Logistics
Load more

Recommended publications
  • Ordinal Game Theory and Applications – a New Framework for Games Without Payoff Functions
    Ordinal Game Theory and Applications – A New Framework For Games Without Payoff Functions Jose B. Cruz*, Jr. and Marwan A. Simaan# *Department of Electrical Engineering The Ohio State University, Columbus, OH 43210 Email: [email protected] #Department of Electrical Engineering University of Pittsburgh, Pittsburgh, PA 15261 Email: [email protected] Keywords: Games Theory, Decision-Making, ordering could be the result of personal, Payoff Functions, Nash Solutions, Rank Ordering. subjective, preferences derived from qualitative analysis, as is the case in many social sciences ABSTRACT problems. In such problems a heuristic, knowledge-based, rank ordering of decision Decision-making problems in engineering, choices in a finite decision space can be viewed as business, management, and economics that a first step in the process of modeling complex involve two or more decision-makers with problems for which a mathematical description is competing objectives are often optimized using usually extremely difficult, if not impossible, to the theory of games. This theory, initially obtain. In order to distinguish between these two developed by Von Neumann and Morgenstern, types of games, we will refer to traditional payoff- and later by Nash, requires that each point in the based games as “Cardinal Games” and to these decision space be mapped, through a payoff new types of rank ordering-based games as function, into a real number representing the value “Ordinal Games”. In this paper, we review the of the collective set of decisions to each decision theory of ordinal games and discuss associated maker. This theory, which is cardinal in nature, solution concepts such as the Nash equilibrium.
    [Show full text]
  • Committee Selection with a Weight Constraint Based on a Pairwise Dominance Relation Charles Delort, Olivier Spanjaard, Paul Weng
    Committee Selection with a Weight Constraint Based on a Pairwise Dominance Relation Charles Delort, Olivier Spanjaard, Paul Weng To cite this version: Charles Delort, Olivier Spanjaard, Paul Weng. Committee Selection with a Weight Constraint Based on a Pairwise Dominance Relation. 2nd International Conference on Algorithmic Decision Theory (ADT’11), Oct 2011, Piscataway, NJ, United States. pp.28-41, 10.1007/978-3-642-24873-3_3. hal- 01285704 HAL Id: hal-01285704 https://hal.archives-ouvertes.fr/hal-01285704 Submitted on 10 Jul 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Committee Selection with a Weight Constraint Based on a Pairwise Dominance Relation? Charles Delort, Olivier Spanjaard, and Paul Weng UPMC, LIP6-CNRS, UMR 7606 4 Place Jussieu, F-75005 Paris, France {charles.delort,olivier.spanjaard,paul.weng}@lip6.fr Abstract. This paper is devoted to a knapsack problem with a cardinal- ity constraint when dropping the assumption of additive representability [10]. More precisely, we assume that we only have a classification of the items into ordered classes. We aim at generating the set of preferred sub- sets of items, according to a pairwise dominance relation between subsets that naturally extends the ordering relation over classes [4, 16].
    [Show full text]
  • Interactive Fitness Domains in Competitive Coevolutionary Algorithm
    University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School October 2019 Interactive Fitness Domains in Competitive Coevolutionary Algorithm ATM Golam Bari University of South Florida Follow this and additional works at: https://scholarcommons.usf.edu/etd Part of the Computer Sciences Commons Scholar Commons Citation Bari, ATM Golam, "Interactive Fitness Domains in Competitive Coevolutionary Algorithm" (2019). Graduate Theses and Dissertations. https://scholarcommons.usf.edu/etd/8623 This Dissertation is brought to you for free and open access by the Graduate School at Scholar Commons. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Scholar Commons. For more information, please contact [email protected]. Interactive Fitness Domains in Competitive Coevolutionary Algorithm by ATM Golam Bari A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science and Engineering College of Engineering University of South Florida Major Professor: Alessio Gaspar, Ph.D. Ali Yalcin, Ph.D. Lu Lu, Ph.D. R. Paul Wiegand, Ph.D. Srinivas Katkoori, Ph.D. Date of Approval: September 20, 2019 Keywords: Interactive Evolutionary Algorithm, Optimization, Solution Concept, Pareto Dominance, Concept Inventory Copyright c 2019, ATM Golam Bari Dedication I would like to dedicate my dissertation to my parents Mst Rawshan-ara Begum & Late Md. Yakub Ali; to my father in law Late Md. Reazul Haque and my loving wife Mst Rokeya Reaz. Acknowledgments I would like to express my heartiest gratitude to my supervisor, Dr. Alessio Gaspar for his never ending support and encouragement during my research period at USF.
    [Show full text]
  • Universal Alignment Probabilities and Subset Selection for Ordinal Optimization1
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS: Vol. 93, No. 3. pp. 455-489, JUNE 1997 Universal Alignment Probabilities and Subset Selection for Ordinal Optimization1 T. W. EDWARD LAU2 AND Y. C, Ho3 Abstract. We examine in this paper the subset selection procedure in the context of ordinal optimization introduced in Ref. 1. Major concepts including goal softening, selection subset, alignment probability, and ordered performance curve are formally introduced. A two-parameter model is devised to calculate alignment probabilities for a wide range of cases using two different selection rules: blind pick and horse race. Our major result includes the suggestion of quantifiable subset selection sizes which are universally applicable to many simulation and modeling problems, as demonstrated by the examples in this paper. Key Words. Subset selection, stochastic optimization, alignment prob- ability, ordered performance curve, simulation, modeling. 1. Introduction Consider a standard optimization problem, where ® is the design space and J( • ) is a performance measure defined on the design space. By design space we mean a collection of alternatives or designs available to a designer. For example, a design space can be a subset of the Euclidean space, and designs are simply points in the subset (there are infinitely many of them). As another example, in the well-known travelling salesman problem (TSP), the design space is the collection of all possible routes formed by all cities [total number of routes is (n-1)! for an n-city 1The work in this paper was partially supported by NSF Grants EID-9212122, EEC-9402384, Army Contracts DAAL03-92-G0115, DAAH04-95-0148, and Air Force Contract F49620-95- 1-0131.
    [Show full text]
  • Proceedings of the 48Th IEEE Conference on Decision and Control (CDC) Held Jointly with 2009 28Th Chinese Control Conference
    Proceedings of the 48th IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference Shanghai, China 15 - 18 December 2009 Pages 1 - 560 IEEE Catalog Number: CFP09CDC-PRT ISBN: 978-1-4244-3871-6 Table of Contents We1PL Grand Ballroom Poisson Processes and the Design of Finite State Controllers (Plenary Session) 08:00-08:50 We1PL.1 Poisson Processes and the Design of Finite State Controllers*. Brockett, Roger Harvard Univ. We2PL Grand Ballroom Towards a System Theoretic Foundation for Control Over Networks (Plenary Session) 09:00-09:50 We2PL.1 Towards a System Theoretic Foundation for Control Over Networks*. Kumar, P. R. Univ. of Illinois, Urbana-Champaign WeA01 3D Nonlinear Systems I (Regular Session) Chair: Huang, Jie Chinese Univ. of Hong Kong Co-Chair: Khorrami, Farshad Pol. Inst. of NYU 10:10-10:30 WeA01.1 Output Regulation for Output Feedback Systems with an Uncertain Exosystem and Its Application, pp. 1-6. Xu, Dabo The Chinese Univ. of Hong Kong Huang, Jie Chinese Univ. of Hong Kong 10:30-10:50 WeA01.2 Output-Feedback Control of Feedforward Nonlinear Delayed Systems through Dynamic High-Gain Scaling, pp. 7-12. Krishnamurthy, Prashanth IMI Khorrami, Farshad Pol. Inst. of NYU 10:50-11:10 WeA01.3 Robustness of Quantized Continuous-Time Nonlinear Systems to Encoder/decoder Mismatch, pp. 13-18. De Persis, Claudio Sapienza Univ. of Rome 11:10-11:30 WeA01.4 Geometric Control of Particle Manipulation in a Two-Dimensional Fluid, pp. 19-26. Or, Yizhar California Intitute of Tech. Vankerschaver, Joris California Inst. of Tech.
    [Show full text]
  • Coupling Elephant Herding with Ordinal Optimization for Solving the Stochastic Inequality Constrained Optimization Problems
    applied sciences Article Coupling Elephant Herding with Ordinal Optimization for Solving the Stochastic Inequality Constrained Optimization Problems Shih-Cheng Horng 1,* and Shieh-Shing Lin 2 1 Department of Computer Science and Information Engineering, Chaoyang University of Technology, Taichung 413310, Taiwan 2 Department of Electrical Engineering, St. John’s University, New Taipei City 251303, Taiwan; [email protected] * Correspondence: [email protected]; Tel.: +886-4-2332-3000 (ext. 7801) Received: 17 January 2020; Accepted: 13 March 2020; Published: 19 March 2020 Abstract: The stochastic inequality constrained optimization problems (SICOPs) consider the problems of optimizing an objective function involving stochastic inequality constraints. The SICOPs belong to a category of NP-hard problems in terms of computational complexity. The ordinal optimization (OO) method offers an efficient framework for solving NP-hard problems. Even though the OO method is helpful to solve NP-hard problems, the stochastic inequality constraints will drastically reduce the efficiency and competitiveness. In this paper, a heuristic method coupling elephant herding optimization (EHO) with ordinal optimization (OO), abbreviated as EHOO, is presented to solve the SICOPs with large solution space. The EHOO approach has three parts, which are metamodel construction, diversification and intensification. First, the regularized minimal-energy tensor-product splines is adopted as a metamodel to approximately evaluate fitness of a solution. Next, an improved elephant herding optimization is developed to find N significant solutions from the entire solution space. Finally, an accelerated optimal computing budget allocation is utilized to select a superb solution from the N significant solutions. The EHOO approach is tested on a one-period multi-skill call center for minimizing the staffing cost, which is formulated as a SICOP.
    [Show full text]
  • The Unreasonable Destructiveness of Political Correctness in Philosophy
    philosophies Article The Unreasonable Destructiveness of Political Correctness in Philosophy Manuel Doria Advanced Studies Research Group and Fuzzy Sets Laboratory PIT, Production Engineering Program, COPPE, UFRJ P.O. Box 68507, 21945 972, Rio de Janeiro RJ, Brazil; [email protected] Received: 14 March 2017; Accepted: 26 June 2017; Published: 3 August 2017 Abstract: I submit that epistemic progress in key areas of contemporary academic philosophy has been compromised by politically correct (“PC”) ideology. First, guided by an evolutionary account of ideology, results from social and cognitive psychology and formal philosophical methods, I expose evidence for political bias in contemporary Western academia and sketch a formalization for the contents of beliefs from the PC worldview taken to be of core importance, the theory of social oppression and the thesis of anthropological mental egalitarianism. Then, aided by discussions from contemporary epistemology on epistemic values, I model the problem of epistemic appraisal using the frameworks of multi-objective optimization theory and multi-criteria decision analysis and apply it to politically correct philosophy. I conclude that philosophy guided by politically correct values is bound to produce constructs that are less truth-conducive and that spurious values which are ideologically motivated should be abandoned. Objections to my framework stemming from contextual empiricism, the feminine voice in ethics and political philosophy are considered. I conclude by prescribing the epistemic value of empirical adequacy, the contextual value of political diversity and the moral virtue of moral courage to reverse unwarranted trends in academic philosophy due to PC ideology. Keywords: cognitive biases; multi-criteria decision analysis; epistemic appraisal; epistemic values; ideology; metaphilosophy; multi-objective optimization; political correctness; social constructionism; social oppression 1.
    [Show full text]
  • Ordinal Regression Based on Data Relationship
    This document is downloaded from DR‑NTU (https://dr.ntu.edu.sg) Nanyang Technological University, Singapore. Ordinal regression based on data relationship Liu, Yanzhu 2019 Liu, Y. (2019). Ordinal regression based on data relationship. Doctoral thesis, Nanyang Technological University, Singapore. https://hdl.handle.net/10356/105479 https://doi.org/10.32657/10220/47844 Downloaded on 09 Oct 2021 18:23:21 SGT 2019 LIU LIU YANZHU RELATIONSHIP ORDINAL REGRESSION BASED DATA ON BASED REGRESSION ORDINAL SCHOOLOF COMPUTERSCIENCE AND ENGINEERING 2019 (On the Spine) ORDINAL LIU YANZHU REGRESSION BASED ON DATA RELATIONSHIP ORDINAL REGRESSION BASED ON DATA RELATIONSHIP L I U Y A N Z H U L IU YANZHU School of Computer Science and Engineering A thesis submitted to the Nanyang Technological University in fulfilment of the requirement for the degree of Doctor of Philosophy 2019 Statement of Originality I hereby certify that the work embodied in this thesis is the result of original research , is free of plagiarised materials, and has not been submitted for a higher degree to any other University or Institution. 14, March, 2019 . Date LIU YANZHU Supervisor Declaration Statement I have reviewed the content and presentation style of this thesis and declare it is free of plagiarism and of sufficient grammatical clarity to be examined. To the best of my knowledge, the research and writing are those of the candidate except as acknowledged in the Author Attribution Statement. I confirm that the investig ations were conducted in accord with the ethics policies and integrity standards of Nanyang Technological University and that the research data are presented honestly and without prejudice.
    [Show full text]
  • Cooperative Co-Evolution Algorithm with an MRF-Based Decomposition Strategy for Stochastic Flexible Job Shop Scheduling
    mathematics Article Cooperative Co-Evolution Algorithm with an MRF-Based Decomposition Strategy for Stochastic Flexible Job Shop Scheduling Lu Sun 1 , Lin Lin 2,3,4,*, Haojie Li 2,4 and Mitsuo Gen 3,5 1 School of Software, Dalian University of Technology, Dalian 116620, China; [email protected] 2 DUT-RU Inter. School of Information Science & Engineering, Dalian University of Technology, Dalian 116620, China; [email protected] 3 Fuzzy Logic Systems Institute, Fukuoka 820-0067, Japan; gen@flsi.or.jp 4 Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian 116620, China 5 Department of Management Engineering, Tokyo University of Science, Tokyo 163-8001, Japan * Correspondence: [email protected] Received: 30 January 2019; Accepted: 22 March 2019; Published: 28 March 2019 Abstract: Flexible job shop scheduling is an important issue in the integration of research area and real-world applications. The traditional flexible scheduling problem always assumes that the processing time of each operation is fixed value and given in advance. However, the stochastic factors in the real-world applications cannot be ignored, especially for the processing times. We proposed a hybrid cooperative co-evolution algorithm with a Markov random field (MRF)-based decomposition strategy (hCEA-MRF) for solving the stochastic flexible scheduling problem with the objective to minimize the expectation and variance of makespan. First, an improved cooperative co-evolution algorithm which is good at preserving of evolutionary information is adopted in hCEA-MRF. Second, a MRF-based decomposition strategy is designed for decomposing all decision variables based on the learned network structure and the parameters of MRF.
    [Show full text]
  • BIRS Proceedings 2015
    Banff International Research Station Proceedings 2015 Contents Five-day Workshop Reports 1 1 Modern Applications of Complex Variables: Modeling, Theory and Computation (15w5052) 3 2 Random Dynamical Systems and Multiplicative Ergodic Theorems Workshop (15w5059) 12 3 Mathematics of Communications: Sequences, Codes and Designs (15w5139) 24 4 Discrete Geometry and Symmetry (15w5019) 33 5 Advances in Numerical Optimal Transportation (15w5067) 41 6 Hypercontractivity and Log Sobolev inequalities in Quantum Information Theory (15w5098) 48 7 Computability in Geometry and Analysis (15w5005) 53 8 Laplacians and Heat Kernels: Theory and Applications (15w5110) 60 9 Perspectives on Parabolic Points in Holomorphic Dynamics (15w5082) 71 10 Geometric Flows: Recent Developments and Applications (15w5148) 83 11 New Perspectives for Relational Learning (15w5080) 93 12 Stochasticity and Organization of Tropical Convection (15w5023) 99 13 Groups and Geometries (15w5017) 119 14 Dispersive Hydrodynamics: the Mathematics of Dispersive Shock Waves and Applications (15w5045)129 15 Applied Probability Frontiers: Computational and Modeling Challenges (15w5160) 140 16 Advances and Challenges in ProteinRNA: Recognition, Regulation and Prediction (15w5063) 148 17 Hybrid Methods of Imaging (15w5012) 158 18 Advances in Combinatorial and Geometric Rigidity (15w5114) 175 19 Lifting Problems and Galois Theory (15w5035) 184 20 New Trends in Nonlinear Elliptic Equations (15w5004) 193 21 The Use of Linear Algebraic Groups in Geometry and Number Theory (15w5016) 202 i ii 22
    [Show full text]
  • Rafael Bru and Sergio Romero-Vivó (Eds.)
    Lecture Notes in Control and Information Sciences 389 Editors: M. Thoma, F. Allgöwer, M. Morari Rafael Bru and Sergio Romero-Vivó (Eds.) Positive Systems Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2009) Valencia, Spain, September 2–4, 2009 ABC Series Advisory Board P. Fleming, P. Kokotovic, A.B. Kurzhanski, H. Kwakernaak, A. Rantzer, J.N. Tsitsiklis Editors Rafael Bru Instituto Universitario de Matemática Multidisciplinar, Universidad Politécnica de Valencia, Camí de Vera s/n, 46022 Valencia Spain E-mail: [email protected] Sergio Romero-Vivó Instituto Universitario de Matemática Multidisciplinar, Universidad Politécnica de Valencia, Camí de Vera s/n, 46022 Valencia Spain E-mail: [email protected] ISBN 978-3-642-02893-9 e-ISBN 978-3-642-02894-6 DOI 10.1007/978-3-642-02894-6 Lecture Notes in Control and Information Sciences ISSN 0170-8643 Library of Congress Control Number: Applied for c 2009 Springer-Verlag Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
    [Show full text]
  • Proceedings of the 9Th Joint Workshop of the German Research Training Groups in Computer Science
    Proceedings of the 9th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2015, May 31st- June 3rd A. Babari, C. Carapelle (editors) Preface Since 2007, PhD students of the DFG Research Training Groups (RTGs) and other doctoral student programs in computer science have been meeting annually for networking and knowledge exchange purposes at Schloss Dagstuhl, one of the world's premier venues for computer science related seminars. The goal of these meetings is to maintain an interchange of opinions and practical knowledge between PhD students and to improve the connection between members of the German computer science community. This meeting, which is organized by the students, invites PhD students in all stages of their work in order to give them the opportunity to present their current research topics, ideas, and scientific results. This year the meeting is organized in cooperation by RTG 1763: Quantitative Logics and Automata and RTG 1773: Heterogeneous Image Systems, and takes place at the Research Center of Schloss Dagstuhl from May 31st until June 3rd. Since the participating RTGs present their work in different scientific areas, ranging from mechanical engineering and robotics to very theoretical fields of computer science as machine learning, formal languages and logic, the focus of the workshop remains interdisciplinary. The workshop at Schloss Dagstuhl, in fact, intends to encourage new collaborations among the participants from different RTGs, and to create and and strengthen new and existing networks. This year's workshop includes the following activities: Fast forward sessions, where the speakers of the RTGs introduce the main topics and focus of their group and the students give a fast introduction to their research projects.
    [Show full text]