新規登録 | ログイン | FAQ      [?] 

タグ: equivalence [49 articles]

Recent papers classified by the tag equivalence.
  • Monoidal Morita equivalence
    (18 Oct 2004)
    by K Szlachanyi
    posted to algebroids coalgebroids equivalence by Scis0000002 on 2008-05-12 23:41:25 as **
  • Behavioural Equivalence, Bisimulation, and Minimal Realisation
    (1996), pp. 359-378.
    by Grant Malcolm
    posted to behavior bisimulation equivalence similarity state-space by Scis0000002 on 2007-07-11 14:25:32 as **
  • Identity and Categorification
    (15 Feb 2006)
    by Andrei Rodin
    posted to categorification equality equivalence by Scis0000002 on 2008-05-08 13:54:23 as ** along with 1 person jrw
  • Equivalence Transformations on Statecharts
    by Heinz Frank, Johann Eder
    posted to equivalence transformations by Scis0000002 on 2008-05-08 14:33:12 as ** along with 1 person leonardo
  • Semantic Alignment Of Business Processes
    by Saartje B Marc
    posted to alignment business-process combination equivalence similarity by Scis0000002 on 2007-07-29 17:31:09 as **
  • Identity, Equality and Equivalence
    dialectica, Vol. 42, No. 2. (1988), pp. 83-92.
    by Craig Dilworth
    posted to equality equivalence identity isomorphisms by Scis0000002 on 2008-06-18 23:32:39 as **
  • Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity
    (1995), pp. 3-23.
    by Dusko Pavlovic
    posted to behavior category-of-processes category-of-specifications category-of-systems design-theory equivalence process-theory product-development similarity simulation state-space technology by Scis0000002 on 2007-07-11 14:15:27 as **
  • When are Two Games the Same
    (1999)
    by J van Benthem
    posted to equivalence games by Scis0000002 on 2007-06-23 19:56:31 as **
  • D2.2.1 Specification of a common framework for characterizing alignment
    by Paolo Bouquet, Marc Ehrig, Jérôme Euzenat, Enrico Franconi, Pascal Hitzler, Et
    posted to aligning equivalence matching merging similarity by Scis0000002 on 2007-09-23 23:58:28 as **
  • When Are Two Protocols the Same?
    by Peter Mcburney, Simon Parsons
    posted to equivalence proof protocol by scis0000001 on 2007-02-22 09:28:05 as **
  • Semantic Equivalence in Engineering Design Databases
    (1997), pp. 7.1-7.5.
    by Bill Hills, Barry F James, Nick B Rossiter
    posted to category-theory equivalence semantic-equivalence semantics similarity by scis0000001 on 2007-04-14 13:50:25 as **
  • Proving equivalence of different axiomatizations of free groups
    Journal of Automated Reasoning, Vol. V4, No. 3. (1988), pp. 331-352.
    by Deepak Kapur, Hantao Zhang
    posted to equivalence axiomatizations by scis0000001 on 2007-01-12 20:53:20 as **
  • notes Universality of affine formulation in General Relativity theory
    (29 Jan 2007)
    by Jerzy Kijowski, Roman Werpachowski
    posted to affine-principle equivalence general-relativity variational-principles by rwerp on 2007-06-24 09:27:21 as read
  • Recasting "Substantial Equivalence":Transatlantic Governance of GM Food
    Science Technology Human Values, Vol. 32, No. 1. (1 January 2007), pp. 26-64.
    by Les Levidow, Joseph Murphy, Susan Carr
    posted to equivalence gm governance regulation regulatory_science substantial by ricmilne on 2008-05-08 12:48:39 as ** along with 1 group STS
  • Biosimilars: How similar or dissimilar are they? (Review Article)
    Nephrology, Vol. 11, No. 4. (August 2006), pp. 341-346.
    by Simon D Roger
    posted to biosimilar equivalence similarity by ricmilne on 2008-05-19 21:48:03 as **
  • Biotechs go generic: The same but different
    Nature, Vol. 449, No. 7160. (19 September 2007), pp. 274-276.
    by Heidi Ledford
    posted to biosimilar equivalence by ricmilne on 2008-04-15 10:47:53 as **
  • Universally Composable Notions of Key Exchange and Secure Channels
    (2002), pp. 337-351.
    by Ran Canetti, Hugo Krawczyk
    posted to cca components cryptography equivalence formal by mgran on 2006-11-06 15:00:17 as ***
  • Metric fluctuations and the Weak Equivalence Principle
    (9 Apr 2008)
    by Ertan Göklü, Claus Lämmerzahl
    posted to equivalence general principle relativity by matrix1329 on 2008-04-10 09:40:51 as **
  • Human medial intraparietal cortex subserves visuomotor coordinate transformation
    NeuroImage, Vol. 23, No. 4. (December 2004), pp. 1494-1506.
    by Christian Grefkes, Afra Ritzl, Karl Zilles, Gereon R Fink
    posted to ataxia coordination copy cortex efference equivalence eyehand fmri guidance humanmonkey mip optic parietal visual by ljaeger on 2008-05-13 14:25:00 as *** along with 1 person seanlorenz
  • Refinement of actions and equivalence notions for concurrent systems
    Acta Informatica, Vol. 37, No. 4 - 5. (January 2001), pp. 229-327.
    by Rob van Glabbeek, Ursula Goltz
    posted to 2001 concurrent_systems equivalence refinement by leonardo on 2006-07-24 19:42:42 as ***
  • A survey of behaviour and equivalence preserving refinements of petri nets
    Lecture Notes in Computer Science : Advances in Petri Nets 1990 (1991), pp. 1-46.
    by Wilfried Brauer, Robert Gold, Walter Vogler
    posted to 1991 equivalence petrinets refinement survey by leonardo on 2006-10-15 04:05:11 as **
  • Equivalence checking of two Statechart specifications
    Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on (2000), pp. 46-51.
    by Myung H Park, Ki S Bang, Jin Y Choi, Inhye Kang
    posted to 2000 _hardcopy equivalence refinement statecharts by leonardo on 2006-10-17 19:05:19 as *****
  • Equivalences of Statecharts
    Lecture Notes in Computer Science : CONCUR '96: Concurrency Theory (1996), pp. 687-702.
    by Andrea M Schettini, Adriano Peron, Simone Tini
    posted to 1996 _hardcopy equivalence semantics statecharts by leonardo on 2006-10-06 19:59:10 as ****
  • Automated compression of state machines using UML statechart diagram notation
    Information and Software Technology, Vol. 44, No. 10. (1 July 2002), pp. 565-578.
    by Tarja Systä, Kai Koskimies, Erkki Makinen
    posted to 2002 equivalence statecharts uml by leonardo on 2006-01-17 16:47:27 as ****
  • Behavior Consistent Inheritance in UML
    Conceptual Modeling — ER 2000 (2000), pp. 451-530.
    by Markus Stumptner, Michael Schrefl
    posted to 2000 equivalence inheritance refinement statecharts uml by leonardo on 2008-03-11 02:54:44 as ****
  • Statecharts via Process Algebra
    CONCUR’99 Concurrency Theory (1999), pp. 782-782.
    by Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    posted to 1999 equivalence _hardcopy semantics statecharts by leonardo on 2008-03-05 01:26:25 as ***
  • The Equivalence of Statecharts
    Lecture Notes in Computer Science : Formal Methods and Software Engineering (2003), pp. 125-143.
    by Quan Long, Zongyan Qiu, Shengchao Qin
    posted to 2003 equivalence _no_doi refinement semantics statecharts by leonardo on 2006-11-21 21:51:05 as *****
  • A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification
    High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on (2001), pp. 11-22.
    by Diego Latella, Mieke Massink
    posted to 2001 equivalence statecharts uml by leonardo on 2007-04-23 02:16:04 as **** along with 1 person scis0000001
  • Behaviour Specifications:Equivalence And Refinement
    (2000)
    by Michael von der Beeck
    posted to 2000 _hardcopy equivalence refinement statecharts by leonardo on 2006-01-20 15:35:46 as ****
  • Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations
    Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on (2003), pp. 137-144.
    by Vitus SW Lam, J Padget
    posted to 2003 equivalence semantics statecharts uml by leonardo on 2006-07-07 02:23:17 as ****
  • Hierarchical State Machines
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 315-330.
    by Mihalis Yannakakis
    posted to 2000 equivalence semantics statecharts by leonardo on 2008-03-05 02:01:55 as ****
  • Branching Bisimilarity is an Equivalence Indeed!
    Information Processing Letters, Vol. 58, No. 3. (1996), pp. 141-147.
    by Twan Basten
    posted to bisimilarity branching equivalence of proof relation by karimda on 2008-04-10 13:46:07 as read along with 1 group ecoo-pe
  • On the Equivalence of XML Patterns
    : Computational Logic - CL 2000: First International Conference, London, UK, July 2000. Proceedings (2000), 1152.
    by Peter T Wood
    posted to equivalence xml by julianpan on 2007-04-19 19:16:38 as ***
  • Containment and equivalence for an XPath fragment
    (2002), pp. 65-76.
    by Gerome Miklau, Dan Suciu
    posted to containment equivalence xpath by julianpan on 2006-12-22 05:13:56 as *** along with 1 person mzp
  • Containment and equivalence for a fragment of XPath
    J. ACM, Vol. 51, No. 1. (January 2004), pp. 2-45.
    by Gerome Miklau, Dan Suciu
    posted to containment equivalence xml xpath by julianpan on 2007-04-03 21:29:43 as **** along with 1 person takeha-e
  • Using Panel Data on Income Satisfaction to Estimate Equivalence Scale Elasticity
    Review of Income and Wealth, Vol. 49, No. 3. (2003), pp. 359-372.
    by Johannes Schwarze
    posted to equivalence income panel_data by jgoebel on 2006-02-26 17:12:28 as *
  • Observation equivalence as a testing equivalence
    Theoretical Computer Science, Vol. 53, No. 2-3. (1987), pp. 225-241.
    by Samson Abramsky
    posted to equivalence observation by janschaefer on 2007-04-12 09:52:59 as ** along with 1 person and 1 group keigoi TU-KL-SoftwareTechnologyGroup
  • A short survey of isomorphisms of types
    Mathematical. Structures in Comp. Sci., Vol. 15, No. 5. (October 2005), pp. 825-838.
    by Roberto Di Cosmo
    posted to equivalence information isomorphisms type by huitseeker on 2008-07-17 09:34:36 as read
  • Extensional equality in intensional type theory
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
    by T Altenkirch
    posted to equivalence extensionality type-theory by greenrd to the group SRG_at_UCD on 2006-12-29 19:56:20 as **** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Space-Time Variation of Physical Constants and the Equivalence Principle
    (10 Dec 2002)
    by Kenneth Nordtvedt
    posted to equivalence principle by A_Olympia to the group Blog_and_Wiki_Research on 2005-10-05 10:46:54 as ** along with 1 group Philosophy_of_Information
  • A Generalized Equivalence Principle
    (28 Mar 2001)
    by Holger Lyre
    posted to equivalence generalized principle by A_Olympia to the group Blog_and_Wiki_Research on 2005-11-11 13:40:22 as ** along with 1 group Philosophy_of_Information
  • What are the Hidden Quantum Processes In Einstein's Weak Principle of Equivalence?
    (14 April 2000)
    by Tom Ostoma, Mike Trushyk
    posted to einstein equivalence hidden principle processes quantum by A_Olympia to the group Blog_and_Wiki_Research on 2004-12-29 13:43:07 along with 1 group Philosophy_of_Information
  • Quantum Field Theoretic Derivation of the Einstein Weak Equivalence Principle Using Emqg Theory
    (25 Feb 1999)
    by Tom Ostoma, Mike Trushyk
    posted to einstein equivalence principle weak by A_Olympia to the group Blog_and_Wiki_Research on 2005-10-07 15:54:26 as ** along with 1 group Philosophy_of_Information
  • Atomic Interferometer with Amplitude Gratings of Light and its Applications to Atom Based Tests of the Equivalence Principle
    (7 Feb 2005)
    by Sebastian Fray, Cristina A Diez, Theodor W Hänsch, Martin Weitz
    posted to equivalence principle by A_Olympia to the group Blog_and_Wiki_Research on 2005-10-05 10:43:49 as ** along with 1 group Philosophy_of_Information
  • A Cosmologic Model Based on the Equivalence of Expansion and Light Retardation
    (24 Nov 2002)
    by Peter Huber
    posted to cosmologic equivalence expansion light retardation by A_Olympia to the group Blog_and_Wiki_Research on 2005-11-11 13:27:22 as ** along with 1 group Philosophy_of_Information
  • Probing Quantum Violations of the Equivalence Principle
    (6 Jun 2000)
    by GZ Adunas, E Rodriguez-Milla, DV Ahluwalia
    posted to equivalence principle by A_Olympia to the group Blog_and_Wiki_Research on 2005-06-27 15:25:25 as ** along with 1 group Philosophy_of_Information
  • The Electromagnetic Quantum Gravity Theory: On Quantum Inertia and the Einstein Principle of Equivalence
    (12 Feb 1999)
    by Tom Ostoma, Mike Trushyk
    posted to and einstein equivalence gravity inertia principle quantum by A_Olympia to the group Blog_and_Wiki_Research on 2005-10-07 15:55:52 as ** along with 1 group Philosophy_of_Information
  • Aberration and the Question of Equivalence of some Ether Theories to Special Relativity
    (20 Jul 1996)
    by François Goy
    posted to aberration equivalence ether question relativity special theories by A_Olympia to the group Blog_and_Wiki_Research on 2005-10-25 14:17:40 as ** along with 1 group Philosophy_of_Information
  • Lattice representations for categories of closure spaces
    Vol. 5 (1984), pp. 197-222.
    by Marcel Erné
    posted to category_theory closure_space complete_lattice equivalence _priv by adrian_pigors on 2007-10-04 19:14:35 as *****
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/equivalence

    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.