Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

msakai library [443 articles]

Статьи, недавно добавленные в библиотеку msakai .
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to type-theory by msakai on 2008-07-23 23:18:23 as ** along with 1 person shimomura
  • Compositional Reasoning in Model Checking
    Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
    by Sergey Berezin, Sérgio Campos, Edmund M Clarke
    posted to model-checking by msakai on 2008-07-17 09:48:21 as ** along with 1 person yoriyuki
  • Model Checking Timed Automata with Priorities Using DBM Subtraction
    Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
    by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson
    posted to model-checking by msakai on 2008-07-15 03:04:02 as ** along with 1 person keigoi
  • Timed Automata: Semantics, Algorithms and Tools
    Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
    by Johan Bengtsson, Wang Yi
    posted to model-checking by msakai on 2008-07-15 03:03:57 as ** along with 2 people yoriyuki keigoi
  • Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
    Programming Languages and Systems (2008), pp. 16-31.
    by Jacob Matthews, Amal Ahmed
    posted to polymorphism by msakai on 2008-07-15 02:35:53 as ** along with 1 person shimomura
  • Type Checking with Open Type Functions
    (2008)
    by Tom Schrijvers, Simon P Jones, Manuel Chakravarty, Martin Sulzmann
    posted to no-tag by msakai on 2008-07-15 02:35:41 as ** along with 1 person shimomura
  • Algebra of Programming using Dependent Types
    Vol. Volume 5133/2008 (2008), pp. 268-283.
    by Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    posted to type-theory by msakai on 2008-07-15 02:35:20 as ** along with 1 person shimomura
  • Translating dependent type theory into higher order logic
    Typed Lambda Calculi and Applications (1993), pp. 209-229.
    by Bart Jacobs, Tom Melham
    posted to type-theory logic by msakai on 2008-07-15 02:34:56 as ** along with 1 person shimomura
  • Strong normalization of the second-order symmetric [lambda][mu]-calculus
    Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20.
    by Yoriyuki Yamagata
    posted to lambda-calculus continuation by msakai on 2008-07-09 03:03:25 as ** along with 1 person yoriyuki
  • Strong Normalization of Second Order Symmetric Lambda-mu Calculus
    Theoretical Aspects of Computer Software (2001), pp. 459-467.
    by Yoriyuki Yamagata
    posted to lambda-calculus continuation by msakai on 2008-07-09 03:03:10 as ** along with 1 person yoriyuki
  • Lock Free Data Structures Using STM in Haskell
    Functional and Logic Programming (2006), pp. 65-80.
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh
    posted to haskell functional-programming concurrency by msakai on 2008-07-09 02:23:18 as ** along with 3 people keigoi pedagand brecknell
  • Reasoning support for Semantic Web ontology family languages using Alloy
    Multiagent and Grid Systems, Vol. 2, No. 4. (2006)
    by Hai H Wang, Jin S Dong, Jing Sun, Jun Sun
    posted to semantic-web ontology alloy by msakai on 2008-07-08 23:43:11 as read
  • The thermodynamics of computation—a review
    International Journal of Theoretical Physics, Vol. 21, No. 12. (1 December 1982), pp. 905-940.
    by Charles H Bennett
    posted to thermodynamics information-theory by msakai on 2008-07-07 16:38:21 as *** along with 3 people yoriyuki Kiarostami hakanolin
  • notes 4.トポロジーと量子計算(量子情報処理パラダイム)
    オペレーションズ・リサーチ : 経営の科学, Vol. 47, No. 7. (1 July 2002), pp. 453-458.
    by Masahiro Hachimori, Fumitaka Yura
    posted to quantum by msakai on 2008-07-07 16:27:45 as ***
  • notes Agate–an Agda-to-Haskell compiler
    (5 October 2006)
    by Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita
    posted to haskell compiler agda by msakai on 2008-07-07 10:03:25 as read along with 1 person shimomura
  • On Evans's Vague Object from Set Theoretic Viewpoint
    Journal of Philosophical Logic, Vol. 35, No. 4. (2006), pp. 423-434.
    by Shunsuke Yatabe, Hiroyuki Inaoka
    posted to vaguness philosophy by msakai on 2008-07-04 10:40:08 as ** along with 1 person yoriyuki
  • Evans のvague object について
    by Shunsuke Yatabe, Hiroyuki Inaoka
    posted to vaguness philosophy by msakai on 2008-07-04 10:39:43 as ** along with 1 person yoriyuki
  • Type Systems for Concurrent Programs
    Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453.
    by Naoki Kobayashi
    posted to type-theory concurrency by msakai on 2008-07-04 01:39:43 as ** along with 1 person yoriyuki
  • The view from the left
    by Conor Mcbride
    posted to agda by msakai on 2008-07-03 03:40:14 as ** along with 1 person yoriyuki
  • Bisimulation can't be traced
    J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268.
    by Bard Bloom, Sorin Istrail, Albert R Meyer
    posted to concurrency by msakai on 2008-07-03 01:42:44 as ** along with 2 people numba37 keigoi
  • Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
    Vol. UU-CS-2007-029
    by Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh
    posted to functional by msakai on 2008-07-03 00:14:46 as read
  • notes A functional quantum programming language
    Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258.
    by T Altenkirch, J Grattage
    posted to quantum functional by msakai on 2008-07-01 23:44:05 as read along with 1 person yoriyuki
  • Contrasting Exceptions and Continuations
    by Hayo Thielecke
    posted to continuation by msakai on 2008-07-01 01:56:12 as ** along with 1 person yoriyuki
  • On game semantics for intuitionistic linear logic
    by Vladimir Komendantsky
    posted to linear-logic game-semantics by msakai on 2008-06-27 09:45:04 as ** along with 1 person yoriyuki
  • Extended static checking for haskell
    (2006), pp. 48-59.
    by Dana N Xu
    posted to static-checking haskell by msakai on 2008-06-25 07:35:20 as ** along with 2 people shimomura spl
  • Dependently Typed Programming in Agda
    by Ulf Norell
    posted to agda by msakai on 2008-06-25 02:51:13 as ** along with 2 people shimomura yoriyuki
  • Random Generators for Dependent Types
    Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to type-theory dependent-types by msakai on 2008-06-24 01:37:54 as ** along with 1 person shimomura
  • notes Cohesive Toposes and Cantor's 'lauter Einsen'
    Philosophia Mathematica, Vol. 2, No. 1. (1 January 1994), pp. 5-15.
    by FW Lawvere
    posted to category-theory by msakai on 2008-06-23 17:03:01 as **
  • モンテカルロ木探索―コンピュータ囲碁に革命を起こした新手法 (Monte-Carlo Tree Search ― A Revolutionary Algorithm Developed for Computer Go)
    情報処理, Vol. 49, No. 6. (15 June 2008), pp. 88-95.
    by Kazuki Yoshizoe
    posted to game by msakai on 2008-06-23 16:58:59 as read
  • Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
    Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
    by Shunsuke Yatabe
    posted to logic arithmetic by msakai on 2008-06-21 06:49:15 as ** along with 1 person yoriyuki
  • 様相論理による並行プログラムの積重ね式検証法
    電子情報通信学会論文誌 D, Vol. J75-D1, No. 2. (20 February 1992), pp. 76-87.
    by Naoshi Uchihira
    posted to verification concurrency by msakai on 2008-06-18 23:49:53 as **
  • notes Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics
    by Samson Abramsky
    edited by Goong Chen, Louis Kauffman, Samuel J Lomonaco
    posted to quantum category-theory by msakai on 2008-06-16 13:36:48 as ***
  • notes Mathematics of Quantum Computation and Quantum Technology (Applied Mathematics and Nonlinear Science)
    (04 October 2007)
    posted to quantum category-theory by msakai on 2008-06-16 13:15:15 as **
  • Automatic predicate abstraction of C programs
    (2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to model-checking by msakai on 2008-06-16 10:31:35 as ** along with 2 people keigoi bfraser
  • notes A sequent calculus for limit computable mathematics
    Annals of Pure and Applied Logic, Vol. 153, No. 1-3. (April 2008), pp. 111-126.
    by Stefano Berardi, Yoriyuki Yamagata
    posted to lcm by msakai on 2008-06-14 07:59:05 as ** along with 1 person yoriyuki
  • 融合変換による関数プログラムの最適化
    by Yoshiyuki Onoue
    posted to program-transformation by msakai on 2008-06-12 12:00:07 as read
  • Bounded Model Checking Using Satisfiability Solving
    Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
    by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
    posted to model-checking by msakai on 2008-06-11 10:19:57 as ** along with 2 people shimomura voronov
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to unix by msakai on 2008-06-11 09:43:33 as ** along with 2 people heiko_reese shimomura
  • Linear Processing with Pregroups
    Studia Logica, Vol. 87, No. 2. (10 December 2007), pp. 171-197.
    by Anne Preller
    posted to linguistics by msakai on 2008-06-08 08:08:25 as **
  • notes Control categories and duality: on the categorical semantics of the lambda-mu calculus
    Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260.
    by Peter Selinger
    posted to continuation category-theory by msakai on 2008-06-08 07:30:21 as ** along with 1 person yoriyuki
  • 帰納論理プログラミングの基礎理論とその展開 (Foundation of Inductive Logic Programming and Recent Research Topics)
    コンピュータソフトウェア, Vol. 23, No. 2. (2006), pp. 29-44.
    by Akihiro Yamamoto
    posted to machine-learning ilp by msakai on 2008-06-07 15:27:53 as read
  • 計算と論理のための自然枠組NF/CAL (A Natural Framework for Computation and Logic: NF/CAL)
    コンピュータソフトウェア, Vol. 23, No. 3. (2006), pp. 3-13.
    by Masahiko Sato
    posted to theorem-proving logic by msakai on 2008-06-06 10:59:09 as read
  • Coalgebraに基づく有限オートマトン理論の再構成(概要)
    (6 March 2002)
    by Kuniaki Mukai
    posted to coalgebra by msakai on 2008-06-06 04:53:40 as read
  • UMCS-90-3-1 On the usability of logics which handle partial functions
    by Cheng
    posted to no-tag by msakai on 2008-06-03 02:42:53 as ** along with 1 person yoriyuki
  • Semantics and Pragmatics of New Shortcut Fusion Rules
    Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
    by Janis Voigtländer
    edited by Jacques Garrigue, Manuel Hermenegildo
    posted to program-transformation by msakai on 2008-06-02 10:10:48 as ** along with 1 person voigt
  • The variety of residuated lattices is generated by its finite simple members
    Reports on Mathematical Logic, Vol. 34 (2000), pp. 59-77.
    by Tomasz Kowalski, Hiroakira Ono
    posted to logic algebra by msakai on 2008-06-01 06:03:12 as **
  • Formalization of the Equivalent Transformation Computation Model
    Journal ref: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol. 10, No. 3. (2006), pp. 245-259.
    by Kiyoshi Akama, Ekawit Nantajeewarawat
    posted to logic-programming by msakai on 2008-06-01 05:43:08 as **
  • notes Guarded induction on final coalgebras
    Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18.
    by D Pavlovic
    posted to theorem-proving coalgebra category-theory by msakai on 2008-06-01 05:09:27 as read
  • A proof-irrelevant model of Martin-Löf's logical framework
    Mathematical Structures in Computer Science, Vol. 12, No. 06. (2003), pp. 771-795.
    by Daniel Fridlender
    posted to type-theory by msakai on 2008-06-01 05:06:14 as **
  • Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
    Functional and Logic Programming (2002), pp. 167-182.
    by Masahito Hasegawa
    posted to linear-logic continuation by msakai on 2008-06-01 05:04:42 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/msakai

    Result page: 1 2 3 4 5 6 7 8 9 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.