Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
insider.si.edu

Swing it! : an annotated history of jive / Bill Milkowski

Louis Armstrong -- Fats Waller -- Cab Calloway -- Louis Jordan -- Slim Caillard -- The Cats & The Fiddle -- Leo "Scat" Watson -- Stuff Smith -- Jimmie Lunceford ...
Investopedia

Zero-One Integer Programming: Understanding and Practical Examples

Adam Hayes, Ph.D., CFA, is a financial writer with 15+ years Wall Street experience as a derivatives trader. Besides his extensive derivative trading expertise, Adam is an expert in economics and ...
Investopedia

Sampling Distribution: Definition, How It's Used, and Example

Investopedia contributors come from a range of backgrounds, and over 25 years there have been thousands of expert writers and editors who have contributed. Thomas J. Brock is a CFA and CPA with more ...
insider.si.edu

Sĕjarah Mĕlayu : or, Malay annals / an annotated translation by C.C. Brown, with a new introduction by R. Roolvink

"First published in 1953 as volume 25, parts 2 and 3 of the Journal of the Malayan Branch of the Royal Asiatic Society." siris_sil_229196 ...
dbta

Getting the “Business” into Business-Oriented Data Modeling – Practical Techniques & Examples by Alec Sharp

Getting the “Business” into Business-Oriented Data Modeling – Practical Techniques & Examples by Alec Sharp This white paper by industry expert Alec Sharp illustrates these points and provides ...