text:
.math.utah.edu/pub/tex/bib/sigplan2010.bib",
  abstract =     "Current websites are a combination of server-generated
                 dynamic content with client-side interactive programs.
                 Dynamically --- typed languages have gained a lot of
                 ground in both of these domains. The growth of Web 2.0
                 has introduced a myriad of websites which contain
                 personalized content, which is specific to the user.
                 PHP or Python programs generate the actual HTML page
                 after querying a database and processing the results,
                 which are then presented by the browser. It is becoming
                 more and more vital to accelerate the execution of
                 these programs, as this is a significant part of the
                 total time needed to present the page to the user. This
                 paper presents a novel interpreter for the PHP language
                 written in RPython, which the PyPy translator then
                 translates into C. The translator integrates into the
                 interpreter a tracing just-in-time compiler which
                 optimizes the hottest loops in the interpreted
                 programs. We also describe a data model that supports
                 all the data types in the PHP language, such as
                 references and iterators. We evaluate the performance
                 of this interpreter, showing that speedups up to a
                 factor of 8 are observed using this approach.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  remark =       "DSL '11 conference proceedings.",
}

@Article{Hosmer:2012:GSS,
  author =       "Ben Hosmer",
  title =        "Getting started with {Salt Stack} --- the other
                 configuration management system built with {Python}",
  journal =      j-LINUX-J,
  volume =       "2012",
  number =       "223",
  pages =        "3:1--3:??",
  month =        nov,
  year =         "2012",
  CODEN =        "LIJOFX",
  ISSN =         "1075-3583 (print), 1938-3827 (electronic)",
  ISSN-L =       "1075-3583",
  bibdate =      "Tue Dec 11 07:44:23 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/linux-journal.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  abstract =     "Install and configure software on multiple servers at
                 once.",
  acknowledgement = ack-nhfb,
  articleno =    "3",
  fjournal =     "Linux Journal",
}

@Article{Ishizaki:2012:ADT,
  author =       "Kazuaki Ishizaki and Takeshi Ogasawara and Jose
                 Castanos and Priya Nagpurkar and David Edelsohn and
                 Toshio Nakatani",
  title =        "Adding dynamically-typed language support to a
                 statically-typed language compiler: performance
                 evaluation, analysis, and tradeoffs",
  journal =      j-SIGPLAN,
  volume =       "47",
  number =       "7",
  pages =        "169--180",
  month =        jul,
  year =         "2012",
  CODEN =        "SINODQ",
  DOI =          "http://dx.doi.org/10.1145/2365864.2151047",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu Sep 6 10:01:03 MDT 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "VEE '12 conference proceedings.",
  abstract =     "Applications written in dynamically typed scripting
                 languages are increasingly popular for Web software
                 development. Even on the server side, programmers are
                 using dynamically typed scripting languages such as
                 Ruby and Python to build complex applications quickly.
                 As the number and complexity of dynamically typed
                 scripting language applications grows, optimizing their
                 performance is becoming important. Some of the best
                 performing compilers and optimizers for dynamically
                 typed scripting languages are developed entirely from
                 scratch and target a specific language. This approach
                 is not scalable, given the variety of dynamically typed
                 scripting languages, and the effort involved in
                 developing and maintaining separate infrastructures for
                 each. In this paper, we evaluate the feasibility of
                 adapting and extending an existing production-quality
                 method-based Just-In-Time (JIT) compiler for a language
                 with dynamic types. Our goal is to identify the
                 challenges and shortcomings with the current
                 infrastructure, and to propose and evaluate runtime
                 techniques and optimizations that can be incorporated
                 into a common optimization infrastructure for static
                 and dynamic languages. We discuss three extensions to
                 the compiler to support dynamically typed languages:
                 (1) simplification of control flow graphs, (2) mapping
                 of memory locations to stack-allocated variables, and
                 (3) reduction of runtime overhead using language
                 semantics. We also propose four new optimizations for
                 Python in (2) and (3). These extensions are effective
                 in reduction of compiler working memory and improvement
                 of runtime performance. We present a detailed
                 performance evaluation of our approach for Python,
                 finding an overall improvement of 1.69x on average (up
                 to 2.74x) over our JIT compiler without any
                 optimization for dynamically typed languages and
                 Python.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
}

@Article{Johansson:2012:QOS,
  author =       "J. R. Johansson and P. D. Nation and Franco Nori",
  title =        "{QuTiP}: an open-source {Python} framework for the
                 dynamics of open quantum systems",
  journal =      j-COMP-PHYS-COMM,
  volume =       "183",
  number =       "8",
  pages =        "1760--1772",
  month =        aug,
  year =         "2012",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/j.cpc.2012.02.021",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Tue Apr 24 06:33:31 MDT 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/gnu.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.sciencedirect.com/science/journal/00104655",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465512000835",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
}

@Book{Johnson:2012:CIP,
  author =       "Mark J. (Mark James) Johnson",
  title =        "A concise introduction to programming in {Python}",
  publisher =    pub-CRC,
  address =      pub-CRC:adr,
  pages =        "xi + 205",
  year =         "2012",
  ISBN =         "1-4398-9694-1 (paperback)",
  ISBN-13 =      "978-1-4398-9694-5 (paperback)",
  LCCN =         "QA76.73.P98 J64 2012",
  bibdate =      "Fri Nov 16 06:29:01 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Chapman and Hall/CRC textbooks in computing",
  acknowledgement = ack-nhfb,
  subject =      "Python (Computer program language); Computer
                 programming",
}

@Article{Klarner:2012:TSD,
  author =       "Hannes Klarner and Heike Siebert and Alexander
                 Bockmayr",
  title =        "Time Series Dependent Analysis of Unparametrized
                 {Thomas} Networks",
  journal =      j-TCBB,
  volume =       "9",
  number =       "5",
  pages =        "1338--1351",
  month =        sep,
  year =         "2012",
  CODEN =        "ITCBCY",
  DOI =          "http://dx.doi.org/10.1109/TCBB.2012.61",
  ISSN =         "1545-5963 (print), 1557-9964 (electronic)",
  ISSN-L =       "1545-5963",
  bibdate =      "Tue Aug 28 17:31:04 MDT 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.math.utah.edu/pub/tex/bib/tcbb.bib",
  abstract =     "This paper is concerned with the analysis of labeled
                 Thomas networks using discrete time series. It focuses
                 on refining the given edge labels and on assessing the
                 data quality. The results are aimed at being
                 exploitable for experimental design and include the
                 prediction of new activatory or inhibitory effects of
                 given interactions and yet unobserved oscillations of
                 specific components in between specific sampling
                 intervals. On the formal side, we generalize the
                 concept of edge labels and introduce a discrete time
                 series interpretation. This interpretation features two
                 original concepts: 1) Incomplete measurements are
                 admissible, and 2) it allows qualitative assumptions
                 about the changes in gene expression by means of
                 monotonicity. On the computational side, we provide a
                 Python script, erda.py, that automates the suggested
                 workflow by model checking and constraint satisfaction.
                 We illustrate the workflow by investigating the yeast
                 network IRMA.",
  acknowledgement = ack-nhfb,
  fjournal =     "IEEE/ACM Transactions on Computational Biology and
                 Bioinformatics",
}

@InProceedings{Logg:2012:DCP,
  author =       "Anders Logg and Garth N. Wells and Johan Hake",
  title =        "{DOLFIN}: a {C++\slash Python} finite element
                 library",
  crossref =     "Logg:2012:ASD",
  volume =       "84",
  pages =        "173--225",
  year =         "2012",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-23099-8_10",
  bibdate =      "Fri Dec 21 16:04:32 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncse.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-23099-8_10",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/978-3-642-23099-8",
  book-URL =     "http://www.springerlink.com/content/978-3-642-23099-8",
}

@Book{McKinney:2012:PDA,
  author =       "Wes McKinney",
  title =        "{Python} for Data Analysis",
  publisher =    pub-ORA,
  address =      pub-ORA:adr,
  pages =        "400",
  year =         "2012",
  ISBN =         "1-4493-1979-3 (paperback)",
  ISBN-13 =      "978-1-4493-1979-3 (paperback)",
  LCCN =         "????",
  bibdate =      "Wed Nov 21 15:43:30 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ora.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 library.ox.ac.uk:210/ADVANCE; z3950.gbv.de:20011/gvk",
  price =        "EUR 32.00; UK \pounds 30.99",
  acknowledgement = ack-nhfb,
  subject =      "Data mining; Python (Computer program language)",
}

@Article{Pool:2012:SNU,
  author =       "Ren{\'e} Pool and Jaap Heringa and Martin Hoefling and
                 Roland Schulz and Jeremy C. Smith and K. Anton
                 Feenstra",
  title =        "Software News and Updates: Enabling grand-canonical
                 {Monte Carlo}: {Extending} the flexibility of {GROMACS}
                 through the {GromPy} {Python} interface module",
  journal =      j-J-COMPUT-CHEM,
  volume =       "33",
  number =       "12",
  pages =        "1207--1214",
  day =          "5",
  month =        may,
  year =         "2012",
  CODEN =        "JCCHDD",
  DOI =          "http://dx.doi.org/10.1002/jcc.22947",
  ISSN =         "0192-8651 (print), 1096-987X (electronic)",
  ISSN-L =       "0192-8651",
  bibdate =      "Sat Dec 1 12:11:06 MST 2012",
  bibsource =    "http://www.interscience.wiley.com/jpages/0192-8651;
                 ;
                 http://www.math.utah.edu/pub/tex/bib/python.bibhttp://www.math.utah.edu/pub/tex/bib/jcomputchem2010.bib",
  acknowledgement = ack-nhfb,
  onlinedate =   "28 Feb 2012",
}

@Article{Saha:2012:PPC,
  author =       "Amit Saha",
  title =        "Parallel programming in {C} and {Python}",
  journal =      j-LINUX-J,
  volume =       "2012",
  number =       "217",
  pages =        "4:1--4:??",
  month =        may,
  year =         "2012",
  CODEN =        "LIJOFX",
  ISSN =         "1075-3583 (print), 1938-3827 (electronic)",
  ISSN-L =       "1075-3583",
  bibdate =      "Mon Jun 4 16:52:28 MDT 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/linux-journal.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  abstract =     "How to get started with parallel programming",
  acknowledgement = ack-nhfb,
  articleno =    "4",
  fjournal =     "Linux Journal",
}

@Article{Serang:2012:FMS,
  author =       "Oliver Serang and William Stratford Noble",
  title =        "Faster Mass Spectrometry-Based Protein Inference:
                 Junction Trees Are More Efficient than Sampling and
                 Marginalization by Enumeration",
  journal =      j-TCBB,
  volume =       "9",
  number =       "3",
  pages =        "809--817",
  month =        may,
  year =         "2012",
  CODEN =        "ITCBCY",
  DOI =          "http://dx.doi.org/10.1109/TCBB.2012.26",
  ISSN =         "1545-5963 (print), 1557-9964 (electronic)",
  ISSN-L =       "1545-5963",
  bibdate =      "Thu Apr 19 17:58:10 MDT 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.math.utah.edu/pub/tex/bib/tcbb.bib",
  abstract =     "The problem of identifying the proteins in a complex
                 mixture using tandem mass spectrometry can be framed as
                 an inference problem on a graph that connects peptides
                 to proteins. Several existing protein identification
                 methods make use of statistical inference methods for
                 graphical models, including expectation maximization,
                 Markov chain Monte Carlo, and full marginalization
                 coupled with approximation heuristics. We show that,
                 for this problem, the majority of the cost of inference
                 usually comes from a few highly connected subgraphs.
                 Furthermore, we evaluate three different statistical
                 inference methods using a common graphical model, and
                 we demonstrate that junction tree inference
                 substantially improves rates of convergence compared to
                 existing methods. The python code used for this paper
                 is available at
                 http://noble.gs.washington.edu/proj/fido.",
  acknowledgement = ack-nhfb,
  fjournal =     "IEEE/ACM Transactions on Computational Biology and
                 Bioinformatics",
}

