Warning: file_put_contents(cache/omni_16d1dffddb10ab5e35ca46a9450a1cfe.json): Failed to open stream: Permission denied in /home/moozonian/public_html/classes/BooksResultsProvider.php on line 304
Principles of Programming Languages
...
View Book →
Data Parallel C++
Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL...
View Book →
Intertwingled
The Work and Influence of Ted Nelson...
View Book →
Introduction to Data Science
Data Analysis and Prediction Algorithms with R...
View Book →
Teaching Tolerance in a Globalized World
...
View Book →
A Process Algebra for Wireless Mesh Networks
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Dis...
View Book →
NASA Technical Reports Server (NTRS) 20120008710: Electric Field and Plasma Density Observations of
The Vector Electric Field Investigation (VEFI) on the C/NOFS equatorial satellite provides a unique data set which includes detailed measurements of irregularities associated with the equatorial ionos...
View Book →
Clinical Text Mining
Secondary Use of Electronic Patient Records...
View Book →
Problem Solving with Algorithms and Data Structures
...
View Book →
Discrete Gaussian Sampling Reduces to CVP and SVP
The discrete Gaussian $D_{L- t, s}$ is the distribution that assigns to each vector $x$ in a shifted lattice $L - t$ probability proportional to $e^{-\pi \|x\|^2/s^2}$. It has long been an important t...
View Book →
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant...
View Book →
Variant Construction from Theoretical Foundation to Applications
...
View Book →
NASA Technical Reports Server (NTRS) 19910004636: Evaluation of expressions involving higher order d
The local geometric properties of a nonlinear control system defined by vector fields E(sub 1),..., E(sub M) are determined by the algebraic properties of the iterated Lie brackets of the E(sub j)'s. ...
View Book →
Programming Persistent Memory
A Comprehensive Guide for Developers...
View Book →
Foundations of Machine Learning
...
View Book →
DTIC AD0839278: FLEXIBLE EXIT CONE NOZZLE DEVELOPMENT PROGRAM. VOLUME II. COLD FLOW TESTS DATA (PLOT
Available on Internet Archive....
View Book →
Introduction to Python for Computational Science and Engineering
A beginner's guide...
View Book →
Pro TBB
C++ Parallel Programming with Threading Building Blocks...
View Book →
A Timed Process Algebra for Wireless Networks
This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures...
View Book →
Heavy Quarkonia in the Instantaneous Bethe-Salpeter Model
The heavy quarkonia (Charmonium \(c\bar{c}\) and Bottomonium \(b\bar{b}\)) are investigated in the framework of the instantaneous BS-equation (Salpeter equation). We parametrize confinement alternativ...
View Book →
Linked Democracy
Foundations, Tools, and Applications...
View Book →
Algorithmic Graph Theory and Sage
...
View Book →
Critical Data Literacy
Strategies to Effectively Interpret and Evaluate Data Visualizations...
View Book →
Analysis for Computer Scientists
Foundations, Methods, and Algorithms...
View Book →
DTIC ADA032374: Experimental Studies of Thunderstorm Electrification.
Airborne electric field sensing and computing systems have been developed and flown on C-130, F-100F, RF4C, and U-2 aircraft for studies of shower, cloud, and thunderstorm charge centers. Examples are...
View Book →
Advances in parallel and vector processing for structural mechanics
First published in 1994...
View Book →
Graph Databases
New Opportunities for Connected Data...
View Book →
How to Think Like a Computer Scientist
Learning with Python...
View Book →
Spatial Thinking in Planning Practice
An Introduction to GIS...
View Book →
Foundations of Software Science and Computation Structures
22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...
View Book →
NASA Technical Reports Server (NTRS) 19890017138: A database/knowledge structure for a robotics visi
Desirable properties of robotics vision database systems are given, and structures which possess properties appropriate for some aspects of such database systems are examined. Included in the structur...
View Book →
Signal Computing
Digital Signals in the Software Domain...
View Book →
Smooth CoffeeScript
Effective CoffeeScript and the Beauty of Functional Programming...
View Book →
Probabilistic Modelling of Morphologically Rich Languages
This thesis investigates how the sub-structure of words can be accounted for in probabilistic models of language. Such models play an important role in natural language processing tasks such as transl...
View Book →
NASA Technical Reports Server (NTRS) 20230000642: Structural Dynamics Observations in Space Launch S
The Space Launch System (SLS) Core Stage (CS) Thrust Vector Control (TVC) system is comprised of eight mechanical feedback Shuttle heritage Type III TVC actuators and four RS-25 engines, each attached...
View Book →
Intelligent Human Computer Interaction
9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings...
View Book →
Representation Learning for Natural Language Processing
...
View Book →
Efficient Learning Machines
Theories, Concepts, and Applications for Engineers and System Designers...
View Book →
NASA Technical Reports Server (NTRS) 20110024114: Quantum Search in Hilbert Space
A proposed quantum-computing algorithm would perform a search for an item of information in a database stored in a Hilbert-space memory structure. The algorithm is intended to make it possible to sear...
View Book →
Libelf by Example
A tutorial introduction to the ELF(3) & GELF(3) APIs...
View Book →
Think Raku (Think Perl 6)
How to Think Like a Computer Scientist...
View Book →
Protein-specific prediction of mRNA binding using RNA sequences, binding motifs and predicted second
This article is from BMC Bioinformatics , volume 15 . Abstract Background: RNA-binding proteins interact with specific RNA molecules to regulate important cellular processes. It is therefore necessary...
View Book →
Is Parallel Programming Hard, And, If So, What Can You Do About It?
...
View Book →
Software for Exascale Computing - SPPEXA 2016-2019
...
View Book →
Bayesian Methods in the Search for MH370
...
View Book →
Statistics with Julia
Fundamentals for Data Science, Machine Learning and Artificial Intelligence...
View Book →
Parallelizing Word2Vec in Shared and Distributed Memory
Word2Vec is a widely used algorithm for extracting low-dimensional vector representations of words. It generated considerable excitement in the machine learning and natural language processing (NLP) c...
View Book →
NASA Technical Reports Server (NTRS) 19920013147: The design and implementation of a parallel unstru
This paper is concerned with the implementation of a three-dimensional unstructured grid Euler-solver on massively parallel distributed-memory computer architectures. The goal is to minimize solution ...
View Book →
Understanding Machine Learning
From Theory to Algorithms...
View Book →
Vector data structure conversion at the EROS Data Center
First published in 1986...
View Book →
Java, Java, Java
Object-Oriented Problem Solving...
View Book →
Ionospheric Multi-Spacecraft Analysis Tools
Approaches for Deriving Ionospheric Parameters...
View Book →
SMOQ: a tool for predicting the absolute residue-specific quality of a single protein model with sup
This article is from BMC Bioinformatics , volume 15 . Abstract Background: It is important to predict the quality of a protein structural model before its native structure is known. The method that ca...
View Book →Recent advances in electronic structure theory and their influence on the accuracy of ab initio pote
First published in 1989...
View Book →
Think OCaml
How to Think Like a (Functional) Programmer...
View Book →
Learning to Classify Text Using Support Vector Machines
First published in 2002...
View Book →
The complexity of computation in bit streams
We revisit the complexity of online computation in the cell probe model. We consider a class of problems where we are first given a fixed pattern or vector $F$ of $n$ symbols and then one symbol arriv...
View Book →
Data Structures and Algorithms
Annotated Reference with Examples...
View Book →
Think Data Structures
Algorithms and Information Retrieval in Java...
View Book →
A Serial Multilevel Hypergraph Partitioning Algorithm
The graph partitioning problem has many applications in scientific computing such as computer aided design, data mining, image compression and other applications with sparse-matrix vector multiplicati...
View Book →
Real-time Linked Dataspaces
Enabling Data Ecosystems for Intelligent Systems...
View Book →
Annotated Algorithms in Python
With applications in Physics, Biology, and Finance...
View Book →
Graph Databases For Beginners
The #1 Platform for Connected Data...
View Book →
Managing Cloud Native Data on Kubernetes
Architecting Cloud Native Data Services Using Open Source Technology...
View Book →
Projection-Based Clustering through Self-Organization and Swarm Intelligence
Combining Cluster Analysis with the Visualization of High-Dimensional Data...
View Book →
New Unconditional Hardness Results for Dynamic and Online Problems
There has been a resurgence of interest in lower bounds whose truth rests on the conjectured hardness of well known computational problems. These conditional lower bounds have become important and pop...
View Book →
Optimizing software in C++
An optimization guide for Windows, Linux and Mac platforms...
View Book →
NASA Technical Reports Server (NTRS) 19900015720: Incorporation of a progressive failure analysis me
Analysis of the postbuckling behavior of composite shell structures pose many difficult and challenging problems in the field of structural mechanics. Current analysis methods perform well for most ca...
View Book →
Digital Video Concepts, Methods, and Metrics
Quality, Compression, Performance, and Power Trade-off Analysis...
View Book →
Language Technologies for the Challenges of the Digital Age
27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings...
View Book →
Intel Xeon Phi Coprocessor Architecture and Tools
The Guide for Application Developers...
View Book →
Solving PDEs in Python
The FEniCS Tutorial I...
View Book →