Publications

Books, Theses, Journal Papers, Book chapters, Conferences, Technical Reports, Miscellaneous


Books

Cloud Broker and Cloudlet for Workflow Scheduling

Provides cloud programmers and scientific application designers with the theoretical background required to make informed decisions. Describes the fundamentals of cloud broker system technology and workflows in detail and gives an example of state-of-the-art applications Explains cost, resource and scheduling structures, and decision-making processes with examples. Authors: Chan-Hyun Youn, Min Chen, Patrizio Dazzi


Abstract:
This book blends the principles of cloud computing theory and discussion of emerging technologies in cloud broker systems, enabling users to realize the potential of an integrated broker system for scientific applications and the Internet of Things (IoT). Due to dynamic situations in user demand and cloud resource status, scalability has become crucial in the execution of complex scientific applications.

Therefore, data analysts and computer scientists must grasp workflow management issues in order to better understand the characteristics of cloud resources, allocate these resources more efficiently and make critical decisions intelligently. Thus, this book addresses these issues through discussion of some novel approaches and engineering issues in cloud broker systems and cloudlets for workflow scheduling. This book closes the gaps between cloud programmers and scientific application designers, describing the fundamentals of cloud broker system technology and state-of-the-art applications in implementation and performance evaluation. The book gives details of scheduling structures and processes, providing guidance and inspiration for users including cloud programmers, application designers and decision-makers with involvement in cloud resource management.


Theses

Patrizio Dazzi,
“Tools and Models for High Performance High Level Parallel and Grid Programming”
IMT Lucca, Italy, 2008, PhD Thesis
<PDF><BibTeX>

Patrizio Dazzi,
“JJPF: uno strumento per calcolo parallelo con JINI”
University of Pisa, 2004
, Master Thesis
<PDF><BibTeX>


Journal Articles:

  • “A Holistic Approach for High-level Programming of Next-generation Data-intensive Applications Targeting Distributed Heterogeneous Computing Environment”
    Procedia Computer Science, vol. 97, pag. 131-134, 2016
    <BibTeX> <DOI>
  • “QoS Guarantees for Network Bandwidth in Private Clouds”
    Procedia Computer Science, vol. 97, pag. 4-13, 2016
    <BibTeX> <DOI>
  • “Fast Connected Components in Large Graphs by Vertex Pruning”
    IEEE Transactions on Parallel and Distributed Systems,  vol. PP, issue 99, 2016
    <BibTeX> <DOI>
  • Patrizio Dazzi,
    “Toward Sci-φ: A Lightweight Cloud PaaS for Developing Embarrassingly Parallel Applications Based on Jini”
    The Scientific World Journal, vol. 2014, n. 526953, 2014
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Gabriele Capannini and Giancarlo Pagano,
    “A multi-criteria job scheduling framework for large computing farms”,
    Journal of Computer and System Sciences, vol.79, issue 2, 2013
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci,
    “A peer-to-peer recommender system for self-emerging user communities based on gossip overlays”,
    Journal of Computer and System Sciences, vol.79, issue 2, 2013
    <PDF> <BibTeX>
  • Marco Aldinucci and Marco Danelutto and Patrizio Dazzi,
    “Muskel: an expandable skeleton environment”,
    Scalable Computing: Practice and Experience, vol.8, issue 4, 2007
    <PDF> <BibTeX>

