Search results for "functions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Lei Duan, Changjie Tang, Liang Tang, Tianqing Zhang, Jie Zuo	Mining Class Contrast Functions by Gene Expression Programming.	ADMA	2009	DBLP DOI BibTeX RDF	Contrast Mining, Data Mining, Gene Expression Programming
17	Ondrej Cepek, David Kronus, Petr Kucera	Recognition of interval Boolean functions.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06E30
17	Zheng Gong, Xuejia Lai, Kefei Chen	A synthetic indifferentiability analysis of some block-cipher-based hash functions.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 68W40, 68Q25
17	Damon Mosk-Aoyama, Devavrat Shah	Fast Distributed Algorithms for Computing Separable Functions.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	Pascale Charpin, Guang Gong	Hyperbent Functions, Kloosterman Sums, and Dickson Polynomials.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	James Aspnes, Muli Safra, Yitong Yin	Ranged hash functions and the price of churn.	SODA	2008	DBLP BibTeX RDF
17	Mohamed El Ghami, Ivan Ivanov, Hans Melissen, Cornelis Roos, Trond Steihaug	Primal-dual algorithm for linear optimization problems based on a new class of kernel functions.	ISCC	2008	DBLP DOI BibTeX RDF
17	Uriel Feige, Vahab S. Mirrokni, Jan Vondrák	Maximizing Non-Monotone Submodular Functions.	FOCS	2007	DBLP DOI BibTeX RDF
17	Noga Alon, Shai Gutner	Balanced Families of Perfect Hash Functions and Their Applications.	ICALP	2007	DBLP DOI BibTeX RDF	approximate counting of subgraphs, perfect hashing, color-coding
17	Khoongming Khoo, Guang Gong, Douglas R. Stinson	A New Characterization of Semi-bent and Bent Functions on Finite Fields*.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 11T71
17	Thierry P. Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy	On Almost Perfect Nonlinear Functions Over F2n.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Ibrahim El Rube, Maher Ahmed, Mohamed S. Kamel	Wavelet Approximation-Based Affine Invariant Shape Representation Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Wavelet transform, invariants, shape representation, affine transformation
17	Claude Carlet	On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities.	AAECC	2006	DBLP DOI BibTeX RDF	Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree
17	Jihong Teng, Shiqu Li, Xiaoying Huang	The kth-Order Quasi-Generalized Bent Functions over Ring Zp.	CISC	2005	DBLP DOI BibTeX RDF
17	Guoli Ding, Jianhua Chen 0003, Robert F. Lax, Peter P. Chen	Efficient Learning of Pseudo-Boolean Functions from Limited Training Data.	ISMIS	2005	DBLP DOI BibTeX RDF
17	Abbas Edalat, Dirk Pattinson	Inverse and Implicit Functions in Domain Theory.	LICS	2005	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory.	ICTCS	2005	DBLP DOI BibTeX RDF
17	Rommel G. Regis, Christine A. Shoemaker	Local function approximation in evolutionary algorithms for the optimization of costly functions.	IEEE Trans. Evol. Comput.	2004	DBLP DOI BibTeX RDF
17	Daiji Fukagawa, Tatsuya Akutsu	Performance Analysis of a Greedy Algorithm for Inferring Boolean Functions.	Discovery Science	2003	DBLP DOI BibTeX RDF
17	Moni Naor	Moderately Hard Functions: From Complexity to Spam Fighting.	FSTTCS	2003	DBLP DOI BibTeX RDF
17	Robert Rettinger, Xizhong Zheng	Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers.	COCOON	2002	DBLP DOI BibTeX RDF
17	Jing Hua 0001, Hong Qin 0001	Haptic Sculpting of Volumetric Implicit Functions.	PG	2001	DBLP DOI BibTeX RDF	Volume Sculpting, Marching Cubes Rendering, Geometric Modeling, B-splines, Haptic Interface, Implicit Function
17	Palash Sarkar 0001, Subhamoy Maitra	Construction of Nonlinear Boolean Functions with Important Cryptographic Properties.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
17	Josef Pieprzyk, Cheng Xin Qu	Rotation-Symmetric Functions and Fast Hashing.	ACISP	1998	DBLP DOI BibTeX RDF
17	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	On Disguised Double Horn Functions and Extensions.	STACS	1998	DBLP DOI BibTeX RDF
17	Claudio Uras, Alessandro Verri	Computing Size Functions from Edge Maps.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF
17	Vincent Lin	A Proposal for Calling Conventions for APL Defined Functions.	APL	1996	DBLP DOI BibTeX RDF	APL
17	Thomas W. Cusick	Boolean Functions Satisfying a Higher Order Strict Avalanche Criterion.	EUROCRYPT	1993	DBLP DOI BibTeX RDF
17	Xiaoxiong Zhong, Sanjay V. Rajopadhye	Quasi-Linear allocation functions for efficient array design.	J. VLSI Signal Process.	1992	DBLP DOI BibTeX RDF
17	Alvin J. Surkan	Automatic Synthesis of the Inverses of APL Functions.	APL	1991	DBLP DOI BibTeX RDF	APL
17	John Gill, Manuel Blum 0001	On Almost Everywhere Complex Recursive Functions.	J. ACM	1974	DBLP DOI BibTeX RDF
17	Tsutomu Sasao, Kozo Kinoshita	On the Number of Fanout-Free Functions and Unate Cascade Functions.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	disjunctive networks, enumeration of equivalence classes, enumeration of switching functions, fanout-free function, Cascade, threshold function, unate function
17	Byeong Seok Ahn	Some Quantifier Functions From Weighting Functions With Constant Value of Orness.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
17	Martin V. Butz, Martin Pelikan	Studying XCS/BOA learning in Boolean functions: structure encoding and random Boolean functions.	GECCO	2006	DBLP DOI BibTeX RDF	Bayesian networks, reinforcement learning, learning classifier systems, XCS
17	Christian Heinlein	Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++.	SAC	2005	DBLP DOI BibTeX RDF
16	Francesco Rinaldi	New results on the equivalence between zero-one programming and continuous concave programming.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Zero-one programming, Concave functions, Continuous programming, Exact penalty functions
16	Paul Tarau	An embedded declarative data transformation language.	PPDP	2009	DBLP DOI BibTeX RDF	computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
16	Khoongming Khoo, Chu-Wee Lim, Guang Gong	Highly nonlinear balanced S-boxes with improved bound on unrestricted and generalized nonlinearity.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Generalized nonlinearity, Unrestricted nonlinearity, Vectorial Boolean functions, Power functions
16	Alexei Sourin, Lei Wei 0002	Visual immersive haptic rendering on the web.	VRCAI	2008	DBLP DOI BibTeX RDF	parametric functions, X3D, haptic interaction, implicit functions, function-based shape modeling, 3D web visualization
16	Fu-Lai Chung, Shitong Wang 0001, Min Xu, Dewen Hu, Qing Lin	Possibility Theoretic Clustering and its Preliminary Application to Large Image Segmentation.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Exponential possibility distribution, Consistent functions, Epanechnikov kernel functions, Biased sampling, Large image segmentation, Clustering algorithm
16	Hirotaka Yoshida, Dai Watanabe, Katsuyuki Okeya, Jun Kitahara, Hongjun Wu 0001, Özgül Küçük, Bart Preneel	MAME: A Compression Function with Reduced Hardware Requirements.	CHES	2007	DBLP DOI BibTeX RDF	low-resource implementation, hash functions, compression functions
16	Stefan Janson, Martin Middendorf	A hierarchical particle swarm optimizer for noisy and dynamic environments.	Genet. Program. Evolvable Mach.	2006	DBLP DOI BibTeX RDF	Noisy functions, Dynamic functions, Particle Swarm Optimization
16	Roland Opfer	Multiscale kernels.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	wavelets, data compression, radial basis functions, multiresolution, refineable functions, scattered data approximation
16	Ilyas Eker	The design of robust multi-loop-cascaded hydro governors.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Nomenclature, Polynomial notation is employed and the polynomials are assumed to be functions of the complex s variable, X* denotes complex conjugate of the X., a. S: complex frequency and is the frequency., b. R+: Set of all positive real numbers, c. R: Set of all real numbers, d. R(.): Set of all real rational functions, e. R[.]: Set of finite polynomials with real coefficients, f. Rmxm(.): Set of all real (mxm) matrices, g. Rmxm[.]: Set of polynomial (mxm) matrices
16	Keith O. Geddes, Ha Q. Le, Ziming Li 0002	Differential rational normal forms and a reduction algorithm for hyperexponential func.	ISSAC	2004	DBLP DOI BibTeX RDF	hyperexponential functions, normal forms, rational functions, reduction algorithms
16	Witold Pedrycz, Giancarlo Succi	fXOR fuzzy logic networks.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Fuzzy hardware, Algebraic form of fuzzy functions, Optimization, Learning, Reed-Muller expansion, Logic networks, Fuzzy functions
16	Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warren	Dual contouring of hermite data.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	crack prevention, polyhedral simplification, quadratic error functions, contouring, implicit functions
16	Emad Aboelela, Christos Douligeris	Switching Theory Approach to Alarm Correlation in Network Management.	LCN	2000	DBLP DOI BibTeX RDF	switching theory approach, clustered alarm, fault diagnosis, expert systems, expert systems, network management, fault management, switching functions, switching functions, telecommunication computing, telecommunication network management, alarm correlation, telecommunication network reliability
16	Matt Kaufmann, J Strother Moore	An Industrial Strength Theorem Prover for a Logic Based on Common Lisp.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions
16	Saloua Ben Yahia, Chantal Robach	Diagnosis and time-out based escalation strategies for ATM networks.	EUROMICRO	1997	DBLP DOI BibTeX RDF	time-out based escalation strategies, protection techniques, distributed restoration mechanisms, network restoration methods interworking, hierarchical network model, survivable subnetworks, operation functions, maintenance functions, asynchronous transfer mode, diagnosis, network management, ATM networks, network survivability
16	Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien	Circuits and Expressions with NOn-Associative Gates.	CCC	1997	DBLP DOI BibTeX RDF	non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION
16	Alexei Sourin, Alexander A. Pasko	Function Representation for Sweeping by a Moving Solid.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	Solid modeling, implicit functions, sweeping, function representation, R-functions
16	Bogdan J. Falkowski, Susanto Rahardja	Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions.	ISMVL	1995	DBLP DOI BibTeX RDF	fixed polarity quaternary Reed-Muller expansions, polarity coefficient matrices, quaternary switching functions, recursive square matrices, multiplication operations, fast flow diagram, matrix algebra, Galois fields, Galois field, switching functions, Reed-Muller codes
16	Chuck Monahan, Forrest Brewer	Symbolic execution of data paths.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements
16	A. Pal, R. K. Gorai, V. V. S. S. Raju	Synthesis of multiplexer network using ratio parameters and mapping onto FPGAs.	VLSI Design	1995	DBLP DOI BibTeX RDF	multiplexing equipment, multiplexer network, ratio parameters, Actel ACT1, MCNC benchmark problems, field programmable gate arrays, FPGAs, VLSI, Boolean functions, Boolean functions, logic design, iterative methods, combinational circuits, combinational circuits, logic CAD, multiplexing, search space, tree network, iterative approach
16	Jianghai Hu, Jinglai Shen, Wei Zhang 0013	A generating function approach to the stability of discrete-time switched linear systems.	HSCC	2010	DBLP DOI BibTeX RDF	switched linear systems, generating functions, exponential stability
16	Eyal Kushilevitz, Enav Weinreb	On the complexity of communication complexity.	STOC	2009	DBLP DOI BibTeX RDF	protocol tree, lower bounds, communication complexity, hardness of approximation, pseudo random functions
16	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
16	Tim Güneysu, Christof Paar, Sven Schäge	Efficient Hash Collision Search Strategies on Special-Purpose Hardware.	WEWoRC	2007	DBLP DOI BibTeX RDF	Crypto Attacks, Hash functions, Special-purpose Hardware
16	Yan-Cheng Chang, Chun-Yuan Hsiao, Chi-Jen Lu	The Impossibility of Basing One-Way Permutations on Central Cryptographic Primitives.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Private information retrieval, Cryptographic primitives, Black-box reductions, Trapdoor functions, One-way permutations
16	Cheng-Shang Chang, Zhen Liu	A bandwidth sharing theory for a large number of HTTP-like connections.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	fixed-point limit, World Wide Web (WWW), TCP, TCP/IP, HTTP, utility functions, bandwidth sharing
16	Paul Camion, Miodrag J. Mihaljevic, Hideki Imai	Two Alerts for Design of Certain Stream Ciphers: Trapped LFSR and Weak Resilient Function over GF(q).	Selected Areas in Cryptography	2002	DBLP DOI BibTeX RDF	linear feedback shift registers over GF(), nonlinear combination generator, cryptanalysis, resilient functions, keystream generators
16	Daniele Micciancio	Improving Lattice Based Cryptosystems Using the Hermite Normal Form.	CaLC	2001	DBLP DOI BibTeX RDF	Lattices, public-key encryption, trapdoor functions
16	David D. Walden	A platform-centric functional hierarchy.	ECBS	1997	DBLP DOI BibTeX RDF	platform-centric functional hierarchy, system solution, conceptual layers, application abstraction, systems engineering, systems engineering, computer-based systems engineering, application functions
16	Valeriu Beiu, Sorin Draghici, Hanna E. Makaruk	On limited fan-in optimal neural networks.	SBRN	1997	DBLP DOI BibTeX RDF	fan-in values, chip size, Shannon decomposition, VLSI, Boolean functions, feedforward neural networks, neural chips, threshold circuits
16	Santanu S. Dey, Jean-Philippe P. Richard, Yanjun Li, Lisa A. Miller	On the extreme inequalities of infinite group problems.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C11, 90C57
16	Akitoshi Kawamura, Stephen A. Cook	Complexity theory for operators in analysis.	STOC	2010	DBLP DOI BibTeX RDF	higher-type complexity, second-order polynomials, computational complexity, computable analysis
16	Anqi Qiu, Dmitri Bitouk, Michael I. Miller	Smooth functional and structural maps on the neocortex via orthonormal bases of the Laplace-Beltrami operator.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
16	Ryo Nojima, Kazukuni Kobara, Hideki Imai	Efficient Shared-Key Authentication Scheme from Any Weak Pseudorandom Function.	INDOCRYPT	2006	DBLP DOI BibTeX RDF
16	Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura	Average Path Length of Binary Decision Diagrams.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	average path length, worst-case path length, APL, Binary decision diagrams, BDD
16	Noboru Takagi, Kyoichi Nakashima	Some Properties of Discrete Interval Truth Valued Logic.	ISMVL	2000	DBLP DOI BibTeX RDF
16	Herman C. Rao, Larry L. Peterson	Distributed shared library.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
16	Minqiang Li, Dan Lin 0002, Jisong Kou	An investigation on niching multiple species based on population replacement strategies for multimodal functions optimization.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Population replacement, Niching strategy, Crowding with nearest neighbors replacement, Species conserving technique, Hierarchical fair competition, Clearing procedure, Species conservation, Genetic algorithms, Multimodal functions optimization
16	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
16	Mustafa Altun, Marc D. Riedel	Lattice-based computation of Boolean functions.	DAC	2010	DBLP DOI BibTeX RDF	lattice duality, Boolean functions, lattices, switching circuits
16	Atefeh Mashatan, Douglas R. Stinson	Interactive two-channel message authentication based on Interactive-Collision Resistant hash functions.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Two-channel cryptography, Authenticated channel, Hash functions, Message authentication
16	Chao Li, Qiang Li, San Ling	On the constructions of constant-composition codes from perfect nonlinear functions.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	constant-composition codes, perfect nonlinear functions, quadratic forms
16	Rafael Pacheco Kovaleski, Manuel M. Oliveira	High-quality brightness enhancement functions for real-time reverse tone mapping.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Brightness enhancement functions, Reverse tone mapping, Bilateral filtering
16	José García-Nieto, Enrique Alba 0001, Javier Apolloni	Particle swarm hybridized with differential evolution: black box optimization benchmarking for noisy functions.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	noisy functions, benchmarking, differential evolution, black-box optimization, hybrid algorithms, particle swarm
16	José García-Nieto, Enrique Alba 0001, Javier Apolloni	Noiseless functions black-box optimization: evaluation of a hybrid particle swarm with differential operators.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	noiseless functions, benchmarking, differential evolution, black-box optimization, hybrid algorithms, particle swarm
16	J. David Schaffer, Heike Sichtig, Craig B. Laramee	A series of failed and partially successful fitness functions for evolving spiking neural networks.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary computation, fitness functions, spiking neural networks
16	Praveen Gauravaram, Lars R. Knudsen	On Randomizing Hash Functions to Strengthen the Security of Digital Signatures.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	Davies-Meyer, RMX, Digital signatures, Hash functions
16	Jie Chen 0022, Vidhyacharan Bhaskar	Error Probability Distribution and Density Functions for Rayleigh and Rician Fading Channels with Diversity.	Int. J. Wirel. Inf. Networks	2008	DBLP DOI BibTeX RDF	Error probability distribution and density functions, Rician fading, Diversity, Rayleigh fading
16	Paul Camion, Jacques Patarin	t-resilient functions and the partial exposure problem.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Exposure-Resilient Function, Wire-tapping, Correlation-immune functions, Nonlinear codes, Binary channel, Symmetric encryption scheme, (n, k, t)-scheme, Linear codes, Orthogonal arrays, Resilient function, Secret key
16	Walter Hussak	Decidable Cases of First-order Temporal Logic with Functions.	Stud Logica	2008	DBLP DOI BibTeX RDF	monodic fragment, predicate logic with functions, decidability, first-order temporal logic
16	Chrysanthos E. Gounaris, Christodoulos A. Floudas	Tight convex underestimators for C2-continuous problems: I. univariate functions.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Univariate functions, Global optimization, Convex underestimation, ?BB, Convex envelopes
16	Vladimir Kolesnikov, Thomas Schneider 0003	A Practical Universal Circuit Construction and Secure Evaluation of Private Functions.	Financial Cryptography	2008	DBLP DOI BibTeX RDF	SFE of private functions, universal circuit, privacy
16	Naohiro Ishii, Takahiro Yamada, Yongguang Bao	Improved Accuracy by Relearning and Combining Distance Functions.	KES (2)	2008	DBLP DOI BibTeX RDF	distance functions for classification, relearning, ensemble computation, text classification
16	Abusaleh M. Jabir, Dhiraj K. Pradhan, T. L. Rajaprabhu, Ashutosh Kumar Singh 0001	A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Finite or Galois Fields, Characteristic and Encoded Characteristic Functions, Simulation, Evaluation, Verification, Decision Diagrams
16	Viknashvaran Narayanasamy, Kok Wai Wong	Mapping resources to state functions in massively multiplayer online games.	DIMEA	2007	DBLP DOI BibTeX RDF	state transition functions, games, resources, MMOG, states
16	Tsung-Lin Lee, Chun-Yao Wang	Recognition of Fanout-free Functions.	ASP-DAC	2007	DBLP DOI BibTeX RDF	state of the art method, fanout free functions, equivalent function, Boolean function, factoring, logic minimization
16	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Linear Recursive Functions.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF	linear calculi, computable functions, iteration, Recursion theory
16	Sébastien Destercke, Didier Dubois, Eric Chojnacki	Cautious Conjunctive Merging of Belief Functions.	ECSQARU	2007	DBLP DOI BibTeX RDF	least commitment, dependence, belief functions
16	Yi Deng 0002, Dongdai Lin	Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability.	EUROCRYPT	2007	DBLP DOI BibTeX RDF	instance-dependent verifiable random functions, simultaneous resettability, zero knowledge
16	Valentin Gherman, Hans-Joachim Wunderlich, R. D. Mascarenhas, Jürgen Schlöffel, Michael Garbers	Synthesis of irregular combinational functions with large don't care sets.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	logic synthesis, incompletely specified functions
16	Dong Hun Kim, Hua Wang, Seiichi Shin	Decentralized Control of Autonomous Swarm Systems Using Artificial Potential Functions: Analytical Design Guidelines.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	swarm systems, potential functions, group behavior
16	Ofri Sadowsky, Jonathan D. Cohen 0001, Russell H. Taylor	Projected Tetrahedra Revisited: A Barycentric Formulation Applied to Digital Radiograph Reconstruction Using Higher-Order Attenuation Functions.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	DRR, higher-order volumetric functions, Volume rendering, unstructured grids, projected tetrahedra
16	Christian Rechberger, Vincent Rijmen, Nicolas Sklavos 0001	The NIST Cryptographic Workshop on Hash Functions.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF	security, cryptanalysis, hash functions, SHA-1
16	Walter Hinterberger, Otmar Scherzer	Variational Methods on the Space of Functions of Bounded Hessian for Convexification and Denoising.	Computing	2006	DBLP DOI BibTeX RDF	Functions of bounded Hessian, denoising, calculus of variations, convexification, convex envelope
16	Dongdong Fu, Yun Q. Shi 0001, Wei Su 0001	Detection of Image Splicing Based on Hilbert-Huang Transform and Moments of Characteristic Functions with Wavelet Decomposition.	IWDW	2006	DBLP DOI BibTeX RDF	image splicing, Hilbert-Huang transform (HHT), support vector machine (SVM), characteristic functions