BibSonomy :: author  ::

bookmarks

publications

(10)

• Formal verification of behavioral VHDL specifications: a case study.
  Felix Nicoli and Laurence Pierre EURO-DAC 560-565 (1994)
  to dblp by dblp on 2008-04-16 00:00:00
  | URL | BibTeX  
• Reduced-rank channel estimation for time-slotted mobile communication systems.
  Monica Nicoli and Umberto Spagnolini IEEE Transactions on Signal Processing 53 926-944 (2005)
  to dblp by dblp on 2008-02-27 00:00:00
  | URL | BibTeX  
• Soft-Iterative Channel Estimation: Methods and Performance Analysis.
  Monica Nicoli and Simone Ferrara and Umberto Spagnolini IEEE Transactions on Signal Processing 55 2993-3006 (2007)
  to dblp by dblp on 2008-02-18 00:00:00
  | URL | BibTeX  
• Hidden Markov Models for Radio Localization in Mixed LOS/NLOS Conditions.
  Carlo Morelli and Monica Nicoli and Vittorio Rampa and Umberto Spagnolini IEEE Transactions on Signal Processing 55 1525-1542 (2007)
  to dblp by dblp on 2008-02-18 00:00:00
  | URL | BibTeX  
• A Filmless Radiology Department in a Full Digital Regional Hospital: Quantitative Evaluation of the Increased Quality and Efficiency.
  Andrea Nitrosi and Giovanni Borasi and Franco Nicoli and Gino Modigliani and Andrea Botti and Marco Bertolini and Pietro Notari J. Digital Imaging 20 140-148 (2007)
  to dblp by dblp on 2007-09-19 00:00:00
  | URL | BibTeX  
• Phase-field model for diffusion-limited surface growth
  M. Nicoli and M. Castro and R. Cuerno Abstract Book of the XXIII IUPAP International Conference on Statistical Physics (2007)
  to films growth instabilities interface kinetic morphological nonconserved phase-field roughening statphys23 thin topic-4 by statphys23 on 2007-06-20 10:16:09
  | URL | BibTeX  
• Do text transcoders improve usability for disabled users?
  Giorgio Brajnik and Daniela Cancila and Daniela Nicoli and Mery Pignatelli W4A 9-17 (2005)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• Do dynamic text-only web pages improve usability for PDA users?
  Giorgio Brajnik and Daniela Cancila and Daniela Nicoli and Mery Pignatelli Usability Symposium 89-102 (2005)
  to dblp by dblp on 2005-11-11 00:00:00
  | URL | BibTeX  
• Formal Verification of Hardware using LP and Comparison with Nqthm.
  Michel Allemand and Felix Nicoli and Laurence Pierre Applied Informatics 150-153 (1994)
  to dblp by dblp on 2004-04-23 00:00:00
  | URL | BibTeX  
• Denotational Semantics of a Behavioral Subset of VHDL.
  Felix Nicoli DATE 975-976 (1998)
  to dblp by dblp on 2003-09-17 00:00:00
  | URL | BibTeX