Search Results - "Luks, E"

Generalizing Boolean Satisfiability II: Theory by Dixon, H. E., Ginsberg, M. L., Luks, E. M., Parkes, A. J.

“…This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the…”
Get full text

Generalizing Boolean Satisfiability III: Implementation by Dixon, H. E., Ginsberg, M. L., Hofer, D., Luks, E. M., Parkes, A. J.

“…This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance…”
Get full text

Carboplatin and recurrent childhood brain tumors by Allen, J C, Walker, R, Luks, E, Jennings, M, Barfoot, S, Tan, C

“…Carboplatin, a cisplatin analogue, was administered as an intravenous (IV) one-hour infusion in a 4-consecutive weekly dose schedule to 44 patients with…”
Get more information

Fast Monte Carlo Algorithms for Permutation Groups by Babai, L., Cooperman, G., Finkelstein, L., Luks, E., Seress, A.

“…We introduce new, elementary Monte Carlo methods to speed up and greatly simplify the manipulation of permutation groups (given by a list of generators). The…”
Get full text

Generalizing Boolean Satisfiability II: Theory by Dixon, H. E, Ginsberg, M. L, Luks, E. M, Parkes, A. J

“…Journal Of Artificial Intelligence Research, Volume 22, pages 481-534, 2004 This is the second of three planned papers describing ZAP, a satisfiability engine…”
Get full text

Generalizing Boolean Satisfiability III: Implementation by Dixon, H. E, Ginsberg, M. L, Hofer, D, Luks, E. M, Parkes, A. J

“…Journal Of Artificial Intelligence Research, Volume 23, pages 441-531, 2005 This is the third of three papers describing ZAP, a satisfiability engine that…”
Get full text

Short Presentations for Finite Groups by Babai, L., Goodman, A.J., Kantor, W.M., Luks, E.M., Pálfy, P.P.

“…We conjecture that every finite groupGhas a short presentation (in terms of generators and relations) in the sense that the totallengthof the relations is…”
Get full text

Lower rim substituted tert-butylcalix[4]arenes. Part 8: Calix[4]arenes with dialkoxyphosphoryl functions. Synthesis and complexing properties by Bocheńska, Maria, Hoffmann, Maria, Lesińska, Urszula, Luks, Emilia, Radecka-Paryzek, Wanda

“…New compounds: 5,11,17,23-tetra- tert-butyl-25,26,27,28-tetrakis(3-diisopropoxyphosphorylpropoxy)calix[4]arene ( 1 ) and 5,11,17,23-tetra-…”
Get full text

Computing the composition factors of a permutation group in polynomial time by LUKS, E. M

Get full text

Sylow Subgroups in Parallel by Kantor, William M, Luks, Eugene M, Mark, Peter D

“…Sylow subgroups are fundamental in the design of asymptotically efficient group-theoretic algorithms, just as they have been in the study of the structure of…”
Get full text

Deuteration of oleic acid, lipids and other molecules for neutron studies by Darwish, T., Luks, E., Moraes, G., Gillon, M., Hunt, T., Hanley, T., James, M., Holden, P.

“…Abstract only…”
Get full text

Cohomology and weight systems for nilpotent Lie algebras by Leger, G., Luks, E.

Get full text

Third party programs by Hamilton, D C, Broadbent, Jr, B H, Lahrman, D E, Luks, E

Get more information

Phase I trial of homoharringtonine in children with refractory leukemia by Tan, C T, Luks, E, Bacha, D M, Steinherz, P, Steinherz, L, Mondora, A

“…Continuous infusion of homoharringtonine was administered to 17 children with refractory leukemia. Ten children with acute lymphoblastic leukemia received a…”
Get more information

Generalized Derivations of Lie Algebras by Leger, George F., Luks, Eugene M.

“…Suppose L is a finite-dimensional Lie algebra with multiplication μ: L∧L→L. Let Δ(L) denote the set of triples (f,f′,f″), with f, f′, f″∈Hom(L,L), such that…”
Get full text

Lower rim substituted tert-butylcalix[4]arenes (II). Complexing ability of 5,11,17,23-tetra- tert-butyl-25,26,27,28-tetrakis- O-(piperidinylcarbonyl)methylenecalix[4]arene. The crystal structures of the ligand and its sodium complex by Bocheńska, Maria, Zielińska, Anna, Kravtsov, Victor Ch, Gdaniec, Maria, Luks, Emilia, Radecka-Paryzek, Wanda

“…The sodium(I) chloride and yttrium(III), lanthanum(III), samarium(III) and gadolinium(III) nitrate complexes of 5,11,17,23-tetra-…”
Get full text

The scandium(III) ion as a template for the synthesis of a hexaazaSchiff base macrocyclic ligand by Radecka-Paryzek, W., Luks, E.

Get full text

Gargoyles for computer science by Luks, Eugene

Get full text

Determination of formaldehyde using the colorimetric method with acetylacetone. I. Determination of formaldehyde in selected cosmetic products by Luks, E, Kiss, E

“…Total formaldehyde content was determined by the colorimetric method with acetylacetone in shampoos and foam baths. The commercial products containing…”
Get more information

Free formaldehyde determination in cosmetic products by the HPLC method by Luks, E, Kiss, E, Kwast, M, Malanowska, M, Smietanka, B

“…In order to standardize the analytical methods and procedures with the ones used in the EU, a method of free formaldehyde determination in cosmetic products…”
Get full text