Chapters in books:

  • Massimiliano Bertolucci, Emanuele Carlini, Patrizio Dazzi, Alessandro Lulli and Laura Ricci,
    “Static and Dynamic Big Data Partitioning on Apache Spark”, In Parallel Computing: On the Road to Exascale, Proceedings of the International Conference on Parallel Computing,  Advances in Parallel Computing (ParCo 2015 conference), pp. 489-498, 2016, IOS Press
    <BibTeX>
  • Alessandro Lulli, Patrizio Dazzi, Laura Ricci and Emanuele Carlini, “A Multi-layer Framework for Graph Processing via Overlay Composition”, In Euro-Par 2015: Parallel Processing Workshops – Euro-Par 2015 International Workshops, Revised Selected Papers, Lecture Notes in Computer Science, vol. 9523, 2015, Springer Berlin / Heidelberg
    <BibTeX>
  • Emanuele Carlini, Patrizio Dazzi, Matteo Mordacchini, Alessandro Lulli and Laura Ricci, “Community Discovery for Interest Management in DVEs: A Case Study”, In Euro-Par 2015: Parallel Processing Workshops – Euro-Par 2015 International Workshops, Revised Selected Papers, Lecture Notes in Computer Science, vol. 9523, 2015, Springer Berlin / Heidelberg
    <BibTeX>
  • Emanuele Carlini and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci,
    “Toward Community-driven Interest Management for Distributed Virtual Environment”
    In Euro-Par 2013: Parallel Processing Workshops, an Mey, D., Alexander, M., Paolo, B., Cannataro, M., Clauss, C., Costan, A., Kecskemeti, G., Morin, C., Ricci, L., Sahuquillo, J., Schulz, M., Scarano, V., Ostercamp, S., Weidendorfer, J. (Eds.) Lecture Notes in Computer Science, vol. 8374, 2014, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Emanuele Carlini and Massimo Coppola and Patrizio Dazzi and Laura Ricci and Giacomo Righetti,
    “Cloud Federations in Contrail”,
    In Euro-Par 2011: Parallel Processing Workshops, Alexander, Michael and D’Ambra, Pasqua and Belloum, Adam and Bosilca, George and Cannataro, Mario and Danelutto, Marco and Di Martino, Beniamino and Gerndt, Michael and Jeannot, Emmanuel and Namyst, Raymond and Roman, Jean and Scott, Stephen and Traff, Jesper and Valle, Geoffroy and Weidendorfer, Josef Ed., Lecture Notes in Computer Science, pp. 159–168, vol. 7155, 2012, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci and Luca Alessi,
    “GROUP: A Gossip Based Building Community Protocol”,
    In Smart Spaces and Next Generation Wired/Wireless Networking, Balandin, Sergey and Koucheryavy, Yevgeni and Hu, Honglin Ed., Lecture Notes in Computer Science, pp. 496–507, vol. 6869, 2011, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Marco Pasquali and Patrizio Dazzi and Antonio Panciatici and Ranieri Baraglia,
    “Self-Optimizing Classifiers: Formalization And Design Pattern”,
    In From Grids to Service and Pervasive Computing, Priol, T. and Vanneschi, M. Ed., CoreGRID, pp. 175–187, 2008, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Marco Aldinucci and Sonia Campa and Marco Danelutto and Patrizio Dazzi and Domenico Laforenza and Nicola Tonellotto and Peter Kilpatrick,
    “Behavioural skeletons for component autonomic management on grids”,
    In Making Grids Work, Marco Danelutto and Paraskevi Fragopoulou and Vladimir Getov Ed., CoreGRID, pp. 3–15, 2008, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Marco Danelutto and Patrizio Dazzi,
    “Workflows on top of a macro data flow interpreter exploiting aspects”,
    In Making Grids Work, Marco Danelutto and Paraskevi Fragopoulou and Vladimir Getov Ed., CoreGRID, pp. 213–224, 2008, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Marco Danelutto and Marco Aldinucci and Peter Kilpatrick and Patrizio Dazzi,
    “From Orc Models to Distributed Grid Java code”,
    In Grid Computing: Achievements and Prospects, Sergei Gorlatch and Paraskevi Fragopoulou and Thierry Priol Ed., CoreGRID, pp. 13–24, 2008, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • M. Danelutto and P. Dazzi,
    “Joint Structured/Unstructured Parallelism Exploitation in muskel”,
    In Third International Workshop on Practical Aspects of High-Level Parallel Programming, Vassil N. Alexandrov and Geert Dick van Albada and Peter M. A. Sloot and Jack Dongarra Ed., Lecture Notes in Computer Science, pp. 937–944, 2006, Springer Berlin / Heidelberg
    <PDF> <BibTeX>
  • Marco Danelutto and Patrizio Dazzi and Domenico Laforenza and Marcelo Pasin and Luigi Presti and Marco Vanneschi,
    “PAL: Exploiting Java annotations for parallelism”,
    In Achievements in European Research on Grid Systems, Sergei Gorlatch and Marian Bubak and Thierry Priol Ed., CoreGRID, pp. 83–96, 2007, Springer Berlin / Heidelberg
    <PDF> <BibTeX>

