Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
791	Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions Gilad Asharov∗ Amos Beimel† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-16 05:22:34 Secure two-party computation Function Inverse function Universal composability Cryptographic protocols Mathematics Secure multi-party computation
792	On the (Fast) Algebraic Immunity of Boolean Power Functions DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 18:34:11 Matrix exponential Rectangular function Euclidean algorithm Mathematics
793	RAPID COMMUNICATIONS PHYSICAL REVIEW E 77, 060902共R兲共2008兲 Reliability of genetic networks is evolvable Stefan Braunewell and Stefan Bornholdt Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Structure Science Attractor Boolean network Gene regulatory network Complex network Dynamical system Stable attractor Evolving networks Networks Network theory Mathematics
794	Aspic Grammar (Fast variant) Laure Gonnord, university of LilleAspic vs Fast Add to Reading List Source URL: laure.gonnord.org Language: English - Date: 2012-02-07 06:09:22 Boolean algebra Boolean data type ALGOL 68 Software engineering Computing Programming language theory
795	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics
796	Physica A – 259 www.elsevier.com/locate/physa Criticality in random threshold networks: annealed approximation and beyond Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Logic Science Spin glass Poisson distribution Degree distribution Statistics Mathematics Bioinformatics Boolean network
797	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics
798	Noname manuscript No. (will be inserted by the editor) A generalization of the class of hyper-bent Boolean functions in binomial forms Chunming Tang · Yu Lou · Yanfeng Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-11-12 09:17:28 Cryptography Analytic number theory Kloosterman sum Fourier transform Bent function Boolean function Boolean algebra Mathematical analysis Mathematics
799	[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 09:59:08 Proof theory Propositional calculus Deduction Boolean algebra Algebraic logic Natural deduction Heyting algebra Sequent calculus Negation Logic Mathematical logic Mathematics
800	3.1 SYMBOL TABLES Algorithms F O U R T H R O B E R T Add to Reading List Source URL: t2.hhg.to Language: English - Date: 2012-04-03 10:31:41 Data types Associative arrays Null SQL Binary search algorithm Boolean data type Set C Lookup table Computing Software engineering Computer programming

UPDATE