Registrer deg | Logg på | FAQ      [?] 

Nøkkelord: 1990 [30 articles]

Nye artikler klassifisert med nøkkelordet 1990.
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to verification type specification dependenttype 1990 by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • The Logic of Decision
    (15 July 1990)
    by Richard C Jeffrey
    posted to decision-theory books basi bacr 1990 by quianominorleo on 2008-06-27 13:12:11 as ** along with 1 person amorgan
  • Multicarrier modulation for data transmission: an idea whose time has come
    Communications Magazine, IEEE, Vol. 28, No. 5. (1990), pp. 5-14.
    by JAC Bingham
    posted to 1990 ofdm read by plutonheaven on 2008-03-06 15:09:39 as read along with 2 people simon_o dcastro
  • Where should the person stop and the information search interface start?
    Information Processing & Management, Vol. 26, No. 5. (1990), pp. 575-591.
    by Marcia J Bates
    posted to 1990 bib by maike on 2007-06-18 13:41:56 as ** along with 2 people and 1 group irenas mikeee dbk-lab
  • Das gekaufte Herz. Zur Kommerzialisierung der Gefühle
    (01 January 1990)
    by Arlie R Hochschild
    posted to 1990 emo gen work by maike on 2007-10-22 11:03:53 as read
  • Work-Oriented Design of Computer Artifacts
    by Pelle Ehn
    posted to 1990 pd by maike on 2007-06-20 13:53:35 as ** along with 2 people laurene jared
  • The computer reaches out: the historical continuity of interface design
    (1990), pp. 261-268.
    by Jonathan Grudin
    posted to 1990 hci by maike on 2007-06-18 11:45:53 as ****
  • Cooperative Prototyping - Users and designers in mutual activity
    (1990)
    by Susanne Bødker, Kaj Grønbæk
    posted to 1990 pd proto emp by maike on 2007-07-05 08:39:57 as **
  • STATEMATE: a working environment for the development of complex reactive systems
    Software Engineering, IEEE Transactions on, Vol. 16, No. 4. (1990), pp. 403-414.
    by David Harel, H Lachover, Amnon Naamad, Amir Pnueli, M Politi, R Sherman, Shtull A Trauring, M Trakhtenbrot
    posted to statemate statecharts reactive_systems 1990 by leonardo on 2006-10-08 19:43:32 as **
  • Refinement calculus, part I: Sequential nondeterministic programs
    Lecture Notes in Computer Science : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990), pp. 42-66.
    by Ralph J Back, J von Wright
    posted to 1990 refinement by leonardo on 2006-10-15 03:01:56 as **
  • Refinement calculus, part II: Parallel and reactive programs
    : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990a), pp. 67-93.
    by Ralph J Back
    posted to refinement reactive_systems 1990 by leonardo on 2007-02-05 23:16:32 as ****
  • Graphical specification of object oriented systems
    Vol. 25, No. 10. (October 1990), pp. 28-37.
    by Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
    posted to statecharts semantics 1990 by leonardo on 2006-04-03 03:00:19 as **
  • Refinement of concurrent systems based on local state transformations
    Lecture Notes in Computer Science : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990), pp. 641-668.
    by Lucia Pomello
    posted to refinement concurrent_systems 1990 by leonardo on 2006-10-07 02:49:06 as ****
  • Refinement of state-based concurrent systems
    Lecture Notes in Computer Science : VDM '90 VDM and Z â Formal Methods in Software Development (1990), pp. 340-351.
    by JCP Woodcock, Carroll Morgan
    posted to refinement concurrent_systems 1990 by leonardo on 2006-10-07 02:48:29 as ****
  • A Monte Carlo Implementation of the EM Algorithm and the Poor Man's Data Augmentation Algorithms
    Journal of the American Statistical Association, Vol. 85, No. 411. (1990), pp. 699-704.
    by Greg CG Wei, Martin A Tanner
    posted to 1990 and tanner wei by ifejobi on 2007-12-04 00:11:10 as ** along with 1 person austin987
  • Partitioning sparse matrices with eigenvectors of graphs
    SIAM J. Matrix Anal. Appl., Vol. 11, No. 3. (July 1990), pp. 430-452.
    by Alex Pothen, Horst D Simon, Kan-Pu Liou
    posted to 1990 clustering by henningpeters on 2006-05-30 01:50:54 as **** along with 3 people and 1 group filippone lberning happydongyy CSCW
  • Modular Object-oriented Z Specifications
    (1990), pp. 173-192.
    by Sílvio R Meira, Ana Cavalcanti
    edited by JE Nicholls
    posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:18:48 as **
  • The MooZ Environment
    (1990), pp. 381-381.
    by Sílvio R Meira
    edited by JE Nicholls
    posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:16:46 as **
  • Modular extensions to Z
    VDM '90 VDM and Z — Formal Methods in Software Development (1990), pp. 211-232.
    by Augusto Sampaio, Sílvio Meira
    posted to 1990 _conference z by leonardo to the group SRG on 2007-10-05 16:07:30 as **
  • When Politics Pays: Factors Influencing Managerial Compensation Decisions
    Personnel Psychology, Vol. 43, No. 3. (1990), pp. 599-614.
    by Kathryn Bartol, David Martin
    posted to reputation 1990 by drakkos69 on 2008-06-25 11:59:06 as **
  • "I Don't Care What They Say, as Long as They Spell My Name Right": Publicity, Reputation and Turnover
    Group Organization Management, Vol. 15, No. 1. (1 March 1990), pp. 53-74.
    by Christine T Kydd, John R Ogilvie, Allen L Slade
    posted to reputation 1990 by drakkos69 on 2008-06-25 11:45:59 as ****
  • A Course in Simulation
    (31 August 1990)
    by Sheldon M Ross
    posted to 1990 probability random-variables simulation stochasticity by ddahlem on 2006-06-26 11:59:19 as read
  • Practical Statistics for Medical Research
    (22 November 1990)
    by Douglas G Altman, Douglas G Altman
    posted to 1990 introduction statistics by ddahlem on 2006-06-10 17:17:38 as read along with 3 people gareth eegilbert buggle
  • Cybernetic Issues in Interactive Performance Systems
    Computer Music Journal, Vol. 14, No. 1. (1990), pp. 12-25.
    by Jeff Pressing
    posted to 1990 control interactive-performance interactive-systems by cerkut on 2007-11-14 11:58:47 as read
  • Model-based segmentation and estimation of 3D surfaces from two or more intensity images using Markov random fields
    Pattern Recognition, 1990. Proceedings., 10th International Conference on, Vol. i (1990), pp. 390-397 vol.1.
    by J Subrahmonia, YP Hung, DB Cooper
    posted to segmentation doctorate 3d 1990 by asderina on 2008-04-07 22:02:17 as ***
  • Bayesian modeling of uncertainty in low-level vision
    Int. J. Comput. Vision, Vol. 5, No. 3. (December 1990), pp. 271-301.
    by Richard Szeliski
    posted to doctorate 1990 by asderina on 2008-05-02 17:37:54 as *** along with 1 person jjeong
  • Intrinsic contact sensing for soft fingers
    Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on (1990), pp. 968-973 vol.2.
    by A Bicchi
    posted to 1990 by aparravicini on 2008-04-21 08:24:50 as **
  • The mechanical properties of platelet reinforced composites
    International Journal of Solids and Structures, Vol. 26, No. 5-6. (1990), pp. 663-674.
    by AN Norris
    posted to 1990 journal-int_j_solids_struct by Andrew_Norris on 2006-08-18 17:23:53 as read
  • The speed of a tube wave
    The Journal of the Acoustical Society of America, Vol. 87, No. 1. (1990), pp. 414-417.
    by AN Norris
    posted to 1990 journal-j_acoust_soc_am by Andrew_Norris on 2006-08-18 18:20:37 as read
  • Resonant acoustic scattering from solid targets
    The Journal of the Acoustical Society of America, Vol. 88, No. 1. (1990), pp. 505-514.
    by Andrew N Norris
    posted to 1990 journal-j_acoust_soc_am by Andrew_Norris on 2006-08-18 18:19:48 as read
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/tag/1990

    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.