Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of so-dium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of sodium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of sodium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Grossi, Giuliano, Marchi, Massimo, Pontelli, Enrico, Provetti, Alessandro
This article presents a distributed version of the adjSolver algorithm for computing the answer sets of logic programs. adjSolver operates a classical branch-and-bound structure; its intrinsic...
Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of sodium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of sodium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Abel, Stéphane, Waks, Marcel, Marchi, Massimo
This paper explores the reduced form of horse cytochrome c confined in reverse micelles (RM) of sodium bis-(2-ethylhexyl) sulfosuccinate (AOT) in isooctane by molecular dynamics simulation. RMs of...
Giuliano Grossi, Massimo Marchi
This paper presents some preliminary results obtained in the development of a new branch-and-bound algorithm for Answer Set Programming. We exploit the intrinsic parallelism of branch-and-bound to...
A New Algorithm for Answer Set Computation (2008)
Giuliano Grossi, Massimo Marchi
Abstract. A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its answer...
Declarative Web data extraction and annotation (2008)
Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Ro Provetti
Abstract. We propose a software architecture for semantics-based annotation of data extracted from Web sources. Starting from the LiXto suite, which enables semi-automated extraction of XML data from...
Adaptive web data extraction policies (2008)
Fiumara, Giacomo, Marchi, Massimo, Provetti, Alessandro
Web data extraction is concerned, among other things, with routine data accessing and downloading from continuously-updated dynamic Web pages. There is a relevant trade-off between the rate at which...
Adaptive web data extraction policies (2008)
Fiumara, Giacomo, Marchi, Massimo, Provetti, Alessandro
Web data extraction is concerned, among other things, with routine data accessing and downloading from continuously-updated dynamic Web pages. There is a relevant trade-off between the rate at which...
Adaptive web data extraction policies (2008)
Fiumara, Giacomo, Marchi, Massimo, Provetti, Alessandro
Web data extraction is concerned, among other things, with routine data accessing and downloading from continuously-updated dynamic Web pages. There is a relevant trade-off between the rate at which...
A New Algorithm for Answer Set Computation (2005)
GROSSI, GIULIANO, MARCHI, MASSIMO, Giuliano Grossi, Massimo Marchi, Marina De Vos, Alessandro Provetti
A New Algorithm for Answer Set Computation / Giuliano Grossi, Massimo Marchi. - (Workshop proceedings ; 142). - In: Answer Set Programming, Advances in Theory and Implementation : Proceedings of the...
A New Algorithm for Answer Set Computation (2005)
GROSSI, GIULIANO, MARCHI, MASSIMO, Giuliano Grossi, Massimo Marchi, Marina De Vos, Alessandro Provetti
A New Algorithm for Answer Set Computation / Giuliano Grossi, Massimo Marchi. - (Workshop proceedings ; 142). - In: Answer Set Programming, Advances in Theory and Implementation : Proceedings of the...
A path integral Monte Carlo study of quantum solutes in liquid ammonia.
Thesis (Ph.D.)--McMaster University (Canada), 1988.