Contributions to Conference Proceedings:

  • Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Matteo Mordacchini and Andrea Passarella,
    “Self-optimising Decentralised Service Placement in Heterogeneous Cloud Federation”
    10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016)
    <Accepted>
  • Patrizio Dazzi, Matteo Dell’Amico, Lorenzo Gabrielli, Alessandro Lulli, Pietro Michiardi, Mirco Nanni and Laura Ricci,
    Improving Population Estimation From Mobile Calls: a Clustering Approach
    21st IEEE Symposium on Computers and Communication (ISCC 2016)
    <BibTeX> <DOI>
  • Emanuele Carlini, Patrizio Dazzi, Alessandro Lulli and Laura Ricci,
    “Distributed graph processing: an approach based on overlay composition”
    31st Annual ACM Symposium on Applied Computing (SAC 2016),
    <BibTeX> <DOI>
  • Alessandro Lulli, Laura Ricci, Emanuele Carlini, Patrizio Dazzi
    “Distributed Current Flow Betweenness Centrality”
    9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015)
    <PDF> <BibTeX>
  • Alessandro Lulli, Laura Ricci, Emanuele Carlini, Patrizio Dazzi, Claudio Lucchese
    “Cracker: Crumbling Large Graphs Into Connected Components”
    20th IEEE Symposium on Computers and Communication (ISCC 2015)
    <PDF> <BibTeX>
  • Gaetano F. Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi
    “QBROKAGE: A Genetic Approach for QoS Cloud Brokering”
    7th IEEE International Conference on Cloud Computing (CLOUD 2014)
    <PDF> <BibTeX>
  • Gaetano F. Anastasi, Pietro Cassarà, Patrizio Dazzi, Alberto Gotta, Matteo Mordacchini, Andrea Passarella
    “A Hybrid Cross-Entropy Cognitive-based Algorithm for Resource Allocation in Cloud Environments”
    8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2014)
    <PDF> <BibTeX>
  • Gaetano F. Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, and Marco Distefano
    “An OVF Toolkit Supporting Inter-Cloud Application Splitting”
    3rd IEEE International Conference on Cloud Networking (CLOUDNET 2014)
    <PDF> <BibTeX>
  • Emanuele Carlini, Patrizio Dazzi, Andrea Esposito, Alessandro Lulli, and Laura Ricci
    “Balanced Graph Partitioning with Apache Spark”
    3rd Workshop on Big Data Management in Clouds in conjunction with Euro-Par 2014.
    <PDF> <BibTeX>
  • Gaetano F. Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Aliaksandr Lazouski, Fabio Martinelli, Gaetano Mancini, Paolo Mori
    “Usage Control in Cloud Federations”
    The Second IEEE Conference on Cloud Engineering (IC2E 2014)
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci,
    “Towards GROUP protocol formalization”
    In 2013 IEEE International Conference on Peer-to-Peer Computing, (P2P 2013), Trento, Italy, pp. 1–12, 2013, IEEE Computer Society
    <PDF> <BibTeX>
  • Gaetano F. Anastasi and Emanuele Carlini and Patrizio Dazzi,
    “Smart cloud federation simulations with CloudSim”,
    In Proceedings of the first ACM workshop on Optimization techniques for resources management in clouds, New York, NY, USA, pp. 9–16, 2013, ACM
    <PDF><BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Barbara Guidi and Laura Ricci,
    “GoDel: Delaunay Overlays in P2P Networks via Gossip”,
    In 2012 IEEE International Conference on Peer-to-Peer Computing, (P2P 2012), Tarragona, Spain, pp. 1–12, 2012, IEEE Computer Society
    <PDF> <BibTeX>
  • Massimo Coppola and Patrizio Dazzi and Aliaksandr Lazouski and Fabio Martinelli and Paolo Mori and Jens Jensen and Ian Johnson and Philip Kershaw,
    “The Contrail approach to cloud federations”,
    In Proceedings of the International Symposium on Grids and Clouds (ISGC’12), Taipei, Taiwan, 2012, Scuola Internazionale Superiore di Studi Avanzati
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Renato Ferrini,
    “A Multi-criteria Class-based Job Scheduler for Large Computing Farms”,
    In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2012), Hamid R. Arabnia, Hiroshi Ishii, Minoru Ito Kazuki Joe, Hiroaki Nishikawa Ed., Las Vegas, Nevada, USA, pp. 289–295, 2012, CSREA Press
    <PDF> <BibTeX>
  • Patrizio Dazzi and Matteo Mordacchini and Fabio Baglini,
    “Experiences with Complex User Profiles for Approximate P2P Community Matching”,
    In Proceedings of the 2011 IEEE 11th International Conference on Computer and Information Technology, Pafos, Cyprus, pp. 53–58, 2011, IEEE Computer Society
    <PDF> <BibTeX>
  • Matteo Mordacchini and Ranieri Baraglia and Patrizio Dazzi and Laura Ricci,
    “A P2P REcommender System based on Gossip Overlays (PREGO)”,
    In Proceedings of the 10th IEEE International Conference on Computer and Information Technology, Bradford, UK, pp. 83–90, 2010, IEEE Computer Society
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Gabriele Capannini and Giancarlo Pagano,
    “A Multi-criteria Job Scheduling Framework for Large Computing Farms”,
    In Proceedings of the 10th IEEE International Conference on Computer and Information Technology, Bradford, UK, pp. 187–194, 2010, IEEE Computer Society
    <PDF> <BibTeX>
  • R. Baraglia and P. Dazzi and M. Mordacchini and R. Perego and L. Ricci,
    “Gossip Communities: Collaborative Filtering Through Peer-to-Peer Overlays (Extended Abstract)”,
    In Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems (SEBD 2010), Sonia Bergamaschi and Stefano Lodi and Riccardo Martoglia and Claudio Sartori Ed., Rimini, Italy, pp. 54–61, 2010, Esculapio Editore
    <PDF> <BibTeX>
  • P. Dazzi and P. Felber and L. B. Anh and L. Leonini and M. Mordacchini and R. Perego and M. Rajman and E. Riviere,
    “Peer-to-Peer Clustering of Web-browsing Users”,
    In Proceedings of the 7th Workshop on Large-Scale Distributed Systems for Information Retrieval, co-located with ACM SIGIR 2009, C. Lucchese and G. Skobeltsyn and W. G. Yee Ed., Boston, Massachusetts, USA, pp. 71–78, 2009
    <PDF> <BibTeX>
  • Matteo Mordacchini and Patrizio Dazzi and Gabriele Tolomei and Ranieri Baraglia and Fabrizio Silvestri and Salvatore Orlando,
    “Challenges in designing an interest-based distributed aggregation of users in P2P systems”,
    In Proceedings of the International Conference on Ultra Modern Telecommunications \& Workshops, 2009, Hersonissos, Crete, Greece, pp. 1–8, 2009, IEEE Computer Society
    <PDF> <BibTeX>
  • Emanuele Carlini and Massimo Coppola and Patrizio Dazzi and Domenico Laforenza and Susanna Martinelli and Laura Ricci,
    “Service and Resource Discovery supports over P2P overlays”,
    In Proceedings of the International Conference on Ultra Modern Telecommunications \& Workshops, 2009, Hersonissos, Crete, Greece, pp. 1–8, 2009, IEEE Computer Society
    <PDF> <BibTeX>
  • Marco Danelutto and Marco Aldinucci and Peter Kilpatrick and Patrizio Dazzi,
    “From Orc Models to Distributed Grid Java code”,
    In Proceedings of the Integrated Research in Grid Computing Workshop, Sergei Gorlatch and Paraskevi Fragopoulou and Thierry Priol Ed., Hersonissos, Crete, Greece, pp. 2–13, 2008
    <PDF> <BibTeX>
  • Marco Aldinucci and Sonia Campa and Marco Danelutto and Marco Vanneschi and Peter Kilpatrick and Patrizio Dazzi and Domenico Laforenza and Nicola Tonellotto,
    “Behavioural skeletons in GCM: autonomic management of grid components”,
    In Proceedings of International Euromicro PDP 2008: Parallel Distributed and network-based Processing, Baz, D. El and J.Bourgeois and Spies, F. Ed., Toulouse, France, pp. 54–63, 2008, IEEE Computer Society
    <PDF> <BibTeX>
  • Marco Danelutto and Patrizio Dazzi,
    “Workflows on top of a macro data flow interpreter exploiting aspects”,
    In CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments, Heraklion, Crete, Greece, 2007
    <PDF> <BibTeX>
  • Marco Aldinucci and Sonia Campa and Marco Danelutto and Patrizio Dazzi and Peter Kilpatrick and Domenico Laforenza and Nicola Tonellotto,
    “Behavioural skeletons for component autonomic management on grids”,
    In CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments, Heraklion, Crete, Greece, 2007
    <PDF> <BibTeX>
  • Patrizio Dazzi and Fabrizio Nidito and Marco Pasquali,
    “New perspectives in autonomic design patterns for stream-classification-systems”,
    In Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, pp. 34–37, 2007, ACM
    <PDF> <BibTeX>
  • M. Danelutto and P. Dazzi and D. Laforenza and M. Pasin and L. Presti and M. Vanneschi,
    “PAL: High level parallel programming with Java annotations”,
    In CoreGRID Integration Workshop 2006 Integrated Research in Grid Computing, Sergei Gorlatch and Marian Bubak and Thierry Priol Ed., Krakow, Poland, pp. 189–200, 2006, CYFRONET AGH
    <PDF> <BibTeX>
  • Marco Danelutto and Patrizio Dazzi,
    “Java/Jini framework supporting stream parallel computations”,
    In Proceedings of the International Conference ParCo 2005, Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata Ed., Malaga, Spagna, pp. 681–688, 2005, Central Institute for Applied Mathematics, Jülich, Germany
    <PDF> <BibTeX>

