registrieren | anmelden | FAQ      [?] 

Tag pi [76 articles]

Recent papers classified by the tag pi.
  • The Catalan Numbers and Pi
    Mathematics Magazine, Vol. 65, No. 1. (1992), pp. 36-37.
    by John A Ewell
    posted to pi catalan by tpoff on 2005-11-17 22:31:39 as read
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • A Calculus of Mobile Processes, Parts I and II
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to calculus pi by Templarwzy on 2007-02-27 09:21:38 as read along with 2 people stagediver cogumbreiro
  • Graphical Verification of a Spatial Logic for the [pi]-calculus
    Electronic Notes in Theoretical Computer Science, Vol. 154, No. 2. (27 May 2006), pp. 31-46.
    by Fabio Gadducci, Lluch
    posted to pi visualization by suer on 2007-05-11 06:24:15 as **
  • Faithful [pi]-nets.: A graphical representation of the asynchronous [pi]-calculus
    Electronic Notes in Theoretical Computer Science, Vol. 18 (1998), pp. 24-45.
    by Gabriel Ciobanu, Mihai Rotaru
    posted to pi visualization by suer on 2007-05-11 06:22:40 as **
  • Graph Types for Monadic Mobile Processes
    (1996), pp. 371-386.
    by Nobuko Yoshida
    posted to pi type by suer on 2007-07-24 17:33:05 as **
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to calculus pi by soulism on 2008-03-10 12:52:15 as ** along with 13 people and 2 groups talototo stagediver bfraser kontakte AndreasSchropp cogumbreiro osh roland_ewald carmaus mattis23 laurajaros jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • A compositional logic for proving security properties of protocols
    Journal of Computer Security, Vol. 11 (2003)
    by Nancy Durgin, John Mitchell, Dusko Pavlovic
    posted to proof pi 2003 by shimomura on 2008-09-23 16:07:56 as **
  • Model checking mobile processes
    Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51.
    by Mads Dam
    posted to 1996 modelchecking pi by shimomura on 2007-09-28 10:53:35 as ** along with 1 person keigoi
  • Communicating and mobile systems: the &pgr;-calculus
    (1999)
    by Robin Milner
    posted to 1999 ccs concurrent pi by shimomura on 2008-01-25 07:31:33 as *** along with 2 people cogumbreiro mcclurmc
  • Algebraic laws for nondeterminism and concurrency
    J. ACM, Vol. 32, No. 1. (January 1985), pp. 137-161.
    by Matthew Hennessy, Robin Milner
    posted to 1985 modelchecking pi by shimomura on 2008-02-16 17:10:37 as ** along with 1 person keigoi
  • Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
    Programming Languages and Systems (2007), pp. 490-504.
    by Kohei Suenaga, Naoki Kobayashi
    posted to 2007 concurrent deadlock pi type by shimomura on 2008-05-14 06:54:18 as **
  • Resource Usage Analysis for the π -Calculus
    Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
    by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    posted to 2006 pi resource type by shimomura on 2008-05-14 06:59:17 as **
  • Erlang's exception handling revisited
    (2004), pp. 16-26.
    by Richard Carlsson, Björn Gustavsson, Patrik Nyblom
    posted to 2004 erlang exception pi by shimomura on 2008-01-04 07:57:52 as **
  • CML: A higher concurrent language
    (1991), pp. 293-305.
    by John H Reppy
    posted to 1991 cml pi by shimomura on 2008-01-04 07:09:50 as **
  • Nomadic pict: correct communication infrastructure for mobile computation
    (2001), pp. 116-127.
    by Asis Unyapoth, Peter Sewell
    posted to 2001 pi pict by shimomura on 2007-10-14 08:33:46 as **
  • A derivation system and compositional logic for security protocols
    J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
    by Anupam Datta, Ante Derek, John C Mitchell, Dusko Pavlovic
    posted to proof pi 2005 by shimomura on 2008-09-23 16:09:47 as **
  • A Typed Higher-Order Programming Language Based on the Pi-Calculus
    (July 1993)
    by Benjamin C Pierce, Didier Rémy, David N Turner
    posted to 1993 pi pict by shimomura on 2007-10-25 11:49:34 as *** along with 1 person and 1 group bockfliess FPA
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to 2003 modelchecking pi type by shimomura on 2008-05-14 14:37:02 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • Pict: A Programming Language Based on the Pi-Calculus
    (2000)
    by Benjamin C Pierce, David N Turner
    edited by G Plotkin, C Stirling, M Tofte
    posted to 2000 pi pict by shimomura on 2008-02-03 12:38:54 as ** along with 4 people jrw tautologico wneumann cogumbreiro
  • History-Dependent Automata
    No. TR-98-11. (May, 1998)
    by Ugo Montanari, Marco Pistore
    posted to 1998 automata pi by shimomura on 2008-03-07 14:50:21 as **
  • Proof Systems for-Calculus Logics Mads Dam
    by Mads Dam
    posted to proof pi by shimomura on 2008-09-23 13:39:26 as **
  • A compositional logic for protocol correctness
    Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE (2001), pp. 241-255.
    by N Durgin, J Mitchell, D Pavlovic
    posted to proof pi logic 2001 by shimomura on 2008-09-23 16:03:27 as **
  • Foundational Calculi for Programming Languages
    (1997)
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to calculus lambda pi by rwtodd on 2005-03-17 00:19:49 as **** along with 9 people and 4 groups snowman rgrig jrw cedricboidin pintman sjgaller mrkoot mfrydr ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic
  • A probabilistic proof of Wallis's formula for pi
    (13 Sep 2007)
    by Steven J Miller
    posted to pi by rudasa on 2007-09-17 09:07:58 as **
  • Visuo-Spatial Working Memory and Individual Differences (Essays in Cognitive Psychology)
    (2003)
    by Cesare Cornoldi, Tomaso Vecchi
    posted to wm pi neuroscience neuropsychology memory eb books book-ex bgbs basi bacr 2003 by quianominorleo on 2008-08-19 08:43:01 as **
  • Origins of Cryptology: The Arab Contributions
    Cryptologia, Vol. 16, No. 2. (1992), pp. 97-126.
    by Ibrahim A Al-Kadi
    posted to pi 1992 cryptography by quianominorleo on 2008-05-21 23:03:44 as **
  • Codes and Cryptography
    (07 July 1988)
    by Dominic Welsh
    posted to pi my-books information-theory eb cryptography books 1998 by quianominorleo on 2008-05-13 17:33:14 as **
  • Modèles et données: Une introduction à la statistique uni-, bi- et trivariée
    (1998)
    by François Bavaud
    posted to pi statistics probability-theory my-books francais eb books 1998 by quianominorleo on 2008-05-13 17:36:16 as **
  • Use of Calculated Cation-π Binding Energies to Predict Relative Strengths of Nicotinic Acetylcholine Receptor Agonists
    ACS Chemical Biology, Vol. 3, No. 11. (21 November 2008), pp. 693-702.
    by Mathew Tantama, Stuart Licht
    posted to tanta08pdf strengths receptor pi cation bond agonists by paulschlesinger on 2008-11-25 01:48:55 as **
  • Evidence for the Cation−π Interaction between Cu2+ and Tryptophan
    J. Am. Chem. Soc. (22 October 2008)
    by Hanami Yorita, Kohei Otomo, Hirotsugu Hiramatsu, Akira Toyama, Takashi Miura, Hideo Takeuchi
    posted to yorita08pdf tryptophan pi copper cation by paulschlesinger on 2008-10-23 01:52:00 as **
  • Hsp27 Inhibits Bax Activation and Apoptosis via a Phosphatidylinositol 3-Kinase-dependent Mechanism
    J. Biol. Chem., Vol. 283, No. 18. (2 May 2008), pp. 12305-12313.
    by Andrea Havasi, Zhijian Li, Zhiyong Wang, Jody L Martin, Venugopal Botla, Kathleen Ruchalski, John H Schwartz, Steven C Borkan
    posted to activation apoptosis bax kinase pi by paulschlesinger on 2008-04-26 00:46:39 as **
  • Investigation of Cation-π Interactions in Biological Systems
    J. Am. Chem. Soc. (29 August 2008)
    by Ronghu Wu, Terry B Mcmahon
    posted to wu08pdf pi measurement interactions cation by paulschlesinger on 2008-09-03 01:08:54 as ** along with 3 people Lombardo_7 alexfuerstenberg kevinchannon
  • Novel cation-? interaction revealed by crystal structure of thermoalkalophilic lipase
    Proteins: Structure, Function, and Bioinformatics, Vol. 70, No. 2. (2008), pp. 592-598.
    by Hiroyoshi Matsumura, Takahiko Yamamoto, Thean C Leow, Tadashi Mori, Abu B Salleh, Mahiran Basri, Tsuyoshi Inoue, Yasushi Kai, Raja
    posted to cation crystal pi structure by paulschlesinger on 2007-12-12 00:43:32 as **
  • Evidence That Phosphatidylinositol Promotes Curved Membrane Interfaces
    Langmuir (23 July 2008)
    by Xavier Mulet, Richard H Templer, Rudiger Woscholski, Oscar Ces
    posted to curved membrane pi surface by paulschlesinger on 2008-07-30 19:43:52 as **
  • On the Cooperativity of Cation−π and Hydrogen Bonding Interactions
    J. Phys. Chem. B (3 July 2008)
    by Dolly Vijay, Hendrik Zipse, Narahari G Sastry
    posted to bond cation cooperative hydrogen pi vijay08pdf by paulschlesinger on 2008-07-03 19:48:32 as **
  • miR172 regulates stem cell fate and defines the inner boundary of APETALA3 and PISTILLATA expression domain in Arabidopsis floral meristems
    The Plant Journal, Vol. 51, No. 5. (September 2007), pp. 840-849.
    by Zhao, Li, Kim, Yunju, Dinh, T Theresa, Chen, Xuemei
    posted to ap3 mir172 pi by p2vani on 2008-01-24 06:48:50 as **** along with 1 group Botany and Plant Sciences
  • notes Type inference with polymorphic recursion
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 2. (April 1993), pp. 253-289.
    by Fritz Henglein
    posted to pi by osh on 2007-03-07 12:50:54 as ** along with 3 people creswick soutaro dagelee
  • A History of Pi
    (15 July 1976)
    by Petr Beckmann
    posted to pi by NitinCR on 2008-10-07 20:04:55 as **
  • Relative strength of cation-pi vs salt-bridge interactions: the Gtalpha(340-350) peptide/rhodopsin system.
    J Am Chem Soc, Vol. 128, No. 23. (14 June 2006), pp. 7531-7541.
    by MA Anderson, B Ogbay, R Arimoto, W Sha, OG Kisselev, DP Cistola, GR Marshall
    posted to cation interactions pi rhodopsin by ndoelker on 2006-11-24 14:26:51 as **** along with 1 person and 1 group xdeupi LabCompMed
  • notes A Typed Calculus for Querying Distributed XML Documents
    Trustworthy Global Computing (2007), pp. 167-182.
    by Lucia Acciai, Michele Boreale, Dal
    posted to pi xml by mzp on 2008-06-24 12:22:38 as **
  • notes : A Process Calculus with Native
    Formal Techniques for Computer Systems and Business Processes (2005), pp. 18-34.
    by Brown, Cosimo Laneve, L Meredith
    posted to pi xml by mzp on 2008-06-24 12:19:31 as **
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to caliculi concurrent pi theory by myui on 2007-09-05 09:52:51 as **** along with 5 people and 3 groups pverstra sugarexpletive KarlKlose roland_ewald mperalta macc dIEMoSIRIS MoSi-Rostock
  • On Defining Library and Information Science as Applied Philosophy of Information
    by Luciano Floridi
    posted to information library philosophy pi by matsumura on 2005-10-05 07:49:30 as ** along with 4 people and 1 group kherold aeoluspress sking33 librarians Philosophy_of_Information
  • Microstructure of a spatial map in the entorhinal cortex
    Nature (19 June 2005)
    by Torkel Hafting, Marianne Fyhn, Sturla Molden, May-Britt Moser, Edvard I Moser
    posted to cognition environment geometry map neural pi spatial by lmgrabowski on 2006-01-09 21:45:41 as read along with 8 people sebwills torfis brain balicea thomas_wills rwilliamson DavidSchulz robotact
  • From a Concurrent Lambda-Calculus to the Pi-Calculus
    (1995), pp. 106-115.
    by Roberto M Amadio, Lone Leth, Bent Thomsen
    posted to calculus functional lambda pi programming by jerojasro on 2006-11-18 19:24:36 as **
  • A generic type system for the Pi-calculus
    Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to concurrency pi system type by janschaefer on 2007-04-12 09:45:48 as *** along with 2 people and 1 group keigoi yoriyuki TU-KL-SoftwareTechnologyGroup
  • Specifying Distributed Software Architectures
    Vol. 989 (1995), pp. 137-153.
    by J Magee, N Dulay, S Eisenbach, J Kramer
    edited by W Schafer, P Botella
    posted to architectures pi by janschaefer on 2007-05-08 14:15:31 as *** along with 1 person and 2 groups pverstra macc TU-KL-SoftwareTechnologyGroup
  • Correspondence assertions for process synchronization in concurrent communications
    J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247.
    by Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
    posted to concurrency pi by janschaefer on 2007-04-12 09:48:49 as *** along with 2 people and 1 group keigoi shimomura TU-KL-SoftwareTechnologyGroup
  • Information flow vs. resource access in the asynchronous pi-calculus
    ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
    by Matthew Hennessy, James Riely
    posted to concurrency pi by janschaefer on 2007-04-12 09:51:01 as *** along with 2 people and 1 group keigoi jfischer TU-KL-SoftwareTechnologyGroup
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/pi

    Result page: 1 2 Next RIS BibTeX
    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.