新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

cedricboidin library [78 articles]

最近 cedricboidin さんのライブラリ .
  • Object-oriented support for modelling and simulation of individual-oriented ecological models
    Ecological Modelling, Vol. 108, No. 1-3. (1 May 1998), pp. 77-96.
    by Helmut Lorek, Michael Sonnenschein
  • Using the Unified Modelling Language (UML) to guide the systemic description of biological processes and systems.
    Biosystems, Vol. 75, No. 1-3. (July 2004), pp. 3-14.
  • Intelligent Agents: Theory and Practice
    Knowledge Engineering Review, Vol. 10, No. 2. (1995), pp. 115-152.
    by Michael Wooldridge, Nicholas R Jennings
  • Theory of Modeling and Simulation
    (10 January 2000)
    by Bernard P Zeigler, Bernard Zeigler, Herbert Praehofer
  • Eclpss: a Java-based framework for parallel ecosystem simulation and modeling
    Environmental Modelling & Software, Vol. 20, No. 9. (September 2005), pp. 1081-1100.
    by Elaine Wenderholm
  • "Virtual laboratory environment" (VLE): a software environment oriented agent and object for modeling and simulation of complex systems
    Simulation Modelling Practice and Theory, Vol. 11, No. 1. (15 March 2003), pp. 45-55.
    by E Ramat, P Preux
  • DSL implementation using staging and monads
    (1999), pp. 81-94.
    by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
  • Domain Theory
  • Typesetting Haskell and more with lhs2TeX
    by A Loh
    posted to no-tag by cedricboidin on 2006-01-10 07:36:23 as read along with 1 person and 1 group greenrd SRG_at_UCD
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
  • A Modular Monadic Action Semantics
    (1997), pp. 157-170.
    by Keith Wansbrough, John Hamer
    posted to semantics by cedricboidin on 2005-08-31 12:38:00 as *****
  • A situated view of representation and control
    Artificial Intelligence, Vol. 73, No. 1-2. (February 1995), pp. 149-173.
    by Stanley J Rosenschein, Leslie P Kaelbling
  • What does an artificial design agent mean by being 'situated'?
    Design Studies, Vol. 26, No. 5. (September 2005), pp. 535-561.
    by Gregory J Smith, John S Gero
    posted to agent situated by cedricboidin on 2005-07-29 13:40:38 as ****
  • Lenient evaluation is neither strict nor lazy
    Computer Languages, Vol. 26, No. 1. (April 2000), pp. 43-66.
    posted to lazy by cedricboidin on 2005-07-19 09:11:10 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • A history of data-flow languages
    Annals of the History of Computing, IEEE, Vol. 16, No. 4. (1994), pp. 38-59.
    by P Whiting, R Pascoe
    posted to data-flow by cedricboidin on 2005-07-18 16:59:30 as ***** along with 1 person hamish
  • ACM Turing Award Lectures: The First Twenty Years 1966-1985
    (01 July 1991)
    edited by Robert L Ashenhurst
    posted to programming by cedricboidin on 2005-07-18 16:56:29 as ** along with 1 person hamish
  • The Mythical Man-Month: Essays on Software Engineering
    (02 August 1995)
    by Frederick P Brooks
  • Modern concurrency abstractions for C\#
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804.
    by Nick Benton, Luca Cardelli, C&\#233;dric Fournet
    posted to no-tag by cedricboidin on 2005-07-18 16:43:33 as ** along with 4 people wkrenn hamish tautologico eduardod
  • Send-receive considered harmful: Myths and realities of message passing
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 1. (January 2004), pp. 47-56.
    by Sergei Gorlatch
    posted to message_passing by cedricboidin on 2005-07-18 16:33:35 as ** along with 3 people hamish fmc coutinho
  • notes La programmation réactive : Application aux systèmes communicants
    (01 January 1996)
    by Frédéric Boussinot
    posted to reactive by cedricboidin on 2005-07-18 16:06:35 as ***
  • L'intelligence (traite des sciences cognitives)
    (01 March 2005)
    posted to agent by cedricboidin on 2005-07-15 10:04:21 as **
  • Intelligence without representation
    No. 47. (1991), pp. 139-159.
    by Rodney A Brooks
  • Intelligence without Robots: A Reply to Brooks
    AI Magazine, Vol. 14, No. 4. (1993), pp. 7-13.
    by Oren Etzioni
    posted to agent by cedricboidin on 2005-07-07 14:53:40 as *** along with 3 people fakirhs jounih awllee
  • Where the Action Is : The Foundations of Embodied Interaction (Bradford Books)
    (01 September 2004)
    by Paul Dourish
  • Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
  • The marriage of effects and monads
    Vol. 34, No. 1. (January 1998), pp. 63-74.
    by Philip Wadler
  • A Call-by-Need Lambda Calculus
    (1995), pp. 233-246.
    by Zena M Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
  • Lazy vs Strict
    ACM Computing Surveys, Vol. 28, No. 2. (1996), pp. 318-320.
    by Philip Wadler
  • Red Hat RPM Guide
    (01 March 2003)
    posted to linux rpm by cedricboidin on 2005-07-05 17:14:35 as ** along with 2 people and 1 group samth Fin NU-PRL
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
  • Concepts in Programming Languages
    (15 December 2001)
    by John C Mitchell, Krzysztof Apt
  • Agent-Oriented Software Engineering
    Vol. 1647 (~March0--~February 1999), pp. 1-7.
    by Nicholas R Jennings
    edited by Francisco J Garijo, Magnus Boman
    posted to agent by cedricboidin on 2005-06-23 10:31:49 as ***
  • Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
    (1977)
    by Joseph E Stoy
    posted to fonctional by cedricboidin on 2005-06-08 07:56:29 as *****
  • The next 700 programming languages
    Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
    by PJ Landin
  • Monads for incremental computing
    Vol. 37, No. 9. (September 2002), pp. 26-35.
    by Magnus Carlsson
    posted to monad by cedricboidin on 2005-06-06 08:48:08 as **
  • Modélisation et Simulation d'Écosystèmes; Des modèles déterministes aux simulations à événements discrets
    (1997)
    by Patrick Coquillard, David R Hill
    posted to ecosysteme simulation by cedricboidin on 2005-06-03 09:51:22 as read
  • Distributed Programming in Haskell with Ports
    Lecture Notes in Computer Science, Vol. 2011 (2001)
    by Frank Huch, Ulrich Norbisrath
    posted to distributed haskell by cedricboidin on 2005-06-02 14:53:57 as ** along with 2 people Bluetulip dguibert
  • What's in an Instance?
    by Christopher A Welty, David A Ferrucci
    posted to poo by cedricboidin on 2005-06-02 14:32:56 as *** along with 1 person fheintz
  • Call-by-name, call-by-value, and the $λ$-calculus
    Theoretical Computer Science (1975), pp. 125-159.
    by Gordon D Plotkin
    posted to no-tag by cedricboidin on 2005-06-02 11:27:35 as ** along with 2 people and 1 group samth ryanc NU-PRL
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to no-tag by cedricboidin on 2005-06-02 11:27:24 as ** along with 1 person and 1 group samth NU-PRL
  • A first-class approach to genericity
    (2003), pp. 96-114.
    by Eric Allen, Jonathan Bannet, Robert Cartwright
    posted to no-tag by cedricboidin on 2005-06-02 11:27:14 as ** along with 1 person and 1 group samth NU-PRL
  • GNU Autoconf, Automake, and Libtool
    (06 October 2000)
    by Gary V Vaughan, Ben Elliston, Tom Tromey, Ian L Taylor
    posted to no-tag by cedricboidin on 2005-06-02 11:25:32 as ** along with 1 person and 1 group samth NU-PRL
  • On the Expressive Power of Programming Languages
    Vol. 432 (JanuaryMay--JanuaryAugust~May 1990), pp. 134-151.
    by Matthias Felleisen
    edited by Neil D Jones
    posted to poo by cedricboidin on 2005-06-02 11:24:43 as ** along with 1 person and 1 group samth NU-PRL
  • Functional Vs Object-Oriented Distributed Languages
    (2001), pp. 642-656.
    by Robert F Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W Trinder
    posted to distributed poo by cedricboidin on 2005-06-02 11:12:15 as ***** along with 1 person CarlosSantos
  • Optimising Embedded DSLs using Template
    by Haskell S Seefried
  • Building domain-specific embedded languages
    ACM Comput. Surv., Vol. 28, No. 4es. (1996)
    by Paul Hudak
  • Compiling Embedded Languages
    (2000), pp. 9-27.
    by Conal Elliott, Sigbjorn Finne, Oege d de Moor
  • Why functional programming matters
    Comput. J., Vol. 32, No. 2. (April 1989), pp. 98-107.
    by J Hughes
  • Reasoning with continuations II: full abstraction for models of control
    (1990), pp. 161-175.
    by Dorai Sitaram, Matthias Felleisen
  • Once upon a type
    (1995)
    by David N Turner, Philip Wadler, Christian Mossin
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/cedricboidin

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.