Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
991	Notes on the use of R for psychology experiments and questionnaires Jonathan Baron Department of Psychology, University of Pennsylvania Yuelin Li Center for Outcomes Research, Children’s Hospital of Philadelphia ∗ Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2003-09-09 07:42:07 Matrix Euclidean vector Vector space Array data type Array programming R Column space Principal component analysis Algebra Mathematics Linear algebra
992	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
993	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
994	WRF Registry and Examples Part 1 John Michalakes, NCEP Michael Duda, NCAR Dave Gill, NCAR WRF Software Architecture Working Group Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2014-02-03 19:37:10 Meteorology Primitive types Array data type C ESMF Standard Performance Evaluation Corporation National Center for Atmospheric Research String Computing Atmospheric sciences Data types
995	Notes on the use of R for psychology experiments and questionnaires Jonathan Baron Department of Psychology, University of Pennsylvania Yuelin Li Center for Outcomes Research, Children’s Hospital of Philadelphia ∗ Add to Reading List Source URL: ftp.iitm.ac.in Language: English - Date: 2003-09-09 07:42:07 Matrix Euclidean vector Vector space Array data type Array programming R Column space Principal component analysis Algebra Mathematics Linear algebra
996	widget data widget name Cloak of the Beast (Magical Light Cloak) weapon, armor, or shield type Add to Reading List Source URL: www.infernalfunhouse.com Language: English - Date: 2004-12-09 10:48:20 Health Software GUI widget Gaming Windows games Massively multiplayer online role-playing games Games Role-playing game terminology Widget
997	Programming for MSc Part I Part 2: Scalar Data Types (c) Introduction to Boolean Algebra Operations Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 C programming language Data types C++ Primitive types Procedural programming languages Typedef C syntax Enumerated type C Computer programming Computing Software engineering
998	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
999	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics
1000	Towards Automatic Functional Test Execution Pablo Pedemonte IBM Argentina Ing. Butty 275 – C1001AFA Buenos Aires, Argentina Add to Reading List Source URL: tlau.org Language: English - Date: 2012-03-05 14:48:09 Tuple Type theory Algorithm Software testing Linearizability Segmentation Natural language processing Mathematics Data management Mathematical notation

UPDATE