Foundations of Software Science and Computation Structures: 24th Internationa…

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…

Bridging the Gap Between AI and Reality: First International Conference, AISo…

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled …

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; S…

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…

Computer Aided Verification: 30th International Conference, CAV 2018, Held as…

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…

Discourse and digital practices : doing discourse analysis in the digital age

Edition

-

ISBN/ISSN

9781315726465

Collation

-

Series Title

-

Call Number

-

Knowledge Transfer and Innovation

Knowledge? : what knowledge? -- Explosive innovation : putting knowledge to work -- Leadership -- Culture -- Knowledge corruption -- Training and socialization -- Knowledge structure and processes -- Technologies and social media -- Putting it all together -- A "Rosetta stone" for military skills translation to business.

Start-up wolf: the Shenzhen model of high-tech entrepreneurship

Introduction: Start-up wolf of Shenzhen -- Contextualising transnational entrepreneurs in China -- Performative governance: the campaign of mass entrepreneurship and innovation -- To be entrepreneured: creating hierarchies among privileged biographies -- Entrepreneurship competitions: the state and market ideals of talents -- Striving talents: performing excellence for economic privilege -- Pre…

Internet of things - the call of the edge: everything intelligent

Edition

-

ISBN/ISSN

9781003338611

Collation

-

Series Title

-

Call Number

-