A switching lemma for small restrictions and lower bounds for k-DNF resolution von SEGERLIND, Nathan, BUSS, Sam, IMPAGLIAZZO, Russell

Volltext

On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs von Segerlind, N.

Volltext

Exponential separation between Res(k) and Res(k + 1) for k ≤ ε log n von SEGERLIND, Nathan

Volltext

A direct sum theorem for corruption and the multiparty NOF communication complexity of set disjointness von Beame, P., Pitassi, T., Segerlind, N., Wigderson, A.

Volltext

Memoization and DPLL: formula caching proof systems von Beame, P., Impagliazzo, R., Pitassi, T., Segerlind, N.

Volltext

Counting axioms do not polynomially simulate counting gates von Impagliazzo, R., Segerlind, N.

Volltext

Lower Bounds for Lovász-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity von Beame, Paul, Pitassi, Toniann, Segerlind, Nathan

Volltext

Bounded-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations: (Extended abstract) von IMPAGLIAZZO, Russell, SEGERLIND, Nathan

Volltext

Switching lemma for small restrictions and lower bounds for k-DNF resolution von Segerlind, N., Buss, S., Impagliazzo, R.

Volltext

Neurosurgical procedures performed during residency in Europe—preliminary numbers and time trends von Stienen, Martin N., Bartek, Jiri, Czabanka, Marcus A., Freyschlag, Christian F., Kolias, Angelos, Krieg, Sandro M., Moojen, Wouter, Renovanz, Mirjam, Sampron, Nicolas, Adib, Sasan D., Schubert, Gerrit A., Demetriades, Andreas K., Ringel, Florian, Regli, Luca, Schaller, Karl, Meling, Torstein R.

Volltext

Water Movement in an Unsaturated Soil Beneath a Velocity Permeameter von Carroll, N.J. (Purdue University, West Lafayette, IN.,), Merva, G.E, Segerlind, L.J

Volltext

Predicting the cooling time for irregular shaped food products von CARROLL, NATALIE, MOHTAR, RABI, SEGERLIND, LARRY J.

Volltext

A Simulation Model to Determine the Allowable Depth for Apples Stored in Bulk von Shahabasi, Y. (Michigan State University, East Lansing.), Segerlind, L.J, Carroll, N.J

Volltext

A simulation model to determine the allowable depth for apples stores in bulk von SHAHABASI, Y, SEGERLIND, L. J, CARROLL, N. J

Volltext

Finite Element Modeling for Depth and Spacing of Drains in Layered Soils von G. E. Merva

Volltext