Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

grupos:avispa:introductory_material [2011/01/24 15:30] editor externo
grupos:avispa:introductory_material [2011/06/23 10:20] (actual)
farhat [Readings]
Línea 1: Línea 1:
 +====== Introductory Material ======
 +This page provides a summary of [[grupos:avispa:introductory_material#readings|readings]] and [[grupos:avispa:introductory_material#links|links]] that might be of interest to AVISPA members. Return to the [[grupos:avispa:avispa|AVISPA Website]].
 +===== Readings =====
 +=== Constraint Programing, Constraint Solving ===
 +  * {{:grupos:avispa:resources:cp-strategic_directions.pdf|Constraint Programming: Strategic Directions}} by P. Van Hentenryck and V. Saraswat. A nicely written introduction to CP; some interesting application areas are explained. This paper appeared in the Journal Constraints.
 +  * {{:grupos:avispa:resources:bartak-intro_to_cp.pdf|Constraint Programming: In Pursuit of the Holy Grail}} by Roman Bartak. See also his [[http://ktiml.mff.cuni.cz/~bartak/constraints/|Online Guide to Constraints]].
 +  * See [[http://4c.ucc.ie/~bms/|Barbara Smith]]'s {{:grupos:avispa:resources:smith04-introcp.pdf|introduction to CP}} (slides). See also her [[http://4c.ucc.ie/~bms/talks.html|Talks page]] for more introductory material.
 +  * Tutorials on Soft Constraints (Slides):
 +    * Soft constraints: models, algorithms, and applications by P. Meseguer, F. Rossi, T. Schiex. This set of slides was presented in CP 2001. Contains lots of references and concrete eamples. Download it from Rossi's site: {{http://www.math.unipd.it/~frossi/part1.ps.gz|part one}}, {{http://www.math.unipd.it/~frossi/part2.ps.gz|part two}} and {{http://www.math.unipd.it/~frossi/part3.ps.gz|part three}}.
 +    *{{:grupos:avispa:resources:tutorialsoft.pdf|Soft Constraint Solving}} by J. Larrosa and T. Schiex. A tutorial recently presented in CP 06.
 +=== Process Calculi, Concurrent Constraint Programming ===
 +  * {{:grupos:avispa:resources:essay-palamidessi-valencia.pdf|Languages for Concurrency}} by C. Palamidessi and F. Valencia. This paper is an excellent introduction to concurrency, explaining the main features that models for concurrency usually have. This piece will appear in the Bulletin of EATCS.
 +  * {{:grupos:avispa:resources:nestmann-concur2006.pdf|Welcome to the Jungle. A subjective guide to mobile process calculi}} by Uwe Nestmann. This paper corresponds to a tutorial given at CONCUR 2006, the international conference on concurrency theory.
 +  * {{:grupos:avispa:resources:pa-history.pdf|A Brief History of Process Algebra}} by [[http://www.win.tue.nl/~josb/|J.C.M. Baeten]].
 +  * {{:grupos:avispa:resources:dr00.pdf|Modelos para la Computación Móvil}} by J. F. Díaz and C. Rueda. In this paper three calculi for mobile processes are explained: Milner's Pi, Cardelli and Gordon's Ambient and AVISPA's PiCO. Includes examples. This paper appeared in the Colombian Journal of Computing.
 +  * {{:grupos:avispa:papers:nv03.pdf|Notes on Timed CCP}} by M. Nielsen and F. D. Valencia. This note provides an overview of timed ccp with its basic background and various approaches  explored in the literature. Furthermore, the note offers an introduction to the ntcc process calculus.
 +=== Systems and Molecular Biology, Process Calculi for Biology ===
 +Papers on bioinformatics, with good (and easy to read) background on molecular biology:
 +  * Recommended !!! {{:grupos:avispa:resources:01-hunter.pdf|Molecular Biology for Computer Scientists}} by Lawrence Hunter. Chapter 1 of the Book "Artificial Intelligence and Molecular Biology", freely available from this [[http://www.aaai.org/Library/Classic/hunter.php|page]]
 +  * {{:grupos:avispa:resources:cohen_bioinformatics.pdf|Bioinformatics—An Introduction for Computer Scientists}} by [[http://www.cs.brandeis.edu/~jc|Jacques Cohen]]. This paper appeared in ACM Computing Surveys. 
 +These two papers by Hiroaki Kitano (see [[http://www.symbio.jst.go.jp/symbio2/index.html|this page]]) are excellent references to understand what biologists want from systems biology. They're not very easy to read, though:
 +  * {{:grupos:avispa:resources:kitano-sysbio.pdf|Systems Biology: A Brief Overview}}. This paper appeared on //Science//.
 +  * {{:grupos:avispa:resources:kitano-nature.pdf|Computational systems biology.}} This paper appeared on //Nature//.
 +This book provides good background. It's in Javeriana Library (006C646c e1)
 +  * [[http://www.wiley.co.uk/wileychi/genomics/clote.html|Computational Molecular Biology: An Introduction]] by R. Backofen and P. Clote.
 +Papers on biology and process calculi:
 +  * {{:grupos:avispa:papers:gpr05.pdf|Modelamiento de Sistemas Biológicos Utilizando Cálculos de Procesos}} (In Spanish) by J. Gutiérrez, J. A. Pérez and C. Rueda. This is an introductory paper to biology and process calculi for biology, with an emphasis on how Concurrent Constraint Programming can help in Biology. This paper appeared in Epiciclos. 
 +  * {{:grupos:avispa:resources:process-calculi_and_biology.pdf|Process Calculi in a Biological Context}} by D. Prandi and C. Priami and P. Quaglia. This paper appeared in the Concurrency Column of the Bulletin of the EATCS (European Association on Theoretical Computer Science).
 +  * {{:grupos:avispa:resources:gpr_06.pdf|Timed Concurrent Constraint Programming for Analyzing Biological Systems}} by J. Gutiérrez, J. A. Pérez, C. Rueda and F. Valencia. In this paper it is explained how ntcc fits in the biological context; the calculus is introduced with bio examples and a simple cellular system is modelled and verified. 
 +=== Multimedia Interaction / Computer Music ===
 +  * {{:grupos:avispa:resources:harmonization-survey-pachet.pdf| Computer aided music harmonization}} by F. Pachet. A broad overview of the use of constraints for musical harmonization. Includes a brief summary of harmonic rules.
 +  * {{:grupos:avispa:resources:dalb-style.pdf|machine learning of musical style}} by Dubnov, Assayag et al. This papers introduces statistical models for machine learning of a composer musical style. Once the style is learned, the musician can improvise with a sort of "clone" of himself modeled in the computer.
 +=== Security, Process Calculi for Security ===
 +  * {{:grupos:avispa:resources:clark-authentication.pdf| A Survey of Authentication Protocol Literature: Version 1.0}} by J. Clark and J. Jacob. Excellent, self-contained introduction to authentication and protocols in general.
 +  * {{:grupos:avispa:resources:abad-prudent.pdf|Prudent engineering practice for cryptographic protocols}} by M. Abadi and R. Needham. This paper introduces to basic notions of security and security protocols. It's a good first reading on the subject, as it presents principles for protocol design instead of a particular formalism.
 +  * {{:grupos:avispa:resources:abadi-properties.pdf|Security Protocols and their Properties}} by M. Abadi. Another good introductory paper. Some notions of name-passing calculi are explained in a very gently way.
 +  * {{:grupos:avispa:resources:ag-spicalculus97.pdf|A calculus for cryptographic protocols: The spi calculus}} by M. Abadi and A. Gordon. Everyone interested in formal methods for security should read and understand this paper. Some knowledge on pi and security notions is advisable. This paper appeared in Information and Computation.
 +=== How to write English correctly ===
 +  * Jefferson D. Bates. Writing with precision: How to write so that you cannot be possible misunderstood. Penguin Books, 2000.
 +  * Lyn Drupé. Bugs in writing: A guide to debugging your prose, Revised Edition. Addyson Wesley Longman, 1998.
 +  * Michel Swan. Practical English Usage, Third Edition. Oxford University Press. 
 +===== Links =====
 +  * **Process Calculi / Concurrency Theory and their Applications** 
 +      * First you might want to read something about [[http://www.math.niu.edu/~rusin/known-math/index/68-XX.html|Computer Science]]
 +      * [[http://lamp.epfl.ch/mobility|Calculi for Mobile Processes]]. Recommended. This is an excellent starting point for newcomers.
 +      * Wikipedia entries on [[wp>Process_calculi]] and [[wp>Pi-calculus]]
 +      * [[http://www.pi4tech.com|Pi4 Technologies Foundation]] These guys are interested in applying process algebra and other concurrency formalisms to software development. It seems to be a nice place to learn about real applications of process calculi. 
 +      * [[http://www.jpbowen.com/|Jonathan Bowen]]'s page on [[http://www.afm.sbu.ac.uk/concurrent/|Concurrent Systems]]
 +      * [[http://www.cl.cam.ac.uk/Research/TSG/| Theory and Semantics Group at Cambridge]]
 +      * Subscribe to the [[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/|newsletter]] of the [[http://www.cs.kuleuven.ac.be/%7Edtai/projects/ALP/|ALP]] - Association for Logic Programming. Includes articles on the relationship of logic (programming) with concurrency, constraints, verification, and several other areas.
 +      * [[http://boole.stanford.edu/|Concurrency Group at Stanford]]
 +      * Luca Aceto's blogs: [[http://processalgebra.blogspot.com/|Process Algebra Diary]] and [[http://concurrencywg.blogspot.com/|Concurrency Theory]]
 +      * [[http://www.saraswat.org|Vijay Saraswat]]'s page dedicated to the [[http://www.saraswat.org/ccp.html|concurrent constraint programming (ccp)]] model.
 +      * [[http://www.dcs.qmul.ac.uk/~kohei/|Kohei Honda]]'s [[http://lampwww.epfl.ch/mobility/bib/honda.html|Selected Bibliography on Mobile Processes]]
 +      * [[http://www.lsv.ens-cachan.fr/spore/table.html|SPORE]] - Security Protocols Open REpository:  a very complete reference of security protocols, including description, known attacks and claimed proofs for each of them.
 +      * [[http://www.cs.york.ac.uk/security/LibraryPages/protocols.html|Security Protocols Papers and Links]] This is an excellent site that chronologically lists the most relevant papers on security and protocols <color red> Recommended</color>.
 +      * Visit the home pages of some experts in formal security: [[http://www.cs.ucsc.edu/~abadi/home.html|Martin Abadi]], [[http://www.cs.ncl.ac.uk/people/home.php?id=105|Peter Ryan]].[[http://www.inf.ethz.ch/personal/basin|David Basin]]
 +  * **Constraint Satisfaction**
 +      * The [[http://www.mozart-oz.org|Mozart Programming System]] 
 +      * The [[http://www.gecode.org/|Gecode]] environment for developing constraint-based systems and applications.
 +      * Roman Barták's [[http://ktiml.mff.cuni.cz/~bartak/constraints/|Online Guide to Constraint Programming]]
 +      * Wikipedia's entry on [[wp>Arc_consistency]] techniques it's very complete
 +      * [[http://slash.math.unipd.it/cp/|Constraint Programming Online]], a site maintained by the [[http://slash.math.unipd.it/acp/index.html|ACP]] - Association for Constraint Programming
 +      * [[http://groups.yahoo.com/group/constraints/|Yahoo! discussion group on constraints]]
 +      * [[http://www.faqs.org/faqs/constraints-faq/part1/preamble.html|Constraint Satisfaction FAQ]]
 +      * [[http://interval.sourceforge.net/interval/index.html|Interval Arithmetic]]
 +  * **Multimedia Interaction / Music**
 +      * [[http://www.siba.fi/eng/|Sibelius Academy]]
 +      * [[http://www.societymusictheory.org/|Society for Music Theory]]
 +      * The [[http://recherche.ircam.fr/equipes/repmus/OpenMusic/|OpenMusic]] web site at IRCAM
 +===== Some Talks =====
 +(by AVISPA members)
 +   *  [[http://cic.puj.edu.co/~japerez/Talks/talk_ntcc-tutorial-recortado.pdf|Concurrency, Time and Constraints]]: a reduced version of [[http://www.brics.dk/%7Efvalenci/papers/tccp-tutorial-slides.pdf|this talk]] by Frank Valencia (AVISPA Seminar, November 10, 2006)
 +   * [[http://www.info.ucl.ac.be/~luque/papers/public_talk.pdf|Solving Constrained Graph Problems using Reachability Constraints based on Transitive Closure and  Dominators]]: these are slides of the public PhD defense of Luis O. Quesada (November 10, 2006).
 +   *  [[http://cic.puj.edu.co/~japerez/Talks/introPC.pdf|A Gentle Introduction to Languages for Concurrency]] (AVISPA Seminar, November 3, 2006)
 +   *  [[http://cic.puj.edu.co/~japerez/Talks/react-introduction.pdf|An Introduction to the REACT Project]] (In Spanish) This talk was given in the [[materias:seminario_i|Seminario I]] course (October 18, 2006).
 +   *  [[http://cic.puj.edu.co/~japerez/Talks/introNTCC-bio.pdf|Using a Timed Concurrent Constraint Process Calculus for Modeling and Verifying Biological Systems]] This talk was given in MeCBIC'06, Venice, Italia.
 +   *   {{:grupos:avispa:papers:presentacion-sem-i-2007.pdf|SeminarioI-2007}} This talk (in Spanish) was given to the course Seminario I, at Universidad Javeriana-Cali (February 2007).
 +  * [[http://cic.puj.edu.co/~ggutierrez/lect/frankntcc-video-1.mov|NTTC]] and the [[http://cic.puj.edu.co/~ggutierrez/lect/slides]]
 +  * [[http://cic.puj.edu.co/~ggutierrez/lect/frankvideo2-low.mov|NTTC Applications]]
 +  * [[http://cic.puj.edu.co/~ggutierrez/lect/AlbertoRiascos.mov|Interview with a musician about music improvisation]]
grupos/avispa/introductory_material.txt · Última modificación: 2011/06/23 10:20 por farhat
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki