Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings PDF
Preview Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
T. V. Gopal Manindra Agrawal Angsheng Li S. Barry Cooper (Eds.) 2 0 4 Theory and Applications 8 S C of Models of Computation N L 11th Annual Conference, TAMC 2014 Chennai, India, April 11–13, 2014 Proceedings T 4 A 1 0 M 2 C 123 Lecture Notes in Computer Science 8402 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany T. V. Gopal Manindra Agrawal Angsheng Li S. Barry Cooper (Eds.) Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014 Chennai, India, April 11-13, 2014 Proceedings 1 3 VolumeEditors T.V.Gopal AnnaUniversity,CollegeofEngineering DepartmentofComputerScienceandEngineering, Chennai,India E-mail:[email protected] ManindraAgrawal IndianInstituteofTechnology DepartmentofComputerScienceandEngineering Kanpur,India E-mail:[email protected] AngshengLi ChineseAcademyofSciences,InstituteofSoftware StateKeyLaboratoryofComputerScience Zhongguancun,HaidianDistrict,Beijing,China E-mail:[email protected] S.BarryCooper UniversityofLeeds,SchoolofMathematics,UK E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-319-06088-0 e-ISBN978-3-319-06089-7 DOI10.1007/978-3-319-06089-7 SpringerChamHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2014934828 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingSwitzerland2014 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface Theory and Applications of Models of Computation (TAMC) is an interna- tional conference series with an interdisciplinary character, bringing together researchersworkingincomputerscience,mathematics,andthephysicalsciences. Itisthis,togetherwithitspredominantlycomputationalandcomputabilitythe- oretic focus, which gives the series its special character. Models of computation span across the traditional discipline boundaries of computerscience,logicandappliedmathematics,communicationsystems,com- puter networks and the control of dynamical systems to best leverage this ex- pansiveviewofinformationandcomputationinnaturalandengineeredsystems. TheTAMCseriesexploresthealgorithmicfoundations,computationalmeth- ods, and computing devices to meet today’s and tomorrow’s challenges of com- plexity, scalability, and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic mar- kets and social networks. The TAMC series is distinguished by an appreciation for mathematical depth, scientific—rather than heuristic – approaches and the integration of theory and implementation. The TAMC conference series clearly indicates a growing influence in the re- gional and international scientific endeavors in this field. The quality of the conference has caught the attention of professionals all over the world, who ea- gerlylookforwardtotheTAMCseriesofconferencescarefullynurturedoverthe pasttenyearsbytheSteeringCommittee. AlltheSteeringCommitteemembers guided this edition of TAMC at Anna University, Chennai, India. The 11th International Conference on Theory and Applications of Models of Computation (TAMC 2014) attracted 112 quality submissions by active re- searchers from 18 countries, from which the Program Committee carefully re- viewed and selected the best papers for inclusion in this LNCS volume. The review process was rigorous. There were at least two reviews for every paper. At least one third of the submissions had three reviews. There were 30 ProgramCommitteemembersand35additionalreviewersinvolvedinthereview process.TheProgramCommitteememberswereactivelyinvolvedinrankingthe papers,afterwhich27excellentpaperswereselectedforinclusioninthisvolume. We are very grateful to the Program Committee, and the many external reviewerstheycalledon,forthehardworkandexpertisethattheybroughttothe difficult selectionprocess.We thank all thoseauthorswho submitted their work for our consideration. We thank the members of the Editorial Board of Lecture Notes in Computer Science and the editors at Springer for their encouragement and cooperation throughout the preparation of this conference. Dr. M. Rajaram, Honorable Vice-Chancellor, Anna University, Chennai, In- dia, was the patron of TAMC 2014. He ensured that all the necessary facilities for the successful organization of TAMC 2014 were available for the various VI Preface committees.ThesuccessofTAMC2014isduetotheunstintedeffortsofvarious committees and the hard work of the invited speakers and the authors. TAMC2014wasthebeginningofthenextdecadeofthisseriesofconference. The 11th International Conference on Theory and Applications of Models of Computation (TAMC 2014) team has attempted to provide a roadmap for at least the next decade of TAMC conferences. February 2014 Gopal T.V. Manindra Agrawal Angsheng Li S. Barry Cooper Organization TAMC 2014 was organized at the Vivekananda Auditorium, Anna University, College of Engineering Guindy [CEG] Campus, Chennai, India. Patron M. Rajaram Vice Chancellor, Anna University, Chennai, India Conference Chair T.V. Gopal Anna University, Chennai, India Conference Co-chair Manindra Agrawal Indian Institute of Technology, Kanpur, India Program Committee Aaron D. Jaggard U.S. Naval Research Laboratory, USA Ajith Abraham Machine Intelligence Research Labs (MIR Labs), USA Bakhadyr Khoussainov University of Auckland, New Zealand Carlo Alberto Furia ETH Zurich, Switzerland Chaitanya K. Baru University of California, San Diego, USA Christel Baier Technische Universit¨at Dresden, Germany Cristian S. Calude University of Auckland, New Zealand Dimitris Fotakis National Technical University of Athens, Greece Dipti Deodhare Centre for Artificial Intelligence and Robotics (CAIR), India Hongan Wang State Key Laboratory for Computer Science (LCS), China Jacques Sakarovitch Ecole Nationale Superieure des Telecommunications, France and International Federation for Information Processing (IFIP) TC - 1 - Foundations of Computer Science Jianxin Wang Central South University (CSU), China Jose R. Correa Universidad de Chile, Chile VIII Organization Kamal Lodaya Institute of Mathematical Sciences, India Kazuhisa Makino University of Tokyo, Japan R. Nadarajan PSG College of Technology, India Y. Narahari Indian Institute of Science, India Naijun Zhan State Key Laboratory for Computer Science (LCS), China Navin Goyal Microsoft Research, India Pan Peng Institute of Software, Chinese Academy of Sciences, China C. Pandurangan Indian Institute of Technology, Madras, India Rajagopal Srinivasan Tata Consultancy Services, India Rajeeva Karandikar Chennai Mathematical Institute, India Richard Banach University of Manchester, UK R.K. Shyamasundar Tata Institute of Fundamental Research (TIFR), India Somenath Biswas Indian Institute of Technology, Kanpur, India Toshihiro Fujito Toyohashi University of Technology, Japan Venkat Chakaravarthy IBM Research, India Vincent Duffy Purdue University, USA Wenhui Zhang State Key Laboratory of Computer Science, China Xiaoming Sun Institute of Computing Technology, Chinese Academy of Sciences, China Steering Committee Manindra Agrawal Indian Institute of Technology, Kanpur, India Jin-Yi Cai University of Wisconsin - Madison, USA S. Barry Cooper University of Leeds, UK John Hopcroft Cornell University, USA Angsheng Li Chinese Academy of Sciences Zhiyong Liu Institute of Computing Technology, Chinese Academy of Sciences Organizing Committee C. Chellappan Dean, CEG, Anna University – Chair T.V. Geetha HOD, Department of Computer Science and Engineering, Anna University Shekhar Sahasrabuddhe Regional Vice President (RVP VI), Computer Society of India S.P. Soman Regional Vice President (RVP VII), Computer Society of India Organization IX Dipti Prasad Mukherjee Regional Vice President (RVP II), Computer Society of India V. Rhymend Uthariaraj ProfessorandDirector,RamanujanComputing Center, Anna University M. Chandrasekhar Professor and Head, Department of Mathematics, Anna University R.S. Bhuvaneswaran Deputy Director - Web Admin, Ramanujan Computing Center, Anna University A. Azad Director i/c, Centre for International Affairs, Anna University Table of Contents A Roadmap for TAMC ........................................... 1 TV Gopal, Manindra Agrawal, Angsheng Li, and S. Barry Cooper Contributed Papers A Tight Lower Bound Instance for k-means++ in Constant Dimension ...................................................... 7 Anup Bhattacharya, Ragesh Jaiswal, and Nir Ailon An Improved Upper-Bound for Rivest et al.’s Half-Lie Problem ........ 23 Bala Ravikumar and Duncan Innes Reversibility of Elementary Cellular Automata under Fully Asynchronous Update ............................................ 39 Biswanath Sethi, Nazim Fat`es, and Sukanta Das Finite State Incompressible Infinite Sequences ....................... 50 Cristian S. Calude, Ludwig Staiger, and Frank Stephan Finding Optimal Strategies of Almost Acyclic Simple Stochastic Games.......................................................... 67 David Auger, Pierre Coucheney, and Yann Strozecki The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes....................................... 86 David Cattan´eo and Simon Perdrix On Representations of Abstract Systems with Partial Inputs and Outputs ........................................................ 104 Ievgen Ivanov Complexity Information Flow in a Multi-threaded Imperative Language ....................................................... 124 Jean-Yves Marion and Romain P´echoux A Personalized Privacy Preserving Method for Publishing Social Network Data ................................................... 141 Jia Jiao, Peng Liu, and Xianxian Li A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers ...... 158 Jingchao Chen
The list of books you might like
