Introduction to Graph Databases |
2014/06/21 - 5:13pm |
Video |
Graph Databases |
Toward Human-Multiagent Teams |
2014/06/14 - 5:26pm |
Academic Paper |
Human-Multiagent Teams, Multi-Agent System, Agents |
Forecasting - Using Neural Nets for Forecasting |
2014/06/14 - 5:21pm |
Academic Paper |
Forecasting, Neural Nets, Externally Recurrent Networks, Direct Prediction, Recurrent Prediction, Learning Algorithms, Kalman Filtering, Wiener Voltera Series. |
Reverse-Mode AD in a Functional Framework - Lambda |
2014/06/14 - 5:15pm |
Academic Paper |
Reverse-Mode AD, Lambda, Backpropagator, Automatic Differentiation, Experimentation, Languages, Performance |
An Artificial Stock Market |
2014/06/14 - 5:12pm |
Academic Paper |
Artificial Stock Market, Finance, Intelligent Agents, Artificial Market |
Nonlinear Support Vector Machines Can Systematically Identify Stocks with High and Low Future Returns |
2014/06/14 - 5:09pm |
Academic Paper |
Nonlinear Support Vector Machines, Support Vector Machines, Sector Neutral Portfolios, Long-short Portfolios, Technical Analysis, Fundamental Analysis. |
Deploying a Lambda Architecture - Part 3 |
2014/06/14 - 5:01pm |
Video |
Lambda Architecture, Big Data Infrastructure |
Deploying a Lambda Architecture - Part 2 |
2014/06/14 - 5:00pm |
Video |
Lambda Architecture, Big Data Infrastructure |
Deploying a Lambda Architecture - Part 1 |
2014/06/14 - 4:59pm |
Video |
Lambda Architecture, Big Data Infrastructure |
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware |
2014/06/07 - 4:19pm |
Academic Paper |
Approximate Computing, Languages, Reliability, Verification |
Normative Uncertainty |
2014/06/07 - 4:18pm |
Academic Paper |
Normative Uncertainty, Agent-based Model, Agents, Adaptive Agents |
Global Principles for Governments Collecting Private Sector Data from Commercial Entities |
2014/06/07 - 4:08pm |
White Paper |
Information Privacy Law, Law, Regulation |
Intriguing Properties of Neural Networks |
2014/06/04 - 10:53am |
Academic Paper |
Neural Networks, Deep Neural Networks, Speech Recognition, Visual Recognition, Input-output Mappings |
Deep Belief Nets- Tutorial by Geoffrey Hinton |
2014/05/31 - 7:52pm |
Slides |
Deep Belief Nets, Geoffrey Hinton |
Improving Neural Networks by Preventing Co-adaptation of Feature Detectors |
2014/05/31 - 7:48pm |
Academic Paper |
Neural Networks, Overfitting, Co-adaptation, Feature Detectors |
Dynamic Term-Modal Logic |
2014/05/31 - 7:32pm |
Academic Paper |
Dynamic Term-Modal Logic, Common Knowledge, Dynamic Logic, Epistemic Logic, First-order Modal Logic |
Deep Lambertian Networks |
2014/05/31 - 5:20pm |
Academic Paper |
Lambertian Networks, Deep Belief Nets, Multilayer Generative Models, Lambertian Reluctance Model |
Bayesian Generalized Kernel Mixed Models |
2014/05/23 - 9:00pm |
Academic Paper |
Bayesian Analysis, Bayesian Generalized Kernel Mixed Model, Generalized Kernel Mixed Model, Generalized Kernel Model |
Assuring the Behavior of Adaptive Agents |
2014/05/23 - 8:56pm |
Academic Paper |
Behavior, Adaptive Agents, Agents, Asimov's First Law |
Quantifying Information Flow with Beliefs |
2014/05/23 - 8:54pm |
Academic Paper |
Information Flow, Beliefs, Probabilistic Logic, Information Flow Metrics |
Theorem Proving in Large Formal Mathematics as an Emerging AI Field |
2014/05/23 - 8:51pm |
Academic Paper |
Theorem Proving, Math, Artificial Intelligence |
Internet of Things Will Thrive by 2025 - Report May 2014 |
2014/05/23 - 8:48pm |
White Paper |
Internet of Things |
Digital Life in 2015 - March 2014 Report Future of the Internet Predictions |
2014/05/23 - 8:47pm |
White Paper |
Digital Life, Internet, Predictions |
Empirical Comparison of Graph Databases |
2014/05/23 - 8:44pm |
Academic Paper |
Databases, Graph Databases |
Internet of Cars, Wearables, and More |
2014/05/23 - 8:33pm |
Video |
Internet of Things |
Improving Deep Neural Networks for LVCSR Using Rectified Linear Units and Dropout |
2014/05/19 - 4:04pm |
Academic Paper |
Deep Learning, Neural Networks, Deep Neural Networks, LVCSR, Rectified Linear Units, Dropout, Acoustic Modeling, Broadcast News, Bayesian Optimization |
A Better Way to Pretrain Deep Boltzmann Machines |
2014/05/19 - 3:59pm |
Academic Paper |
Markov Random Field, Boltzmann Machines, Pretraining Algorithms, Deep Boltzmann Machines |
Relativized Separation of Reversible and Irreverible Space-time Complexity Classes |
2014/05/17 - 4:15pm |
Academic Paper |
Reversible Computing, Space-time Complexity, Complexity Theory |
Large-Scale Automatic Labeling of Video Events with Verbs Based on Event-Participant Interaction |
2014/05/17 - 4:11pm |
Academic Paper |
Labeling, Video Events, Event-Participant Interaction |
Modular Verification of Dynamically Adaptive Systems |
2014/05/17 - 4:08pm |
Academic Paper |
Modular Verification, Dynamically Adaptive Systems, Linear Temporal Logic, Dynamic Adaptation, Reliability, Autonomic Computing, Global Invariants, Formal Specification, Verification, Modular Model Checking |
Deep Mixtures of Factor Analysers |
2014/05/17 - 4:06pm |
Academic Paper |
Factor Analysers, Unsupervised Learning, Deep density Models |
REST-Ful API Design |
2014/05/17 - 3:48pm |
Video |
REST-Ful, API |
Scaling Fluctuation Analysis and Statistical Hypothesis Testing of Anthropogenic Warming |
2014/05/10 - 11:48am |
Academic Paper |
Climate, Global Warming, Anthropogenic Warming, Scaling Fluctuation Analysis, General Circulation Models |
9 Databases in 45 Minutes |
2014/05/10 - 9:30am |
Video |
Database, Datastore |
Better, Faster, Cheaper Infrastructure with Apache CloudStack and Riak |
2014/05/10 - 9:29am |
Video |
Apache CloudStack, Riak, NoSQL, Databases |
Introduction to Riak and how is used by the Fortune 500 |
2014/05/10 - 9:18am |
Video |
Riak, NoSQL, Key/value, Database, Datastore |
Implementation of Precision Medicine - From Deep Sequencing and Unbiased Screening to Precise Therapeutic Targeting |
2014/05/05 - 10:26am |
Slides |
Healthcare, Personalized Medicine, Precision Medicine, Deep Sequencing, Unbiased Screening, Precise Therapeutic Targeting, Genome, Sequencing Human Genome |
New Types of Deep Neural Network Learning for Speech Recognition and Related Applications |
2014/05/04 - 12:35pm |
Academic Paper |
Neural Networks, Deep Learning, Deep Neural Network Learning, Speech Recognition, Convolutional Neural Network, Recurrent Neural Network, Optimization, Spectrogram Features, Music Processing |
Paradoxes of Rational Agency and Formal Systems that Verify Their Own Soundness |
2014/05/04 - 12:31pm |
Academic Paper |
Agents, Rational Agency, Adaptive Agents, Peano Arithmetic |
Botworld 1.0 |
2014/05/04 - 10:40am |
Academic Paper |
Botworld, Cellular Automaton, Markov Decision Processes, Decisive Markov Chains, Hidden Markov Models, Self-modifying Agents |
Robust Boltzmann Machines for Recognition and Denoising |
2014/05/04 - 10:37am |
Academic Paper |
Boltzmann Machines, Recognition, Denoising, Unsupervised Learning |
Provable Predictions - Seeing into the Future? |
2014/05/04 - 10:28am |
Video |
Predictive Analytics, Forecasting |
The Naked Future -- A World That Anticipates Your Every Move |
2014/05/04 - 10:25am |
Video |
Privacy, Information Privacy Law, Law, Regulation |
Carry on Winning - Gamblers’ Fallacy Creates Hot Hand Effects |
2014/04/30 - 9:05pm |
Academic Paper |
Gamblers’ Fallacy, Gambling, Betting Strategies, Risk, Odds |
Nanotools for Neuroscience and Brain Activity Mapping |
2014/04/30 - 9:00pm |
Academic Paper |
Nanotools, Neuroscience, Brain Activity Mapping, Brain Imaging, Brain Imaging Data |
Reducing the Dimensionality of Data with Neural Networks |
2014/04/26 - 11:10am |
External Course |
Data Dimensionality, Neural Networks |
Logical Theories for Agent Introspection |
2014/04/26 - 11:08am |
Academic Paper |
Agents, Artificial Intelligence, Agent Introspection, Modal Logic, First-order Predicate Logic, Logic Programming |
To Recognize Shapes, First Learn to Generate Images |
2014/04/26 - 11:04am |
Academic Paper |
Shapes, Images, Cortical Architecture, Pattern Formation, High- dimensional Sensory Data |
Advantages of Artificial Intelligences, Uploads, and Digital Minds |
2014/04/26 - 10:35am |
Academic Paper |
Artificial Intelligence, Digital Minds, Artificial General Intelligence |
Learning Multiple Layers of Representation |
2014/04/26 - 10:32am |
Academic Paper |
Deep Networks, Backpropagation, Speech Perception, Object Recognition |