Algebraic Modeling of Topological and Computational Structures and Applications (eBook)

Chapter 1: Algebraic Modeling of Topological Structures- Knot invariants – framization of knot algebras- Knots and braids in 3-manifolds- Poly-free groups, Lie algebras, braid groups and homotopy groups of spheresChapter 2: Algebraic Modeling of Applications- Topological study of polymer entanglements- Molecular simulation of ionic liquids- Dynamical systems and topological surgery Chapter 3: Algebraic Modeling of Computational Structures - Modeling based on algebraic specifications- Algebraic techniques for the modeling of video- Cryptography and coding theory- Applications in medical imagingContributed talks in the Thales Workshop, 1-3 July 2015 1: Algebraic Modeling of Topological Structures Elements of Khovanov HomologyUniversity of Illinois at Chicago Word problem for virtual braid groupsLuis ParisUniv. Bourgogne Franche-Comte, F-21000 Dijon, France A new skein invariant for classical links from the Yokonuma-Hecke algebrasSofiaa LambropoulouNational Technical University of Athens Classification of Markov traces on Yokonuma-Hecke algebrasL. Poulain d'AndecyUniversite de Reims Framization of the Temperley-Lieb algebraDimos GoundaroulisNational Technical University of Athens Quotient algebras of mixed braid groups with two fixed strandsDimitrios KodokostasNational Technical University of Athens Representation theory of framisations of knot algebrasM. ChlouverakiUniversite de Versailles The HOMFLYPT skein module of the lens spaces L(p,1)Maciej Mroczkowski (joint work with Bostjan Gabrovsek)Institute of Mathematics, University of Gdansk The isomorphism function from S3(L(p,1)) to the free moduleBostjan Gabrovsek (joint work with Maciej Mroczkowski)FME, University of Ljubljana The Homflypt skein module of L(p,1) via braidsIoannis Diamantis and Sofiaa LambropoulouNational Technical University of Athens Infinite loop spaces, Steenrod, Dyer-Lashof and Dickson algebrasNondas KechagiasDepartment of Mathematics, University of Ioannina 2: Algebraic Modeling of Applications Entanglements in Molecular Simulations of PolymersChristos Tzoumanekas, Stefanos D. Anogiannakis, Georgios G. Vogiatzis, and Doros N. TheodorouSchool of Chemical Engineering, National Technical University of Athens Models of Knotting and Linking in Polymeric Systems/p>Kenneth C. MillettUniversity of California, Santa Barbara A study of the entanglement in systems of curves with Periodic Boundary ConditionsE PanagiotouUniversity of California, Santa Barbara Threading of ring poly(ethylene oxide) molecules by linear chains or other rings in the melt: molecular dynamics simulations followed by a geometric analysisDimitrios Tsalikis, Vlasis MavrantzasUniversity of Patras Chain Size and Shape Dependence of the Tendency for Entanglement in Linear Polymer MeltsChristos Tzoumanekas, Stefanos D. Anogiannakis and Doros N. TheodorouSchool of Chemical Engineering, National Technical University of Athens Extending Topological Surgery to Natural ProcessesSofia Lambropoulou and Stathis AntoniouNational Technical University of Greece Molecular Simulation of Ionic Liquids: Structure, Dynamics and Permeability Properties Niki Vergadou1 and Eleni Androulaki1 and Ioannis G. Economou1,21National Center for Scientific Research Demokritos, Institute of Nanoscience and Nanotechnology, Molecular Thermodynamics and Modelling of Materials Laboratory and 2Texas A&M University at Qatar, Chemical Engineering Program, Education City, PO Box 23874, Doha, Qatar On (p-)almost direct products and residual properties of pure braid groups of surfacesP. BellingeriLaboratoire Nicolas Oresme ESPE de Basse Normandie Universit de Caen 3: Algebraic Modeling of Computational Structures On Algebraic Modeling of Computational StructuresPetros StefaneasNational Technical University of Athens Chemlambda, universality and self-multiplicationLouis H. KauffmanUniversity of Illinois at Chicago Towards the integration of Athena with CafeOBJ using tool supportKonstantine Arkoudas1, Katerina Ksystra2, Nikos Triantafyllou2, and Petros Stefaneas21Bloomberg R & D, U.S.A., 2National Technical University of Athens, Greece Cafe2JML: Integrating Behavioral Algebraic Speci_cations with Design by ContractNikolaos Triantafyllou and Petros StefaneasNational Technical University of Athens Towards Formal Open Standards: the Case of RSSKonstantinos Barlas1 and Eleni Berki2 Petros Stefaneas1 and George Koletsos11National Technical University of Athens and 2University of Tampere Fixed Point Logics as InstitutionsKiouvrekis Yiannis, Stefaneas PetrosNational Technical University of Athensp> Syntax, Semantics and the Formalisation of Scientific TheoriesNicola Angius1, Maria Dimarogona2 and Petros Stefaneas21University of Sassari, Italy2National Technical University of Athens Composition of Specification Modules: recent developmentsRazvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian Academy, Romania On Operators at Classes of StructuresS. V. SudoplatovSobolev Institute of Mathematics.  An algebraic approach to picturesS. BozapalidesAristotle University of Thessaloniki Thoughts on IT Investment AnalysisA. AlencarThe Tércio Pacitti Institute Federal University of Rio de Janeiro The way to universal logicJ. Beziau Constructing Class InvariantsAristides KontogeorgisDepartment of Mathematics, University of Athens Poster Session A Categorical Model for the Virtual Braid GroupL. H. Kauffman1, S. Lambropoulou21University of Illinois at Chicago, 2National Technical University of Athens KnotoidsN. Gugumcu1, L. H. Kauffman2, S. Lambropoulou11National Technical University of Athens, 2University of Illinois at Chicago p-adic framed braidsJ. Juyumaya1, S. Lambropoulou21Universidad de Valparaiso, 2National Technical University of Athens The Juyumaya-Lambropoulou classical link invariants from the Yokonuma-Hecke algebrasM. Chlouveraki1, J. Juyumaya2, K. Karvounis3, S. Lambropoulou41Universite de Versailles Saint-Quentin-en-Yvelines, 2Universidad de Valparaiso, 3Universitat Zurich, 4National Technical University of Athens Markov trace on the bt-algebra and tied linksF. Aicardi1, J. Juyumaya21International School for Advanced Studies, 2Universidad de Valparaiso Framization of the Temperley-Lieb algebraD. GoundaroulisNational Technical University of Athens Braid equivalences in 3-manifolds with rational surgery descriptionI. Diamantis, S. LambropoulouNational Technical University of Athens A new basis for the Homypt skein module of the solid torusI. Diamantis, S. LambropoulouNational Technical University of Athens The Isomorphism Conjecture for Subgroups of Aut(Fn) – Equivariant and Stratified Rigidity of Quasitoric ManifoldsV. Metaftsis, E. PrassidisUniversity of the Aegean Loop spaces, Steenrod, Dyer-Lashof, Dickson algebrasN. KechagiasUniversity of Ioannina Constructing Class InvariantsA. KontogeorgisUniversity of Athens The linking number in systems with Periodic Boundary ConditionsE. Panagiotou1, S. Lambropoulou2, C. Tzoumanekas2, D. N. Theodorou21University of California, Santa Barbara, 2National Technical University of Athens Extending Topological Surgery to Natural ProcessesS. Lambropoulou, S. AntoniouNational Technical University of Athens An Algebraic Framework for the Verification of Context-aware Adaptive SystemsK. Ksystra, P. Stefaneas, P. FrangosNational Technical University of Athens Towards Formal Open Standards: the Case of RSS v2.0K. Barlas1, E. Berki2, P. Stefaneas1, G. Koletsos11National Technical University of Athens, 2University of Tampere Towards formal representation and comparison of video content using algebraic semioticsN. Triantafyllou1, K. Ksystra1, P. Stefaneas1, A. Kalampakas21National Technical University of Athens, 2American University of the Middle East Applications to medical imagingE. KaraliNational Technical University of Athens