"From Operational Models to Information Theory; Side Channels in pGCL with Isabelle"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Topics in the theory of discrete information channels	Richard A. Silverman	1960	Courant Institute of Mathematical Sciences, New York University
Quantitative Operational Risk Models	Catalina Bolance; Montserrat Guillén; Jim Gustafsson; Jens Perch Nielsen	2012	Routledge
Operational risk capital models /	Cavestany, Rafael.; Boultwood, Brenda.; Escudero, Laureano F.	c2015.	Risk Books,
Mathematical Models of Distribution Channels	Charles A. Ingene; Mark E. Parry	2004	Springer US
Information Theory: Structural Models for Qualitative Data	Klaus Krippendorff	September 1986	SAGE Publications, Inc
Operational Urban Models: An Introduction	David Foot	1981	Routledge
Mathematical models for operational availability	Man-Won Jee	1980	Naval Postgraduate School
Continuum Solvation Models in Chemical Physics - From Theory to Applications	Benedetta Mennucci; Roberto Cammi	2008	John Wiley & Sons
Information channels for Colombian exporters	Michael H. Bernhart	1973	M.I.T.]
Information Theory and Artificial Intelligence to Manage Uncertainty in Hydrodynamic and Hydrological Models	Abebe Andualem Jemberie	2004	Routledge
Critical Semiotics: Theory, from Information to Affect	Gary Genosko	22/09/2016 12:00:00 am	Bloomsbury Academic
Quantum information processing: from theory to experiment	Dimitris G. Angelakis, Matthias Christandl, Artur Ekert, Alastair Kay, Sergei Kulik	2007	IOS Press
Introduction to the Theory of Operational Research	van der Veen; B	1967	Springer Berlin Heidelberg
Introduction to operational amplifier theory and applications	John V. Wait	1975	McGraw-Hill
Set Theory—An Operational Approach: An Operational Approach	Luis E. Sanchis	1996	Routledge
Ion Channels: From Structure to Function	James Kew; Ceri Davies	2009	Oxford University Press
Na Channels from Phyla to Function	Robert J. French and Sergei Yu. Noskov (Eds.)	2016	Academic Press
Ion channels: from structure to function	Ceri Davies	2010	Oxford University Press
Advances in DEA Theory and Applications - With Extensions to Forecasting Models	Kaoru Tone	2017	John Wiley & Sons
Concrete Semantics: With Isabelle/HOL	Tobias Nipkow; Gerwin Klein	2014	Springer International Publishing
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
From Operational Models to Information Theory; Side Channels in pGCL with Isabelle	David Cock	Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings	Gerwin Klein; Ruben Gamboa	2014	Springer International Publishing
Channels with Side Information at the Transmitter		Claude E. Shannon: Collected Papers	Claude E. Shannon; N. J. A. Sloane; Aaron D. Wyner	1993	Wiley-IEEE Press
Side Channels		Practical Simulations for Machine Learning: Using Synthetic Data for AI	Paris Buttfield-Addison, Mars Buttfield-Addison, Tim Nugent, Jon Manning	2022	O'Reilly Media
Side Channels		Security Engineering: A Guide to Building Dependable Distributed Systems	Ross Anderson	2020	Wiley Data and Cybersecurity
Sending Information from Client-Side to Server-Side		The Kml Handbook: Geographic Visualization for the Web	Wernecke, Josie	2008;2009	Addison-Wesley Professional
Channels in Quantum Information Theory, M Keyl		Encyclopedia of mathematical physics	Jean-Pierre Francoise, Gregory L. Naber, Tsou Sheung Tsun	2006	Academic Press
Channels in Quantum Information Theory, M Keyl		Encyclopedia of mathematical physics	Jean-Pierre Francoise, Gregory L. Naber, Tsou Sheung Tsun	2006	Elsevier
FROM NEURAL SYSTEMS TO INFORMATION- PROCESSING CHANNELS	George A. Gescheider; John H. Wright; Ronald T. Verrillo	Information-Processing Channels in the Tactile Sensory System: A Psychophysical and Physiological Analysis	George A. Gescheider; John H. Wright; Ronald T. Verrillo	2008	Routledge
Clustering with Side Information		Encyclopedia of Machine Learning and Data Mining	Claude Sammut; Geoffrey I. Webb	2nd ed. 2017	Springer US
Boosting with Side Information	Jixu Chen; Xiaoming Liu; Siwei Lyu	Computer Vision -- ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I	Kyoung Mu Lee; Yasuyuki Matsushita; James M. Rehg; Zhanyi Hu	2013	Springer Berlin Heidelberg
Clustering with Side Information		Encyclopedia of Machine Learning	Claude Sammut; Geoffrey I. Webb	2010	Springer US
Watermarking with Side Information	Ingemar J. Cox; Matthew L. Miller; Jeffrey A. Bloom	Digital Watermarking	Ingemar J. Cox; Matthew L. Miller and Jeffrey A. Bloom	2002	Morgan Kaufmann
Watermarking with Side Information	Ingemar J. Cox; Matthew L. Miller; Jeffrey A. Bloom; Jessica Fridrich; Ton Kalker	Digital Watermarking and Steganography (Second Edition)	Ingemar J. Cox; Matthew L. Miller; Jeffrey A. Bloom; Jessica Fridrich and Ton Kalker	2008	Morgan Kaufmann
Operational Models	Crump Justin	Corporate Security Intelligence and Strategic Decision Making	Justin Crump	2015	Routledge
Operational Models		CWTS Certified Wireless Technology Specialist Study Guide (Exam PW0-070)	Tom Carpenter	2009	Mcgraw-hill
Operational models		Introduction to Geophysical Fluid Dynamics: Physical and Numerical Aspects	Cushman-Roisin B., Beckers J.-M.	2006
1313 Side Channels		Computer & Internet Security: A Hands-on Approach	Wenliang Du	2019	Wenliang Du
1313 Side Channels		Computer & Internet Security: A Hands-on Approach	Wenliang Du	2019	Wenliang Du
Information Channels	Gareth A. Jones; J. Mary Jones	Information and Coding Theory	Gareth A. Jones; J.Mary Jones	2000	Springer London
Information Channels	Predrag Ivaniš; Dušan Drajić	Information Theory and Coding - Solved Problems	Predrag Ivaniš; Dušan Drajić	1st ed. 2017	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"From Operational Models to Information Theory; Side Channels in pGCL with Isabelle" - similar Books and Chapters