Technical Reports:

  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci and Luca Alessi,
    “On Democracy in Peer-to-Peer systems”,
    A Technical Report of the ISTI-CNR, number 2010-TR-020, 2010
    <PDF><BibTeX>
  • Dazzi, P. and Mordacchini, M.,
    “Mendeley Recommender System: Experimental Results”,
    A Technical Report of the ISTI-CNR, number 2010-TR-005, 2010
    <BibTeX>
  • Dazzi, P. and Mordacchini, M.,
    “Mendeley Recommender System: Evaluation Measures”,
    A Technical Report of the ISTI-CNR, number 2010-TR-006, 2010
    <BibTeX>
  • Campa, M. Aldinucci and S. and Coppola, M. and Danelutto, M. and Zoppi, G. and Basso, A. and Bolotov, A. and Baude, F. and Bouziane, H. and Caromel, D. and Henrio, L. and Pérez, C. and Cunha, J. and Classen, M. and Classen, P. and Lengauer, C. and Cohen, J. and Gough, S. Mc and Currle-Linde, N. and Dazzi, P. and Tonellotto, N. and Dünnweber, J. and Gorlatch, S. and Kilpatrick, P. and Ranaldo, N. and Zimeo, E.,
    “Proceedings of the Programming Model Institute Technical meeting 2008”,
    A Technical Report of the Institute of Programming Model, CoreGRID – Network of Excellence, number TR-0138, 2008
    <PDF> <BibTeX>
  • Dazzi, P. and Pasquali, M.,
    “Formalization of autonomic heuristics-driven systems”,
    A Technical Report of the ISTI-CNR, number 2008-TR-004, 2008
    <PDF> <BibTeX>
  • Dazzi, P. and Panciatici, A. and Pasquali, M.,
    “A formal checklist for self-optimizing strategy-driven priority classification system”,
    A Technical Report of the ISTI-CNR, number 2008-TR-005, 2008
    <PDF> <BibTeX>
  • Aldinucci, M. and Campa, S. and Danelutto, M. and Kilpatrick, P. and Dazzi, P. and Laforenza, D. and Tonellotto, N.,
    “Behavioural skeletons for component autonomic management on grids”,
    A Technical Report of the Università di Pisa, Dipartimento di Informatica, number TR-07-12, 2007
    <PDF> <BibTeX>

