注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002's library [2559 articles]

最近录入 Scis0000002's 文献库.
  • Hierarchical meta-logics: Intuitions, proof theory and semantics
    Meta-Programming in Logic (1992), pp. 235-249.
    by Fausto Giunchiglia, Luciano Serafini, Alex Simpson
    posted to metalogics metalogical-frameworks hierarchies by Scis0000002 on 2008-07-03 17:56:15 as **
  • An Overview of Enterprise Resource Planning Systems in Manufacturing Enterprises
    by Mary, Edward J Barkmeyer
  • Information Integration and Information Strategies for Adaptive Enterprises
    pp. 486-494.
    posted to enterprises by Scis0000002 on 2008-07-02 22:30:09 as **
  • CrossFlow: Cross-Organizational Workflow Management for Service Outsourcing in Dynamic Virtual Enterprises
    IEEE Data Engineering Bulletin, Vol. 24, No. 1. (2001), pp. 52-57.
    by Paul WPJ Grefen, Karl Aberer, Heiko Ludwig, Yigal Hoffner
    posted to enterprises by Scis0000002 on 2008-07-02 22:29:08 as ** along with 1 person and 1 group charoy ecoo-pe
  • Different types of arrow between logical frameworks
    Automata, Languages and Programming (1996), pp. 158-169.
    by Till Mossakowski
  • Virtual Organization: Toward a Theory of Societal Transformation Stimulated by Information Technology
    (30 March 2002)
    by Abbe Mowshowitz
    posted to organization-theory organizations companies communities by Scis0000002 on 2008-07-01 20:19:32 as **
  • A multiagent based control approach for evolvable assembly systems
    Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on (2005), pp. 478-483.
    posted to skills functionalities abilities by Scis0000002 on 2008-07-01 13:42:03 as **
  • Information In The Non-Stationary Case
    (24 Jun 2008)
    by Vincent Q Vu, Bin Yu, Robert E Kass
  • Reflections on Bishop's philosophy of mathematics
    Constructive Mathematics (1981), pp. 135-145.
    by Nicolas Goodman
    posted to mathematics intuitionistic-logic by Scis0000002 on 2008-06-28 14:04:54 as **
  • Space of Quantum Theory Representations of Natural Numbers, Integers, and Rational Numbers
    (26 Apr 2007)
    by Paul Benioff
    posted to representations by Scis0000002 on 2008-06-28 13:58:38 as **
  • The Mathematical Universe
    (5 Apr 2007)
    by Max Tegmark
  • Optimal Control for Generating Quantum Gates in Open Dissipative Systems
    (6 Sep 2006)
    posted to qip by Scis0000002 on 2008-06-27 21:09:40 as ** along with 1 person jrw
  • Carnap and Quine on the distinction between external and internal questions
    Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
    by Bruce N Waller
  • Selecting a Portfolio of Technologies: An Application of Decision Analysis
    Decision Sciences, Vol. 30, No. 1. (1999), pp. 217-238.
    by Jack A Jackson, Jack M Kloeber, Brian E Ralston, Richard F Deckro
    posted to selecting portfolios by Scis0000002 on 2008-06-26 16:24:18 as **
  • Understanding Patterns of Technology Evolution: An Ecosystem Perspective
    System Sciences, 2006. HICSS '06. Proceedings of the 39th Annual Hawaii International Conference on, Vol. 8 (2006), pp. 189a-189a.
    posted to technology technologies portfolios evolving ecosystem by Scis0000002 on 2008-06-26 16:19:54 as **
  • Program transformation and proof transformation
    Computer Science Logic (1994), pp. 305-317.
    by Wilfried Sieg, Stanley Wainer
    posted to proof-transformation program-transformation by Scis0000002 on 2008-06-26 15:55:32 as **
  • Performing geometric transformations by program transformation
    ACM Trans. Graph., Vol. 9, No. 1. (January 1990), pp. 28-40.
    by Robin A Nicholl, Tina M Nicholl
    posted to program-transformation by Scis0000002 on 2008-06-26 15:52:08 as **
  • Gödel-Theorem und Kuhlenbeck-Paradox
    Naturwissenschaften, Vol. 75, No. 8. (1988), pp. 393-398.
    by Joachim Gerlach
    posted to kuhlenbeck-paradox by Scis0000002 on 2008-06-26 11:40:52 as **
  • Algebras for Agent Norm-Regulation
    ArXiv Computer Science e-prints (November 2003)
    by J Odelstad, M Boman
    posted to normative-systems algebraic by Scis0000002 on 2008-06-24 17:52:41 as **
  • Fundamental Results on Evolutionary Simulations of Socio-economic Systems: Introduction to the Special Issue
    Computational Economics, Vol. 28, No. 4. (November 2006), pp. 311-312.
    posted to socio-economic-systems by Scis0000002 on 2008-06-23 19:13:52 as **
  • Traffic and related self-driven many-particle systems
    Reviews of Modern Physics, Vol. 73, No. 4. (7 December 2001), 1067.
    by Dirk Helbing
    posted to socio-economic-systems by Scis0000002 on 2008-06-23 19:12:57 as ** along with 2 people weeks jotwin
  • Power and the Politics of Global Governance
    The International Studies Review, Vol. 8, No. 2. (June 2006), pp. 327-329.
    by Scott Solomon,
    posted to power politics global-governance by Scis0000002 on 2008-06-22 15:14:49 as **
  • Institutions with a hierarchy of authorities in distributed dynamic environments
    Artificial Intelligence and Law, Vol. 16, No. 1. (27 March 2008), pp. 53-71.
    by Guido Boella, Leendert van der Torre
    posted to power normative-systems hierarchies authorities by Scis0000002 on 2008-06-22 13:39:18 as **
  • Spatially Distributed Normative Infrastructure
    Environments for Multi-Agent Systems III (2007), pp. 203-220.
    by Fabio Okuyama, Rafael Bordini, da Rocha
    posted to normative-systems normative infrastructures distributed by Scis0000002 on 2008-06-22 12:47:27 as **
  • Idempotent Semigroups and Tropical Sets
    (19 Jan 2007)
    posted to semigroups extremal-mathematics by Scis0000002 on 2008-06-22 02:58:27 as ** along with 1 person ansobol
  • Note on idempotent semigroups. II
    Proc. Japan Acad., Vol. 34 (1958), pp. 110-112.
    by Miyuki Yamada, Naoki Kimura
  • Peirce's Scientific Metaphysics: The Philosophy of Chance, Law, & Evolution (Vanderbilt Library of American Philosophy)
    (03 June 2002)
    by Andrew Reynolds
    posted to philosophy-of-science by Scis0000002 on 2008-06-22 02:50:05 as ** along with 1 person awooga
  • Neurophilosophy: toward a unified science of the mind-brain
    (1986)
    by Patricia S Churchland
    posted to unified-theories neurophilosophy by Scis0000002 on 2008-06-22 02:44:56 as **
  • Institutions: abstract model theory for specification and programming
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
    by Joseph A Goguen, Rod M Burstall
  • Modelle als mathematische Strukturen
    Softwaresysteme und ihre Modellierung (2006), pp. 45-60.
    posted to mathematical-structures mathematical-concepts by Scis0000002 on 2008-06-21 15:31:26 as **
  • On operad structures of moduli spaces and string theory
    Communications in Mathematical Physics, Vol. 171 (July 1995), pp. 1-25.
    by T Kimura, J Stasheff, AA Voronov
    posted to string-theory operads moduli-spaces by Scis0000002 on 2008-06-20 14:19:27 as **
  • Political Party Attitudes and Economic Change in West Germany
    German Studies Review, Vol. 5, No. 1. (1982), pp. 87-106.
    by Robert A Monson
    posted to politics policies by Scis0000002 on 2008-06-19 13:27:33 as **
  • Interoperability of bioinformatics resources
    VINE, Vol. 35, No. 3. (March 2005), pp. 132-139.
    by Hiten Vyas, Ron Summers
  • Identity, Equality and Equivalence
    dialectica, Vol. 42, No. 2. (1988), pp. 83-92.
    by Craig Dilworth
    posted to isomorphisms identity equivalence equality by Scis0000002 on 2008-06-18 23:32:39 as **
  • A New Approach to Formal Language Theory by Kolmogorov Complexity
    (18 Oct 2001)
    by Ming Li, Paul Vitanyi
  • A Framework for Intensional and Extensional Integration of Geographic Ontologies
    Transactions in GIS, Vol. 11, No. 6. (December 2007), pp. 873-887.
    posted to ontologies gis by Scis0000002 on 2008-06-17 22:47:14 as **
  • Re-Imagining Justice: Progressive Interpretations of Formal Equality, Rights, and the Rule of Law (Applied Legal Philosophy)
    by Robin L West
    posted to philosophy-of-law justice by Scis0000002 on 2008-06-17 22:13:05 as **
  • Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
    Requirements Engineering, 14th IEEE International Conference (2006), pp. 49-58.
    by TD Breaux, MW Vail, AI Anton
    posted to requirements normative-systems contracts contracting by Scis0000002 on 2008-06-15 15:54:40 as **
  • Temporal reasoning: an application to normative systems
    Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on (2001), pp. 41-47.
    posted to temporal-logic normative-systems by Scis0000002 on 2008-06-15 15:53:34 as **
  • A Logical Architecture of a Normative System
    Deontic Logic and Artificial Normative Systems (2006), pp. 24-35.
    by Guido Boella, Leendert van der Torre
    posted to normative-systems by Scis0000002 on 2008-06-15 15:50:21 as **
  • Variational tetrahedral meshing
    ACM Trans. Graph., Vol. 24, No. 3. (July 2005), pp. 617-625.
    by Pierre Alliez, David Cohen-Steiner, Mariette Yvinec, Mathieu Desbrun
  • Algorithms in combinatorial geometry
    (1987)
    by Herbert Edelsbrunner
  • Automatic Sentence Simplification for Subtitling in Dutch and English
    (2004)
    posted to simplification by Scis0000002 on 2008-06-14 14:38:22 as **
  • Practical Simplification of English Newspaper Text to Assist Aphasic Readers
    (1998)
    posted to simplification by Scis0000002 on 2008-06-14 14:37:16 as **
  • Use and Meaning of Open Terms in Interactive Formal Problem Solving
    by RP Nederpelt, Et
    posted to formal-problem-solving by Scis0000002 on 2008-06-13 14:30:17 as **
  • Malware: Fighting Malicious Code
    (09 November 2003)
    by Ed Skoudis, Lenny Zeltser
  • Tracking Strategies: Towards a General Theory of Strategy Formation
    (07 December 2007)
    by Henry Mintzberg
  • Optimal sequencing of individually rational contracts
    (2002), pp. 607-612.
    by Partha S Dutta, Sandip Sen
  • An algebraic theory of infinite classical lattices I: General theory
    (8 Oct 2005)
    by Don Ridgeway
    posted to lattice-of-observables by Scis0000002 on 2008-06-05 10:45:49 as **
  • A Coalgebraic Description of Web Interactions
    Theoretical Computer Science (2003), pp. 271-283.
    by Daniela Cancila, Furio Honsell
  • ◇温馨提示◇本页的引用地址为: http://www.citeulike.org/user/Scis0000002

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS