Relevant bibliographies by topics / Interactive proofs / Books
To see the other types of publications on this topic, follow the link: Interactive proofs.

Books on the topic 'Interactive proofs'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 38 books for your research on the topic 'Interactive proofs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Baird, Henry S., and Daniel P. Lopresti, eds. Human Interactive Proofs. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b136509.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

S, Baird Henry, and Lopresti Daniel Philip, eds. Human interactive proofs: Second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings. Berlin: Springer, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ritchie, Brian. The interactive proof editor: An experiment in interactive theorem. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Paulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge: Cambridge University Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Paulson, Lawrence C. Logic and computation: Interactive proof with Cambridge LCF. Cambridge: Cambridge University Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lund, Carsten. The power of interaction. Cambridge, Mass: MIT Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kievit, Johan de. Handelen en ruimte: Interactie tussen overheidsmaatregelen en maatschappelijk proces. Amsterdam: Thesis Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Plotkin, G., Colin P. Stirling, and Mads Tofte. Proof, language, and interaction: Essays in honour of Robin Milner. Cambridge, Mass: MIT Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Drug-DNA interaction protocols. 2nd ed. New York, N.Y: Humana Press, Springer Science+Business Media, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gasperini, Chiara, and Tommaso Rafanelli. SIMdisaster. Florence: Firenze University Press, 2007. http://dx.doi.org/10.36253/978-88-8453-616-7.

Full text
Abstract:
SIMdisaster is a simulation software conceived to respond to the training needs of health operators managing aid in maxi-emergencies, since the reproduction of such events for didactic purposes proves to be both complex and costly. SimDisaster reconstructs the scenario of a catastrophe using photos and films manipulated using computer graphics and integrated with three-dimensional objects generated by the computer. An interactive interface makes it possible to assess the scenario and hence take decisions about the logistics of aid operations, the choice of auto-protection techniques, triage intervention and maintenance of the principal vital functions. The scenario then evolves in real time depending on the choices made by the user.
APA, Harvard, Vancouver, ISO, and other styles
11

Henry, S. Baird Daniel P. Lopresti. Human Interactive Proofs. Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

(Editor), Henry S. Baird, and Daniel P. Lopresti (Editor), eds. Human Interactive Proofs: Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Plotkin, Gordon, Colin P. Stirling, and Mads Tofte, eds. Proof, Language, and Interaction. The MIT Press, 2000. http://dx.doi.org/10.7551/mitpress/5641.001.0001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Stirling, Colin P., Gordon Plotkin, and Mads Tofte. Proof, Language, and Interaction: Essays in Honour of Robin Milner. MIT Press, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

1946-, Plotkin G., Stirling Colin P, Tofte Mads, and Milner R. 1934-, eds. Proof, language, and interaction: Essays in honour of Robin Milner. Cambridge, Mass: MIT Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

(Editor), Gordon Plotkin, Colin Stirling (Editor), and Mads Tofte (Editor), eds. Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing). The MIT Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

International Commission on Radiation Units and Measurements., ed. Photon, electron, proton, and neutron interaction data for body tissues. Bethesda, Md., U.S.A: International Commission on Radiation Units and Measurements, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Blade-mounted flap control for BVI noise reduction proof-of-concept test. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

Papetti, Stefano, and Charalampos Saitis. Musical Haptics. Springer, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Papetti, Stefano, and Charalampos Saitis. Musical Haptics. Saint Philip Street Press, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Papetti, Stefano, and Charalampos Saitis. Musical Haptics. Springer, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Papetti, Stefano, and Charalampos Saitis. Musical Haptics. Saint Philip Street Press, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

Braun Binder, Nadja, Lars P. Feld, Peter M. Huber, Klaus Poier, and Fabian Wittreck, eds. Jahrbuch für direkte Demokratie 2019. Nomos Verlagsgesellschaft mbH & Co. KG, 2020. http://dx.doi.org/10.5771/9783748921226.

Full text
Abstract:
Volume 9 of the Yearbook for Direct Democracy contains contributions on the digital transformation of direct democracy and the electronic development of participatory democracy; on the question of how direct democracy can be made resistant to populism; and on the interaction between direct and representative democracy in Italy. In two articles, the development and practice of direct democracy in Liechtenstein and Hungary are analyzed. In addition, recent developments in Switzerland, Austria, and Germany as well as the jurisprudence on direct democracy are reported in an expert manner. Individual contributions also take into account developments in connection with the corona pandemic until mid-2020. With contributions by Carsten Berger, Prof. Dr. Nadja Braun Binder, Dr. Clau Dermont, Prof. Dr. Cristina Fraenkel-Haeberle, Prof. Dr. Fabrizio Gilardi, Maël Kubli Eliane Kunz, Dr. Wilfried Marxer, Prof. Dr. Zóltan Tibor Pállinger, Prof. Dr. Arne Pautsch, Prof. Dr. Klaus Poier, Frank Rehmet, Prof. Dr. Margrit Seckelmann, PD Dr. Goran Seferovic, Prof. Dr. Nenad Stojanović, Prof. Dr. Axel Tschentscher, PD Dr. Andrea Töndury, Martin Widmer und Prof. Dr. Fabian Wittreck.
APA, Harvard, Vancouver, ISO, and other styles
25

Guadagno, Rosanna E. Compliance. Edited by Stephen G. Harkins, Kipling D. Williams, and Jerry Burger. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199859870.013.4.

Full text
Abstract:
This chapter reviews the literature on compliance, a type of social influence that occurs when a person changes their behavior in response to a direct request. Specifically, I review research on compliance organized by the six classic principles of social influence (Cialdini, 2009)—reciprocity, commitment and consistency, authority, social validation or social proof, and liking and similarity, and examine how they are used to change peoples’ behaviors. Furthermore, this chapter reviews the mechanisms that underlie these principles, particularly mindlessness. Finally, this chapter concludes by examining whether this framework for understanding compliance applies to the new realm of social influence—social media—and calls for more research on the effectiveness of the principles of influence when the mode of interpersonal interaction is software based rather than in person.
APA, Harvard, Vancouver, ISO, and other styles
26

O'Shea, Janet. Chess with Cardio. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190871536.003.0004.

Full text
Abstract:
This chapter extends the consideration of martial arts as play by investigating sparring as a game—a structured, rule-bound interaction that balances playing and winning—and competition fighting as a sport: a spectacle that hinges on an outcome. The importance of rules to sport fighting is considered, as rules make the game and ostensibly assure fairness, although the latter proves elusive in light of the social and economic variables that render access to training uneven. This chapter treats sparring as an exploration of disagreement, contrasting it with interactions in the public sphere where a lack of physical presence enables incivility.
APA, Harvard, Vancouver, ISO, and other styles
27

