registrieren | anmelden | FAQ      [?] 

Tag program [108 articles]

Recent papers classified by the tag program.
  • Genomic and proteomic analysis of the myeloid differentiation program: global analysis of gene expression during induced differentiation in the MPRO cell line.
    Blood, Vol. 100, No. 9. (1 November 2002), pp. 3209-3220.
    by Z Lian, Y Kluger, DS Greenbaum, D Tuck, M Gerstein, N Berliner, SM Weissman, PE Newburger
    posted to differentiation myeloid program by yuval on 2005-12-06 20:42:41 as **
  • Process Introspection: A Heterogeneous Checkpoint/Restart Mechanism Based on Automatic Code Modification
    (1997)
    by Adam J Ferrari, Stephen J Chapin, Andrew S Grimshaw
    posted to analysis checkpoint program by yongchul on 2008-02-17 05:48:01 as **
  • Scalable molecular dynamics with NAMD.
    J Comput Chem, Vol. 26, No. 16. (December 2005), pp. 1781-1802.
    by JC Phillips, R Braun, W Wang, J Gumbart, E Tajkhorshid, E Villa, C Chipot, RD Skeel, L Kalé, K Schulten
    posted to md namd program by yoel_rf on 2006-03-30 21:18:42 as read along with 10 people and 5 groups vahmurk gisle dimka jwm ttjoseph sangeetha bilab wilsoros sobolevnrm ibuch Radiation_Damage Stressosome Bioinformatics insilicodrug baker-group
  • A Feminist Approach to Working With Homeless Women
    Affilia, Vol. 5, No. 1. (1 April 1990), pp. 6-20.
    by Kaaren S Brown, Marjorie Ziefert
    posted to competence program self by YMarcellus on 2008-03-31 22:13:41 as *****
  • Data flow analysis is model checking of abstract interpretations
    (1998), pp. 38-48.
    by David A Schmidt
    posted to analysis model_checking program by wasi on 2005-11-29 00:56:29 as ** along with 6 people eaubin Mikejones msakai bunge keigoi zuleger
  • Reproductive performance of multiparous rabbit lactating does: effect of lighting programs and PMSG use.
    Reprod Nutr Dev, Vol. 41, No. 3. (n 2001), pp. 247-257.
    by L Quintela, A Peña, M Barrio, MD Vega, R Diaz, F Maseda, P Garcia
    posted to lactating lighting multiparous performance pmsg program rabbit reproductive by virag on 2008-03-06 09:07:13 as **
  • Cognitive design elements to support the construction of a mental model during software exploration
    Journal of Systems and Software, Vol. 44, No. 3. (January 1999), pp. 171-185.
    by M Storey, F Fracchia, H Muller
    posted to cognitive comprehension program by vineet on 2005-02-14 01:01:20 as read along with 3 people and 1 group malenitah2 duckysherwood scis0000001 CHISEL
  • New Moves: a school-based obesity prevention program for adolescent girls.
    Prev Med, Vol. 37, No. 1. (July 2003), pp. 41-51.
    by D Neumark-Sztainer, M Story, PJ Hannan, J Rex
    posted to girls-only program by tresrose on 2006-07-17 01:47:59 as ***
  • Inparanoid: a comprehensive database of eukaryotic orthologs.
    Nucleic Acids Res, Vol. 33, No. Database issue. (1 January 2005)
    by KP O'Brien, M Remm, EL Sonnhammer
    posted to homolog-detection program by tny on 2005-12-25 09:30:52 as read along with 8 people and 2 groups tharris mdimmic tmmurali dragonrez indigoviolet bluto incovoma jandot C. elegans / WormBase EisenLab
  • Debugging reinvented: asking and answering why and why not questions about program behavior
    (2008), pp. 301-310.
    by Andrew J Ko, Brad A Myers
    posted to analysis debugging dynamic program slicing static by swiftwatch on 2008-05-21 07:54:36 as ***** along with 1 person duckysherwood
  • Comprehension strategies in programming
    (1987), pp. 100-113.
    by Nancy Pennington
    posted to comprehension program strategies by swiftwatch on 2008-03-01 05:45:20 as **
  • Tracking bad apples: reporting the origin of null and undefined value errors
    (2007), pp. 405-422.
    by Michael D Bond, Nicholas Nethercote, Stephen W Kent, Samuel Z Guyer, Kathryn S Mckinley
    posted to analysis null program tracking by swiftwatch on 2008-01-03 05:57:24 as *** along with 1 person beete
  • Prolonged effect of a mother-child caries preventive program on dental caries in the permanent 1st molars in 9 to 10-year-old children.
    Acta odontologica Scandinavica, Vol. 65, No. 5. (October 2007), pp. 271-274.
    by SS Gomez, CG Emilson, AA Weber, S Uribe
    posted to caries preventive program by suribe on 2008-04-23 14:03:25 as ** along with 1 group Dentistry
  • Second/Foreign Language Program Preservation and Advancement: Literatures and Lessons for Teachers and Teacher Education
    Critical Inquiry in Language Studies, Vol. 1, No. 4. (2004), pp. 219-236.
    by Graham Crookes, Steven Talmy
    posted to preservation program by smt on 2008-07-26 10:29:35 as read
  • An Automated Phylogenetic Tree-Based Small Subunit rRNA Taxonomy and Alignment Pipeline (STAP)
    PLoS ONE, Vol. 3, No. 7. (2 July 2008), e2566.
    by Dongying Wu, Amber Hartman, Naomi Ward, Jonathan A Eisen
    posted to 16s phylogenetic program rrna by skato_toyaku on 2008-07-07 12:58:34 as ** along with 2 people and 3 groups vaulot djkt Papers recommended by the Roscoff Plankton Group Microbial-Ecology iSEEM
  • Voro3D: 3D Voronoi tessellations applied to protein structures.
    Bioinformatics, Vol. 21, No. 8. (15 April 2005), pp. 1715-1716.
    by F Dupuis, JF Sadoc, R Jullien, B Angelov, JP Mornon
    posted to program tessellation visualisation voronoi by siebertm on 2007-04-20 20:47:23 as read along with 1 person aengisch
  • PROVAT: a tool for Voronoi tessellation analysis of protein structures and complexes
    Bioinformatics, Vol. 21, No. 15. (1 August 2005), pp. 3316-3317.
    by SP Gore, DF Burke, TL Blundell
    posted to program tessellation visualiation voronoi by siebertm on 2007-04-23 22:23:40 as read along with 3 people and 2 groups jwm cat_worth sebk Radiation_Damage Stressosome
  • Mathematical Foundations for Program Transformations
    (1990), pp. 319-321.
    by Rahma B Ayed, Jules Desharnais, Marc Frappier, Ali Mili
    posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as **
  • What is the Difference between Proofs and Programs?
    by John N Crossley
    posted to program proof by scis0000001 on 2006-09-29 09:23:08 as **
  • InspectJ: Program monitoring for visualisation using AspectJ
    (2003)
    by R Khaled, J Noble, R Biddle
    posted to monitoring program by scis0000001 on 2007-03-11 14:12:57 as **
  • TBPG -- A Techniques-Based
    by Program G Alberto
    posted to generator lp program synthesis by scis0000001 on 2006-12-08 09:19:37 as **
  • From Sequential Programs to Multi-Tier Applications by Program Transformation
    by Matthias Neubauer, Peter Thiemann
    posted to multi-tier-applications program sequence transformation by scis0000001 on 2006-11-14 09:58:21 as ** along with 1 person bunge
  • Formal Refinement and Proof of a Small Java Program
    (1999)
    by Tony Clark
    posted to java program proof refinement by scis0000001 on 2007-04-08 15:26:50 as **
  • Program calculation properties of continuous algebras
    (1991)
    by M Fokkinga, E Meijer
    posted to algebra calculational category-theory domain-theory program by scis0000001 on 2006-12-10 15:18:58 as ** along with 3 people msakai KarlKlose glaubersp
  • Inductive Program Synthesis for Therapy Plan Generation
    New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58.
    by O Arnold, KP Jantke
    posted to program synthesis by scis0000001 on 2007-05-22 20:35:23 as **
  • Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
    Lecture Notes in Computer Science, Vol. 952 (1995), pp. 77-101.
    by Jeffrey Dean, David Grove, Craig Chambers
    posted to class-hierarchy object-oriented optimization program refactoring by scis0000001 on 2006-11-25 14:33:29 as **
  • Formal Specification and Prototyping of a Program Specializer
    (1995), pp. 666-680.
    by Sandrine Blazy, Philippe Facon
    posted to program specialization specializer by scis0000001 on 2006-11-24 14:12:08 as **
  • Size of Random Programs to ensure Uniformity
    by WB Langdon
    posted to ait genetic-programming program random-programs randomness uniformity by scis0000001 on 2006-12-09 14:19:18 as **
  • A Calculational Approach to Program Inversion
    (2003)
    by Shin C Mu
    posted to calculational inversion program program-inversion by scis0000001 on 2007-04-07 13:48:31 as **
  • Chapter 6 Algebra of Program Termination
    : Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000. Revised Lectures (2002), 203.
    by Henk Doornbos, Roland Backhouse
    posted to algebra dynamical-invariants fixed-point prefix-point program termination by scis0000001 on 2007-04-07 15:01:37 as **
  • Exploiting UML dynamic object modeling for the visualization of C++ programs
    (2005), pp. 105-114.
    by Brian A Malloy, James F Power
    posted to dynamic program runtime uml visualization by scis0000001 on 2006-12-01 10:26:29 as **
  • How many Good Programs are there? How Long are they?
    by WB Langdon
    posted to genetic-programming program by scis0000001 on 2006-12-09 14:21:21 as ** along with 1 person mcphee
  • Program transformation in calculational form
    ACM Computing Surveys, Vol. 30, No. 3es. (1998)
    by Akihiko Takano, Zhenjiang Hu, Masato Takeichi
    posted to calculational program transformation by scis0000001 on 2006-12-10 15:34:11 as **
  • Walther Recursion
    (1996), pp. 643-657.
    by David A Mcallester, Kostas Arkoudas
    posted to program recursion verification by robdockins on 2008-04-20 22:24:48 as **
  • pasos(parental allocation of singles in open systems): a computer program for individual parental allocation with missing parents
    Molecular Ecology Notes, Vol. 5, No. 3. (September 2005), pp. 701-704.
    by Pierre Duchesne, Tanguy Castric, Louis Bernatchez
    posted to parentage program by rhyax on 2006-09-26 03:22:04 as **
  • Phase tracking and prediction
    Computer Architecture, 2003. Proceedings. 30th Annual International Symposium on (2003), pp. 336-347.
    by T Sherwood, S Sair, B Calder
    posted to pattern phase prediction program by radu on 2006-06-09 19:51:07 as **
  • A Quorum on Bacterial Programmed Cell Death
    Molecular Cell, Vol. 28, No. 4. (30 November 2007), pp. 515-517.
    by Wen-Chih Cheng, Marie J Hardwick
    posted to apoptosis bacteria cell death program by paulschlesinger on 2008-03-07 00:04:36 as ** along with 1 person chochoz
  • IGOR: a system for program debugging via reversible execution
    (1988), pp. 112-123.
    by Stuart I Feldman, Channing B Brown
    posted to checkpoint debug program by nananabe on 2007-04-03 08:30:29 as ***
  • Embracing and Extending 20th-Century Instruction Set Architectures
    Computer, Vol. 40, No. 4. (2007), pp. 68-75.
    by Joe Gebis, David Patterson
    posted to architectures compilers instruction multimedia parallel program sets systems by mwmarkland on 2007-07-06 02:04:51 as ** along with 1 person ronnix
  • Compiling for EDGE architectures
    Code Generation and Optimization, 2006. CGO 2006. International Symposium on (2006), 11 pp..
    by A Smith, J Burrill, J Gibson, B Maher, N Nethercote, B Yoder, D Burger, KS Mckinley
    posted to architectures compiler compilers data edge flow graphs instruction parallel program sets trips by mwmarkland on 2007-07-06 01:56:55 as **
  • Scoredist: a simple and robust protein sequence distance estimator.
    BMC Bioinformatics, Vol. 6, No. 1. (2005)
    by EL Sonnhammer, V Hollich
    posted to alignment belvu program protein sequence by miguel on 2006-02-12 23:07:42 as **
  • Recovering UML class models from C++: A detailed explanation
    Inf. Softw. Technol., Vol. 49, No. 3. (March 2007), pp. 212-229.
    by Andrew Sutton, Jonathan I Maletic
    posted to class comprehension models program reverse-engineering uml by metamorphos_bari on 2007-03-05 18:24:26 as ****
  • Vision assisted robotics and tape technology in the life-science laboratory: applications to genome analysis.
    Biotechnology (N Y), Vol. 8, No. 12. (December 1990), pp. 1258-1262.
    by WJ Martin, RM Walmsley
    posted to automation genome human program by LiamMartin on 2005-06-04 02:08:31 as *****
  • The use of reflective journal keeping in a teacher education program: a Popperian analysis
    Reflective Practice, Vol. 7, No. 1. (February 2006), pp. 73-86.
    by Chitpin, Stephanie
    posted to education program teacher by kein on 2006-08-25 01:18:43 as ** along with 2 people bart0188 alexajoyce
  • Towards a Characterization of Termination of Logic Programs
    (1990), pp. 204-221.
    by Bal Wang, RK Shyamasundar
    posted to logic program termination by KarlKlose on 2007-07-11 11:21:07 as ***
  • codeQuest: Scalable Source Code Queries with Datalog
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27.
    by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
    posted to language program query by KarlKlose on 2007-08-16 11:29:41 as ** along with 1 person jmackay
  • Navigating and querying code without getting lost
    (2003), pp. 178-187.
    by Doug Janzen, Kris De Volder
    posted to code program query static structure by KarlKlose on 2007-08-17 11:28:02 as *** along with 3 people and 1 group duckysherwood tdent jryall-tags CHISEL
  • Expressive and safe static reflection with MorphJ
    SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 79-89.
    by Shan S Huang, Yannis Smaragdakis
    posted to program reflection static transofrmation type-checking by KarlKlose on 2008-07-17 14:48:37 as **
  • Automatic generation of suggestions for program investigation
    SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (September 2005), pp. 11-20.
    by Martin P Robillard
    posted to software program investigation by jweslley on 2008-09-29 13:25:50 as read along with 2 people alphabetagamma duckysherwood
  • notes Program Refactoring, Program Synthesis, and Model-Driven Development
    Compiler Construction (2007), pp. 156-171.
    by Don Batory
    posted to calculus program by jpbernardy on 2008-03-05 09:55:35 as read along with 1 person leonardo
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/program

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