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

-

Managing sustainable luxury and digitalization :technology trends and ethical…

Defining luxury in the watch industry: exploring the gestalt of Swiss luxury watches -- Trends and challenges in the Swiss luxury watch industry: insights from an expert survey -- Luxury watches and ethical hubris: a comparative overview of illustrative cases -- Gestalt-switch of luxury products: exploring pitfalls of inconsistent value expressions in conspicuous consumption -- "Some of my cust…

Bioimage Data Analysis Workflows ‒ Advanced Components and Methods

This open access textbook aims at providing detailed explanations on how to design and construct image analysis workflows to successfully conduct bioimage analysis. Addressing the main challenges in image data analysis, where acquisition by powerful imaging devices results in very large amounts of collected image data, the book discusses techniques relying on batch and GPU programming, as w…

Multiscale Biomechanics and Tribology of Inorganic and Organic Systems

This open access book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science and tribology. It is written in memory of Sergey Grigorievich Psakhie to feature various aspects of his multifaceted research interests, ranging from theoretical physics, computer modeling of materials and material characterization at the atomic scale, to app…

The not-two :logic and God in Lacan

In The Not-Two, Lorenzo Chiesa examines the treatment of logic and God in Lacan's later work. Chiesa draws for the most part from Lacan's Seminars of the early 1970s, as they revolve around the axiom "There is no sexual relationship." Chiesa provides both a close reading of Lacan's effort to formalize sexual difference as incompleteness and an assessment of its broader implications for philosop…