Co-investigator participation in the Mars-94 mission studies of the Mars-solar wind interaction: Topside sounder and magnetometer : final technical report. [Washington, DC: National Aeronautics and Space Administration, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

United States. National Aeronautics and Space Administration., ed. Co-investigator participation in the Mars-94 mission studies of the Mars-solar wind interaction: Topside sounder and magnetometer : final technical report. [Washington, DC: National Aeronautics and Space Administration, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

United States. National Aeronautics and Space Administration., ed. Co-investigator participation in the Mars-94 mission studies of the Mars-solar wind interaction: Topside sounder and magnetometer : final technical report. [Washington, DC: National Aeronautics and Space Administration, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Co-investigator participation in the Mars-94 mission studies of the Mars-solar wind interaction: Topside sounder and magnetometer : final technical report. [Washington, DC: National Aeronautics and Space Administration, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Newman, Abraham L., and Elliot Posner. Conclusion. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198818380.003.0007.

Full text
Abstract:
The Conclusion elaborates on the book’s substantive and theoretical implications. In terms of global financial regulation, it draws lessons about international soft law in a climate of rising anti-expertise disdain and offers recommendations for improving representation in the transnational arenas where financial soft law is made. Moving beyond the politics of finance, the chapter probes the limits of its argument, considering other empirical domains such as labor and environmental regulations. The chapter ends by exploring the more general theoretical findings of the book, calling on scholars of international relations, comparative politics, and international law to rethink the interaction of institutions, actors, and power.
APA, Harvard, Vancouver, ISO, and other styles
32

Ryngaert, Cedric. Sources of International Law in Domestic Law. Edited by Samantha Besson and Jean d’Aspremont. Oxford University Press, 2018. http://dx.doi.org/10.1093/law/9780198745365.003.0053.

Full text
Abstract:
This chapter maintains that as both municipal and international law use legal norms to regulate social relationships, a space for inter-systemic interaction between both legal spheres emerges. Municipal legal practice can have an ‘upstream’ impact on the formation of the content of the sources of international law, where these require proof of State practice and/or opinio juris for valid norms to be generated. Particularly, domestic court decisions can have a jurisgenerative effect on customary international law, where they become part of a transnational dialogue between domestic and international courts on questions of international law determination. Admittedly, this dialogical process is hamstrung by the particularities of domestic law and the hard-to-eradicate selection bias of international law-appliers. However, a more objective comparative international law process can be grounded, geared to effective problem-solving guided by the persuasiveness and quality of reasoning of municipal court decisions relevant to international law.
APA, Harvard, Vancouver, ISO, and other styles
33

Eberhardt, Kai-Ole, and Ingo Bultmann, eds. Das Spannungsfeld von Religion und Politik. Nomos Verlagsgesellschaft mbH & Co. KG, 2019. http://dx.doi.org/10.5771/9783845296982.

Full text
Abstract:
In this volume, theories and concepts on religion and politics from current debates are analysed and discussed in an interdisciplinary manner. The articles it contains represent current research positions from theology, sociology and religious studies, and can be seen as a joint effort that contributes to one of today’s dominant cross-disciplinary research questions. The first section discusses models that interpret the relationship between religion and politics and help to understand political phenomena from theological, religious–philosophical and sociological perspectives. The volume focuses on several studies about the social dimension of the new relationship between politics and religion. These articles discuss the possibilities of interacting in and with society against a backdrop of political and religious tensions, examining the role of institutions and law especially. In a concluding section, the authors take a look at exemplary cultural contexts. Articles about America, Europe and the Middle East open up a global perspective necessary to venture into an area of conflict far beyond the boundaries of national societies. Among the contributions is a so far unpublished lecture by the theologian Hans Joachim Iwand. With contributions by Prof. Dr. Peter Antes, Prof. Dr. Peter Browning, Dr. Ingo Bultmann, Prof. Dr. Matthias Bös, Dr. Kai-Ole Eberhardt, Dr. Margit Ernst-Habib, Dr. Steffen Führding, Dr. Jens Greve, Prof. Dr. Rebekka A. Klein, Prof. Dr. Karsten Lehmann, Prof. Dr. Dr. Frieder Ludwig, Lukas Nestvogel, Dr. Catharina Peeck-Ho, Dr. Matt Sheedy
APA, Harvard, Vancouver, ISO, and other styles
34

Wigmans, Richard. The Physics of Shower Development. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198786351.003.0002.

Full text
Abstract:
The processes that play a role in the absorption of different types of particles in dense matter are described, with emphasis on the aspects that are important for calorimetry. A distinction is made between particles that develop electromagnetic showers (electrons, photons) and particles that are subject to the strong nuclear interaction, such as pions and protons. A separate section is dedicated to muons, which are typically not fully absorbed in practical calorimeters. The energy dependence of the various processes, and the consequences for the size requirements of detectors, are discussed in detail. The practical importance and limitations of Monte Carlo simulations of the shower development process are reviewed. The chapter ends with a summary of facts deriving from the physics of shower development that are important for calorimetry.
APA, Harvard, Vancouver, ISO, and other styles
35

Honig, Jan Willem. Uncomfortable Visions. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190851163.003.0003.

Full text
Abstract:
This chapter interrogates strategy and warfare, in particular the themes of ‘limited war’ and influence. It argues that war is what we and our militaries make of it, paraphrasing Alexander Wendt’s constructivist version of anarchy in international society. The notion of ‘comfortable’ and ‘uncomfortable’ wars is explored. ‘Comfortable’ refers to the way societies and militaries accept the idea of war that is very violent and for national survival, or some other ‘necessary’ reason. In contrast, the idea of limited war with limited means as a way of influencing enemies and opponents proves to be ‘uncomfortable’ because it does not fit the prevailing intellectual and cultural template – to say nothing of the practical issues that many limited wars have faced, from Vietnam to the twenty-first century. That reinforces the constructed character of warfare and the salience of interaction and interrelationships, bounded by the realities of physical and social force
APA, Harvard, Vancouver, ISO, and other styles
36

Klenk, Johannes, and Franziska Waschek, eds. Chinas Rolle in einer neuen Weltordnung. Tectum – ein Verlag in der Nomos Verlagsgesellschaft, 2021. http://dx.doi.org/10.5771/9783828876361.

Full text
Abstract:
The People’s Republic of China is one of the biggest economies in the world and home to about a sixth of the world population. This large country has rapidly developed into one of the leading high-tech nations while large parts of it have remained rural. Many of the global challenges are especially visible on the Chinese landscape. Despite this considerable importance, China has been little represented as a research subject in economic and social sciences; evidence-based research on many questions regarding interaction with China is rare. Since 2017, the University of Hohenheim has been working on increasing and fostering China competence with funding by the Federal Ministry of Education and Research. This book represents selected results. With contributions by Dr. Sigrun Abels, Dr. Tania Becker, Dr. Philipp Böing, Dr. Martin Braml, Dennis Hammerschmidt, Prof. Dr. Benjamin Jung, Dr. Johannes Klenk, Leonid Kovachich, Dr. Oliver Krebs, Cosima Meyer, Prof. Dr. Ylva Monschein, Dr. Ágota Révész, Franziska Waschek, David Weyrauch and Dr. Thomas Winzen.
APA, Harvard, Vancouver, ISO, and other styles
37

Lleó, Conxita. Bilingualism and Child Phonology. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199935345.013.53.

Full text
Abstract:
The present article poses some fundamental questions related to bilingualism and to the acquisition of two phonological components, by very young children. It discusses different types of bilingualism and their outcomes. After a brief consideration of alleged pros and cons of bilingualism brought up in the past decades, two perspectives of bilingualism are sketched—psycholinguistic and sociolinguistic—and certain aspects of bilingual child phonology are presented from each of these points of view. The essential issue is whether different outcomes of bilingual child phonology are predictable, and to find the crucial criteria to support the predictions. Finally, the discussion addresses some basic questions about bilingual acquisition, and ends with a summary of various types of cross-linguistic interaction.
APA, Harvard, Vancouver, ISO, and other styles
38

White, Robert E. Understanding Vineyard Soils. Oxford University Press, 2015. http://dx.doi.org/10.1093/oso/9780199342068.001.0001.

Full text
Abstract:
The first edition of Understanding Vineyard Soils has been praised for its comprehensive coverage of soil topics relevant to viticulture. However, the industry is dynamic--new developments are occurring, especially with respect to measuring soil variability, managing soil water, possible effects of climate change, rootstock breeding and selection, monitoring sustainability, and improving grape quality and the "typicity" of wines. All this is embodied in an increased focus on the terroir or "sense of place" of vineyard sites, with greater emphasis being placed on wine quality relative to quantity in an increasingly competitive world market. The promotion of organic and biodynamic practices has raised a general awareness of "soil health", which is often associated with a soil's biology, but which to be properly assessed must be focused on a soil's physical, chemical, and biological properties. This edition of White's influential book presents the latest updates on these and other developments in soil management in vineyards. With a minimum of scientific jargon, Understanding Vineyard Soils explains the interaction between soils on a variety of parent materials around the world and grapevine growth and wine typicity. The essential chemical and physical processes involving nutrients, water, oxygen and carbon dioxide, moderated by the activities of soil organisms, are discussed. Methods are proposed for alleviating adverse conditions such as soil acidity, sodicity, compaction, poor drainage, and salinity. The pros and cons of organic viticulture are debated, as are the possible effects of climate change. The author explains how sustainable wine production requires winegrowers to take care of the soil and minimize their impact on the environment. This book is a practical guide for winegrowers and the lay reader who is seeking general information about soils, but who may also wish to pursue in more depth the influence of different soil types on vine performance and wine character.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Interactive proofs' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography