Primitive

Results: 1920



#Item
781Number theory / Mersenne twister / Diophantine approximation / Streaming SIMD Extensions / Linear feedback shift register / Primitive polynomial / Equidistributed sequence / Mersenne prime / AMD Turion / Pseudorandom number generators / Mathematics / Integer sequences

An Application of Finite Field: Design and Implementation of 128-bit Instruction-Based Fast Pseudorandom Number Generator Mutsuo Saito

Add to Reading List

Source URL: www.math.sci.hiroshima-u.ac.jp

Language: English - Date: 2007-01-27 00:44:07
782Physics / Fluid dynamics / Balanced flow / Vortex / Coriolis effect / Potential vorticity / Vorticity / Primitive equations / Cyclonic separation / Meteorology / Atmospheric sciences / Atmospheric dynamics

Balanced and unbalanced aspects of tropical cyclone intensification

Add to Reading List

Source URL: met.nps.edu

Language: English - Date: 2015-02-25 00:59:31
783Data types / Primitive types / Memory management / C++ / Static program analysis / Pointer / C / Data-flow analysis / Abstract interpretation / Computing / Software engineering / Computer programming

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:17:58
784Surfaces / 3D printing / RepRap Project / University of Bath / Geometric primitive / STL / Cube / Cylinder / Sphere / Geometry / Solid freeform fabrication / 3D computer graphics

Using OpenSCAD to Design RepRap Printable Parts Ching Luan Chung [removed] October 20, 2014

Add to Reading List

Source URL: www.botlanta.org

Language: English - Date: 2014-10-20 15:53:34
785Functions and mappings / Function / Axiom schema of replacement / First-order logic / Equivalence relation / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Logic

A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2

Add to Reading List

Source URL: www.multimedialibrary.com

Language: English - Date: 2014-03-05 10:43:38
786Software engineering / Linguistics / String / Bit / High Level Assembly / ZPAQ / Data types / Primitive types / Computing

Listing of Instructions: Advanced NEAT MACRO DESCRIPTION MOVEVF

Add to Reading List

Source URL: www.thecorememory.com

Language: English - Date: 2009-02-23 01:30:52
787FIPS 140-2 / Proprietary software / Advanced Encryption Standard / Security through obscurity / Cryptographic primitive / Wireless Transport Layer Security / Cryptography / Cryptographic protocols / Secure Shell

Georgia SoftWorks Security: SSH Security Risks RED FLAG WARNINGS Georgia SoftWorks

Add to Reading List

Source URL: www.georgiasoftworks.com

Language: English - Date: 2012-11-21 13:26:32
788Data types / Subroutines / Time scales / Ada / Primitive types / Parameter / Coordinated Universal Time / Leap second / Constructor / Software engineering / Computing / Computer programming

1 Rationale for Ada 2005: 6 Predefined library John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed]

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-15 14:00:09
789Notation / Software engineering / Formal languages / Character encoding / String / SQL / TM-XML / Boolean data type / Computing / Data types / Primitive types

Rational Rose - TM-XML-V1-3.mdl

Add to Reading List

Source URL: www.tm-xml.org

Language: English - Date: 2013-03-08 10:42:56
790Physical oceanography / Geophysics / Partial differential equations / Rossby wave / Primitive equations / Differential equation / Nonlinear system / Vorticity / Geostrophic current / Meteorology / Atmospheric dynamics / Fluid dynamics

What is a Low Order Model? ∂ ∂tΨ = NL(Ψ ), where NL is a nonlinear operator (quadratic nonlinearity)

Add to Reading List

Source URL: www.realclimate.org

Language: English - Date: 2008-04-22 19:00:14
UPDATE