Miscellaneous:

  • Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Matteo Mordacchini,
    “Challenges to be addressed for realising an Ephemeral Cloud Federation”
    CoRR, arXiv:1610.07371, 2016
  • Patrizio Dazzi,
    “BASMATI – Cloud Brokerage Across Borders For Mobile Users And Applications”
    ERCIM News, number 107, 2016
    <PDF> <BibTeX>
  • Emanuele Carlini and Patrizio Dazzi and Alessandro Lulli and Laura Ricci,
    “Layered Thinking in Vertex Centric Computations”,
    ERCIM News, number 102, 2015
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci,
    “ATLAAS-P2P: A Two-Layer Architecture for Approximated Search in Peer to Peer”,
    ERCIM News, number 92, 2013
    <PDF> <BibTeX>
  • Patrizio Dazzi and Emanuele Carlini,
    “Epeerdemics: A Peer-to-Peer Simulator Targeting Epidemic-Based Protocols.”,
    ERCIM News, number 92, 2013
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci,
    “ATLAAS-P2P: a two layer network solution for easing the resource discovery process in unstructured networks”,
    CoRR, vol.abs/1306.2160, 2013
    <PDF> <BibTeX>
  • Patrizio Dazzi,
    “Let’s Annotate to Let Our Code Run in Parallel”,
    CoRR, vol.abs/1306.2267, 2013
    <PDF> <BibTeX>
  • Patrizio Dazzi,
    “A Tool for Programming Embarrassingly Task Parallel Applications on CoW and NoW”,
    CoRR, vol.abs/1306.5782, 2013
    <PDF> <BibTeX>
  • Ranieri Baraglia and Patrizio Dazzi and Matteo Mordacchini and Laura Ricci and Luca Alessi,
    “On Democracy in Peer-to-Peer systems”,
    CoRR, vol.abs/1106.3172, 2011
    <PDF> <BibTeX>

Note to readers:

As a contributing author of the documents listed on this page, I have made available our work electronically to ensure timely dissemination of scientific and technical contributions on a non-commercial basis. Nevertheless, copyright and all rights therein are maintained by the authors or by other copyright holders (e.g., the publisher). It is understood that all persons accessing this information will adhere to the appropriate copyright rules. In particular, these works may not be reposted without the explicit permission of the copyright holder.