Quantified CTL: Expressiveness and Complexity

While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke structure or to its unwinding tree), we study its expressiveness (showing in particular that QCTL coincides with Monadic Second-Order Logic for both semantics) and characterise the complexity of its model-checking and satisfiability problems, depending on the number of nested propositional quantifiers (showing that the structure semantics populates the polynomial hierarchy while the tree semantics populates the exponential hierarchy)

International Symposium on Mathematics, Quantum Theory, and Cryptography

This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction models as well as quantum computing. The security of the most widely used RSA cryptosystem is based on the difficulty of factoring large integers. However, in 1994 Shor proposed a quantum polynomial time algorithm for factoring integers, and the RSA cryptosystem is no longer secure in the quantum computing model. This vulnerability has prompted research into post-quantum cryptography using alternative mathematical problems that are secure in the era of quantum computers. In this regard, the National Institute of Standards and Technology (NIST) began to standardize post-quantum cryptography in 2016. This book is suitable for postgraduate students in mathematics and computer science, as well as for experts in industry working on post-quantum cryptography

International Symposium on Mathematics, Quantum Theory, and Cryptography

This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction models as well as quantum computing. The security of the most widely used RSA cryptosystem is based on the difficulty of factoring large integers. However, in 1994 Shor proposed a quantum polynomial time algorithm for factoring integers, and the RSA cryptosystem is no longer secure in the quantum computing model. This vulnerability has prompted research into post-quantum cryptography using alternative mathematical problems that are secure in the era of quantum computers. In this regard, the National Institute of Standards and Technology (NIST) began to standardize post-quantum cryptography in 2016. This book is suitable for postgraduate students in mathematics and computer science, as well as for experts in industry working on post-quantum cryptography

Endothelin-1 drives invadopodia and interaction with mesothelial cells through ILK

Summary Cancer cells use actin-based membrane protrusions, invadopodia, to degrade stroma and invade. In serous ovarian cancer (SOC), the endothelin A receptor (ETAR) drives invadopodia by a not fully explored coordinated function of β-arrestin1 (β-arr1). Here, we report that β-arr1 links the integrin-linked kinase (ILK)/βPIX complex to activate Rac3 GTPase, acting as a central node in the adhesion-based extracellular matrix (ECM) sensing and degradation. Downstream, Rac3 phosphorylates PAK1 and cofilin and promotes invadopodium-dependent ECM proteolysis and invasion. Furthermore, ETAR/ILK/Rac3 signaling supports the communication between cancer and mesothelial cells, favoring SOC cell adhesion and transmigration. In vivo, ambrisentan, an ETAR antagonist, inhibits the adhesion and spreading of tumor cells to intraperitoneal organs, and invadopodium marker expression. As prognostic factors, high EDNRA/ILK expression correlates with poor SOC clinical outcome. These findings provide a framework for the ET-1R/β-arr1 pathway as an integrator of ILK/Rac3-dependent adhesive and proteolytic signaling to invadopodia, favoring cancer/stroma interactions and metastatic behavior

Hypergraph matchings and designs

We survey some aspects of the perfect matching problem in hypergraphs, with particular emphasis on structural characterisation of the existence problem in dense hypergraphs and the existence of designs.Comment: 19 pages, for the 2018 IC

Task Oriented Programming and Service Algorithms for Smart Robotic Cells

L'abstract è presente nell'allegato / the abstract is in the attachmen