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

タグ: refinement [264 articles]

Recent papers classified by the tag refinement.
  • A Model of Component-Based Programming
    International Symposium on Fundamentals of Software Engineering (2007), pp. 191-206.
    by Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    posted to refinement rcos component by zbchen on 2008-09-16 11:37:31 as ** along with 1 person newdawn
  • A Refinement Driven Component-Based Design
    Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on (2007), pp. 277-289.
    by Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P Ravn
    posted to refinement rcos design component by zbchen on 2008-09-08 15:18:52 as ** along with 2 people leonardo newdawn
  • A Synthesis on Partition Refinement: A Useful Routine for Strings, Graphs, Boolean Matrices and Automata
    (1998), pp. 25-38.
    by Michel Habib, Christophe Paul, Laurent Vienot
    posted to framework partition refinement by vannevarvision on 2008-02-11 05:34:25 as read
  • Checking your imagination: applications of the free R value
    Structure, Vol. 4, No. 8. (15 August 1996), pp. 897-904.
    by Gerard J Kleywegt, Axel T Brunger
    posted to refinement rfree by TOchi on 2008-02-12 23:05:28 as **
  • Bias in cross-validated free R factors: mitigation of the effects of non-crystallographic symmetry
    Acta Crystallographica Section D Biological Crystallography
    by Fabiola
    posted to nsc refinement by TOchi on 2008-02-07 19:14:18 as **
  • Knowledge-Based Real-Space Explorations for Low-Resolution Structure Determination
    Structure, Vol. 14, No. 8. (August 2006), pp. 1313-1320.
    by Nicholas Furnham, Andrew S Dore, Dimitri Y Chirgadze, Paul I de Bakker, Mark A Depristo, Tom L Blundell
    posted to dnaligaseiv dnarepair lif1 lig4 modeling nhej refinement by TOchi on 2007-12-02 23:32:48 as **
  • Combining Efficient Conformational Sampling with a Deformable Elastic Network Model Facilitates Structure Refinement at Low Resolution
    Structure, Vol. 15, No. 12. (13 December 2007), pp. 1630-1641.
    by Gunnar F Schroder, Axel T Brunger, Michael Levitt
    posted to refinement by TOchi on 2008-01-07 12:51:03 as ** along with 4 people and 1 group aqeel cjeans sobolevnrm jlh64 baker-group
  • Near-native structure refinement using in vacuo energy minimization
    PNAS, Vol. 104, No. 9. (27 February 2007), pp. 3177-3182.
    by Christopher M Summa, Michael Levitt
    posted to globular_prediction refinement by thaliana on 2007-02-28 07:30:41 as ** along with 1 person hmk
  • Program development by stepwise refinement
    Commun. ACM, Vol. 14, No. 4. (April 1971), pp. 221-227.
    by Niklaus Wirth
    posted to 8-queens education refinement stepwise by swiftwatch on 2008-02-17 05:09:16 as read
  • An efficient conformational sampling method for homology modeling.
    Proteins (11 October 2007)
    by Rongsheng Han, Alejandra Leo-Macias, Daniel Zerbino, Ugo Bastolla, Bruno Contreras-Moreira, Angel R R Ortiz
    posted to montecarlo protein refinement structure by sebk on 2007-12-09 22:49:22 as ** along with 4 people dimka choonpeng insectopalo cdeane
  • Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies
    (2004), pp. 442-449.
    by Baowen Xu, Peng Wang, Jianjiang Lu, Yanhui Li, Dazhou Kang
    posted to alignment ontology refinement by Scis0000002 on 2007-07-29 18:16:39 as **
  • Refinements and MultiDimensional Separation of Concerns
    (2003)
    by D Batory, J Liu, J Sarvela
    posted to refinement separation-of-concerns by Scis0000002 on 2007-08-28 13:40:11 as **
  • Contracts, Games, and Refinement
    Information and Computation, Vol. 156, No. 1-2. (10 January 2000), pp. 25-45.
    by Ralph-Johan Back, Joakim von Wright
    posted to refinement lattice-of-contracts games formal-justice-sciences contracts computational-legal-sciences by Scis0000002 on 2007-06-10 16:44:16 as **
  • Scaling StepWise Refinement
    (2003)
    by D Batory, J Sarvela, A Rauschmayer
    posted to metamathematics refinement rewriting specification by Scis0000002 on 2007-08-29 13:33:16 as **
  • Software development by refinement
    (2003)
    by D Pavlovic, D Smith
    posted to automating dev refinement software-development by scis0000001 on 2006-09-18 09:51:46 as **
  • First Order Theory Refinement
    (1996), pp. 14 - 33.
    by Stefan Wrobel
    edited by Luc De Raedt
    posted to theory-revision theory-refinement revision refinement fol by scis0000001 on 2007-01-19 14:38:27 as ** along with 1 person mishra_satish
  • System Modeling and Design Refinement in ForSyDe
    by Ingo Sander
    posted to modeling refinement by scis0000001 on 2006-09-21 16:53:29 as **
  • A Logical View of Composition and Refinement
    (1991), pp. 323-332.
    by Mart∈ Abadi, Gordon D Plotkin
    posted to refinement logics composition by scis0000001 on 2007-01-29 15:06:10 as **
  • Compositional refinement of interactive systems
    J. ACM, Vol. 44, No. 6. (November 1997), pp. 850-891.
    by Manfred Broy
    posted to composition refinement by scis0000001 on 2007-04-08 15:14:06 as ** along with 1 person leonardo
  • Composition and refinement of behavioral specifications
    (November 2001), pp. 157-165.
    by D Pavlovic, R Smith
    posted to behavior composition refinement by scis0000001 on 2006-12-26 13:37:57 as **
  • A Framework for Defining E-Business Models
    by Yves Pigneur
    posted to business-development business-model business-process dev domain-theory ebusiness economics enterprise framework modeling refinement by scis0000001 on 2006-10-07 15:14:52 as ** along with 1 person Scis0000002
  • Composition and Refinement of Evolving Specifications
    by Matthias Anlauff, Dusko Pavlovic, Douglas R Smith
    posted to category-of-specifications composition dev evolution modeling refinement specification by scis0000001 on 2006-09-18 09:58:03 as ** along with 1 person Scis0000002
  • The minimal user interface of a simple refinement tool
    Software - Concepts and Tools, Vol. 19, No. 2. (1998), pp. 89-95.
    by Philipp A Heuberger
    posted to minimal refinement ui by scis0000001 on 2006-12-10 15:38:23 as **
  • Expressing Program Requirements Using Refinement Lattices
    (1993), pp. 245-254.
    by David S Robertson, Jaume Agusti, Jane Hesketh, Jordi Levy
    posted to lattice refinement requirements by scis0000001 on 2007-04-29 17:20:34 as **
  • Compositional Refinement for Hierarchical Hybrid Systems
    Lecture Notes in Computer Science, Vol. 2034 (2001), pp. 33-??.
    by Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    posted to hierarchical hybrid refinement by scis0000001 on 2007-05-05 01:28:55 as **
  • Theory Refinement Through Knowledge-Based Feature Set Selection
    by Brendan D Burns, Andrea P Danyluk
    posted to feature-selection refinement theory-development by scis0000001 on 2006-09-21 09:57:49 as **
  • Analyses of design processes based on category theory and channel theory
    SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
    by K Minamizono, O Katai, T Shiose, H Kawakami
    posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as **
  • 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 **
  • On using temporal logic for refinement and compositional verification of concurrent systems
    Theoretical Computer Science, Vol. 140, No. 1. (1995), pp. 95-138.
    by Abdelillah Mokkedem, Dominique Méry
    posted to verification temporal-logic refinement by scis0000001 on 2007-02-02 13:07:17 as **
  • Constructive theory refinement in knowledge based neural networks
    (1998)
    by R Parekh, V Honavar
    posted to refinement theory by scis0000001 on 2007-03-15 14:25:43 as **
  • Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
    (1998), pp. 293-304.
    by Michael Colon, Tomas E Uribe
    posted to abstracting abstraction causal-state-machine clocked-transition-system domain-theory model-checking partial-order refinement simulation state-space temporal-logic transition-system by scis0000001 on 2007-04-07 13:52:48 as ** along with 1 person bunge
  • Publications
    by Zhiming Liu
    posted to refinement by rCOS on 2007-11-01 13:49:03 as *****
  • Towards high-resolution protein structure prediction. Fast refinement of reduced models with all-atom force field
    BMC Structural Biology, Vol. 7 (29 June 2007), 43.
    by Sebastian Kmiecik, Dominik Gront, Andrzej Kolinski
    posted to refinement by rabio on 2007-12-10 13:21:43 as read along with 2 people wouterboomsma sekmi
  • Structural refinement of membrane proteins by restrained molecular dynamics and solvent accessibility data
    Biophys. J. (1 August 2008), biophysj.108.142984.
    by Pornthep Sompornpisut, Benoit Roux, Eduardo Perozo
    posted to md refinement somporn08pdf structure by paulschlesinger on 2008-08-03 02:41:24 as **
  • Foundations of incremental aspect model-checking
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 2. (April 2007)
    by Shriram Krishnamurthi, Kathi Fisler
    posted to reengineering refinement sandy by oscar on 2007-04-26 10:14:40 as ** along with 2 people and 1 group bfraser leonardo onekin
  • Managing Knowledge in Global Software Development Efforts: Issues and Practices
    Software, IEEE, Vol. 23, No. 5. (2006), pp. 30-37.
    by KC Desouza, Y Awazu, P Baloh
    posted to kortabitarte refinement by oscar on 2006-09-28 13:34:11 as ** along with 3 people and 3 groups domenico79 lanubile irwink onekin CDG SEGAL
  • Beyond source code: The importance of other artifacts in software development (a case study)
    Journal of Systems and Software, Vol. 79, No. 9. (September 2006), pp. 1233-1248.
    by Gregorio Robles, Jesus M Gonzalez-Barahona, Juan J Merelo
    posted to kortabitarte refinement by oscar on 2006-09-28 13:30:40 as ** along with 1 person and 1 group jjamor onekin
  • Representing concerns in source code
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007)
    by Martin P Robillard, Gail C Murphy
    posted to refinement by oscar on 2007-02-23 08:31:36 as ** along with 6 people and 1 group plaugg hawkestein maike kklo jryall-tags buchgeher onekin
  • An approach to ontology for institutional facts in the semantic web
    Information and Software Technology, Vol. 47, No. 12. (1 September 2005), pp. 775-783.
    by Robert M Colomb, CNG Dampney
    posted to refinement by oscar on 2005-09-05 15:38:14 as ** along with 3 people and 2 groups architect nkorf mpalmer Semantic-Social-Networks onekin
  • Improving NMR protein structure quality by Rosetta refinement: A molecular replacement study
    Proteins: Structure, Function, and Bioinformatics, Vol. 9999, No. 9999. (2008), NA.
    by Theresa A Ramelot, Srivatsan Raman, Alexandre P Kuzin, Rong Xiao, Li-Chung Ma, Thomas B Acton, John F Hunt, Gaetano T Montelione, David Baker, Michael A Kennedy
    posted to structure rosetta refinement protein nmr by neils on 2008-09-26 01:25:03 as ** along with 1 person sunhwan
  • Fast Construction of Generalized Suffix Trees Over a Very Large Alphabet
    Computing and Combinatorics (2003), pp. 284-293.
    by Zhixiang Chen, Richard Fowler, Ada W Fu, Chunyue Wang
    posted to gst refinement suffixtree by myui on 2007-08-18 17:14:32 as **
  • Fast string searching in secondary storage: theoretical developments and experimental results
    (1996), pp. 373-382.
    by Paolo Ferragina, Roberto Grossi
    posted to btree disk fulltext refinement sb-tree by myui on 2007-08-17 20:38:04 as **
  • Application of adaptive mesh refinement to particle-in-cell simulations of plasmas and beams
    45th Annual Meeting of the APS Division of Plasma Physics, Vol. 11, No. 5. (2004), pp. 2928-2934.
    by JL Vay, P Colella, JW Kwan, P Mccorquodale, DB Serafini, A Friedman, DP Grote, G Westenskow, JC Adam, A Héron, I Haber
    posted to adaptive algorithm grid mesh particle-in-cell pic refinement simulation by michaelbussmann on 2008-06-04 17:14:02 as *****
  • Adaptive Mesh Refinement - Theory and Applications. Proceedings of the Chicago Workshop, 2003: Proceedings of the Chicago Workshop on Adaptive Mesh Refinement ... in Computational Science and Engineering)
    by Tomasz Plewa, Timur Linde, Gr
    posted to adaptive mesh refinement by michaelbussmann on 2008-06-02 19:10:13 as ****
  • The NIRVANA code: Parallel computational MHD with adaptive mesh refinement
    Computer Physics Communications, Vol. 179, No. 4. (August 2008), pp. 227-244.
    by U Ziegler
    posted to adaptive algorithm grid mesh mhd nirvana refinement simulation by michaelbussmann on 2008-07-29 14:36:08 as ***
  • Application of adaptive mesh refinement to PIC simulations in heavy ion fusion
    Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 544, No. 1-2. (21 May 2005), pp. 347-352.
    by JL Vay, A Friedman, DP Grote
    posted to adaptive algorithm grid mesh particle-in-cell pic plasma refinement simulation by michaelbussmann on 2008-06-06 15:40:28 as ****
  • Mesh refinement for particle-in-cell plasma simulations: Applications to and benefits for heavy ion fusion
    Laser and Particle Beams, Vol. 20, No. 04. (2003), pp. 569-575.
    by JL Vay, P Colella, P Mccorquodale, Van, A Friedman, DP Grote
    posted to adaptive algorithm mesh particle-in-cell pic refinement simulation by michaelbussmann on 2008-06-03 16:25:21 as ****
  • A framework for parallel adaptive finite element methods and its template based implementation in C++
    Scientific Computing in Object-Oriented Parallel Environments (1997), pp. 105-112.
    by Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
    posted to adaptive index mesh object oriented refinement by michaelbussmann on 2008-06-02 19:13:48 as **
  • Multiple Description Quantization Via Gram–Schmidt Orthogonalization
    IEEE Transactions on Information Theory, Vol. 52, No. 12. (December 2006), pp. 5197-5217.
    by Jun Chen, Chao Tian, Toby Berger, Sheila S Hemami
    posted to description descriptions distortion distribution dithered el error gamal-cover gaussian gram-schmidt high-resolution iid independent-identically lattice md mds mean-square minimum mmse multiple operation orthogonalization processes quantisation quantization quantizer rate rate-distortion refinement regime region segc sequential simplified-egc splitting superimposed theory vector by masaakif on 2008-02-27 08:39:27 as **
  • Multiuser Successive Refinement and Multiple Description Coding
    IEEE Transactions on Information Theory, Vol. 54, No. 2. (February 2008), pp. 921-931.
    by Chao Tian, Jun Chen, Suhas N Diggavi
    posted to coding description distortion multiple rate refinement source successive by masaakif on 2008-02-13 15:43:22 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/refinement

    Result page: 1 2 3 4 5 6 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.