Register | Log in | FAQ      [?] 

Tag copy [51 articles]

Recent papers classified by the tag copy.
  • Somatic sequence alterations in twenty-one genes selected by expression profile analysis of breast carcinomas
    Breast Cancer Research, Vol. 9 (16 January 2007), R5.
    by Stephen J Chanock, Laurie Burdett, Meredith Yeager, Victor Llaca, Anita Langerod, Shafaq Presswala, Rolf Kaaresen, Robert L Strausberg, Daniela S Gerhard, Vessela Kristensen, Charles M Perou, Anne-Lise Borresen-Dale
    posted to variation number copy by yuzhenye on 2007-01-20 02:08:07 as ** along with 1 person jfr
  • Naming proofs in classical propositional logic
    (2005)
    by F Lamarche, L Straburger
    posted to proof-theoretical-semantics copy classical-logic by yoriyuki on 2008-07-18 08:52:19 as **
  • Disjunctive Normal Forms and Local Exceptions
    (2003)
    by Emmanuel Beffara, Vincent Danos
    posted to control-operator classical-logic copy by yoriyuki on 2008-06-06 09:03:42 as **
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming polymorphism overloading copy by yoriyuki on 2008-06-06 09:02:14 as ** along with 4 people tautologico bunge ds americovargas
  • Arithmetical Proofs of Strong Normalization Results for Symmetric $λ$-calculi
    Fundam. Inf., Vol. 77, No. 4. (December 2007), pp. 489-510.
    by René David, Karim Nour
    posted to lambda-calculus classical-logic lambda-mu copy by yoriyuki on 2008-06-06 08:57:32 as **
  • An inverse of the evaluation functional for typed λ-calculus
    Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (1991), pp. 203-211.
    by U Berger, H Schwichtenberg
    posted to lambda-calculus copy by yoriyuki on 2008-03-03 07:43:12 as ** along with 1 person msakai
  • Checking Memory Safety with Blast
    Fundamental Approaches to Software Engineering (2005), pp. 2-18.
    by Dirk Beyer, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to formal-method copy by yoriyuki on 2008-06-06 08:42:37 as ** along with 2 people msakai shimomura
  • AstrÉe: Verification of Absence of Runtime Error
    Building the Information Society (2004), pp. 385-392.
    by Laurent Mauborgne
    posted to formal-method copy by yoriyuki on 2008-06-06 08:38:49 as **
  • Generalized functions with pseudobounded support in constructive mathematics
    J. Complex., Vol. 22, No. 6. (December 2006), pp. 783-802.
    by Satoru Yoshida
    posted to constructive-mathematics copy by yoriyuki on 2008-06-06 10:02:59 as **
  • Collinear Three-Body Problem with Non-Equal Masses by Symbolic Dynamics
    Vol. 316 (November 2004), 63.
    by MM Saito, K Tanikawa
    edited by GG Byrd, KV Kholshevnikov, AA Myllri, II Nikiforov, VV Orlov
    posted to dynamics copy by yoriyuki on 2008-06-06 10:00:44 as **
  • AnZenMail: A Secure and Certified E-mail System
    Software Security — Theories and Systems (2003), pp. 307-312.
    by Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-Ya Nishizaki, Kenjiro Taura, Takuo Watanabe
    posted to security copy by yoriyuki on 2008-06-06 08:32:35 as **
  • Completeness in the Theory of Types
    The Journal of Symbolic Logic, Vol. 15, No. 2. (1950), pp. 81-91.
    by Leon Henkin
    posted to copy by yoriyuki on 2008-07-01 02:57:17 as **
  • Modal $μ$-calculus and alternating tree automata
    (2002), pp. 171-184.
    by Júlia Zappe
    posted to tree-automata modal-mu copy automata by yoriyuki on 2008-07-01 03:02:20 as **
  • A Constructive Look at the Completeness of the Space <tex-math>$\mathcalD (\mathbbR)$</tex-math>
    The Journal of Symbolic Logic, Vol. 67, No. 4. (2002), pp. 1511-1519.
    by Hajime Ishihara, Satoru Yoshida
    posted to constructive-mathematics copy by yoriyuki on 2008-06-06 09:53:18 as **
  • 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 theorem-proving model-checking copy by yoriyuki on 2008-07-17 04:01:21 as ** along with 1 person msakai
  • A Formulation of the Simple Theory of Types
    The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
    by Alonzo Church
    posted to type-theory lambda-calculus copy by yoriyuki on 2008-07-01 02:55:15 as ** along with 5 people Benja ajk calvins varming d23
  • 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 type-theory pi-calculus copy by yoriyuki on 2008-07-01 03:59:09 as ** along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
  • 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 copy concurrency by yoriyuki on 2008-07-01 03:56:05 as ** along with 1 person msakai
  • Types as models: model checking message-passing programs
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57.
    by Sagar Chaki, Sriram K Rajamani, Jakob Rehof
    posted to type-theory model-checking message-passing copy by yoriyuki on 2008-07-01 03:50:08 as **
  • The Differential Lambda-Calculus
    by Thomas Ehrhard, Laurent Regnier
    posted to lambda-calculus copy by yoriyuki on 2008-07-17 02:49:02 as **
  • Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
    (1996), pp. 147-166.
    by Gavin Lowe
    posted to model-checking security protocol network fdr copy by yoriyuki on 2008-07-01 03:44:10 as **
  • Protocol verification as a hardware design aid
    Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on (1992), pp. 522-525.
    by DL Dill, AJ Drexler, AJ Hu, CH Yang
    posted to model-checking formal-method protocol copy by yoriyuki on 2008-07-01 03:29:31 as **
  • Automated analysis of cryptographic protocols using Mur/spl phi/
    (1997)
    by JC Mitchell, M Mitchell, U Stern
    posted to model-checking security network cryptography copy by yoriyuki on 2008-07-01 03:27:15 as **
  • Verifying the SET registration protocols
    Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87.
    by G Bella, F Massacci, LC Paulson
    posted to theorem-proving security network formal-method copy by yoriyuki on 2008-07-01 03:20:41 as **
  • Alternating Tree Automata and Parity Games
    Automata Logics, and Infinite Games (2002), pp. 405-411.
    by Daniel Kirsten
    posted to game-semantics copy automata by yoriyuki on 2008-07-01 03:09:51 as **
  • Infinite Games
    Automata Logics, and Infinite Games (2002), pp. 197-204.
    by René Mazala
    posted to game-semantics copy automata by yoriyuki on 2008-07-01 03:08:33 as **
  • Cellular Stoichiometry of the Components of the Chemotaxis Signaling Complex
    J. Bacteriol., Vol. 186, No. 12. (15 June 2004), pp. 3687-3694.
    by Mingshan Li, Gerald L Hazelbauer
    posted to chemotaxis coli copy escherichia numbers stoichiometry by vladimirov on 2008-01-31 18:24:49 as ** along with 1 person RebeccaHamer
  • A High-Resolution Map of Segmental DNA Copy Number Variation in the Mouse Genome
    PLoS Genetics, Vol. 3, No. 1. (1 January 2007), e3.
    by Timothy A Graubert, Patrick Cahan, Deepa Edwin, Rebecca R Selzer, Todd A Richmond, Peggy S Eis, William D Shannon, Xia Li, Howard L Mcleod, James M Cheverud, Timothy J Ley
    posted to copy mouse number variation by tvdbulck on 2008-03-21 14:17:34 as ** along with 1 person and 1 group ealloza BioinfoCIPF
  • Comparison of Topological, Shape, and Docking Methods in Virtual Screening.
    J Chem Inf Model (26 June 2007)
    by Georgia B McGaughey, Robert P Sheridan, Christopher I Bayly, J C Culberson, Constantine Kreatsoulas, Stacey Lindsley, Vladimir Maiorov, Jean-Francois F Truchon, Wendy D Cornell
    posted to copy shape virtual by steff83 on 2007-06-29 11:31:46 as ** along with 5 people and 1 group ucbcjbm thanatos BragilMassoud daevans middledomain Computer Aided Drug Design
  • Integrative analysis reveals the direct and indirect interactions between DNA copy number aberrations and gene expression changes
    Bioinformatics, Vol. 24, No. 7. (1 April 2008), pp. 889-896.
    by Hyunju Lee, Sek W Kong, Peter J Park
    posted to copy emiel expression gene interaction number variation by ptrobajo on 2008-04-05 21:54:16 as ** along with 4 people frohike jcaddy ealloza barriot
  • The current excitement about copy-number variation: how it relates to gene duplications and protein families.
    Current opinion in structural biology (27 May 2008)
    by Jan O O Korbel, Philip M M Kim, Xueying Chen, Alexander Eckehart E Urban, Sherman Weissman, Michael Snyder, Mark B B Gerstein
    posted to variation number copy by Neeperando on 2008-06-02 15:29:44 as ** along with 1 person cabbagesofdoom
  • DupMasker: A tool for annotating primate segmental duplications
    Genome Res. (23 May 2008), gr.078477.108.
    by Zhaoshi Jiang, Robert Hubley, Arian Smit, Evan E Eichler
    posted to variation segmental number duplication copy by Neeperando on 2008-06-02 15:23:11 as ** along with 2 people pradiptaray PetrovLab
  • notes Are electronic medical records trustworthy? Observations on copying, pasting and duplication.
    AMIA Annu Symp Proc (2003), pp. 269-273.
    by KW Hammond, ST Helbig, CC Benson, BM Brathwaite-Sketoe
    posted to computerized copy documentation paste physician va by mjernigan on 2007-02-18 23:51:33 as read along with 1 group mgh-lcs
  • Copying and pasting of examinations within the electronic medical record
    International Journal of Medical Informatics, Vol. 76, No. Supplement 1. (June 2007), pp. S122-S128.
    by Stephen Thielke, Kenric Hammond, Susan Helbig
    posted to copy error medical paste record by mjernigan on 2007-12-18 18:08:59 as ****
  • Accurate and reliable high-throughput detection of copy number variation in the human genome
    Genome Res., Vol. 16, No. 12. (1 December 2006), pp. 1566-1574.
    by Heike Fiegler, Richard Redon, Dan Andrews, Carol Scott, Robert Andrews, Carol Carder, Richard Clark, Oliver Dovey, Peter Ellis, Lars Feuk, Lisa French, Paul Hunt, Dimitrios Kalaitzopoulos, James Larkin, Lyndal Montgomery, George H Perry, Bob W Plumb, Keith Porter, Rachel E Rigby, Diane Rigler, Armand Valsesia, Cordelia Langford, Sean J Humphray, Stephen W Scherer, Charles Lee, Matthew E Hurles, Nigel P Carter
    posted to array cgh copy number variation by mgaldzic on 2006-12-30 19:12:32 as ** along with 7 people and 4 groups debasis jfr balicea dchughes shigepong ccr colinveal Bioinformatics G4ID CHIP Genetics-of-Gambling
  • A Framework for Handling Spatiotemporal Variations in Video Copy Detection
    IEEE Transactions on Circuits and Systems for Video Technology, Vol. 18, No. 3. (March 2008), pp. 412-417.
    by Chih-Yi Chiu, Chu-Song Chen, Lee-Feng Chien
    posted to video variation theory spatiotemporal shortest-path sequences segmentation protection problem probability probabilistic partial near modeling model matching management image handling graph duplicate detection copy content-based content approach and analysis by masaakif on 2008-06-13 10:29:39 as **
  • Quantization index modulation: a class of provably good methods for digital watermarking and information embedding
    IEEE Transactions on Information Theory, Vol. 47, No. 4. (May 2001), pp. 1423-1443.
    by Brian Chen, Gregory W Wornell
    posted to additive application applications attack attacks audio awgn broadcasting channel channels composite copy copyright data dc-qim digital distortion distortion-compensated distortion-robustness dither embedding encapsulation error fully gaussian host hybrid index information informed mean mean-square-error-constrained methods models modulation noise of private-key probabilistic protection qim quantisation quantization rate security signal square theory transmission watermarking white by masaakif on 2008-02-26 04:16:12 as ** along with 1 person harshpshah
  • Content-Based Copy Retrieval Using Distortion-Based Probabilistic Similarity Search
    IEEE Transactions on Multimedia, Vol. 9, No. 2. (February 2007), pp. 293-306.
    by Alexis Joly, Olivier Buisson, Carl Frelicot
    posted to consistent content-based copy databases distortion distortion-based geometrically large matches probabilistic probability problems retrieval robust search similarity very video by masaakif on 2008-02-20 07:06:26 as ** along with 1 person and 1 group jsanpedro memoir
  • Adaptive Detection for Group-Based Multimedia Fingerprinting
    IEEE Signal Processing Letters, Vol. 14, No. 12. (December 2007), pp. 964-967.
    by Shan He, Min Wu
    posted to adaptive collusion computing copy data detection fingerprinting group group-based grouping multimedia nongrouped of orthogonal pattern protection resistance security statistics strategy by masaakif on 2008-02-14 13:06:47 as **
  • A general model of software architecture design derived from five industrial approaches
    Journal of Systems and Software, Vol. 80, No. 1. (January 2007), pp. 106-126.
    by Christine Hofmeister, Philippe Kruchten, Robert L Nord, Henk Obbink, Alexander Ran, Pierre America
    posted to 2006 architecture copy design jornal survey by marcia on 2007-04-23 21:17:03 as **** along with 2 people asilva robertlischke
  • 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 visual parietal optic mip humanmonkey guidance fmri eyehand equivalence efference cortex copy coordination ataxia by ljaeger on 2008-05-13 14:25:00 as *** along with 1 person seanlorenz
  • Breaking the waves: improved detection of copy number variation from microarray-based comparative genomic hybridization
    Genome Biology, Vol. 8 (25 October 2007), R228.
    by John C Marioni, Natalie P Thorne, Armand Valsesia, Tomas Fitzgerald, Richard Redon, Heike Fiegler, Daniel T Andrews, Barbara E Stranger, Andrew G Lynch, Emmanouil T Dermitzakis, Nigel P Carter, Simon Tavare, Matthew E Hurles
    posted to arraycgh copy number variation by jlangdon on 2008-01-18 16:33:19 as ** along with 2 people sanchezbuelna jfr
  • Relative Impact of Nucleotide and Copy Number Variation on Gene Expression Phenotypes
    Science, Vol. 315, No. 5813. (9 February 2007), pp. 848-853.
    by Barbara E Stranger, Matthew S Forrest, Mark Dunning, Catherine E Ingle, Claude Beazley, Natalie Thorne, Richard Redon, Christine P Bird, Anna de Grassi, Charles Lee, Chris Tyler-Smith, Nigel Carter, Stephen W Scherer, Simon Tavare, Panagiotis Deloukas, Matthew E Hurles, Emmanouil T Dermitzakis
    posted to copy expression number variation by jlangdon on 2008-01-18 16:41:18 as ** along with 12 people and 3 groups jyuh jfr dpollard balicea rdiaz qfwills djkt vplagnol shigepong xingxu cisevol caseybrown Bioinformatics EisenLab cis-regulatory-evolution
  • Somatic mosaicism for copy number variation in differentiated human tissues.
    Human mutation (20 June 2008)
    by Arkadiusz Piotrowski, Carl E G E Bruder, Robin Andersson, Teresita Diaz D de Ståhl, Uwe Menzel, Johanna Sandgren, Andrzej Poplawski, Desiree von Tell, Chiquito Crasto, Adam Bogdan, Rafal Bartoszewski, Zsuzsa Bebok, Maciej Krzyzanowski, Zbigniew Jankowski, E Christopher C Partridge, Jan Komorowski, Jan P P Dumanski
    posted to variation somatic number copy by jlangdon on 2008-06-26 16:06:12 as **
  • Novel procedures for high-throughput analysis of a frequent insertion-deletion polymorphism in the human T-cell receptor beta locus.
    Immunogenetics, Vol. 56, No. 3. (June 2004), pp. 220-224.
    by B Conrad
    posted to usage tcr tcell number gene copy by breden to the group FAB-lab on 2006-07-08 21:19:32 as ** along with 1 group SFUAntibodyResearch
  • CanGEM: mining gene copy number changes in cancer.
    Nucleic Acids Res (11 October 2007)
    by Ilari Scheinin, Samuel Myllykangas, Ioana Borze, Tom Böhling, Sakari Knuutila, Juha Saharinen
    posted to cancer cgh change copy database microarray number by frohike to the group Bioinformatics on 2008-02-22 08:10:03 as ** along with 2 people Terkko jfr
  • Copy number polymorphism in Fcgr3 predisposes to glomerulonephritis in rats and humans
    Nature, Vol. 439, No. 7078., pp. 851-855.
    by Timothy J Aitman, Rong Dong, Timothy J Vyse, Penny J Norsworthy, Michelle D Johnson, Jennifer Smith, Jonathan Mangion, Cheri Roberton-Lowe, Amy J Marshall, Enrico Petretto, Matthew D Hodges, Gurjeet Bhangal, Sheetal G Patel, Kelly Sheehan-Rooney, Mark Duda, Paul R Cook, David J Evans, Jan Domin, Jonathan Flint, Joseph J Boyle, Charles D Pusey, Terence H Cook
    posted to copy fcgr3 number sle by breden to the group SFUAntibodyResearch on 2006-07-08 22:23:25 as ** along with 4 people and 1 group jyuh ccots cmm vplagnol FAB-lab
  • Mammalian ultraconserved elements are strongly depleted among segmental duplications and copy number variants
    Nature Genetics, Vol. 38, No. 10. (24 September 2006), pp. 1216-1220.
    by Adnan Derti, Frederick P Roth, George M Church, C-Ting Wu
    posted to copy duplication element human number segmental ultraconserved variant by fpattyn on 2008-02-28 14:04:57 as ** along with 2 people bpcusack gjuggler
  • A feather-weight virtual machine for windows applications
    (2006), pp. 24-34.
    by Yang Yu, Fanglu Guo, Susanta Nanda, Lap-Chung Lam, Tzi-Cker Chiueh
    posted to call code copy interception machine mobile namespace on security system virtual virtualization write by baurm on 2006-09-17 23:32:06 as read along with 3 people csong vivianniu yarapavan
  • Fly Genome Evolution
    Science, Vol. 320, No. 5883. (20 June 2008), 1559n.
    posted to polymorphism number drosophila copy by APRegier on 2008-06-20 15:39:10 as **
    • Note: You may cite this page as: http://www.citeulike.org/tag/copy

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