Warning: file_put_contents(cache/omni_cce4ea138b7df1dedd2f08c7795c54ad.json): Failed to open stream: Permission denied in /home/moozonian/public_html/classes/BooksResultsProvider.php on line 304
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant...
View Book →
Compositionality and Concepts in Linguistics and Psychology
...
View Book →
A Complete Guide to Maggot Therapy
Clinical Practice, Therapeutic Principles, Production, Distribution, and Ethics...
View Book →
Optimization of Training and Feedback Overhead for Beamforming over Block Fading Channels
We examine the capacity of beamforming over a single-user, multi-antenna link taking into account the overhead due to channel estimation and limited feedback of channel state information. Multi-input ...
View Book →
Dictionary Learning and Tensor Decomposition via the Sum-of-Squares Method
We give a new approach to the dictionary learning (also known as "sparse coding") problem of recovering an unknown $n\times m$ matrix $A$ (for $m \geq n$) from examples of the form \[ y = Ax + e, \] w...
View Book →
DTIC ADA130519: Pathogenesis of Dengue Vaccine Viruses in Mosquitoes.
The dengue-2 vaccine virus (S-1) and its parent virus (PR-159) were compared for their ability to infect orally, to replicate in, and subsequently to be transmitted by Aedes aegypti mosquitoes. The va...
View Book →
Properties of a multivariate goodness-of-fit test
Title from cover...
View Book →
A fast numerical method for max-convolution and the application to efficient max-product inference i
Observations depending on sums of random variables are common throughout many fields; however, no efficient solution is currently known for performing max-product inference on these sums of general di...
View Book →
Web application security is a stack : how to CYA (Cover Your Apps) completely
1 online resource (71 pages) :...
View Book →
Solving PDEs in Python
The FEniCS Tutorial I...
View Book →
Log-concavity of the genus polynomials of Ringel ladders
A Ringel ladder can be formed by a self-bar-amalgamation operation on a symmetric ladder, that is, by joining the root vertices on its end-rungs. The present authors have previously derived criteria u...
View Book →
Science as Social Existence
Heidegger and the Sociology of Scientific Knowledge...
View Book →
Mathematical Logic and Its Applications 2020
...
View Book →
Linear Dynamical Systems over Finite Rings
The problem of linking the structure of a finite linear dynamical system with its dynamics is well understood when the phase space is a vector space over a finite field. The cycle structure of such a ...
View Book →
Sensitivity Analysis: Matrix Methods in Demography and Ecology
...
View Book →
Representation Learning for Natural Language Processing
...
View Book →
Supercomputers and parallel computation : based on the proceedings of a workshop on progress in the
x, 258 p. : 24 cm...
View Book →
Vector spaces of finite dimension
viii, 200 p. 19 cm...
View Book →
Foundations of Machine Learning
...
View Book →
Universal moduli spaces of vector bundles and the log-minimal model program on the moduli of curves
Recent work on the log minimal model program for the moduli space of curves, as well as past results of Caporaso, Pandharipande, and Simpson motivate an investigation of compactifications of the unive...
View Book →
Introduction to Logic Circuits & Logic Design with Verilog
...
View Book →
TensorFlow Roadmap
Mastering the TensorFlow by knowing where to start...
View Book →
Rhetorical Code Studies
Discovering Arguments in and around Code...
View Book →
Compositional Morphology for Word Representations and Language Modelling
This paper presents a scalable method for integrating compositional morphological representations into a vector-based probabilistic language model. Our approach is evaluated in the context of log-bili...
View Book →
DTIC ADA058242: Gas Exchange under Environmental Stress.
The purpose of this project was threefold: (1) to assemble available information concerning the effects of various environmental factors such as altitude, acceleration, and breathing gas composition o...
View Book →
Building a Virtualized Network Solution
Microsoft System Center...
View Book →
Sharpened Error Bounds for Random Sampling Based $\ell_2$ Regression
Given a data matrix $X \in R^{n\times d}$ and a response vector $y \in R^{n}$, suppose $n>d$, it costs $O(n d^2)$ time and $O(n d)$ space to solve the least squares regression (LSR) problem. When $n$ ...
View Book →
Complexity of LP in Terms of the Face Lattice
Let $X$ be a finite set in $Z^d$. We consider the problem of optimizing linear function $f(x) = c^T x$ on $X$, where $c\in Z^d$ is an input vector. We call it a problem $X$. A problem $X$ is related w...
View Book →
Industry 4.0 for SMEs
Challenges, Opportunities and Requirements...
View Book →
Next Generation Supply Chains
A Roadmap for Research and Innovation...
View Book →
Understanding Values Work
Institutional Perspectives in Organizations and Leadership...
View Book →
50 Ways to Avoid Find and Fix ASP.NET Performance Issues
...
View Book →
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I...
View Book →
Physical (A)Causality
Determinism, Randomness and Uncaused Events...
View Book →
Analysis for Computer Scientists
Foundations, Methods, and Algorithms...
View Book →
Annotated Algorithms in Python
With applications in Physics, Biology, and Finance...
View Book →
Optimizing software in C++
An optimization guide for Windows, Linux and Mac platforms...
View Book →
DTIC ADP014207: Neural Network Approaches to the Processing of Experimental Electro-Myographic Data
Learning theories and algorithms for both supervised and unsupervised Neural Networks (NNs) have already been accepted as relevant tools to cope with difficult problems based on the processing of expe...
View Book →
Efficient Learning Machines
Theories, Concepts, and Applications for Engineers and System Designers...
View Book →
Introduction to Digital Systems Design
...
View Book →
Cultural Crowdfunding
Platform Capitalism, Labour and Globalization...
View Book →
Troubleshooting Configuration Manager
Microsoft System Center...
View Book →
Intel Xeon Phi Coprocessor Architecture and Tools
The Guide for Application Developers...
View Book →
On multiplier processes under weak moment assumptions
We show that if $V \subset \R^n$ satisfies a certain symmetry condition (closely related to unconditionaity) and if $X$ is an isotropic random vector for which $\|\inr{X,t}\|_{L_p} \leq L \sqrt{p}$ fo...
View Book →
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III...
View Book →
DTIC ADA041444: The Photon Scattering Matrix Element for Transverse Electric Outgoing Photons. Suppl
The matrix element for photons scattering from bound K-shell electrons is presented. It is assumed that only magnetic multipoles are important and, hence, only transverse electric mode vector harmonic...
View Book →
Foundations of Software Science and Computation Structures
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings...
View Book →
Cabin Guest Book : Cute Vector Owl Cover Guest Book for Vacation Home, Cabin Edition
First published in 2021...
View Book →
SQL Server Internals: In-Memory OLTP
Inside the SQL Server 2016 Hekaton Engine...
View Book →
Linux Appliance Design
A Hands-on Guide to Building Linux Appliances...
View Book →
Introduction to Logic Circuits & Logic Design with VHDL
...
View Book →
Programming Languages and Systems
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings...
View Book →
Fading Foundations
Probability and the Regress Problem...
View Book →
Computational Cognitive Modeling and Linguistic Theory
...
View Book →
Advances in Proof-Theoretic Semantics
...
View Book →
Reversible Computation: Extending Horizons of Computing
Selected Results of the COST Action IC1405...
View Book →
Variant Construction from Theoretical Foundation to Applications
...
View Book →
Kubernetes for Full-Stack Developers
...
View Book →
Data Parallel C++
Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL...
View Book →
On Fast Decoding of High Dimensional Signals from One-Bit Measurements
In the problem of one-bit compressed sensing, the goal is to find a $\delta$-close estimation of a $k$-sparse vector $x \in \mathbb{R}^n$ given the signs of the entries of $y = \Phi x$, where $\Phi$ i...
View Book →
Lightweight Systems for Realtime Monitoring
Tools to unlock and understand your business data...
View Book →
DTIC ADA049530: On Feedback Stabilization of Time Varying Discrete Linear Systems.
Results are given for stabilizing time varying discrete linear systems by means of a feedback control stemming from a receding horizon concept and a minimum quadratic cost with a fixed terminal constr...
View Book →
Foundations of Quantum Theory
From Classical Concepts to Operator Algebras...
View Book →
Understanding Machine Learning
From Theory to Algorithms...
View Book →