978 citations
- Massachusetts Institute of TechnologyUS18 papers
- University of California, BerkeleyUS18 papers
- Michigan State UniversityUS17 papers
- University of ZagrebHR15 papers
- Argonne National LaboratoryUS14 papers
- Kent State UniversityUS14 papers
- Purdue University West LafayetteUS14 papers
- Warsaw University of TechnologyPL14 papers
- Texas A&M UniversityUS13 papers
- The Ohio State UniversityUS13 papers
- University of California, Los AngelesUS13 papers
- University of Notre DameUS13 papers
14 papers · 1 filter
On the Expressibility of Stable Logic Programming
Victor W. Marek, Jeffrey B. Remmel
(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all decision problems. We extend Schlipf's result to prove that…
A Finite Baryon Density Algorithm
Keh-Fei Liu
I will review the progress toward a finite baryon density algorithm in the canonical ensemble approach which entails particle number projection from the fermion determinant. These…
The Hilbert scheme of degree two curves and certain ropes
Uwe Nagel, Roberto Notari, Maria Luisa Spreafico
We study families of ropes of any codimension that are supported on lines. In particular, this includes all non-reduced curves of degree two. We construct suitable smooth parameter…
Normal form for space curves in a double plane
Nadia Chiarli, Silvio Greco, Uwe Nagel]
This note is an attempt to relate explicitly the geometric and algebraic properties of a space curve that is contained in some double plane. We show in particular that the minimal…
Comparing Castelnuovo-Mumford regularity and extended degree: the borderline cases
Uwe Nagel
Castelnuovo-Mumford regularity and any extended degree function can be thought of as complexity measures for the structure of finitely generated graded modules. A recent result of…
Logic programs with monotone cardinality atoms
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…