@Article{Small:2012:SPB,
  author =       "Alex Small",
  title =        "Scientific {Python} for Both Expert and Novice
                 Programmers",
  journal =      j-COMPUT-SCI-ENG,
  volume =       "14",
  number =       "2",
  pages =        "6--7",
  month =        mar # "\slash " # apr,
  year =         "2012",
  CODEN =        "CSENFA",
  DOI =          "http://dx.doi.org/10.1109/MCSE.2012.30",
  ISSN =         "1521-9615 (print), 1558-366X (electronic)",
  ISSN-L =       "1521-9615",
  bibdate =      "Sat Mar 17 08:29:33 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.math.utah.edu/pub/tex/bib/computscieng.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Computing in Science and Engineering",
}

@Article{Takikawa:2012:GTF,
  author =       "Asumu Takikawa and T. Stephen Strickland and Christos
                 Dimoulas and Sam Tobin-Hochstadt and Matthias
                 Felleisen",
  title =        "Gradual typing for first-class classes",
  journal =      j-SIGPLAN,
  volume =       "47",
  number =       "10",
  pages =        "793--810",
  month =        oct,
  year =         "2012",
  CODEN =        "SINODQ",
  DOI =          "http://dx.doi.org/10.1145/2398857.2384674",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu Nov 15 16:40:23 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.math.utah.edu/pub/tex/bib/sigplan2010.bib",
  abstract =     "Dynamic type-checking and object-oriented programming
                 often go hand-in-hand; scripting languages such as
                 Python, Ruby, and JavaScript all embrace
                 object-oriented (OO) programming. When scripts written
                 in such languages grow and evolve into large programs,
                 the lack of a static type discipline reduces
                 maintainability. A programmer may thus wish to migrate
                 parts of such scripts to a sister language with a
                 static type system. Unfortunately, existing type
                 systems neither support the flexible OO composition
                 mechanisms found in scripting languages nor accommodate
                 sound interoperation with untyped code. In this paper,
                 we present the design of a gradual typing system that
                 supports sound interaction between statically- and
                 dynamically-typed units of class-based code. The type
                 system uses row polymorphism for classes and thus
                 supports mixin-based OO composition. To protect
                 migration of mixins from typed to untyped components,
                 the system employs a novel form of contracts that
                 partially seal classes. The design comes with a theorem
                 that guarantees the soundness of the type system even
                 in the presence of untyped components.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  remark =       "OOPSLA '12 conference proceedings.",
}

@InProceedings{Wilbers:2012:IJT,
  author =       "Ilmar M. Wilbers and Kent-Andre Mardal and Martin S.
                 Aln{\ae}s",
  title =        "Instant: just-in-time compilation of {C\slash C++} in
                 {Python}",
  crossref =     "Logg:2012:ASD",
  volume =       "84",
  pages =        "257--272",
  year =         "2012",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-23099-8_14",
  bibdate =      "Fri Dec 21 16:04:32 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncse.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-23099-8_14",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/978-3-642-23099-8",
  book-URL =     "http://www.springerlink.com/content/978-3-642-23099-8",
}

@Article{Wimmer:2012:AEN,
  author =       "M. Wimmer",
  title =        "{Algorithm 923}: Efficient Numerical Computation of
                 the {Pfaffian} for Dense and Banded Skew-Symmetric
                 Matrices",
  journal =      j-TOMS,
  volume =       "38",
  number =       "4",
  pages =        "30:1--30:??",
  month =        aug,
  year =         "2012",
  CODEN =        "ACMSCU",
  DOI =          "http://dx.doi.org/10.1145/2331130.2331138",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Thu Aug 30 18:55:10 MDT 2012",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toms/;
                 http://www.math.utah.edu/pub/tex/bib/mathematica.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.math.utah.edu/pub/tex/bib/toms.bib",
  abstract =     "Computing the Pfaffian of a skew-symmetric matrix is a
                 problem that arises in various fields of physics. Both
                 computing the Pfaffian and a related problem, computing
                 the canonical form of a skew-symmetric matrix under
                 unitary congruence, can be solved easily once the
                 skew-symmetric matrix has been reduced to
                 skew-symmetric tridiagonal form. We develop efficient
                 numerical methods for computing this tridiagonal form
                 based on Gaussian elimination, using a skew-symmetric,
                 blocked form of the Parlett-Reid algorithm, or based on
                 unitary transformations, using block Householder
                 transformations and Givens rotations, that are
                 applicable to dense and banded matrices, respectively.
                 We also give a complete and fully optimized
                 implementation of these algorithms in Fortran
                 (including a C interface), and also provide Python,
                 Matlab and Mathematica implementations for convenience.
                 Finally, we apply these methods to compute the
                 topological charge of a class D nanowire, and show
                 numerically the equivalence of definitions based on the
                 Hamiltonian and the scattering matrix.",
  acknowledgement = ack-nhfb,
  articleno =    "30",
  fjournal =     "ACM Transactions on Mathematical Software (TOMS)",
}

