Search results for "theorems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jorge L. Arocha, Imre Bárány, Javier Bracho, Ruy Fabila, Luis Montejano	Very Colorful Theorems.	Discrete & Computational Geometry	2009	DBLP DOI BibTeX RDF	Colorful versions, Theorems of Helly, Carathéodory, Kirchberger, Tverberg and Hadwiger, Convex sets
3	Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause	RESTful Transactions Supported by the Isolation Theorems.	ICWE	2009	DBLP DOI BibTeX RDF	Isolation Theorems, Transactions, Locking, REST
3	Benjamin Rossman	Homomorphism preservation theorems.	J. ACM	2008	DBLP DOI BibTeX RDF	preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory
3	Nir Halman	Discrete and Lexicographic Helly-Type Theorems.	Discrete & Computational Geometry	2008	DBLP DOI BibTeX RDF	Helly theorems, Discrete geometry
3	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
3	Troy Lee, Adi Shraibman, Robert Spalek	A Direct Product Theorem for Discrepancy.	IEEE Conference on Computational Complexity	2008	DBLP DOI BibTeX RDF	direct sum theorems, factorization norms, communication complexity, discrepancy, direct product theorems
3	Hua-Huai Chern, Michael Fuchs, Hsien-Kuei Hwang	Phase changes in random point quadtrees.	ACM Transactions on Algorithms	2007	DBLP DOI BibTeX RDF	Asymptotic transfer, analysis in distribution of algorithms, grid trees, local limit theorems, page usage, total path length, quadtrees, differential equations, phase transitions, depth, central limit theorems, Mellin transforms
3	Bing Deng, Ran Tao, Yue Wang 0001	Convolution theorems for the linear canonical transform and their applications.	Science in China Series F: Information Sciences	2006	DBLP DOI BibTeX RDF	linear canonical transform, convolution theorems, multiplicative filter, sampling
3	Andris Ambainis, Robert Spalek, Ronald de Wolf	A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs.	STOC	2006	DBLP DOI BibTeX RDF	lower bounds, quantum computing, time-space tradeoffs, direct product theorems
3	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
3	Tsuyoshi Murata	Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.	Diagrams	2004	DBLP DOI BibTeX RDF	Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning
3	Jose C. Ciria, Eladio Domínguez, Angel R. Francés	Separation Theorems for Simplicity 26-Surfaces.	DGCI	2002	DBLP DOI BibTeX RDF	simplicity 26-surface, digital separation theorems, Digital surface
3	Vinod Sharma	Some limit theorems for regenerative queues.	Queueing Syst.	1998	DBLP DOI BibTeX RDF	regenerative queues, functional limit theorems, continuity, rates of convergence
3	Vo V. Anh, Ji Yu Shi, Hung-Tat Tsui	Scaling Theorems for Zero Crossings of Bandlimited Signals.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Scaling theorems, signal descriptions, bandlimited signals, Whittaker-Shannon sampling theorem, scale space, multiscale analysis, zero crossings, quadratic forms, Gaussian kernels
3	Vinod Sharma	Open queueing networks in discrete time-some limit theorems.	Queueing Syst.	1993	DBLP DOI BibTeX RDF	nonproduct form networks, stochastic continuity, functional limit theorems, stability, Queueing networks
3	Lide Wu, Zhaohui Xie	Scaling Theorems for Zero-Crossings.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	scaling theorems, smoothness conditions, pattern recognition, pattern recognition, polynomials, zero-crossings, polynomial functions
2	Jan Christiansen, Daniel Seidel, Janis Voigtländer	Free theorems for functional logic programs.	PLPV	2010	DBLP DOI BibTeX RDF	haskell, relational parametricity, curry
2	Andris Ambainis, Robert Spalek, Ronald de Wolf	A New Quantum Lower Bound Method, with Applications to Direct Product Theorems and Time-Space Tradeoffs.	Algorithmica	2009	DBLP DOI BibTeX RDF	Quantum lower bounds, Boolean functions, Quantum computing, Quantum algorithms, Time-space tradeoffs
2	G. Casinovi	Sampling and Ergodic Theorems for Weakly Almost Periodic Signals.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Thomas Blumensath, Michael E. Davies	Sampling Theorems for Signals From the Union of Finite-Dimensional Linear Subspaces.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Franco Giannessi	Theorems of the Alternative and Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Theorem of the alternative, Transposition theorem, Lagrange function, Dual problem, Lagrange multipliers, Image space, Separation theorems, Dual space
2	John Case, Samuel E. Moelius	Independence Results for n-Ary Recursion Theorems.	FCT	2009	DBLP DOI BibTeX RDF
2	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
2	Josef Slapal	Jordan Curve Theorems with Respect to Certain Pretopologies on \mathbb Z2\mathbb Z^2.	DGCI	2009	DBLP DOI BibTeX RDF
2	Janis Voigtländer	Bidirectionalization for free! (Pearl).	POPL	2009	DBLP DOI BibTeX RDF	bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem
2	John Case, Samuel E. Moelius	Program Self-reference in Constructive Scott Subdomains.	CiE	2009	DBLP DOI BibTeX RDF	Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
2	Christian Glaßer, Stephen D. Travers	Machines that Can Output Empty Words.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Leaf languages, Gap theorems, Computational complexity, Polynomial-time hierarchy
2	Vyacheslav M. Abramov	Continuity theorems for the M / M /1/ n queueing system.	Queueing Syst.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60B05, 62E17, 60E15
2	Lai-Jiu Lin, Wei-Shih Du	Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems.	J. Global Optimization	2008	DBLP DOI BibTeX RDF	?-function, Quasi-distance, Ekeland’s variational principle, Flower petal theorem, Maximal element theorem, Minimax theorem, Minimization theorem, Semi-infinite problem, Generalized Schauder’s fixed point theorem, Equilibrium problem
2	Lai-Jiu Lin, Song Yu Wang, Chih-Sheng Chuang	Existence theorems of systems of variational inclusion problems with applications.	J. Global Optimization	2008	DBLP DOI BibTeX RDF	Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point
2	Jürgen Herzog, Satoshi Murai, Xinxian Zheng, Takayuki Hibi, Ngô Viêt Trung	Kruskal-Katona type theorems for clique complexes arising from chordal and strongly chordal graphs.	Combinatorica	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05D05, 05C69
2	Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Sylvain Petitjean	Helly-Type Theorems for Line Transversals to Disjoint Unit Balls.	Discrete & Computational Geometry	2008	DBLP DOI BibTeX RDF	Geometric transversal theory, Helly-type theorem, Hadwiger-type theorem, Spheres, Line transversal, Balls
2	Gianni Bosi, Gerhard Herden	Continuous Utility Representation Theorems in Arbitrary Concrete Categories.	Applied Categorical Structures	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18AXX, 06A05, 54F05, 91B16
2	Y. Hayashi, Hirosuke Yamamoto	Coding Theorems for the Shannon Cipher System With a Guessing Wiretapper and Correlated Source Outputs.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Hiroki Koga	Coding Theorems on the Threshold Scheme for a General Source.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Martin Grohe	Algorithmic Meta Theorems.	WG	2008	DBLP DOI BibTeX RDF
2	Troy Lee, Rajat Mittal	Product Theorems Via Semidefinite Programming.	ICALP	2008	DBLP DOI BibTeX RDF
2	Julien Demouth, Olivier Devillers, Marc Glisse, Xavier Goaoc	Helly-type theorems for approximate covering.	Symposium on Computational Geometry	2008	DBLP DOI BibTeX RDF	approximate covering, helly-type theorems, lp-type problems, 3d visibility
2	Stephan Kreutzer	Algorithmic Meta-theorems.	IWPEC	2008	DBLP DOI BibTeX RDF
2	Dominique Michelucci	Isometry group, words and proofs of geometric theorems.	SAC	2008	DBLP DOI BibTeX RDF	Knuth-Bendix, orthogonal symmetries group, rewriting methods, groups, geometry, rewriting, words, isometry, involution
2	Wu-Hua Chen, Wei Xing Zheng	Razumikhin-type theorems for ISS of nonlinear delayed impulsive systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van Leeuwen	Non-uniform small-gain theorems for systems with unstable invariant sets.	CDC	2008	DBLP DOI BibTeX RDF
2	Ralf Küsters, Max Tuengerthal	Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.	CSF	2008	DBLP DOI BibTeX RDF	simulation-based security, joint state, secure composition, cryptographic protocols
2	Gabriel Paillard, Vlady Ravelomanana	Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
2	Gilles Brassard, André Allan Méthot	Strict Hierarchy of Bell Theorems.	ICQNM	2008	DBLP DOI BibTeX RDF	Bell theorem, Bell theorem without inequalities, Pseudo-telepathy, Entanglement
2	Angelo Raffaele Meo	Some Theorems Concerning the Core Function.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	David Duris	Hypergraph Acyclicity and Extension Preservation Theorems.	LICS	2008	DBLP DOI BibTeX RDF	hypergraph acyclicity, preservation theorems, logic, finite model theory
2	Jacob Matthews, Amal Ahmed	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.	ESOP	2008	DBLP DOI BibTeX RDF
2	Dag Normann	Internal Density Theorems for Hierarchies of Continuous Functionals.	CiE	2008	DBLP DOI BibTeX RDF	Limit space, Probabilistic selection, Density theorem, Continuous functional
2	Iris Loeb	Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.	CiE	2008	DBLP DOI BibTeX RDF	Intuitionistic Mathematics, Continuity Principle, Compactness Principle, Constructive Mathematics, Reverse Mathematics
2	Matthias Baaz, George Metcalfe	Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.	CiE	2008	DBLP DOI BibTeX RDF	Herbrand Theorem, Fuzzy Logics, Skolemization
2	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy
2	Jianming Zhan, Bijan Davvaz, K. P. Shum	On fuzzy isomorphism theorems of hypermodules.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16Y99, 20N20, 16A78
2	Marcel G. de Bruin	'Classical' convergence theorems for generalized continued fractions.	Numerical Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) MSC 40A15
2	Jiangzhuo Chen, Robert D. Kleinberg, László Lovász, Rajmohan Rajaraman, Ravi Sundaram, Adrian Vetta	(Almost) Tight bounds and existence theorems for single-commodity confluent flows.	J. ACM	2007	DBLP DOI BibTeX RDF	confluent flow, routing, Approximation algorithms, network flow, tight bounds
2	Izabella Laba, József Solymosi	Incidence Theorems for Pseudoflats.	Discrete & Computational Geometry	2007	DBLP DOI BibTeX RDF
2	Roman N. Karasev	Tverberg's Transversal Conjecture and Analogues of Nonembeddability Theorems for Transversals.	Discrete & Computational Geometry	2007	DBLP DOI BibTeX RDF
2	David Feldman	Incomplete information equilibria: Separation theorems and other myths.	Annals OR	2007	DBLP DOI BibTeX RDF	State variables, Separation, Incomplete information, Equilibrium, Asset pricing
2	Bing Zhao, Weidong Li, Shu Jian, Lequan Min	Two Theorems on the Robust Designs for Pattern Matching CNNs.	ISNN	2007	DBLP DOI BibTeX RDF
2	Amjad Gawanmeh, Sofiène Tahar	Rank Theorems for Forward Secrecy in Group Key Management Protocols.	AINA Workshops	2007	DBLP DOI BibTeX RDF
2	Leo Freitas, Jim Woodcock	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
2	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
2	Spyros Galanis	Theorems and unawareness.	TARK	2007	DBLP DOI BibTeX RDF
2	Stefan S. Dantchev	Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems.	STOC	2007	DBLP DOI BibTeX RDF	Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity
2	Peerapol Tinnakornsrisuphap, Armand M. Makowski	On the behavior of ECN/RED gateways under a large number of TCP flows: Limit theorems.	Queueing Syst.	2006	DBLP DOI BibTeX RDF	CLT correction, RED AQM mechanism, TCP congestion-control, Limit theorems
2	Jiri Rohn	Regularity of Interval Matrices and Theorems of the Alternatives.	Reliable Computing	2006	DBLP DOI BibTeX RDF
2	Vsevolod E. Adler	Some Incidence Theorems and Integrable Discrete Equations.	Discrete & Computational Geometry	2006	DBLP DOI BibTeX RDF
2	Juan José Montellano-Ballesteros, Attila Pór, Ricardo Strausz	Tverberg-Type Theorems for Separoids.	Discrete & Computational Geometry	2006	DBLP DOI BibTeX RDF
2	George Voutsadakis	Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.	Applied Categorical Structures	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 03G99, Secondary: 68N30, 18C15
2	Audhild Vaaje	Theorems for Fault Collapsing in Combinational Circuits.	J. Electronic Testing	2006	DBLP DOI BibTeX RDF	Boolean function, combinational circuit, monotonic function, fault collapsing
2	Narayan Prasad, Mahesh K. Varanasi	Outage Theorems for MIMO Block-Fading Channels.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	Yunnan Wu, Kamal Jain, Sun-Yuan Kung	A unification of network coding and tree-packing (routing) theorems.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF	routing, multicast, network coding, steiner tree, flow
2	Karl Krukow, Mogens Nielsen	From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
2	Antonio Montes, Tomás Recio	Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving
2	Gunther Schmidt	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.	RelMiCS	2006	DBLP DOI BibTeX RDF	homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
2	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for Lattices with Negations: A Survey.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
2	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
2	G. Efthivoulidis	Linear switched-capacitor circuit theorems.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Daniel Liberzon, Dragan Nesic	Stability Analysis of Hybrid Systems Via Small-Gain Theorems.	HSCC	2006	DBLP DOI BibTeX RDF
2	Xi Chen, Xiaotie Deng	A Simplicial Approach for Discrete Fixed Point Theorems.	COCOON	2006	DBLP DOI BibTeX RDF
2	Kai Liu, Yufeng Shi	Razumikhin-Type Theorems of Infinite Dimensional Stochastic Functional Differential Equations.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Razumikhin-type theorem, Stochastic functional differential equations in infinite dimensions, Lyapunov function
2	Xue-Bin Liang	Matrix games in the multicast networks: maximum information flows with network switching.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF	achievable information rate regions, matrix games, max-flow min-cut theorems, maximum information flows, multisource multicast networks, network switching, route packings, switching gaps, game theory, network coding, multicast routes, set-covering problems
2	Steven T. Dougherty, T. Aaron Gulliver, Manabu Oura	Higher Weights for Ternary and Quaternary Self-Dual Codes*.	Des. Codes Cryptography	2006	DBLP DOI BibTeX RDF	nonbinary codes, higher weights, Gleason theorems, graded rings, self-dual codes
2	Georg Moser, Richard Zach	The Epsilon Calculus and Herbrand Complexity.	Studia Logica	2006	DBLP DOI BibTeX RDF	Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity
2	Jinyan Li, Haiquan Li	Using Fixed Point Theorems to Model the Binding in Protein-Protein Interactions.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
2	Steve Schneider, Helen Treharne	CSP theorems for communicating B machines.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF
2	Ping Hou	Some Representation Theorems for Recovering Contraction Relations.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	contraction inference relation, belief contraction, epistemic state, representation theorem
2	Björn Vormbrock, Rudolf Wille	Semiconcept and Protoconcept Algebras: The Basic Theorems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
2	Graham Steel	The Importance of Non-theorems and Counterexamples in Program Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Johnson I. Agbinya	QoS Functions and Theorems for Moving Wireless Networks.	ICITA	2005	DBLP DOI BibTeX RDF
2	Giangiacomo Gerla	Representation theorems for fuzzy orders and quasi-metrics.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Fuzzy order, Graded inclusion, Quasi-metrics, Hausdorff excess, Graded preference
2	Kazuo Murota, Akihisa Tamura	Proximity theorems of discrete convex functions.	Math. Program.	2004	DBLP DOI BibTeX RDF	discrete convex analysis, proximity properties, optimality criteria
2	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland	Automatic Generation of Classification Theorems for Finite Algebras.	IJCAR	2004	DBLP DOI BibTeX RDF
2	Michael Toftdal	A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract).	ICALP	2004	DBLP DOI BibTeX RDF
2	XueFeng Chen, Peng Li, Long Lin, DingKang Wang	Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
2	Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama	Inductive Theorems for Higher-Order Rewriting.	RTA	2004	DBLP DOI BibTeX RDF
2	Stéphane Bessy, Stéphan Thomassé	Three Min-Max Theorems Concerning Cyclic Orders of Strong Digraphs.	IPCO	2004	DBLP DOI BibTeX RDF
2	Mihai Oltean	Searching for a Practical Evidence of the No Free Lunch Theorems.	BioADIT	2004	DBLP DOI BibTeX RDF
2	Nir Halman	On the Power of Discrete and of Lexicographic Helly-Type Theorems.	FOCS	2004	DBLP DOI BibTeX RDF
2	Hartmut Klauck, Robert Spalek, Ronald de Wolf	Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs.	FOCS	2004	DBLP DOI BibTeX RDF