Tag unification [49 articles] Export

Recent papers classified by the tag unification.

	THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP [My Copy] Mathematics of the USSR-Sbornik, Vol. 32, No. 2. (1977), pp. 129-198. by G Makanin, posted to unification by robertjohnsimmons on 2009-12-11 15:29:50 as
	Unification under a mixed prefix [My Copy] Journal of Symbolic Computation, Vol. 14, No. 4. (October 1992), pp. 321-358. by D MILLER, posted to unification motive elimination dependent-types by pedagand on 2009-12-10 14:25:22 as
	Comparative analysis and unification of domain-domain interaction networks [My Copy] Bioinformatics In Bioinformatics, Vol. 25, No. 22. (15 November 2009), pp. 3020-3025. by Patrik Bjorkholm, Erik L. L. Sonnhammer posted to unification reliability protein_interaction protein_domains protein network interaction_networks interaction domain datasets database bioinformatics by robfsouza on 2009-12-02 21:04:55 as along with 4 people and 1 group molnet-mna ilhem zwang phoenixzxl Orengo Group Journal Picks
	Finite Domains and Exclusions as First-Class Citizens [My Copy] Extensions of Logic Programming (1994), pp. 37-61. by Harold Boley posted to unification relfun relational logic-programming generalization exclusions anti-unification by spl on 2009-11-19 15:16:24 as
	Unification and Anti-Unification in the Calculus of Constructions [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In LICS 1991 (06 August 2002), pp. 74-85. by Frank Pfenning posted to unification generalization calculus-of-constructions anti-unification algorithms by spl on 2009-11-12 13:40:57 as along with 1 person robertjohnsimmons
	Unification and matching modulo nilpotence [My Copy] Automated Deduction — Cade-13 (1996), pp. 261-274. by Qing Guo, Paliath Narendran, D. Wolfram posted to unification nilpotence matching-modulo matching complexity-chart by robertjohnsimmons on 2009-10-16 16:31:18 as
	Matching, unification and complexity [My Copy] SIGSAM Bull., Vol. 21, No. 4. (1987), pp. 6-9. by Deepak Kapur, Paliath Narendran posted to unification survey matching-modulo matching complexity-chart aci by robertjohnsimmons on 2009-10-16 16:30:27 as
	Complexity of unification problems with associative-commutative operators [My Copy] Journal of Automated Reasoning, Vol. 9, No. 2. (1 October 1992), pp. 261-288. by Deepak Kapur, Paliath Narendran posted to unification matching associativity by robertjohnsimmons on 2009-10-16 16:27:20 as
	First-order unification by structural recursion [My Copy] Journal of Functional Programming, Vol. 13, No. 06. (2003), pp. 1061-1075. by E. Conor Mcbrid posted to unification-algorithms unification structural-induction by robertjohnsimmons on 2009-10-11 18:44:43 as
	A multi-radio unification protocol for IEEE 802.11 wireless networks [My Copy] Broadband Networks, 2004. BroadNets 2004. Proceedings. First International Conference on (2004), pp. 344-354. by A. Adya, P. Bahl, J. Padhye, A. Wolman, Lidong Zhou posted to 80211 mesh mesh-network multi-radio multiple multiradio network protocol radio unification wireless wireless-network wmn wireless-mesh wireless-mesh-network by hgfernan on 2009-06-27 13:46:21 as along with 1 person urvoy
	Lexical Pragmatics and Unification [My Copy] Research on Language & Computation, Vol. 5, No. 4. (2 December 2007), pp. 481-502. by Torgrim Solstad posted to causation compositionality drt manner unification by toso on 2009-04-20 23:06:27 as
	Unity of All Elementary-Particle Forces [My Copy] Physical Review Letters, Vol. 32, No. 8. (25 Feb 1974), pp. 438-441. by Howard Georgi, S. L. Glashow posted to guts su5 unification by janpaniev on 2009-02-18 22:31:35 as along with 1 person xph
	Lightness of Being: Mass, Ether, and the Unification of Forces [My Copy] (25 August 2008) by Frank Wilczek posted to qcd unification by NitinCR on 2009-02-11 22:40:55 as along with 2 people Adso alterego
	Stochastic and deterministic processes jointly structure tropical arthropod communities [My Copy] Ecology Letters, Vol. 9999, No. 9999. (2009) by Farnon M. D. Ellwood, Andrea Manica, William A. Foster posted to arthropod community deterministic ecology neutral stochastic unification by anphony to the group Ecology on 2009-02-10 14:16:31 as
	The Ecological Theater and the Evolutionary Play [My Copy] (01 September 1965) by Evelyn Hutchinson posted to ecology evolution unification by anphony on 2009-02-09 11:51:58 as along with 1 person JLMC
	Is the Category Woman the Same as the Category Frau? [My Copy] European Journal of Women's Studies, Vol. 8, No. 4. (1 November 2001), pp. 440-453. by Ellen G. Friedman posted to feminism gender-theory german holocaust identity lit-koerperbilder nation unification by szielke on 2009-02-08 14:46:45 as
	Are There General Laws in Ecology? [My Copy] Oikos, Vol. 84, No. 2. (1999), pp. 177-192. by John H. Lawton posted to ecology laws unification by anphony on 2009-02-07 04:28:39 as along with 1 person klauso
	Ecological networks: beyond food webs [My Copy] Journal of Animal Ecology, Vol. 78, No. 1., pp. 253-269. by Thomas C. Ings, Jose M. Montoya, Jordi Bascompte, et al.Nico Bluthgen, Lee Brown, Carsten F. Dormann, Francois Edwards, David Figueroa, Ute Jacob, J. Iwan Jones, Rasmus B. Lauridsen, Mark E. Ledger, Hannah M. Lewis, Jens M. Olesen, Frank F. J. van Veen, Phil H. Warren, Guy Woodward posted to ecology food_webs networks unification by anphony on 2009-02-07 00:25:50 as along with 1 person iBartomeus
	Evolution, Interactions, and Biological Networks [My Copy] PLoS Biology, Vol. 5, No. 1. (1 January 2007), e11. by Joshua S. Weitz, Philip N. Benfey, Ned S. Wingreen posted to evolution interaction network unification by anphony on 2009-02-07 00:17:10 as along with 17 people and 1 group Borelli wangbo eldan aalibes cmmorel balajis wnpx cerkut jhatrimatri josepe timothee srfairclough hmk bootsy Ema bpcusack skumagai contact-id
	Astrophysical Probes of Unification [My Copy] (11 Dec 2008) by Asimina Arvanitaki, Savas Dimopoulos, Sergei Dubovsky, Peter W. Graham, Roni Harnik, Surjeet Rajendran posted to dark decay matter paris unification by -m- on 2008-12-12 09:42:12 as along with 2 people HideoKodama subhendurakshit
	Prediction of $\sin^2θ_W$ in a Conformal Approach to Coupling Unification [My Copy] (24 Apr 2001) by P. H. Frampton, R. N. Mohapatra, S. Suh posted to unification by -m- on 2008-10-01 16:02:39 as
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted to haskell modules types unification by draganigajic on 2008-09-15 16:44:53 as along with 3 people and 1 group dalev dherman pedagand NU-PRL
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted to gadt type-inference unification by draganigajic on 2008-09-15 16:39:22 as along with 6 people keigoi spl bringert shimomura mcclurmc pedagand
	Neutrino Masses, Leptogenesis, and Unification in the Absence of Low Energy Supersymmetry [My Copy] (3 Sep 2008) by Willy Fischler, Raphael Flauger posted to dark matter unification by -m- on 2008-09-08 08:38:02 as
	Generic Programming: An Introduction [My Copy] Advanced Functional Programming (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens edited by S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira posted to category-theory datatype-generic generics introduction libraries polyp unification by spl on 2008-08-08 14:25:57 as along with 4 people ansobol pedagand draganigajic americovargas
	Explanation as Unification [My Copy] Synthese, Vol. 120, No. 1. (27 July 1999), pp. 95-114. by Gerhard Schurz posted to knowledge philosophy unification by Simplicity on 2008-02-09 06:13:41 as along with 2 people VPParkkinen qwermish
	Set-term matching in logic programming [My Copy] Database Theory — ICDT '92 (1992), pp. 436-449. by Natraj Arni, Sergio Greco, Domenico Saccà posted to logic unification by onafoggynight on 2007-12-20 15:12:47 as along with 1 person florianfischer
	Disunification in ACI1 Theories [My Copy] by Agostino Dovier, Carla Piazza, Enrico Pontelli posted to constraints unification by fritzobermeyer on 2007-09-27 04:50:58 as
	Type dependencies for logic programs using ACI-unification [My Copy] Theoretical Computer Science, Vol. 238, No. 1--2. (2000), pp. 131-159. by Michael Codish, Vitaly Lagoon posted to types unification by fritzobermeyer on 2007-09-27 04:50:13 as
	What is Unification? A Categorical View of Substitution, Equation and Solution [My Copy] In Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques (1989), pp. 217-261. by Joseph Goguen edited by Maurice Nivat, Hassan A. Kaci posted to categories unification by fritzobermeyer on 2007-09-24 01:26:35 as along with 2 people scis0000001 popx
	A Methodological View of Constraint Solving [My Copy] (1996) by Hubert Comon, Mehmet Dincbas, Jean P. Jouannaud, Claude Kirchner posted to constraints unification by fritzobermeyer on 2007-09-24 01:25:07 as
	Decidability of bounded higherorder unification [My Copy] (2002) by Schmidt M. Schau, K. Schulz posted to decidability higher-order unification unifying by Scis0000002 on 2007-08-14 18:24:02 as
	Type classes with more higher-order polymorphism [My Copy] (2002) by M. Neubauer, P. Thiemann posted to classes haskell higher-order lambda type unification by conal on 2007-08-02 00:15:27 as
	Not Even Wrong: The Failure of String Theory And the Search for Unity in Physical Law [My Copy] (30 September 2006) by Peter Woit posted to physics strings unification by NitinCR on 2007-05-12 12:30:21 as
	Hidden Unity in Nature's Laws [My Copy] (15 October 2001) by John C. Taylor posted to physics unification by NitinCR on 2007-05-12 12:28:03 as
	The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory [My Copy] (29 February 2000) by Brian Greene posted to extra_dimensions strings unification by NitinCR on 2007-05-12 09:44:07 as along with 2 people dayjm dlouzeck
	Unification and Supersymmetry [My Copy] by R. N. Mohapatra posted to susy unification by NitinCR on 2007-05-11 10:11:24 as
	Diffusion maps and coarse-graining: a unified framework for dimensionality reduction, graph partitioning, and data set parameterization [My Copy] Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 28, No. 9. (2006), pp. 1393-1403. by S. Lafon, A. B. Lee posted to clustering dimensionality-reduction random-walk unification by sterovetta on 2007-04-16 22:15:13 as along with 2 people bigbossman pthimon
	Data unification in personal information management [My Copy] Commun. ACM, Vol. 49, No. 1. (January 2006), pp. 77-82. by David R. Karger, William Jones posted to 2006 acm jones karger pim unification by vanesam on 2007-04-15 07:28:09 as along with 9 people and 2 groups metatheory egh Mandre ssn jolilius indratmo sachingarg pilho weiwu TUCS-ES_Lab pim
	The project fragmentation problem in personal information management [My Copy] In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems (2006), pp. 271-274. by Ofer Bergman, Ruth Beyth-Marom, Rafi Nachmias posted to 2006 acm application bergman chi franmentation pim unification by vanesam on 2007-04-15 07:07:42 as along with 2 people and 1 group Mandre jolilius TUCS-ES_Lab
	Unified parametrization of quark and lepton mixing matrices [My Copy] Physical Review D (Particles and Fields), Vol. 71, No. 9. (2005) by Nan Li, Bo Q. Ma posted to neutrino-quark unification by weiswang on 2007-03-31 18:22:04 as
	Unifying theories in different institutions [My Copy] (1996) by M. Arrais, J. Fiadeiro posted to institutions logical-theories logics metalogics unification by scis0000001 on 2007-02-16 08:47:26 as along with 1 person Scis0000002
	Basic description logics [My Copy] (2003), pp. 43-95. by Franz Baader, Werner Nutt posted to unification logic description-logic by ericlindahl to the group DecisionSupportTheory on 2007-01-23 16:11:19 as along with 2 people tdlt vme64
	Information compression by multiple alignment [My Copy] (1996) by J. Wolff posted to compression inference search unification by scis0000001 on 2006-07-21 19:27:19 as
	Graph-based induction as a unified learning framework [My Copy] Applied Intelligence, Vol. 4, No. 3. (July 1994), pp. 297-316. by Kenichi Yoshida, Hiroshi Motoda, Nitin Indurkhya posted to graph learning unification by scis0000001 on 2006-07-06 15:53:19 as
	A Machine-Oriented Logic Based on the Resolution Principle [My Copy] J. ACM, Vol. 12, No. 1. (January 1965), pp. 23-41. by J. A. Robinson posted to logic unification by kowey on 2006-06-01 17:10:12 as along with 1 person NinaG
	Unification: a multidisciplinary survey [My Copy] ACM Comput. Surv., Vol. 21, No. 1. (March 1989), pp. 93-124. by Kevin Knight posted to prolog unification by kowey on 2006-06-01 17:01:55 as
	Unification of the models for types, classes and state machines [My Copy] Computer Standards & Interfaces, Vol. 19, No. 7. (2 November 1998), pp. 347-359. by Gary W. Daugherty posted to 1998 statecharts unification by leonardo on 2006-04-01 18:18:42 as
	Nominal unification [My Copy] Theor. Comput. Sci., Vol. 323, No. 1-3. (2004), pp. 473-497. by Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay posted to equivariant-unification logic-programming nominal-rewriting nominal-unification rewriting unification by dalev to the group NU-PRL on 2005-08-02 04:26:52 as

Note: You may cite this page as: http://www.citeulike.org/tag/unification

ecology	5
haskell	5
logic	5
logic-programming	3
matching	3
network	3
pim	3
survey	3
two-level-types	3
2006	2
acm	2
anti-unification	2
arthropod	2
calculus-of-constructions	2
community	2
complexity-chart	2
constraints	2
dark	2
description-logic	2
deterministic	2
equivariant-unification	2
evolution	2
feminism	2
gender-theory	2
generalization	2
generic-programming	2
german	2
higher-order	2
holocaust	2
identity	2
interaction	2
lit-koerperbilder	2
matching-modulo	2
matter	2
monad	2
nation	2
neutral	2
nominal-rewriting	2
nominal-unification	2
physics	2
rewriting	2
stochastic	2
strings	2
type-inference	2
types	2
1998	1
aci	1
analyser-based	1
application	1
associativity	1
bioinformatics	1
category-theory	1
classes	1
clustering	1
compression	1
data	1
datasets	1
datatype-generic	1
decay	1
decidability	1
dependent-types	1
dimensionality-reduction	1
domain	1
elimination	1
exclusions	1
extra_dimensions	1
generics	1
graph	1
imaging	1
interaction_networks	1
introduction	1
learning	1
libraries	1
logical-theories	1
logics	1
manner	1
mapping	1
mesh	1
mesh-network	1
metalogics	1
multi-radio	1
networks	1
neutrino-quark	1
personal	1
phase-contrast	1
philosophy	1
protein	1
protein_domains	1
proving	1
random-walk	1
relational	1
reliability	1
search	1
su5	1
susy	1
unification-algorithms	1
wireless-mesh-network	1
wireless-network	1
wobbly-types	1
x-ray	1

Tag unification [49 articles] Export

Related Tags