sign in · help · news · about ·

BibSonomy :: author :: Martelli ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(260)

<< < 1 | 2 | 3 > >>

Comparison of Brazilian researchers in clinical medicine: are criteria for ranking well-adjusted?
Eduardo A. Oliveira, Enrico A. Colosimo, Daniella R. Martelli, Isabel G. Quirino, Maria Christina L. Oliveira, Leonardo S. Lima, Ana Cristina Simões e Silva, and Hercílio Martelli-Júnior Scientometrics 90(2):429-443 (2012)
to dblp by dblp on Jan 12, 2012, 12:00 AM
URL | BibTeX
Fast FPGA-based architecture for pedestrian detection based on covariance matrices.
Samuele Martelli, Diego Tosato, Marco Cristani, and Vittorio Murino ICIP, page 389-392. IEEE, (2011)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
The Dark Energy Survey Data Management System
Joseph J. Mohr, Wayne Barkhouse, Cristina Beldica, Emmanuel Bertin, Y. Dora Cai, Luiz da Costa, J. Anthony Darnell, Gregory E. Daues, Michael Jarvis, Michelle Gower, Huan Lin, Leandro Martelli, Eric Neilsen, Chow-Choong Ngeow, Ricardo Ogando, Alex Parga, Erin Sheldon, Douglas Tucker, Nikolay Kuropatkin, and Chris Stoughton CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Reasoning about Actions with Temporal Answer Sets
Laura Giordano, Alberto Martelli, and Daniele Theseider Dupré CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
An Effective Fixpoint Semantics for Linear Logic Programs
Marco Bozzano, Giorgio Delzanno, and Maurizio Martelli CoRR (2001)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Perfect tag identification protocol in RFID networks
Maurizio A. Bonuccelli, Francesca Lonetti, and Francesca Martelli CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic-Based Specification Languages for Intelligent Software Agents
Viviana Mascardi, Maurizio Martelli, and Leon Sterling CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Model Checking Linear Logic Specifications
Marco Bozzano, Giorgio Delzanno, and Maurizio Martelli CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Structuring Logic Programs: A Modal Approach.
Laura Giordano, and Alberto Martelli J. Log. Program. 21(2):59-94 (1994)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.
Laura Giordano, Alberto Martelli, and Maria Luisa Sapino J. Log. Program. 26(1):31-67 (1996)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Conditional reasoning in logic programming.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, and Maria Luisa Sapino J. Log. Program. 44(1-3):37-74 (2000)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
The s-Semantics Approach: Theory and Applications.
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, and Maurizio Martelli J. Log. Program. (1994)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Integrity Constraints for Logic Databases.
Patrizia Asirelli, Michele de Santis, and Maurizio Martelli J. Log. Program. 2(3):221-232 (1985)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Interfaces for computer and robot assisted surgical systems.
Paolo Vendruscolo, and Sandra Martelli Information & Software Technology 43(2):87-96 (2001)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
Numerical optimization of heat recovery steam cycles: Mathematical model, two-stage algorithm and applications.
Emanuele Martelli, Edoardo Amaldi, and Stefano Consonni Computers & Chemical Engineering 35(12):2799-2823 (2011)
to dblp by dblp on Nov 28, 2011, 12:00 AM
URL | BibTeX
Discriminative Network Models of Schizophrenia.
Guillermo A. Cecchi, Irina Rish, Benjamin Thyreau, Bertrand Thirion, Marion Plaze, Marie-Laure Paillere-Martinot, Catherine Martelli, Jean-Luc Martinot, and Jean-Baptiste Poline NIPS, page 252-260. Curran Associates, Inc., (2009)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
Transactions and Updates in Deductive Databases.
Danilo Montesi, Elisa Bertino, and Maurizio Martelli IEEE Trans. Knowl. Data Eng. 9(5):784-797 (1997)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
FPGA-based pedestrian detection using array of covariance features.
Samuele Martelli, Diego Tosato, Marco Cristani, and Vittorio Murino ICDSC, page 1-6. IEEE, (2011)
to dblp by dblp on Oct 26, 2011, 12:00 AM
URL | BibTeX
Rotational motion of BH4 units in MBH4 M=Li,Na,K from quasielastic neutron scattering and density functional calculations
Arndt Remhof, Zbigniew Lodziana, Pascal Martelli, Oliver Friedrichs, Andreas Zuettel, Alexander V. Skripov, Jan Peter Embs, and Thierry Straessle Physical Review B 81(21):214304 (June 2010)
by jabreftest on Oct 24, 2011, 11:17 PM
DOI | BibTeX
A tri-band SAW-less WCDMA/HSPA RF CMOS transceiver with on-chip DC-DC converter connectable to battery.
Qiuting Huang, Jürgen Rogin, Xinhua Chen, David Tschopp, Thomas Burger, Thomas Christen, Dimitris Papadopoulos, Ilian Kouchev, Chiara Martelli, and Thomas Dellsperger ISSCC, page 60-61. IEEE, (2010)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper