DOCSLIB.ORG

Benedikt Etzold, René Richter, Maximilian Eibl, Wolfgang Lehner (Editors)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Benedikt Etzold, René Richter, Maximilian Eibl, Wolfgang Lehner (Editors) View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Multimedia ONline ARchiv CHemnitz Benedikt Etzold, René Richter, Maximilian Eibl, Wolfgang Lehner (editors) Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science Benedikt Etzold, René Richter, Maximilian Eibl, Wolfgang Lehner (editors) Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2016, May 22nd - 25th Universitätsverlag Chemnitz 2016 Impressum Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Angaben sind im Internet über http://dnb.d-nb.de abrufbar. Supported by Coverfoto: Schloss Dagstuhl - Leibniz-Zentrum für Informatik Satz/Layout: René Richter Technische Universität Chemnitz/Universitätsbibliothek Universitätsverlag Chemnitz 09107 Chemnitz http://www.tu-chemnitz.de/ub/univerlag Herstellung und Auslieferung Verlagshaus Monsenstein und Vannerdat OHG Am Hawerkamp 31 48155 Münster http://www.mv-verlag.de ISBN 978-3-944640-88-4 http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-201990 Preface Since 2007, PhD students of the DFG Research Training Groups (RTGs) and other doc- toral 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 in- terchange 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 graduate 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’s meeting is organized in cooperation by RTG 1907 RoSI - Role-based Soft- ware Infrastructures for continuous-context-sensitive Systems and RTG 1780 Crossworlds - Connecting Virtual and Real Social Worlds, and takes place at the Research Center of Schloss Dagstuhl from May 22nd to 25th. This book includes abstracts of the PhD research areas of all computer science related RTG graduate students and associated doctoral programs and provides an insight into current research trends in Germany. The Editors v Contents Preface v 1 RTG 1480: Programm- und Modell-Analyse (PUMA) 1 1.1 Deciding MSO overω-Words by Means of Finite Automata . 2 1.2 Decidability of Linear Tree Constraints . 3 1.3 Formally Verified Foundations for Complexity Analysis . 4 1.4 Polynomial Analysis of Probabilistic Workflow Nets . 5 1.5 Formalization of Rigorous Numerical Methods for ODEs . 6 1.6 Analysis via Strategy Iteration and its Advantages . 7 1.7 Formally-Correct Control of Autonomous Vehicles . 8 1.8 Analysis of Hyperproperties . ........... 9 1.9 Decision Procedures with Certification . 10 1.10 A Formally Verified Checker of the Safe Distance Traffic Rules for Au- tonomous Vehicles . 11 1.11 Deterministicω-Automata and Synthesis Procedures for Temporal Logic Specifications . 12 2 RTG 1564: Imaging New Modalities (INM) 13 2.1 Integrated Simulation, Evaluation and Algorithm Development for Time- of-Flight Cameras . 14 2.2 Dynamic Light Fields . 15 2.3 Understanding of Object and Image Features at Human Perceptual Level 16 2.4 Detection and Recognition of Articulating Objects Using Distinctive Fea- ture Sets . 17 2.5 Compressive Sensing for Photonic Mixer Device . 18 2.6 High-Quality Online Scene Reconstruction . 19 2.7 Recursive State Estimation using Multiple Sensors . 20 2.8 Registration and Analysis of Multimodal Datastreams in Raman- and Infrared Microspectroscopy . 21 2.9 Pulse-Based TOF range sensing . 22 2.10 Face and Scene Understanding . 23 vii 2.11 Active Multispectral SWIR Imaging for Skin Detection and Face Verifi- cation . 24 3 RTG 1651: Service-oriented Architectures for the Integration of Software- based Processes, exemplified by Health Care Systems and Medical Tech- nology (SOAMED) 25 3.1 Action Refinement for Dynamic Event Structures . 26 3.2 Data Flow Control in Scientific Workflow Systems . 27 3.3 Process Information and Guidance Systems for Medical Treatments in Hospitals . 28 3.4 Seamless Failover and Recovery of Stateful Services using Optimistic Replication . 29 3.5 Verification of Hybrid Systems in the Medical Context . 30 3.6 RESTful Business Process Choreographies . 31 3.7 Distributed multidimensional Index Structures for Genomic Data . 32 3.8 Shared Data in Communicating Business Processes . 33 3.9 Congestion Control for Routing Overlays . 34 4 RTG 1763: QuantLA - Quantitative Logics and Automata 35 4.1 Automatic Extraction of Matrix-based Language Models . 36 4.2 Weighted Automata and Logics on Graphs . 37 4.3 Weighted Automata with Storage . 38 4.4 Parametrization in Probabilistic Model Checking . 39 4.5 Quantitative Variants of Language Equations and their Applications to Description Logics . 40 4.6 Arithmetic Constraint Satisfaction Problems . 41 4.7 The Structure of Weighted Automata on Trees and Tree-like Graphs . 42 4.8 Qualitative and Quantitative Approaches to Reasoning in Defeasible De- scription Logics . 43 4.9 Answer Set Optimization . 44 5 RTG 1765: System Correctness under Adverse Conditions 45 5.1 Verification Techniques for Dynamically Typed Programs . 46 5.2 System Synthesis and Distributability Using Petri Nets . 47 5.3 Correctness of Structure-Changing Systems under Adverse Conditions . 48 5.4 Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) . 49 5.5 Geometry-Predicting Communication Protocols for Car2X Applications . 50 5.6 Handling Delay Differential Equations in Automatic Verification of Hy- brid Systems . 51 5.7 Robust Spatio-Temporal Logic for Mobile Agents . 52 viii 5.8 Graph Transformation Games for Modeling Adverse Conditions . 53 5.9 A Theory of HR* Graph Conditions and their Application to Meta- Modeling . 54 5.10 Car2X Network Security for Road Hazard Warning Applications . 55 5.11 Design and Analysis of Highly Reliable Region-Adherent Distributed Al- gorithms in Faulty Environments . 56 5.12 Petri Net Synthesis and Modal Transition Systems . 57 5.13 Properties of Communicating Controllers for Safe Traffic Manoeuvres . 58 5.14 Model-Based Safety and Security Analysis . 59 5.15 Semantic Data Replication . 60 5.16 Quality of Service Optimization Strategies in Wireless Sensor Networks . 61 6 RTG 1773: Heterogeneous Image Systems 63 6.1 Motion Correction for Weight-Bearing C-Arm CT of Knees . 64 6.2 Development of Multivariate Mathematical Morphology for Hyperspec- tral Image Classification . 65 6.3 Model Support in Design, Test and Monitoring of Image System Archi- tectures . 66 6.4 Signal Processing and Video Coding Algorithms Adapted to Fisheye Im- age and Video Data . 67 6.5 Design and Mapping of Image Processing Operators for Reconfigurable Hardware . 68 6.6 IPAS - A Design Framework for Analysis, Synthesis and Optimization of Image Processing Applications for Heterogenous Computing Architectures 69 6.7 Energy Consumption of Video Decoding Systems . 70 6.8 Advanced Image Processing for Optical Coherence Tomography Angiog- raphy . 71 6.9 Scalable Global Illumination . 72 6.10 Image Reconstruction from Pixels Located at Non-Integer Positions . 73 6.11 Compressed Geometry Representation for Ray Tracing . 74 6.12 ASIP Generation for Image Postprocessing Tasks . 75 6.13 Material Decomposition Algorithms for Spectral Computed Tomography 76 6.14 Iterative Reconstruction Methods for Abdominal Water-Fat MRI . 77 6.15 Dynamic Thread Migration for Heterogeneous Coprocessor Systems for Image Processing Applications . 78 6.16 High Level Synthesis from Domain-Specific Languages . 79 6.17 Processing Architectures for Heterogeneous 3D-ICs . 80 6.18 Consistent Programming Models and Tools for Designing Heterogeneous Image Systems . 81 6.19 Feature Selection and Motion Models for Feature-Based Rigid 2-D/3-D Registration . 82 ix 6.20 Scalable Global Illumination . 83 6.21 A Tone Mapping Algorithm Suited for Analog-Signal Real-Time Image Processing . 84 6.22 Integrated Circuits for Analog Signalprocessing in Heterogeneous Image Systems . 85 6.23 Memory and Interface Architectures for Tightly Coupled Processor Arrays 86 6.24 Real-time Facial Expression Transfer . 87 6.25 Topological Triangle Sorting for predefined Camera Routes . 88 6.26 Facilitate Memory Management for CT Reconstruction on GPUs . 89 7 RTG 1780: CrossWorlds - Connecting Virtual and Real Social Worlds 91 7.1 Context-aware Collaboration of Humans, Services, and Things . 92 7.2 Digital Tangibles – Connecting Digital Worlds to their Physical Environ- ments . 93 7.3 Combining Attentional Modulation to Motion Detection as found in the Visual Pathway of the Mammalian Brain . 94 7.4 A neuro-computational model of emotional attention . 95 7.5 The ‚Escape-Button‘ as the only way out – When Human-Computer- Interaction breaks down . 96 7.6 Multi User Dialog Interfaces for Mobile Robots . 97 7.7 Modeling Load Factors in Multimedia Learning: An ACT-R Approach . 98 8 RTG 1817: UbiCrypt - New Challenges for Cryptography in Ubiquitous Computing 99 8.1 Differential privacy from the perspective of learning theory . 100 8.2 Design and Analysis of Symmetric Primitives . 101 8.3 Hardware security . 102 8.4 Ubiquitous Authentication . 103 8.5 Selective Opening Secure Public Key Encryption . 104 8.6 GPS
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]
  • 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
    [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]