@Article{Chudoba:2013:UPS,
  author =       "R. Chudoba and V. Sad{\'\i}lek and R. Rypl and M.
                 Vorechovsk{\'y}",
  title =        "Using {Python} for scientific computing: Efficient and
                 flexible evaluation of the statistical characteristics
                 of functions with multivariate random inputs",
  journal =      j-COMP-PHYS-COMM,
  volume =       "184",
  number =       "2",
  pages =        "414--427",
  month =        feb,
  year =         "2013",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/j.cpc.2012.08.021",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Fri Nov 2 11:55:56 MDT 2012",
  bibsource =    "http://www.sciencedirect.com/science/journal/00104655;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465512003086",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
}

@Article{Chun:2013:GPP,
  author =       "Kyungwon Chun and Huioon Kim and Hyounggyu Kim and Kil
                 Su Jung and Youngjoo Chung",
  title =        "{GMES}: a {Python} package for solving {Maxwell}'s
                 equations using the {FDTD} method",
  journal =      j-COMP-PHYS-COMM,
  volume =       "184",
  number =       "4",
  pages =        "1272--1279",
  month =        apr,
  year =         "2013",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/j.cpc.2012.12.011",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 4 10:51:11 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.sciencedirect.com/science/journal/00104655",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465512004079",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
}

@Article{Johansson:2013:QPF,
  author =       "J. R. Johansson and P. D. Nation and Franco Nori",
  title =        "{QuTiP 2}: a {Python} framework for the dynamics of
                 open quantum systems",
  journal =      j-COMP-PHYS-COMM,
  volume =       "184",
  number =       "4",
  pages =        "1234--1240",
  month =        apr,
  year =         "2013",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/j.cpc.2012.11.019",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 4 10:51:11 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib;
                 http://www.sciencedirect.com/science/journal/00104655",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465512003955",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
}

@Misc{Anonymous:20xx:PP,
  author =       "Anonymous",
  title =        "The {Python} Papers",
  howpublished = "Web site",
  year =         "20xx",
  ISSN =         "1834-3147",
  bibdate =      "Thu Apr 16 09:01:00 2009",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://pythonpapers.org/tpp.html",
  acknowledgement = ack-nhfb,
}

@Misc{Anonymous:20xx:PPA,
  author =       "Anonymous",
  title =        "{Python} Papers Anthology",
  howpublished = "Web site",
  year =         "20xx",
  bibdate =      "Thu Apr 16 09:01:00 2009",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://pythonpapers.org/",
  acknowledgement = ack-nhfb,
}

@Misc{Anonymous:20xx:PPM,
  author =       "Anonymous",
  title =        "{Python} Papers Monograph",
  howpublished = "Web site",
  year =         "20xx",
  bibdate =      "Thu Apr 16 09:01:00 2009",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://pythonpapers.org/tppm.html",
  acknowledgement = ack-nhfb,
}

@Misc{Anonymous:20xx:PPS,
  author =       "Anonymous",
  title =        "{Python} Papers Source Codes",
  howpublished = "Web site",
  year =         "20xx",
  ISSN =         "1836-621X",
  bibdate =      "Thu Apr 16 09:01:00 2009",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://pythonpapers.org/tppsc.html",
  acknowledgement = ack-nhfb,
}

%%% ====================================================================
%%% Cross-referenced entries must come last; entries are sorted by year,
%%% and then by citation label, with `bibsort --byyear':

@Proceedings{EurOpen:1991:EUD,
  editor =       "{EurOpen}",
  booktitle =    "EurOpen. UNIX Distributed Open Systems in Perspective.
                 Proceedings of the Spring 1991 EurOpen Conference,
                 Troms{\o}, Norway, May 20--24, 1991",
  title =        "EurOpen. {UNIX} Distributed Open Systems in
                 Perspective. Proceedings of the Spring 1991 EurOpen
                 Conference, Troms{\o}, Norway, May 20--24, 1991",
  publisher =    pub-EUROPEN,
  address =      pub-EUROPEN:adr,
  pages =        "viii + 331",
  year =         "1991",
  ISBN =         "1-873611-00-5",
  ISBN-13 =      "978-1-873611-00-5",
  LCCN =         "????",
  bibdate =      "Fri May 22 11:28:47 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:1992:PAC,
  editor =       "{ACM}",
  booktitle =    "Proceedings of the 1992 ACM Conference on Lisp and
                 Functional Programming: papers presented at the
                 conference, San Francisco, California, June 22--24,
                 1992",
  title =        "Proceedings of the 1992 {ACM} Conference on Lisp and
                 Functional Programming: papers presented at the
                 conference, San Francisco, California, June 22--24,
                 1992",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 357",
  year =         "1992",
  ISBN =         "0-89791-483-X, 0-89791-481-3",
  ISBN-13 =      "978-0-89791-483-3, 978-0-89791-481-9",
  LCCN =         "QA76.73.L23A26 1992",
  bibdate =      "Tue Nov 10 07:55:44 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "Also published as {{\em LISP Pointers}}, vol. {\bf V},
                 no. 1, January-March, 1992. ACM order no. 552920.",
  acknowledgement = ack-nhfb,
  classification = "721.1; 723.1; 723.1.1",
  conftitle =    "Proceedings of SIGPLAN Conference on Lisp and
                 Functional Programming",
  corpsource =   "Carnegie Mellon Univ., Pittsburgh, PA, USA",
  keywords =     "Data abstraction; Digital storage; Dynamic program
                 parallelization; Fixed point iteration; Formal logic;
                 Functional programming; Garbage collection; Lambda
                 tagging; Lazy pattern matching; Linear logic; lisp
                 (programming language); Parallel processing systems;
                 Program compilers; Programming theory",
  sponsororg =   "ACM",
  treatment =    "P Practical",
}

@Proceedings{Hunter:1995:PSB,
  editor =       "Lawrence Hunter and Teri E. Klein",
  booktitle =    "Pacific Symposium on Biocomputing '96: Hawaii, USA,
                 3--6 January, 1996",
  title =        "Pacific Symposium on Biocomputing '96: Hawaii, {USA},
                 3--6 January, 1996",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "xv + 757",
  year =         "1995",
  ISBN =         "981-02-2578-4",
  ISBN-13 =      "978-981-02-2578-0",
  LCCN =         "QH323.5.P33 1996",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://www.cgl.ucsf.edu/psb/psb96/",
  acknowledgement = ack-nhfb,
  conftitle =    "Proceedings of Biocomputing '96",
  corpsource =   "Lab. of Comput. Graphics, California Univ., San
                 Francisco, CA, USA",
  pubcountry =   "Singapore",
  treatment =    "P Practical",
}

@Proceedings{Cabrera:1996:PFI,
  editor =       "L.-F. Cabrera and N. Islam",
  booktitle =    "Proceedings of the Fifth International Workshop on
                 Object-Orientation in Operating Systems: October
                 27--28, 1996, Seattle, Washington",
  title =        "Proceedings of the Fifth International Workshop on
                 Object-Orientation in Operating Systems: October
                 27--28, 1996, Seattle, Washington",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "x + 171",
  year =         "1996",
  ISBN =         "0-8186-7693-0",
  ISBN-13 =      "978-0-8186-7693-2",
  LCCN =         "QA 76.76 O63 I59 1996",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "IEEE catalog number 96TB100089.",
  acknowledgement = ack-nhfb,
  conflocation = "Seattle, WA, USA; 27-28 Oct. 1996",
  conftitle =    "Proceedings of the Fifth International Workshop on
                 Object- Orientation in Operating Systems",
  corpsource =   "Corporation for Nat. Res. Initiatives, Reston, VA,
                 USA",
  sponsororg =   "IEEE Comput. Soc. Tech. Committee on Oper. Syst.;
                 USENIX",
  treatment =    "P Practical",
}

@Proceedings{USENIX:1996:ATT,
  editor =       "{USENIX} Association",
  booktitle =    "4th Annual Tcl/Tk Workshop '96, July 10--13, 1996.
                 Monterey, CA",
  title =        "4th Annual Tcl/Tk Workshop '96, July 10--13, 1996.
                 Monterey, {CA}",
  publisher =    pub-USENIX,
  address =      pub-USENIX:adr,
  pages =        "235",
  day =          "10--13",
  month =        jul,
  year =         "1996",
  ISBN =         "1-880446-78-2",
  ISBN-13 =      "978-1-880446-78-2",
  LCCN =         "QA76.73.T44 T44 1996",
  bibdate =      "Fri May 22 11:34:02 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib;
                 ftp://ftp.uu.net/library/bibliography",
  acknowledgement = ack-nhfb,
  location =     "Monterey, CA",
}

@Proceedings{USENIX:1996:PSUb,
  editor =       "{USENIX}",
  booktitle =    "Proceedings of the Second USENIX Conference on
                 Object-Oriented Technologies and Systems (COOTS), June
                 17--21, 1996, Toronto, Canada",
  title =        "Proceedings of the Second {USENIX} Conference on
                 Object-Oriented Technologies and Systems ({COOTS}),
                 June 17--21, 1996, Toronto, Canada",
  publisher =    pub-USENIX,
  address =      pub-USENIX:adr,
  pages =        "261",
  year =         "1996",
  ISBN =         "1-880446-77-4",
  ISBN-13 =      "978-1-880446-77-5",
  LCCN =         "QA76.64 .U85 1996",
  bibdate =      "Wed Oct 16 14:05:50 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib;
                 ftp://ftp.uu.net/library/bibliography",
  URL =          "http://www.usenix.org/publications/library/proceedings/coots96/",
  acknowledgement = ack-nhfb,
  location =     "Toronto, Canada",
}

@Proceedings{ACM:1997:PAS,
  editor =       "{ACM}",
  booktitle =    "Proceedings of the ACM Symposium on User Interface
                 Software and Technology. 10th Annual Symposium. UIST
                 '97: Banff, Alberta, Canada, 14--17 October 1997",
  title =        "Proceedings of the {ACM} Symposium on User Interface
                 Software and Technology. 10th Annual Symposium. {UIST}
                 '97: Banff, Alberta, Canada, 14--17 October 1997",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "x + 238",
  year =         "1997",
  ISBN =         "0-89791-881-9",
  ISBN-13 =      "978-0-89791-881-7",
  LCCN =         "????",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  acknowledgement = ack-nhfb,
  conftitle =    "Proceedings of Tenth Annual Symposium on User
                 Interface Software and Technology",
  corpsource =   "Dept. of Comput. Sci., Carnegie Mellon Univ.,
                 Pittsburgh, PA, USA",
  sponsororg =   "ACM",
  treatment =    "P Practical",
}

@Proceedings{Anonymous:1997:PIP,
  editor =       "Anonymous",
  booktitle =    "Proceedings of the 6th International Python
                 Conference: October 14--17, 1997, San Jose,
                 California",
  title =        "Proceedings of the 6th International Python
                 Conference: October 14--17, 1997, San Jose,
                 California",
  publisher =    pub-CNRI,
  address =      pub-CNRI:adr,
  pages =        "????",
  year =         "1997",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Wed Oct 28 07:23:05 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Anonymous:1997:PWM,
  editor =       "Anonymous",
  booktitle =    "Proceedings of the Workshop on Management of
                 Semi-Structured Data: {Tucson, Arizona, May 16, 1997}",
  title =        "Proceedings of the Workshop on Management of
                 Semi-Structured Data: {Tucson, Arizona, May 16, 1997}",
  publisher =    "????",
  address =      "????",
  pages =        "vi + 99",
  year =         "1997",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Fri May 22 11:37:17 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  subject =      "Data structures (Computer science); Congresses; World
                 Wide Web; Congresses",
}

@Proceedings{Heath:1997:PES,
  editor =       "Michael Heath and Virginia Torczon and Greg Astfalk
                 and Petter E. Bj{\o}rstad and Alan H. Karp and Charles
                 H. Koelbel and Vipin Kumar and Robert F. Lucas and
                 Layne T. Watson and David E. Womble",
  booktitle =    "Proceedings of the Eighth SIAM Conference on Parallel
                 Processing for Scientific Computing. Held in
                 Minneapolis, MN, March 14--17, 1997",
  title =        "Proceedings of the Eighth {SIAM} Conference on
                 Parallel Processing for Scientific Computing. Held in
                 Minneapolis, {MN}, March 14--17, 1997",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "????",
  year =         "1997",
  CODEN =        "PSSCFK",
  ISBN =         "0-89871-395-1",
  ISBN-13 =      "978-0-89871-395-4",
  LCCN =         "????",
  MRclass =      "65-06 (65Y05)",
  MRnumber =     "98h:65004",
  bibdate =      "Tue Oct 27 18:53:49 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "CD-ROM for Windows, Macintosh and UNIX; no paper form
                 published.",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:1997:PAP,
  editor =       "{IEEE}",
  booktitle =    "Proceedings. Asia Pacific Software Engineering
                 Conference and International Computer Science
                 Conference: December 2--5, 1997, Hong Kong",
  title =        "Proceedings. Asia Pacific Software Engineering
                 Conference and International Computer Science
                 Conference: December 2--5, 1997, Hong Kong",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 542",
  year =         "1997",
  ISBN =         "0-8186-8271-X",
  ISBN-13 =      "978-0-8186-8271-1",
  LCCN =         "QA76.758.A77 1997",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "IEEE catalog number 97TB100207. IEEE Computer Society
                 order number PR08271.",
  acknowledgement = ack-nhfb,
  conflocation = "Hong Kong; 2-5 Dec. 1997",
  conftitle =    "Proceedings of Joint 4th International Computer
                 Science Conference and 4th Asia Pacific Software
                 Engineering Conference",
  corpsource =   "Johannes Kepler Univ., Linz, Austria",
  sponsororg =   "Croucher Found.; UNU/IIST; IEEE Hong Kong Sect.
                 Comput. Chapter; ACM Hong Kong Chapter; Hong Kong
                 Comput. Soc",
  treatment =    "P Practical",
}

@Proceedings{IEEE:1997:PIP,
  editor =       "{IEEE}",
  booktitle =    "Proceedings. 11th International Parallel Processing
                 Symposium, April 1--5, 1997, Geneva, Switzerland",
  title =        "Proceedings. 11th International Parallel Processing
                 Symposium, April 1--5, 1997, Geneva, Switzerland",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxi + 765",
  year =         "1997",
  ISBN =         "0-8186-7793-7",
  ISBN-13 =      "978-0-8186-7793-9",
  LCCN =         "QA76.58 .I56 1997",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "IEEE catalog number 97TB100107. IEEE Computer Society
                 Press order number PR07792",
  acknowledgement = ack-nhfb,
  conftitle =    "Proceedings 11th International Parallel Processing
                 Symposium",
  corpsource =   "Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT,
                 USA",
  sponsororg =   "IEEE Comput. Soc. Tech. Committee on Parallel
                 Process.; ACM SIGARCH; Eur. Assoc. Theor. Comput. Sci.
                 (EATCS); Swiss Special Interest Group on Parallelism
                 (SIPAR); SPPEDUP Soc",
  treatment =    "P Practical",
}

@Proceedings{Ege:1998:PTO,
  editor =       "R. Ege and M. Singh and B. Meyer",
  booktitle =    "Proceedings. Technology of Object-Oriented Languages
                 and Systems, TOOLS-23",
  title =        "Proceedings. Technology of Object-Oriented Languages
                 and Systems, {TOOLS-23}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xi + 406",
  year =         "1998",
  ISBN =         "0-8186-8383-X",
  ISBN-13 =      "978-0-8186-8383-1",
  LCCN =         "????",
  bibdate =      "Thu May 21 19:02:04 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "IEEE catalog number 97TB100221.",
  acknowledgement = ack-nhfb,
  conflocation = "Santa Barbara, CA, USA; 28 July-1 Aug. 1997",
  conftitle =    "Proceedings of TOOLS USA 97. International Conference
                 on Technology of Object Oriented Systems and
                 Languages",
  corpsource =   "Lawrence Livermore Nat. Lab., CA, USA",
  sponsororg =   "Interactive Software Eng",
  treatment =    "P Practical 1 Steering object-oriented scientific
                 comput\ldots{} Yang, T.-Y.B. 1998 2 Alice: easy to use
                 interactive 3D graphics Pierce, J.S. 1997 3 A CGI
                 framework in Python Kuchling, A.M. 1998 4 XML
                 programming in Python McGrath, S. 1998 5 Template
                 processing classes for Python Howes, B. 1998 6 Design
                 by contract for Python Plosch, R. 1997 7 Design and
                 implementation of Web documents\ldots{} Hyeon Jong Kim
                 1997 8 Python: a GUI development tool Conway, M.J.
                 1995",
}

@Proceedings{USENIX:2000:PAL,
  editor =       "{USENIX}",
  booktitle =    "Proceedings of the 4th Annual Linux Showcase and
                 Conference, Atlanta, October 10--14, 2000, Atlanta,
                 Georgia, USA",
  title =        "Proceedings of the 4th Annual Linux Showcase and
                 Conference, Atlanta, October 10--14, 2000, Atlanta,
                 Georgia, {USA}",
  publisher =    pub-USENIX,
  address =      pub-USENIX:adr,
  pages =        "394",
  year =         "2000",
  ISBN =         "1-880446-17-0",
  ISBN-13 =      "978-1-880446-17-1",
  LCCN =         "????",
  bibdate =      "Wed Oct 16 06:06:36 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/python.bib",
  URL =          "http://www.usenix.org/publications/library/proceedings/als2000/",
  acknowledgement = ack-nhfb,
}

@Proceedings{Langtangen:2003:ATC,
  editor =       "Hans Petter Langtangen and Aslak Tveito",
  booktitle =    "Advanced Topics in Computational Partial Differential
                 Equations: Numerical Methods and {Diffpack}
                 Programming",
  title =        "Advanced Topics in Computational Partial Differential
                 Equations: Numerical Methods and {Diffpack}
                 Programming",
  volume =       "33",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xix + 658",
  year =         "2003",
  CODEN =        "LNCSA6",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-18237-2",
  ISBN =         "3-540-01438-1 (print), 3-642-18237-2 (e-book)",
  ISBN-13 =      "978-3-540-01438-6 (print), 978-3-642-18237-2
                 (e-book)",
  ISSN =         "1439-7358",
  ISSN-L =       "1439-7358",
  LCCN =         "QA377 .A45 2003",
  bibdate =      "Thu Dec 20 14:35:38 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncse.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  series =       ser-LNCSE,
  URL =          "http://link.springer.com/book/10.1007/978-3-642-18237-2;
                 http://www.diffpack.com/Book;
                 http://www.springerlink.com/content/978-3-642-18237-2",
  acknowledgement = ack-nhfb,
  bookpages =    "xix + 658",
  series-URL =   "http://link.springer.com/bookseries/3527",
  tableofcontents = "X. Cai, E. Acklam, H. P. Langtangen, A. Tveito:
                 Parallel Computing \\
                 X. Cai: Overlapping Domain Decomposition Methods \\
                 K. A. Mardal, G. W. Zumbusch, H. P. Langtangen:
                 Software Tools for Multigrid Methods \\
                 K. A. Mardal, H. P. Langtangen: Mixed Finite Elements
                 \\
                 K. A. Mardal, J. Sundnes, H. P. Langtangen, A. Tveito:
                 Systems of PDEs and Block Preconditioning \\
                 {\AA}degard, H. P. Langtangen, A. Tveito:
                 Object-Oriented Implementation of Fully Implicit
                 Methods for Systems of PDEs \\
                 H. P. Langtangen, H. Osnes: Stochastic Partial
                 Differential Equations \\
                 H. P. Langtangen and K A. Mardal: Using Diffpack from
                 Python Scripts \\
                 X. Cai, A. M. Bruaset, H. P. Langtangen, G. T. Lines,
                 K. Samuelsson, W. Shen, A. Tveito, G. Zumbusch:
                 Performance Modeling of PDE Solvers \\
                 J. Sundnes, G. T. Lines, P. Grottum, A. Tveito:
                 Numerical Methods and Software for Modeling the
                 Electrical Activity in the Human Heart \\
                 O. Skavhaug, B. F. Nielsen, A. Tveito: Mathematical
                 Models of Financial Derivatives \\
                 O. Skavhaug, B. F. Nielsen, A. Tveito: Numerical
                 Methods for Financial Derivatives \\
                 T. Thorvaldsen, H. P. Langtangen, H. Osnes: Finite
                 Element Modeling of Elastic Structures \\
                 K. M. Okstad, T. Kvamsdal: Simulation of Aluminum
                 Extrusion \\
                 A. Kjeldstad, H. P. Langtangen, J. Skogseid, K.
                 Bjorlykke: Simulation of Deformations, Fluid Flow and
                 Heat Transfer in Sedimentary Basins",
}

@Book{Bruaset:2006:NSP,
  editor =       "Are Magnus Bruaset and Aslak Tveito",
  booktitle =    "Numerical Solution of Partial Differential Equations
                 on Parallel Computers",
  title =        "Numerical Solution of Partial Differential Equations
                 on Parallel Computers",
  volume =       "51",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xii + 482",
  year =         "2006",
  CODEN =        "LNCSA6",
  ISBN =         "3-540-29076-1 (print), 3-540-31619-1 (e-book)",
  ISBN-13 =      "978-3-540-29076-6 (print), 978-3-540-31619-0
                 (e-book)",
  ISSN =         "1439-7358",
  ISSN-L =       "1439-7358",
  LCCN =         "QA377 .N87 2006",
  bibdate =      "Thu Dec 20 12:25:17 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncse.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  series =       ser-LNCSE,
  URL =          "http://link.springer.com/book/10.1007/3-540-31619-1",
  acknowledgement = ack-nhfb,
  bookpages =    "xii + 482",
  series-URL =   "http://link.springer.com/bookseries/3527",
}

@Book{Logg:2012:ASD,
  editor =       "Anders Logg and Kent-Andre Mardal and Garth Wells",
  booktitle =    "Automated Solution of Differential Equations by the
                 Finite Element Method: The {FEniCS} Book",
  title =        "Automated Solution of Differential Equations by the
                 Finite Element Method: The {FEniCS} Book",
  volume =       "84",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xiii + 723",
  year =         "2012",
  CODEN =        "LNCSA6",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-23099-8",
  ISBN =         "3-642-23098-9 (print), 3-642-23099-7 (e-book)",
  ISBN-13 =      "978-3-642-23098-1 (print), 978-3-642-23099-8
                 (e-book)",
  ISSN =         "1439-7358",
  ISSN-L =       "1439-7358",
  LCCN =         "????",
  bibdate =      "Thu Dec 20 14:35:51 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/gnu.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncse.bib;
                 http://www.math.utah.edu/pub/tex/bib/python.bib",
  note =         "The software developed by the FEniCS Project is free
                 for all to use and modify (licensed under the GNU
                 (L)GPL), and so is this book.",
  series =       ser-LNCSE,
  URL =          "http://fenicsproject.org;
                 http://fenicsproject.org/book/;
                 http://link.springer.com/book/10.1007/978-3-642-23099-8;
                 http://www.springerlink.com/content/978-3-642-23099-8;
                 https://launchpad.net/fenics-book",
  abstract =     "This book is written by researchers and developers
                 behind the FEniCS Project and explores an advanced,
                 expressive approach to the development of mathematical
                 software. The presentation spans mathematical
                 background, software design and the use of FEniCS in
                 applications. Theoretical aspects are complemented with
                 computer code which is available as free/open source
                 software. The book begins with a tutorial for readers
                 who are new to the topic. Following the tutorial,
                 chapters in Part I address fundamental aspects of the
                 approach to automating the creation of finite element
                 solvers. Chapters in Part II address the design and
                 implementation of the FEnicS software. Chapters in Part
                 III present the application of FEniCS to a wide range
                 of applications, including fluid flow, solid mechanics,
                 electromagnetics and geophysics.",
  acknowledgement = ack-nhfb,
  bookpages =    "xiii + 723",
  series-URL =   "http://link.springer.com/bookseries/3527",
  subject =      "Mathematics; Geography; Electronic data processing;
                 Computer science; Computer software; Engineering
                 mathematics; Mathematical Software; Theoretical,
                 Mathematical and Computational Physics; Numeric
                 Computing; Appl.Mathematics/Computational Methods of
                 Engineering; Computational Science and Engineering;
                 Earth Sciences, general",
  tableofcontents = "1 A FEniCS tutorial / 1 \\
                 I Methodology / 75 \\
                 2 The finite element method / 77 \\
                 3 Common and unusual finite elements / 95 \\
                 4 Constructing general reference finite elements / 121
                 \\
                 5 Finite element variational forms / 133 \\
                 6 Finite element assembly / 141 \\
                 7 Quadrature representation of finite element
                 variational forms / 147 \\
                 8 Tensor representation of finite element variational
                 forms / 159 \\
                 9 Discrete optimization of finite element matrix
                 evaluation / 163 \\
                 II Implementation / 171 \\
                 10 DOLFIN: a C++/Python finite element library / 173
                 \\
                 11 FFC: the FEniCS form compiler / 227 \\
                 12 FErari: an optimizing compiler for variational forms
                 / 239 \\
                 13 FIAT: numerical construction of finite element basis
                 functions / 247 \\
                 14 Instant: just-in-time compilation of C/C++ in Python
                 / 257 \\
                 15 SyFi and SFC: symbolic finite elements and form
                 compilation / 273 \\
                 16 UFC: a finite element code generation interface /
                 283 \\
                 17 UFL: a finite element form language / 303 \\
                 18 Unicorn: a unified continuum mechanics solver / 339
                 \\
                 19 Lessons learned in mixed language programming / 363
                 \\
                 III Applications / 383 \\
                 20 Finite elements for incompressible fluids / 385 \\
                 21 A comparison of finite element schemes for the
                 incompressible Navier--Stokes equations / 399 \\
                 22 Simulation of transitional flows / 421 \\
                 23 Computational hemodynamics / 441 \\
                 24 Cerebrospinal fluid flow / 455 \\
                 25 Improved Boussinesq equations for surface water
                 waves / 471 \\
                 26 Applications in solid mechanics / 505 \\
                 27 A computational framework for nonlinear elasticity /
                 525 \\
                 28 Turbulent flow and fluid structure interaction / 543
                 \\
                 29 An adaptive finite element solver for fluid
                 structure interaction problems / 553 \\
                 30 Modeling evolving discontinuities / 571 \\
                 31 Dynamic simulations of convection in the Earth s
                 mantle / 585 \\
                 32 Automatic calibration of depositional models / 601
                 \\
                 33 A coupled stochastic and deterministic model of
                 Ca${2+}$ dynamics in the dyadic cleft / 611 \\
                 34 Electromagnetic waveguide analysis / 629 \\
                 35 Block preconditioning of systems of PDEs / 643 \\
                 36 Automated testing of saddle point stability
                 conditions / 657 \\
                 List of authors / 673 \\
                 GNU Free Documentation License / 681 \\
                 References / 689 \\
                 Index / 717",
}

repository: nzhagen/bibulous

repo_name: nzhagen/bibulous

gha_language: TeX


text:
@article{jin18,
	author    = {Wengong Jin and
	Regina Barzilay and
	Tommi S. Jaakkola},
	title     = {Junction Tree Variational Autoencoder for Molecular Graph Generation},
	journal   = {CoRR},
	volume    = {abs/1802.04364},
	year      = {2018},
	url       = {http://arxiv.org/abs/1802.04364},
	archivePrefix = {arXiv},
	eprint    = {1802.04364},
	timestamp = {Mon, 13 Aug 2018 16:48:16 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-04364},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@ARTICLE{kusner17,
	author = {{Kusner}, M.~J. and {Paige}, B. and {Hern{\'a}ndez-Lobato}, J.~M.
	},
	title = "{Grammar Variational Autoencoder}",
	journal = {ArXiv e-prints},
	archivePrefix = "arXiv",
	eprint = {1703.01925},
	primaryClass = "stat.ML",
	keywords = {Statistics - Machine Learning},
	year = {2017},
	month = mar,
	adsurl = {http://adsabs.harvard.edu/abs/2017arXiv170301925K},
	adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@incollection{Duvenaud15,
	title = {Convolutional Networks on Graphs for Learning Molecular Fingerprints},
	author = {Duvenaud, David K and Maclaurin, Dougal and Iparraguirre, Jorge and Bombarell, Rafael and Hirzel, Timothy and Aspuru-Guzik, Alan and Adams, Ryan P},
	booktitle = {Advances in Neural Information Processing Systems 28},
	editor = {C. Cortes and N. D. Lawrence and D. D. Lee and M. Sugiyama and R. Garnett},
	pages = {2224--2232},
	year = {2015},
	publisher = {Curran Associates, Inc.},
}

@ARTICLE{Kearnes16,
	author = {{Kearnes}, S. and {McCloskey}, K. and {Berndl}, M. and {Pande}, V. and
	{Riley}, P.},
	title = "{Molecular graph convolutions: moving beyond fingerprints}",
	journal = {Journal of Computer-Aided Molecular Design},
	archivePrefix = "arXiv",
	eprint = {1603.00856},
	primaryClass = "stat.ML",
	keywords = {Machine learning, Virtual screening, Deep learning, Artificial neural networks, Molecular descriptors},
	year = {2016},
	month = aug,
	volume = 30,
	pages = {595-608},
	doi = {10.1007/s10822-016-9938-8},
	adsurl = {http://adsabs.harvard.edu/abs/2016JCAMD..30..595K},
	adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@article{Gomez-Bombarelli16,
	author    = {Rafael G{\'{o}}mez{-}Bombarelli and
	David K. Duvenaud and
	Jos{\'{e}} Miguel Hern{\'{a}}ndez{-}Lobato and
	Jorge Aguilera{-}Iparraguirre and
	Timothy D. Hirzel and
	Ryan P. Adams and
	Al{\'{a}}n Aspuru{-}Guzik},
	title     = {Automatic chemical design using a data-driven continuous representation
	of molecules},
	journal   = {CoRR},
	volume    = {abs/1610.02415},
	year      = {2016},
	url       = {http://arxiv.org/abs/1610.02415},
	archivePrefix = {arXiv},
	eprint    = {1610.02415},
	timestamp = {Mon, 13 Aug 2018 16:48:11 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/Gomez-Bombarelli16},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{Gilmer17,
	author    = {Justin Gilmer and
	Samuel S. Schoenholz and
	Patrick F. Riley and
	Oriol Vinyals and
	George E. Dahl},
	title     = {Neural Message Passing for Quantum Chemistry},
	journal   = {CoRR},
	volume    = {abs/1704.01212},
	year      = {2017},
	url       = {http://arxiv.org/abs/1704.01212},
	archivePrefix = {arXiv},
	eprint    = {1704.01212},
	timestamp = {Mon, 13 Aug 2018 16:48:42 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/GilmerSRVD17},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{Weininger88,
	added-at = {2011-12-21T01:05:11.000+0100},
	author = {Weininger, David},
	biburl = {https://www.bibsonomy.org/bibtex/228aa27d2f95c7abc5f2ee8108bce0cee/fairybasslet},
	interhash = {9355c8b62f703f5a56486af179ea6dfc},
	intrahash = {28aa27d2f95c7abc5f2ee8108bce0cee},
	journal = {J. Chem. Inf. Comput. Sci.},
	keywords = {SMILES},
	number = 1,
	pages = {31-36},
	publisher = {American Chemical Society},
	timestamp = {2011-12-21T01:05:16.000+0100},
	title = {SMILES, a chemical language and information system. 1. introduction to methodology and encoding rules},
	volume = 28,
	year = {1988}
}

@book{BirdKleinLoper09NLTK,
	author = {Steven Bird and Ewan Klein and Edward Loper},
	title = {{Natural Language Processing with Python}},
	publisher = {O'Reilly Media},
	year = {2009}
}

@article{zinc15,
	author = {Sterling, Teague and Irwin, John J.},
	title = {ZINC 15 – Ligand Discovery for Everyone},
	journal = {Journal of Chemical Information and Modeling},
	volume = {55},
	number = {11},
	pages = {2324-2337},
	year = {2015},
	doi = {10.1021/acs.jcim.5b00559},
	note ={PMID: 26479676},

	URL = {
	https://doi.org/10.1021/acs.jcim.5b00559

	},
	eprint = {
	https://doi.org/10.1021/acs.jcim.5b00559

	}

}

@article{Transformer17,
	author    = {Ashish Vaswani and
	Noam Shazeer and
	Niki Parmar and
	Jakob Uszkoreit and
	Llion Jones and
	Aidan N. Gomez and
	Lukasz Kaiser and
	Illia Polosukhin},
	title     = {Attention Is All You Need},
	journal   = {CoRR},
	volume    = {abs/1706.03762},
	year      = {2017},
	url       = {http://arxiv.org/abs/1706.03762},
	archivePrefix = {arXiv},
	eprint    = {1706.03762},
	timestamp = {Mon, 13 Aug 2018 16:48:37 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/VaswaniSPUJGKP17},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@electronic{rdkit,

	author = {Greg Landrum},
	year = {2018},
	title = {RDKit: Open-source cheminformatics},
	url ={http://www.rdkit.org}

}

@article{kajino18,
	author    = {Hiroshi Kajino},
	title     = {Molecular Hypergraph Grammar with its Application to Molecular Optimization},
	journal   = {CoRR},
	volume    = {abs/1809.02745},
	year      = {2018},
	url       = {http://arxiv.org/abs/1809.02745},
	archivePrefix = {arXiv},
	eprint    = {1809.02745},
	timestamp = {Fri, 05 Oct 2018 11:34:52 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-02745},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{kingmawelling14,
	author    = {Diederik P. Kingma and
	Max Welling},
	title     = {Auto-Encoding Variational Bayes},
	journal   = {CoRR},
	volume    = {abs/1312.6114},
	year      = {2013},
	url       = {http://arxiv.org/abs/1312.6114},
	archivePrefix = {arXiv},
	eprint    = {1312.6114},
	timestamp = {Mon, 13 Aug 2018 16:49:01 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/KingmaW13},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

license: MIT

license_type: permissive

branch_name: refs/heads/master

extension: bib


text:
/***** CLEARFIX *****/
.clear:after {
    content: ".";
    display: block;
    height: 0;
    clear: both;
    visibility: hidden;
}

/* for IE/Mac */
.clear {
    display: inline-block;
}

/* Holly Hack to calm other browsers \*/
.clear {
    display: block;
}
/* */

/***** GLOBAL STYLES *****/
html {
    background: #fefefe;
}

body {
    font: 12px "Microsoft YaHei", "WenQuanYi Micro Hei", "WenQuanYi Zen Hei", sans-serif;
    font-weight: 400;
}

#bodygradient {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 120px;
    z-index: -1;

    background: -moz-linear-gradient(top, rgba(0,0,0,0.05) 0%, rgba(0,0,0,0) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(0,0,0,0.05)), color-stop(100%,rgba(0,0,0,0))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, rgba(0,0,0,0.05) 0%,rgba(0,0,0,0) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, rgba(0,0,0,0.05) 0%,rgba(0,0,0,0) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top, rgba(0,0,0,0.05) 0%,rgba(0,0,0,0) 100%); /* IE10+ */
    background: linear-gradient(to bottom, rgba(0,0,0,0.05) 0%,rgba(0,0,0,0) 100%); /* W3C */
}

* {
    -moz-transition: background 0.2s ease 0s, opacity 0.2s ease 0s, color 0.2s ease 0s;
    -webkit-transition: background 0.2s ease 0s, opacity 0.2s ease 0s, color 0.2s ease 0s;
    -o-transition: background 0.2s ease 0s, opacity 0.2s ease 0s, color 0.2s ease 0s;
}

a, a span {
    cursor: pointer;
}

a {
    color: inherit;
}

.cursor_hand {
    /* XXX REFACTOR INTO CURSOR.CSS! */
    cursor: pointer !important;
}

p, span, li, div, table, tr, td {
    cursor: default;
}

hr {
    width: 100%;
    border-top: 1px dashed #b7b7b7;
    clear: both;
    margin-top: 6px;
    margin-bottom: 6px;
}

p,li,span, td {
    line-height: 1.75; /* 1.75 */
}

/***** BASIC LAYOUTTING *****/
.root {
    width: 90%;
    margin: 0 auto;
}

.root.limitwidth {
    width: 1000px !important;
}

.headContainer {
    width: 100%;
    clear: both;
}

.leftContainer {
    width: 25%;
}

.rightContainer {
    width: 75%;
    float: right;
}

.headContainer .logo {
    background: url("http://static.dm.jiangnan.edu.cn/xue/img/logo.png") top left no-repeat;
    width: 600px;
    height: 120px; /* to match the image */
    padding: 6px;
}

.leftContainer {
    float: left;
}

/***** STICKY FOOTER *****/
/* based on the Sticky Footer Solution | http://www.cssstickyfooter.com */

html, body {
    height: 100%;
}

#wrap {
    min-height: 100%;
}

.root {
    overflow: auto;

    /*
     * must be same height as the footer + vert. border
     * additional padding CANNOT be added by simply using the sum
     * of two heights!
     */
    padding-bottom: 111px;
}

.footerContainer {
    position: relative;
    width: 100%;
    margin-top: -111px; /* negative value of footer height + vert border */
    border-top: 3px solid #464646;
    height: 108px;
    clear: both;
    background-color: #ddd;
}

/*Opera Fix*/
body:before {/* thanks to Maleika (Kohoutec)*/
content:"";
height:100%;
float:left;
width:0;
margin-top:-32767px;/* thank you Erik J - negate effect of float*/
}

/***** FOOTER *****/
.footer_box {
    position: relative;
    text-align: center;
    color: #666;
    padding: 8px 0 16px;
}

#revcolorbox {
    /* background-color is set thru inline style */
    display: inline-block;
    width: 0.75em;
    height: 0.75em;
    margin: 0 0 0 4px;
    cursor: pointer;
}

/* XXX POSSIBLY DEAD CODE; only tech-dept and art-dept use this */
.floatleft {
    float: left;
}

.lMarginer {
    margin-left: 6px;
}

.rMarginer {
    margin-right: 6px;
}

.lrMarginer {
    margin: 0 6px 0;
}

.rightalign {
    float: right !important;
}

/***** LOGIN BOX *****/
.quikblock {
    height: 120px;
    margin-bottom: 4px;
}

.lMarginer>.quikblock {
    margin: 0 0 0 -6px;
}

.rMarginer>.quikblock {
    margin: 0 -6px 0 0;
}

.quikblock span, .quikblock p {
    /* preserve the old value to save vertical space */
    line-height: 21px;
}

.auth {
    font-size: 15px;
    padding: 6px;
    text-shadow: 1px 1px 3px rgba(0, 0, 0, 0.6);
}

.auth>.title {
    display: block;
    /* width: 75%; */
    /* center align */
    /*margin-left: auto;
    margin-right: auto;
    text-align: center;*/
    padding: 0 0 6px 6px;
    font-size: 18px;
    font-weight: bold;
    color: #fff;
    border-bottom: 1px solid #fff;
    clear: both;
}

/***** LOGIN STATUS BOX *****/
.auth>.status {
    text-align: center;
    padding: 8px 0 0; /* div.auth already has some nice horizontal paddings */
}

.auth>.status span, .auth>.status a {
    display: inline-block;
    color: #fff;
}

.auth>.status>.username>a {
    font-family: "Courier New", "WenQuanYi Micro Hei Mono", "Monospace", monospace;
    font-size: 14px;
    font-weight: bold;
    margin: 0 4px;
}

.auth>.status>.username>a:hover {
    /* using border and negative margin here would cause unwanted
     * position change of div.action
     */
    text-decoration: underline;
}

.auth>.status>.username:before {
    content: "身份:";
    margin: 0 8px 0 0;
}

.auth>.status>.action {
    clear: both;
}

.auth>.status>.action>.auth_button {
    margin: 6px auto;
}

.auth>.status>.action>.auth_button>a {
    display: block;
    padding: 3px 6px;
}

.auth>.status>.action>.auth_button>a:hover {
    background-color: #77daff;
    color: #000033;
}

/***** VERTICAL LISTS *****/
.list_vert {
    /* FIXME: refactor fancysub'd header styles! */
    border-top: 2px dotted #a00;
}

.list_vert>li {
    list-style: disc inside none;
    border-bottom: 1px dashed #b7b7b7;

    position: relative;

    /* stay in one line */
    white-space: nowrap;
    /* ... and don't disturb other content */
    overflow: hidden;
}

.list_vert>li:hover {
    /* reveal all info */
    overflow: visible;
    list-style: none;

    /* not sure why this brings the whole item above... */
    position: relative;
}

.list_vert>li:hover>a {
    font-size: 125%;
    line-height: 1;  /* don't change list item's height */

    border: 2px solid #999;
    border-radius: 16px 16px 16px 0;
    padding: 3px 11px;
    background: rgba(255, 255, 255, 0.875);
}

.list_vert>.more:hover>a {
    border-radius: 16px 16px 0 16px;
}

.list_vert>li:hover>.has-subtitle {
    /* hide presence, only keeping the line height */
    font-size: 100%;
    border: none;
    border-radius: 0;
    padding: 0;
    background: none;
    color: transparent;
}

/* hint for the remaining part of title */
.list_vert>li>.has-subtitle:after {
    content: "...";
    font-size: 125%;
    line-height: normal;
    text-shadow: 0 0 3px #000000;

    position: absolute;
    bottom: 0;
    right: 0;

    background: rgba(255, 255, 255, 0.875);
    padding: 0 4px;
}

.list_vert>li:hover>.has-subtitle:after {
    display: none !important;
}

.list_vert>li>.has-subtitle>.subtitlebox {
    display: none;

    line-height: 1;
    position: absolute;

    /*
     * 锚定到左下角而不是左上角
     * 这样鼠标从上往下扫过时标题框不会挡到下一篇文章
     */
    bottom: 0;
    left: 0;

    border: 2px solid #999;
    border-radius: 16px 16px 16px 0;
    padding: 3px 11px;
    background: rgba(255, 255, 255, 0.875);
}

.list_vert>li:hover>.has-subtitle>.subtitlebox {
    display: block !important;
    color: #000;
}

.subtitlebox>.maintitle {
    display: block;
    font-size: 125%;
}

.subtitlebox>.subtitle {
    display: block;
    margin: 0 0 0 2em;
}

.list_vert>.more {
    list-style: none;
    text-align: right;
    border-bottom: none;
}

.list_vert>.more>a:before {
    content: "»";
    margin: 0 3px 0 0;
}

/***** NOSCRIPT NOTIFICATION *****/
.noscript {
    display: block;
    position: fixed;
    left: 0;
    top: 0;
    width: 100%;
    padding: 2px 0;
    background-color: #c00;
    color: #fff;
    font-size: 15px; /* 1.2em */
    font-weight: bold;
    text-align: center;
    z-index: 101;
}

.noscript span,
.noscript p {
    line-height: normal;
}

/***** DEVELOPER INFO *****/
.developers {
    float: right;
    padding: 0 8px 0 0;
    text-align: right;
    -moz-transition: color 0.4s ease 0s;
    -webkit-transition: color 0.4s ease 0s;
    -o-transition: color 0.4s ease 0s;
}

.developers:hover {
    color: #000;
}

/* vim: set ai et ts=4 sw=4 sts=4 ff=unix fenc=utf-8: */

repository: team-xue/xue

repo_name: team-xue/xue

gha_language: Python

extension: css


text:
import string

print(string.format('%.3d', 12))
print(string.format('%.3f', 12))
print(string.format('%20.7f', 14.5))
print(string.format('-- %-40s ---', 'this is a string format test'))
print(string.format('-- %40s ---', 'this is a string format test'))

gha_license_id: MIT

extension: be


text:
/* the navigations styling
.top-nav{

    display: flex;
    width:100vw;
    height: 50px;
    align-items: center;
    background-color: white;
    justify-content: space-between;
    position: fixed;
    margin-top: -30px;

}
/* .icons{
    margin-left:20px ;
    justify-content: space-between;
    height: 20px;
    width: 50;
    padding-bottom: 30px;
    display: flex;
}
img{
    margin-left:20px ;
    padding: 0px;
    height: 50px;
} */

/* .top-nav .icons ul{
    display: flex;

  }

  .top-nav .icons ul li{
    margin: 0 12px;
    background-color: black;
  }

  .top-nav .icons ul li img{
    width: 30px;
  }

  .top-nav .icons ul li a{
    display: block;
    padding: 8px 10px;
    color: #666666;

  }

.logo-text{
    color: white;

}
.signup-button{

    background-color: #F0A028;
    border: none;
    color: black;
    padding: 15px 32px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    position: fixed;
    margin-top: -25px;

}

.bottom-nav{
    position: fixed;
    display: flex;
    width:100vw;
    height: 70px;
    align-items: center;
    color: white;
    background-color: red;
    /* justify-content: space-between; */
    /* margin-top: 10px;

}

.drop{
    float: right;
    overflow: hidden;
    cursor: inherit;

}
.dropbtn{
    cursor: pointer;
    color: white;
}

.drop .dropbtn {
    border: none;
    outline: none;
    color: black;
    padding: 14px 16px;
    background-color: inherit;
    margin: 0;
    font-family: inherit;
    font-size: inherit;
    cursor: inherit;
}

.bottom-nav a:hover, .drop:hover .dropbtn{
    background-color: white;
    color: black;
}

.drop-content{
    background-color: white;
    display: none;
    position: absolute;
   min-width: 100px;
   /* box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2); */
   /* z-index: 1;
   color: wh;
    */

/* } */

/* .drop-content #text1{
color: black;
}

.drop-content a{
    float: none;
    color: rgba(0, 0, 0, 0.2);
    padding: 12px 16px;
    text-decoration: none;
    display: block;
    text-align: left;
}

.drop-content a:hover{
    background-color: white;
}

.drop:hover .drop-content {
    display: block;
}

li {
    float: left;
  }

  li a {
    display: block;
    color: black;
    text-align: center;
    padding: 16px;
    text-decoration: none;
    margin-right: 50px;
  }

ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    margin-left: -30px;
    margin-left: 1250px;

    overflow: hidden;

  }
  li a:hover{
    background-color: #111;
    color: red;
} */ */ */

/* .topnav{
} */
/* header{

    background-size: cover;
    background-position:center;
    background-attachment: local;
    height: 100vh;
} */
/*
ul{
    list-style-type: none;
    margin: 0;
    padding: 0px;
    overflow: hidden;
    background-color: crimson;
    position: fixed;
    top: 0;
    width: 100%;
} */

/* li{
    float: right;
    padding: 15px;
}
li a{
    display: block;
    color: white;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
}
li a:hover{
    background-color: #111; */
/* } */ */

#top-nav {
    display: flex;
}
.sign-up{
    display: flex;
}
.icons>ul{
    display: flex;
}
.bottom-nav{
    background-color: crimson;
    display: flex;
    height: 60px;
    color: white;

}

.bottom-nav nav ul li{

   color: yellow;
}
.logo-text{
    color: white;
    width: 20%;
    margin-right: -200px;
    padding: 20px;
    margin-top: -10px;

}
.top-nav-items>ul{
    display: flex;
    list-style: none;
    color: white;
    margin-left: -150px;

}
.top-nav-items{
    margin-left: 1000px;
}
.top-nav-items>ul>li{
     padding: 7px;
     color: white;
}
.top-nav-items a{
    display: block;
    color: white;
}

.top-nav-items a:hover{
    background-color: black;
    height: 50px;
    width: 60px;
}

.dropbtn{
    text-decoration: unset;
    background-color: unset;
    border: crimson;
    cursor: pointer;
    color: white;
    margin-top: 9px;
}
a {
    text-decoration: none;
}
.text1 {
    display: none;
}
.drop:hover .text1{
    cursor: pointer;
    display: block;
}

/*nav nav nav*/
.btnform{
    background-color: crimson;
    border: none;
    color: white;
    padding: 10px 20px;
    text-align: center;
    cursor: pointer;
    text-decoration: none;
    display: inline-block;
    font-size: 15px;
    margin: 4px 2px;
}

.container {
    height: 680px;
    position: relative;
}

.left{
    margin: 0;
    position: absolute;
    top: 50%;
    left: 50%;
}

.tittle{
    background-image:url(../images/banner.jpg);
    height: 100vh;
    padding-top: 300px;
    padding-right: 700px;
    text-align: center;
    color: black;

}

.tittle h1 span{
    color: #fff;
}

/*The banner image and header 2 with the p*/
  .banner{
      background-image: url("/images/background.png");
      background-repeat: no-repeat;
      background-size: cover;
      height: 70vh;
      width: 100%;
      color: crimson;
      opacity: 2;

  }
  .banner h3 {

      padding-top: 250px;
      padding-left: 100px;
      font-weight: 600;
      font-size: 30px;
      color: white;
  }
  .banner p{
      padding-left: 100px;
      font-weight: 600;
      font-size: 20px;
      color: white;
  }
/*the popup description for professionals about */
 .popup .overlay {
     position:fixed;
     top: 0px;
     left: 0px;
     width: 100vw;
     height: 500vh;
     background-color: rgb(0, 0, 0, 0.7);
     z-index: 1;
     display: none;
 }

 .popup .content{
     position: absolute;
     top: 110%;
     left: 60%;
      transform: translate(-50%, -50%) scale(0);
      background: crimson;
      width: 200px;
      height: 400px;
      z-index: 2;
      text-align: center;
      padding: 20px;
      box-sizing: border-box;
 }

/*the close button in the popup*/

   .popup .close-btn{
       position: absolute;
        right: 20px;
        top: 20px;
        width: 30px;
        height: 30px;
        background: #222;
        color: #fff;
        font-size: 25px;
        font-weight:  600;
        line-height: 30px;
        text-align: center;
        border-radius: 50%;
        cursor: pointer;

   }

.popup.active .overlay {
    display: block;
}
.popup.active .content{
    transition: all 300ms ease-in-out;
    transform: translate(-50%, -50%);

}

.popup5.active .overlay5 {
    display: block;
}
.popup5.active .content5{
    transition: all 300ms ease-in-out;
    transform: translate(-50%, -50%);

}

/*the professionals division styling*/
.div {
  margin-top: 100px;
  margin-right: 40px;
  margin-bottom: 150px;

}

.div h2{
 margin-top: -40px;
 margin-left: 60px;

}
.div-2{
    display: flex;
    justify-content: space-evenly;
    margin: 1px 1px 1px 1px;

}
.div-3{
    display: flex;
    justify-content: space-evenly;
    margin-top: 30px;
}

.popup .inner{
    float: left;
    background-color: white;
    margin-top: -257px;
    width: 300px;
    height: 300px;
    margin-left: -400px;

}
.popup .inner1{
    float: left;
    background-color: white;
    margin-top: -257px;
    width: 300px;
    height: 300px;
    margin-left: -400px;

}
/*the map styling*/
.map{
    margin-left: 150px;
    margin-top: -400px;
}

/*the booking form styling*/
/* .book1{
    background: crimson;
    padding: 10px 20px;
    font-size: 20px;
    margin-left: 700px;

    font-weight: 500;
    color: black;
    box-shadow: 0px 0px 10px rgba(0,0,0,0.1);
    width: 150px;
    margin-top: 30px;

}  */
input[type="checkbox"]{
    display: none;
}

/* .book1 .container2{
    position: absolute;
    top:50%;
    left: 50%;
    margin-top: 900px;
    margin-left: 200px;
} */

.book1 .book2{
    background-color: brown;
    width: 100px;
    cursor: pointer;
}
.container2{

    background: whitesmoke;
    width: 300px;
    height: 250px;
    padding: 30px;
    box-shadow: 0 0 8px rgb(0, 0, 0, 0.1);
    margin-bottom: -300px;
    margin-left: 700px;
    margin-top: 70px;
}
.container2 .text{
    font-size: 35px;
    font-weight: 600;
    text-align: center;
}

.container2 form{
    margin-top: -20px;
}

.container2 form .data{
    height: 35px;
    width: 100%;
    margin: 30px 0;
}
form .data input{
    height: 100%;
    width: 100%;
    padding-left: 10px;
    font-size: 17px;
    border:1px solid lightgray;

}
form .data label{
    font-size: 18px;

}

form .btn{
    margin: 30px 0;
    height: 45px;
    width: 100%;
}

form .btn .inside{
    height: 100%;
    width: 300%;
    position: absolute;
    left: -100%;
    transition: all 0.4s;
    /* cursor: pointer; */
    /*background: -webkit-linear-gradient(right, #56d8e4, #9f01ea, #56d8e4, #9f01ea);*/
}
form .btn:hover .inside{
 left: 0;
}

form .btn button{
    height: 100%;
    width: 100%;
    background: crimson;
    border: none;
    color: #fff;
    font-size: 18px;
    font-weight: 500;
    text-transform: uppercase;
    letter-spacing: 1px;
    /* cursor: pointer; */

}

#myform{
    background: #fff;
  padding: 4em 4em 2em;
  max-width: 400px;
  margin: 50px auto 0;
  box-shadow: 0 0 1em #222;
  border-radius: 2px;
  margin-top: -60px;
  margin-bottom: 100px;

}
#myform input{
    /* display: block; */
    box-sizing: border-box;
    width: 100%;
    outline: none;
    margin:0;
}

.container2 .times{
    position: absolute;
    right: 20px;
    top: 15px;
    font-size: 18px;
    /* cursor: pointer; */
}
.container2 .times:hover{
    color: red;
    font-weight: 600;
}
#show:checked ~ .container2{
    display: block;
}

/*required styling*/
input:required:focus {
    border: 1px solid red;
    outline: none;
  }
/* the media queries for responsivenesss*/
/* Media Queries: Tablet Landscape
@media screen and (max-width: 1060px) {
    #primary { width:67%; }
    #secondary { width:30%; margin-left:3%;}
}
/* Media Queries: Tabled Portrait
@media screen and (max-width: 768px) {
    #primary { width:100%; }
    #secondary { width:100%; margin:0; border:none; }
}*/

/* the media queries for responsivenesss*/
@media only screen and (max-width:800px) {
    /* For tablets: */
    .banner {
      width: 80%;
      padding: 0;
    }
    .div{
        width: 100%;
    }
    .div-2{
        width: 100%;
    }
    .div-3{
        width: 100%;
    }
  }
  @media only screen and (max-width:500px) {
    /* For mobile phones: */
    .banner , .banner p h3, .div , .book1 , .map {
      width: 100%;
    }
  }

  /*Footer design*/
/*styles the whole footer body*/
#footer{
    padding-top: 70px;
    background-color: crimson;
    display: flex;
    color: white;
}
/*style the easy-talk column of the footer*/
#easy-talk {
    padding-left: 30px;
    text-align: left;
    width: 350px;
    border: 70px;
}
#easy{
    color: black;
}
/*styles the contact text on the footer*/
#find-us {
    margin-left: 250px;
}
/*style the link text on find us*/
#find-us>a{
    display: block;
    padding: 5px;
}
/*style the quick links on the footer*/
#quick-links{
    margin-left: 250px;
}
/*style the subscribe section of the footer*/
#newsletter {
    margin-left: 200px;
}
.newsletter {
    color: white;
}
/*style the input field of the subscribe section*/
.input-field{
    padding: 5px;
    border-radius: 7px;
    cursor: pointer;
    width: 90%;
    border: none;
}

gha_language: HTML


text:
;
$TTL    3600
$ORIGIN wt3.ephec-ti.be.
@       IN      SOA     ns1.wt3.ephec-ti.be. he201426.wt3.ephec-ti.be. (
                     2018051003         ; Serial
                           7200         ; Refresh
                           3000         ; Retry
                        1209600         ; Expire
                         604800 )       ; Negative Cache TTL
;
@               IN      NS      ns1.wt3.ephec-ti.be.
@               IN      MX      10 mail
@               IN      TXT     "v=spf1 a mx ip4:54.37.65.113"
ns1             IN      A       54.37.65.113
mail            IN      A       54.37.65.113
web             IN      A       54.37.65.113
vitrine         IN      CNAME   web
intranet        IN      CNAME   web
b2b             IN      CNAME   web
smtp            IN      CNAME   mail
pop3            IN      CNAME   mail
imap            IN      CNAME   mail
mail._domainkey IN      TXT     ( "v=DKIM1; h=sha256; k=rsa; "
          "p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwHVxCRl4dMgTqjx6o3AbaQkcQ/Ji6OXy9/rYEoweLZiUZLNSAxSMB+hpebchKJa/TlfqRSZJNFjXncUOeHIgVyrQDZfPf8zBehoUuIMiOUG7A0MEoUY5EgGCToudstT0qAAh42VrPc3u7alyZQeod54JjSh+W5pccMQoP1ygmipixel34Q51OMwTRrNVHoWisk3A0TpjPz2se7"
          "7TQ09IJp7gLYy89Z08eqS3/4T/1MgTduUDrRzRjuO0kTzvG1e5Tpg3kObN3r1fRYIFnYc7i0AuDHSemQYFedWjIYXKDopA8lrkkZyjLENBjDJxVzC2nQ3xEcp6ob7YPmVwh0TApwIDAQAB" )  ; ----- DKIM key mail for wt3.ephec-ti.be
_dmarc          IN      TXT     ("v=DMARC1;p=none;sp=reject;pct=20;"
        "adkim=r;aspf=r")

_sip._udp		SRV	0	0	5060	sip
_sip._tcp		SRV 	0	0	5060	sip
sip			IN	A	54.37.65.113

repository: RosarNicolas/Admin-Reseau

repo_name: RosarNicolas/Admin-Reseau


text:
@Book{		  sommerville10software,
  title		= {Software Engineering},
  publisher	= {Addison-Wesley},
  year		= 2010,
  author	= {Ian Sommerville},
  series	= {International computer science},
  edition	= {Ninth}
}

@Article{	  benington83production,
  author	= {Herbert D. Benington},
  title		= {Production of Large Computer Programs},
  journal	= {Annals of the History of Computing},
  year		= 1983,
  volume	= 5,
  pages		= {350--361},
  number	= 4,
  month		= {October},
  keywords	= {computing history}
}

@Book{		  beck02test,
  author	= {Kent Beck},
  title		= {Test Driven Development by Example},
  publisher	= {Addison Wesley},
  year		= 2002,
  series	= {Signature},
  month		= {November}
}

@InProceedings{	  sommerville09deriving,
  author	= {Ian Sommerville and Russell Lock and Tim Storer and John
		  Dobson},
  title		= {Deriving Information Requirements from Responsibility
		  Models},
  booktitle	= {Advanced Information Systems Engineering, 21st
		  International Conference, CAiSE 2009},
  pages		= {515--529},
  year		= 2009,
  editor	= {Pascal Van Eck and Jaap Gordijn and Roel Wieringa},
  volume	= 5565,
  series	= {Lecture Notes in Computer Science},
  address	= {Amsterdam, Netherlands},
  month		= {June},
  publisher	= {Springer Verlag}
}

@Article{	  dardenne93goal,
  author	= {Anne Dardenne and Axel van Lamsweerde and Stephen Fickas},
  title		= {Goal-directed Requirements Acquisition},
  journal	= {Science of Computer Programming},
  year		= 1993,
  volume	= 20,
  pages		= {3--50},
  keywords	= {software engineering}
}

@Book{		  obashimethodology,
  author	= {Paul Wallis and Fergus Cloughley},
  title		= {The OBASHI Methodology},
  publisher	= {The Stationery Office},
  year		= {2010}
}

@Manual{	  omg2010omguml,
  title		= {{OMG} Unified Modeling Language ({OMG UML})
		  Superstructure},
  author	= {{OMG}},
  organization	= {Object Management Group},
  edition	= {V2.3},
  month		= {November},
  year		= 2007,
  keywords	= {software engineering}
}

@Manual{	  omg2011omgbpmn,
  title		= {{OMG} Business Process Model and Notation ({OMG UML})
		  Superstructure},
  author	= {{OMG}},
  organization	= {Object Management Group},
  edition	= {2.0},
  month		= {January},
  year		= 2011,
  keywords	= {software engineering}
}

@InProceedings{	  werneck2009,
  author	= {Vera Maria Benjamim Werneck and Antonio de P{\'{a}}dua
		  Albuquerque Oliveira and Julio Cesar Sampaio do Prado
		  Leite},
  title		= {Comparing {GORE} Frameworks: i-star and {KAOS}},
  booktitle	= {Anais do {WER09} - Workshop em Engenharia de Requisitos,
		  Valpara{\'{\i}}so, Chile, Julho 16-17, 2009},
  year		= 2009,
  editor	= {Claudia P. Ayala and Carla T. L. L. Silva and Hern{\'{a}}n
		  Astudillo}
}

@Book{		  hofstede2010yawl,
  editor	= {Arthur H. M. ter Hofstede and Wil M. P. van der Aalst and
		  Michael Adams and Nick Russell},
  title		= {Modern Business Process Automation - {YAWL} and its
		  Support Environment},
  booktitle	= {Modern Business Process Automation},
  publisher	= {Springer},
  year		= 2010
}

@Article{	  lyytinen2008,
  author	= {Kalle Lyytinen and Mike Newman},
  title		= {Explaining information systems change: a punctuated
		  socio-technical change model},
  journal	= {European Journal of Information Systems},
  volume	= 17,
  number	= 6,
  pages		= {589--613},
  year		= 2008
}

@Book{		  susman1976,
  author	= {Susman, Gerald I.},
  publisher	= {Praeger},
  title		= {{Autonomy at Work: A Sociotechnical Analysis of
		  Participative Management}},
  year		= 1976
}

@Misc{		  pymuttester,
  author	= {Michael Teo},
  title		= {PyMuTester Documentation},
  howpublished	= {\url{https://miketeo.net/wp/index.php/projects/python-mutant-testing-pymutester}},
  note		= {(Accessed on 03/23/2016)},
  year		= {2016}
}

@Misc{		  mutpy26,
  author	= {Konrad Hałas},
  title		= {MutPy 0.4.0 : Python Package Index},
  howpublished	= {\url{https://pypi.python.org/pypi/MutPy}},
  note		= {(Accessed on 03/25/2016)},
  year		= {2016}
}

@Article{	  herrmann1999,
  author	= {Herrmann, Thomas and Loser, Kai-Uwe},
  journal	= {Behaviour \& Information Technology},
  number	= 5,
  pages		= {313--323},
  title		= {{Vagueness in models of socio-technical systems}},
  volume	= 18,
  year		= 1999
}

@Article{	  aalst2004,
  author	= {Aalst, Wil M P Van Der},
  journal	= {BPTrends},
  pages		= {1--2},
  title		= {{Why workflow is NOT just a Pi-process}},
  year		= 2004
}

@Misc{		  storer2016theatre-ag-scm,
  author	= {Tim Storer},
  title		= {Theatre\_Ag GitHub Repository},
  howpublished	= {\url{http://www.github.com/twsswt/theatre_ag}},
  month		= {April},
  year		= 2017
}

@Misc{		  storer2016pydysofu-scm,
  author	= {Tom Wallis and Tim Storer},
  title		= {PyDySoFu GitHub Repository},
  howpublished	= {\url{http://www.github.com/twsswt/pydysofu}},
  month		= {April},
  year		= 2017
}

@Misc{		  wallis2016fuzzi-moss-scm,
  author	= {Tom Wallis and Tim Storer},
  title		= {Fuzzi\_Moss GitHub Repository},
  howpublished	= {\url{http://www.github.com/twsswt/fuzzi-moss}},
  month		= {April},
  year		= 2017
}

@Misc{		  storer2016softdev-workflow-scm,
  author	= {Tim Storer},
  title		= {Software Development Workflow GitHub Repository},
  howpublished	= {\url{http://www.github.com/twsswt/softdev-workflow}},
  month		= {April},
  year		= 2017
}

@Article{	  white2004,
  author	= {White, Stephen A},
  institution	= {IBM Corporation},
  journal	= {Business Process Trends},
  number	= {July},
  title		= {{Introduction to BPMN}},
  year		= 2004
}

@PhDThesis{	  yu1995,
  author	= {Yu, Eric},
  booktitle	= {Social Modeling for Requirements Engineering},
  school	= {University of Toronto},
  title		= {{Modelling strategic relationships for process
		  reengineering}},
  year		= 1995
}

@Book{		  emfmanual,
  author	= {Dave Steinberg and Frank Budinsky and Marcelo Paternostro
		  and Ed Merks},
  title		= {{EMF}: Eclipse Modeling Framework},
  publisher	= {Addison-Wesley Professional},
  year		= 2009,
  edition	= {Second}
}

@Misc{		  coles14pitest,
  author	= {Henry Coles},
  title		= {Pitest Release 1.0.0},
  howpublished	= {Available online:
		  \url{https://github.com/hcoles/pitest/releases/tag/pitest-parent-1.0.0}.},
  month		= {May},
  year		= 2014
}

@InProceedings{	  anderson04heterogeneous,
  author	= {Stuart Anderson and Massimo Felici},
  title		= {Heterogeneous Modelling of Evolution for Socio-technical
		  Systems},
  booktitle	= {Supplemental Volume of the 2004 International Conference
		  on Dependable Systems and Networks, Workshop on
		  Interdisciplinary approaches to achieving and analysing
		  system dependability},
  year		= 2004,
  pages		= {210--215},
  address	= {Florence, Italy},
  month		= {June},
  keywords	= {dependability}
}

@Misc{		  bade07structures,
  author	= {David Bade},
  title		= {Structures, standards, and the people who make them
		  meaningful},
  howpublished	= {Structures and Standards for Bibliographic Data (Chicago,
		  IL)},
  month		= {May},
  year		= 2007,
  keywords	= {dependability, responsibility}
}

@InProceedings{	  baxter07evaluating,
  author	= {Gordon D. Baxter and Alan Burns and Kenneth Tan},
  title		= {Evaluating Timebands as a Tool for Structuring the Design
		  of Socio-Technical Systems},
  booktitle	= {Contemporary Ergonomics 2007},
  year		= 2007,
  editor	= {Bust, P.},
  pages		= {55--60},
  address	= {London, UK},
  organization	= {Taylor \& Francis},
  keywords	= {dependability, socio-technical systems}
}

@Book{		  bennett06object,
  title		= {Object Oriented Systems Analysis and Design Using {UML}},
  publisher	= {McGraw Hill},
  year		= 2006,
  author	= {Simon Bennett and Steve McRobb and Ray Farmer},
  address	= {Shoppenhangers Road, Maidenhead, Berkshire, SL6 2QL},
  edition	= {Third}
}

@TechReport{	  besnard03human,
  author	= {Dennis Besnard and Gordon Baxter},
  title		= {Human compensations for undependable systems},
  institution	= {School of Computing Science, Newcastle upon Tyne},
  year		= 2003,
  number	= {CS-TR-819},
  address	= {Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1
		  7RU, UK},
  month		= {November},
  keywords	= {dependability}
}

@TechReport{	  bonen79evolutionary,
  author	= {Z. Bonen},
  title		= {Evolutionary Behavior of Complex Sociotechnical Systems},
  institution	= {Alfred P. Sloan School of Management, Massachusetts
		  Institute of Technology},
  year		= 1979,
  type		= {Working paper},
  number	= {1056-79},
  address	= {Institute of Technology, 50 Memorial Drive, Cambridge,
		  Massachusetts 02139},
  month		= {April},
  keywords	= {software engineering}
}

@InProceedings{	  bryans04towards,
  author	= {Jeremy W. Bryans and Peter Y. A. Ryan},
  title		= {Towards an inter-disciplinary dependability analysis of an
		  e-voting system},
  booktitle	= {Workshop on Interdisciplinary approaches to achieving and
		  analysing system Dependability},
  year		= 2004,
  editor	= {Michael Harrison and Lorenzo Strigini},
  month		= {June--July},
  keywords	= {electronic voting, legal issues, social issues}
}

@Booklet{	  cftc-sec10findings,
  title		= {Findings Regarding the Market Events of {May} 6, 2010.
		  Report of the Staffs of the {CFTC} and {SEC} to the Joint
		  Advisory Committee on Emerging Regulatory Issues},
  author	= {{U.S. CFTC/SEC}},
  howpublished	= {U.S. Commodity Futures Trading Commission. Three Lafayette
		  Centre, 1155 21st Street, NW Washington, D.C. 20581. U.S.
		  Securities \& Exchange Commission 100 F Street, NE
		  Washington, D.C. 20549},
  month		= {September},
  year		= 2010,
  keywords	= {software engineering}
}

@Article{	  crabtree00ethnomethodologically,
  author	= {Andy Crabtree and David M. Nichols and Jon O'Brien and
		  Mark Rouncefield and Michael B. Twidale},
  title		= {Ethnomethodologically-informed ethnography and information
		  systems design},
  journal	= {Journal of the American Society for Information Science},
  year		= 2000,
  volume	= 51,
  pages		= {666--682},
  number	= 7,
  keywords	= {software engineering}
}

@Book{		  dewsbury07responsibility,
  title		= {Responsibility and Dependable Systems},
  publisher	= {Springer-Verlag London Ltd},
  year		= 2007,
  editor	= {Guy Dewsbury and John Dobson},
  month		= {June}
}

@Article{	  elhassan07role,
  author	= {Osama El-Hassan and Jos\'{e} Luiz Fiadeiro},
  title		= {Role-based Architectural Modelling of Socio-Technical
		  Systems},
  journal	= {Electronic Notes in Theoretical Computer Science},
  year		= 2007,
  volume	= 181,
  pages		= {5--17},
  keywords	= {software engineering}
}

@Article{	  pentland05organisational,
  author	= {Brian T. Pentland and Martha S. Feldman},
  title		= {Organizational routines as a unit of analysis},
  journal	= {Industrial and Corporate Change},
  year		= 2005,
  volume	= 14,
  pages		= {793--815},
  number	= 5,
  month		= {August},
  keywords	= {dependability, socio-technical systems}
}

@InProceedings{	  robinson96limited,
  author	= {Bruce Robinson},
  title		= {Limited horizons, limited influence: Information
		  technology the London Ambulance Service},
  booktitle	= {Proceedings of the International Symposium on Technology
		  and Society Technical Expertise and Public Decisions},
  year		= 1996,
  pages		= {506--514},
  month		= {June},
  publisher	= {IEEE Computer Society Press},
  keywords	= {software engineering}
}

@Unpublished{	  sommerville08socio,
  author	= {Ian Sommerville and John Dobson},
  title		= {Socio-technical systems engineering},
  note		= {draft},
  month		= {August},
  year		= 2008,
  keywords	= {software engineering}
}

@Article{	  sommerville09responsibility,
  author	= {Ian Sommerville and Tim Storer and Russell Lock},
  title		= {Responsibility Modelling for Civil Emergency Planning},
  journal	= {Risk Management},
  year		= 2009,
  volume	= 11,
  number	= {3-4},
  pages		= {179--207}
}

@InProceedings{	  lock07observations,
  author	= {Russell Lock and Tim Storer and Natalie Harvey and Conrad
		  Hughes and Ian Sommerville},
  title		= {Observations of the {S}cottish Elections 2007},
  booktitle	= {eGov 2007, Third e-Government Workshop},
  year		= 2007,
  address	= {Leeds, UK},
  month		= {September},
  url		= {http://www.indeedproject.ac.uk/publications/pdfs/lock07observations.pdf}
}

@Article{	  israilidis13ignorance,
  author	= {John Israilidis and Russell Lock and Louise Cooke},
  title		= {Ignorance Management},
  journal	= {Management Dynamics in the Knowledge Economy},
  year		= 2013,
  volume	= 1,
  number	= 1,
  pages		= {71--85}
}

@Article{	  demillo78hints,
  author	= {Richard A. DeMillo and Richard J. Lipton and Frederick G.
		  Sayward},
  title		= {Hints on Test Data Selection: Help for the Practicing
		  Programmer},
  journal	= {IEEE Computer},
  year		= 1978,
  volume	= 11,
  number	= 4,
  pages		= {34--41}
}

@Misc{		  storer15ringneck-repos,
  author	= {Tim Storer},
  title		= {Ringneck Repository GitHub Mirror},
  howpublished	= {\url{https://github.com/twsswt/ringneck}},
  month		= {December},
  year		= 2015
}

@Book{		  takanen08fuzzing,
  author	= {Ari Takanen and Jared D. DeMott and Charles Mille},
  title		= {Fuzzing for Software Security Testing and Quality
		  Assurance},
  publisher	= {Artech House},
  year		= 2008,
  series	= {Information Security and Privacy Series},
  address	= {658 Canton St. Norwood, MA 02062}
}

@TechReport{	  filman01aspect,
  author	= {Robert E. Filman and Daniel P. Friedman},
  title		= {Aspect-Oriented Programming is Quantification and
		  Obliviousness},
  institution	= {Research Institute for Advanced Computer Science, Indianna
		  University},
  year		= 2001,
  number	= {01.12},
  address	= {Bloomington},
  month		= {October},
  note		= {Presented at the Workshop on Advanced Separation of
		  Concerns, OOPSLA 2001.},
  keywords	= {aspects}
}

@Article{	  knuth84literate,
  author	= {Donald Knuth},
  title		= {Literate Programming},
  journal	= {The Computer Journal},
  year		= 1984,
  volume	= 27,
  number	= 2,
  pages		= {97--111}
}

@InProceedings{	  lock09modelling,
  author	= {Russell Lock and Tim Storer and Ian Sommerville},
  title		= {Responsibility Modelling for Risk Analysis},
  booktitle	= {Proceedings of European SREL (ESREL) 2009},
  pages		= {1103--1109},
  year		= 2009,
  address	= {Prague, Czech Republic},
  month		= {September}
}

repository: probablytom/fuzzi-moss-paper

repo_name: probablytom/fuzzi-moss-paper