A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA

Source URL: research.cs.wisc.edu

• Logic
• Mathematics
• Mathematical logic
• Boolean algebra
• Propositional calculus
• Model theory
• Propositions
• Propositional formula
• Interpretation
• Tautology
• Distributive property
• Closure

A multiperversity generalization of intersection homology Greg Friedman∗ Gil Kalai†

Source URL: www.ma.huji.ac.il

Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

Discovering Functional Sites of Amino Acid Sequences Using Sorted Variable Generalization Takashi Ishikawa 1

Source URL: www.jsbi.org

SHAPE DEFORMATION IN CONTINUOUS MAP GENERALIZATION JEFF DANCIGER, SATYAN L. DEVADOSS, JOHN MUGNO, DON SHEEHY, AND RACHEL WARD Abstract. Given a collection of regions on a map, we seek a method of continuously altering th

Source URL: donsheehy.net

Proceedings of the 18th Annual Conference on Learning Theory, 2005 Stability and Generalization of Bipartite Ranking Algorithms Shivani Agarwal1 and Partha Niyogi2 1

Source URL: people.cs.uchicago.edu

Siyu Liu*, , and Felice Manganiello and Frank R Kschischang. Skew Polynomials in Coding Theory. Skew polynomials are a noncommutative generalization of ordinary polynomials that, in rec

Source URL: jointmathematicsmeetings.org

Comparison of Upward and Downward Generalization in CF-induction Yoshitaka Yamamoto1 , Katsumi Inoue2 , Koji Iwanuma1 1 University of Yamanashi

Source URL: ilp11.doc.ic.ac.uk

Generalization of Human Grasping for Multi-Fingered Robot Hands Heni Ben Amor, Oliver Kroemer, Ulrich Hillenbrand, Gerhard Neumann, and Jan Peters Abstract— Multi-fingered robot grasping is a challenging problem that i

Source URL: www.ausy.informatik.tu-darmstadt.de

The (K, k)-Capacitated Spanning Tree Problem Esther M. Arkin⋆ , Nili Guttmann-Beck⋆⋆ , and Refael Hassin⋆ ⋆ ⋆ No Institute Given Abstract. This paper considers a generalization of the capacitated spanning tre

Source URL: www.ams.sunysb.edu