Showing 2000Show all

75 papers · 1 filter

hep-th2000★ 18 cited

An Sl(3,R) multiplet of 8-dimensional type II supergravity theories and the gauged supergravity inside

N. Alonso-Alberca, P. Meessen, T. Ortin

The so-called ``massive 11-dimensional supergravity'' theory gives, for one Killing vector, Romans' massive 10-dimensional supergravity in 10 dimensions, for two Killing vectors an…

hep-th2000★ 10 cited

Non-Semisimple Gaugings of D=5 N=8 Supergravity

Laura Andrianopoli, Francesco Cordaro, Pietro Fre' +1

The recent construction of the non-semisimple gaugings of maximal D=5 supergravity is reported here. This construction is worked out in the so-called rheonomic approach, based on F…

cs.PL2000

A General Framework for Automatic Termination Analysis of Logic Programs

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1

This paper describes a general framework for automatic termination analysis of logic programs, where we understand by ``termination'' the finitenes s of the LD-tree constructed for…

astro-ph2000★ 567 cited

ISO spectroscopy of circumstellar dust in 14 Herbig Ae/Be systems: towards an understanding of dust processing

G. Meeus, L. B. F. M. Waters, J. Bouwman +3

We present Infrared Space Observatory (ISO) spectra of fourteen isolated Herbig Ae/Be (HAEBE) stars, to study the characteristics of their circumstellar dust. These spectra show la…

cond-mat.supr-con2000★ 29 cited

Asymmetric flux pinning in laterally nanostructured ferromagnetic / superconducting bilayers

M. Lange, M. J. Van Bael, L. Van Look +5

We investigated the pinning of flux lines in a superconducting film by a regular array of magnetic antidots. The sample consists of a Co/Pt multilayer with perpendicular magnetic a…

cs.LG2000★ 7 cited

Scaling Up Inductive Logic Programming by Learning from Interpretations

Hendrik Blockeel, Luc De Raedt, Nico Jacobs +1

When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming…

quant-ph2000★ 202 cited

Local filtering operations on two qubits

Frank Verstraete, Jeroen Dehaene, Bart De Moor

We consider one single copy of a mixed state of two qubits and investigate how its entanglement changes under local quantum operations and classical communications (LQCC) of the ty…

cs.PL2000

Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1

For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in the…

cs.CL2000

Semantic interpretation of temporal information by abductive inference

Sven Verdoolaege, Marc Denecker, Ness Schelkens +2

Besides temporal information explicitly available in verbs and adjuncts, the temporal interpretation of a text also depends on general world knowledge and default assumptions. We w…

cs.LG2000★ 174 cited

Web Mining Research: A Survey

Raymond Kosala, Hendrik Blockeel

With the huge amount of information available online, the World Wide Web is a fertile area for data mining research. The Web mining research is at the cross road of research from s…

cs.LG2000★ 404 cited

Top-down induction of clustering trees

Hendrik Blockeel, Luc De Raedt, Jan Ramon

An approach to clustering is presented that adapts the basic top-down induction of decision trees method towards clustering. To this aim, it employs the principles of instance base…

cs.PL2000★ 4 cited

Termination analysis of logic programs using acceptability with general term orders

Alexander Serebrenik, Danny De Schreye

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general term-orderings (instead of level mappings), like it…

cond-mat.mtrl-sci2000★ 27 cited

Band-by-band decomposition of the Born effective charges

Ph. Ghosez, X. Gonze

The Born effective charge, Z*, that describes the polarization created by collective atomic displacements, can be computed from first-principles following different techniques. We…

cond-mat.dis-nn2000★ 24 cited

Coupled dynamics of fast spins and slow exchange interactions in the XY spin-glass

G Jongen, J Anemueller, D Bolle +2

We investigate an XY spin-glass model in which both spins and interactions (or couplings) evolve in time, but with widely separated time-scales. For large times this model can be s…

astro-ph2000★ 9 cited

A search for new gamma Doradus stars in the Geneva photometric database

Laurent Eyer, Conny Aerts

We present a study of selected potential gamma Doradus stars observed in the Geneva photometric system. Eleven stars were monitored at least during the last year of functioning of…

quant-ph2000★ 255 cited

Maximally entangled mixed states of two qubits

Frank Verstraete, Koenraad Audenaert, Tijl De Bie +1

We consider mixed states of two qubits and show under which global unitary operations their entanglement is maximized. This leads to a class of states that is a generalization of t…

hep-th2000★ 49 cited

Orbifold boundary states from Cardy's condition

M. Billo', B. Craps, F. Roose

Boundary states for D-branes at orbifold fixed points are constructed in close analogy with Cardy's derivation of consistent boundary states in RCFT. Comments are made on the inter…

nucl-th2000

Isovector multiphonon excitations in near spherical nuclei

Nadya A. Smirnova, Norbert Pietralla, Takahiro Mizusaki +1

The lowest isoscalar and isovector quadrupole and octupole excitations in near spherical nuclei are studied within the the proton-neutron version of the interacting boson model inc…

astro-ph2000★ 29 cited

HD172481: a super lithium-rich metal-deficient post-AGB binary with a red AGB companion

Maarten Reyniers, Hans Van Winckel

We present in this paper a study on the peculiar supergiant HD172481. Its spectral type (F2Ia), high galactic latitude (b=-10.37), circumstellar dust, high radial velocity and mode…

hep-th2000★ 6 cited

Symmetries of string, M and F-theories

Eric Bergshoeff, Antoine Van Proeyen

The d=10 type II string theories, d=11 M-theory and d=12 F-theory have the same symmetry group. It can be viewed either as a subgroup of a conformal group OSp(1|64) or as a contrac…

cond-mat.str-el2000★ 8 cited

Polarized far-infrared and Raman spectra of SrCuO2 single crystals

Z. V. Popović, M. J. Konstantinović, R. Gajić +3

We measured polarized far-infrared reflectivity and Raman scattering spectra of SrCuO single crystals. The frequencies for infrared-active modes were determined using an oscill…

hep-th2000★ 11 cited

Antifield BRST quantization of duality-symmetric Maxwell theory

Xavier Bekaert, Sorin Cucu

We perform the antifield BRST quantization of duality-symmetric Maxwell theory and show explicitly the quantum equivalence of the different formulations (covariant and non-covarian…

cond-mat.supr-con2000★ 28 cited

Effects of confinement and surface enhancement on superconductivity

E. Montevecchi, J. O. Indekeu

Within the Ginzburg-Landau approach a theoretical study is performed of the effects of confinement on the transition to superconductivity for type-I and type-II materials with surf…

hep-th2000★ 39 cited

Non-Semisimple Gaugings of D=5 N=8 Supergravity and FDA.s

L. Andrianopoli, F. Cordaro, P. Fre' +1

We reformulate maximal D=5 supergravity in the consistent approach uniquely based on Free Differential Algebras and the solution of their Bianchi identities (= rheonomic method). I…