Latest YouTube Video
Saturday, October 31, 2015
Olympiakos beats Veria 2-0, keeps perfect record
from FOX Sports Digital http://ift.tt/1iuGo3W
via IFTTT
Real Madrid encaja sin Navas, pero gana 3-1 a Las Palmas
from FOX Sports Digital http://ift.tt/1Wq5zCi
via IFTTT
Sydney FC tops A-League as Newcastle, Brisbane win again
from FOX Sports Digital http://ift.tt/1MoU4p5
via IFTTT
Saint-Etienne beats Reims 3-0 to move up to 3rd place
from FOX Sports Digital http://ift.tt/1M34OtY
via IFTTT
Arsenal beats Swansea 3-0 in Premier League
from FOX Sports Digital http://ift.tt/1GS5F3J
via IFTTT
Vardy scores in 8th straight Premier League game
from FOX Sports Digital http://ift.tt/1LIRI7f
via IFTTT
Stoke holds Newcastle to 0-0 draw in Premier League
from FOX Sports Digital http://ift.tt/1N28coX
via IFTTT
Chelsea loses again, City and Arsenal top the Premier League
from FOX Sports Digital http://ift.tt/1N27ec7
via IFTTT
Ighalo scores twice as Watford beats West Ham 2-0
from FOX Sports Digital http://ift.tt/1N257oS
via IFTTT
Real Madrid beats Las Palmas 3-1, stays atop Spanish league
from FOX Sports Digital http://ift.tt/1MoGSjS
via IFTTT
Dortmund wins 3-1 in Bremen, cuts Bayern's Bundesliga lead
from FOX Sports Digital http://ift.tt/1MoGRfL
via IFTTT
CSKA extends lead in Russia as Zenit fails to win
from FOX Sports Digital http://ift.tt/1M7KATe
via IFTTT
Hacking Team Offering Encryption Cracking Tools to Law Enforcement Agencies
from The Hacker News http://ift.tt/1HishoT
via IFTTT
Free Ransomware Decryption Tool — CoinVault and Bitcryptor
from The Hacker News http://ift.tt/1MyKAOf
via IFTTT
The Witch Head Nebula
The anonymous Doge
from Google Alert - anonymous http://ift.tt/1NHi0at
via IFTTT
Antarctic Mass Change from GRACE derived Gravity Observations: Jan 2004 - Jun 2014
from NASA's Scientific Visualization Studio: Most Recent Items http://ift.tt/1M20sDi
via IFTTT
Friday, October 30, 2015
Marketing firm implicated in FIFA scandal sells soccer team
from FOX Sports Digital http://ift.tt/1REerTe
via IFTTT
Bayern's 10-game winning start to Bundesliga comes to an end
from FOX Sports Digital http://ift.tt/1NGB20I
via IFTTT
Deportivo draws with Atletico Madrid in Spain
from FOX Sports Digital http://ift.tt/1GPXEw9
via IFTTT
Di Maria scores as French leader PSG wins 1-0 at Rennes
from FOX Sports Digital http://ift.tt/1GPXCEy
via IFTTT
Bayern's 10-game winning start to Bundesliga ends
from FOX Sports Digital http://ift.tt/1GPVAEy
via IFTTT
Ravens: S Matt Elam, a 2013 1st-round pick, has been suspended 1 game for violating NFL's substance abuse policy (ESPN)
via IFTTT
Chelsea lawyers will defend Brazil's Piazon
from FOX Sports Digital http://ift.tt/1Oe5d2n
via IFTTT
Ravens: WR Steve Smith (knee) officially listed as probable for Sunday's game vs. Chargers (ESPN)
via IFTTT
sindresorhus/ava
from Google Alert - anonymous http://ift.tt/1Q03b5g
via IFTTT
CryptoWall Ransomware raised $325 Million in Revenue for Its Developer
from The Hacker News http://ift.tt/1NFTM0p
via IFTTT
TalkTalk Hack: Police Arrest Second Teenager in London
from The Hacker News http://ift.tt/1MmIUkH
via IFTTT
Feature-Based Diversity Optimization for Problem Instance Classification. (arXiv:1510.08568v1 [cs.NE])
Understanding the behaviour of heuristic search methods is a challenge. This even holds for simple local search methods such as 2-OPT for the Traveling Salesperson problem. In this paper, we present a general framework that is able to construct a diverse set of instances that are hard or easy for a given search heuristic. Such a diverse set is obtained by using an evolutionary algorithm for constructing hard or easy instances that are diverse with respect to different features of the underlying problem. Examining the constructed instance sets, we show that many combinations of two or three features give a good classification of the TSP instances in terms of whether they are hard to be solved by 2-OPT.
from cs.AI updates on arXiv.org http://ift.tt/20exidO
via IFTTT
Swiss bank cooperating with US, Swiss probes of FIFA
from FOX Sports Digital http://ift.tt/1ipHfCZ
via IFTTT
Blatter casts further doubt on integrity of World Cup votes
from FOX Sports Digital http://ift.tt/1NENVIS
via IFTTT
Mission '1 Billion' — Microsoft will Automatically Offer Windows 10 Upgrade
from The Hacker News http://ift.tt/1kXYhtK
via IFTTT
Tor Releases Anonymous Instant Messenger. Here's How to Use It
from The Hacker News http://ift.tt/20feifl
via IFTTT
Ocean City, MD's surf is Good
Ocean City, MD Summary
Surf: shoulder high to 1 ft overhead
Maximum: 1.836m (6.02ft)
Minimum: 1.224m (4.02ft)
Maryland-Delaware Summary
from Surfline http://ift.tt/1kVmigH
via IFTTT
[FD] Xen VM Escape
Source: Gmail -> IFTTT-> Blogger
[FD] [ERPSCAN-15-030] Oracle E-Business Suite - XXE injection Vulnerability
Source: Gmail -> IFTTT-> Blogger
[FD] [ERPSCAN-15-029] Oracle E-Business Suite - XXE injection Vulnerability
Source: Gmail -> IFTTT-> Blogger
[FD] [ERPSCAN-15-028] Oracle E-Business Suite - XXE injection Vulnerability
Source: Gmail -> IFTTT-> Blogger
Google is Merging its Chrome OS with Android
from The Hacker News http://ift.tt/1MYG0TU
via IFTTT
[FD] Pligg CMS 2.0.2: Multiple SQL Injections
Source: Gmail -> IFTTT-> Blogger
[FD] Pligg CMS 2.0.2: Directory Traversal
Source: Gmail -> IFTTT-> Blogger
[FD] Pligg CMS 2.0.2: Code Execution & CSRF
Source: Gmail -> IFTTT-> Blogger
[FD] KeeFarce - A KeePass 2.x database extraction tool
Source: Gmail -> IFTTT-> Blogger
[FD] eBay Magento <= 1.9.2.1 XML eXternal Entity Injection (XXE) on PHP FPM
Source: Gmail -> IFTTT-> Blogger
IC 1871: Inside the Soul Nebula
Thursday, October 29, 2015
Anonymous plans to reveal names of KKK members
from Google Alert - anonymous http://ift.tt/1Nc9mm6
via IFTTT
Anonymous Plans to Indentify 1000 KKK Members
from Google Alert - anonymous http://ift.tt/1GzUWeg
via IFTTT
ISS Daily Summary Report – 10/29/15
from ISS On-Orbit Status Report http://ift.tt/1HfjsMB
via IFTTT
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. (arXiv:1510.08525v1 [cs.AI])
This paper presents an intelligent tutoring system, GeoTutor, for Euclidean Geometry that is automatically able to synthesize proof problems and their respective solutions given a geometric figure together with a set of properties true of it. GeoTutor can provide personalized practice problems that address student deficiencies in the subject matter.
from cs.AI updates on arXiv.org http://ift.tt/1Rhd9xz
via IFTTT
Attention with Intention for a Neural Network Conversation Model. (arXiv:1510.08565v1 [cs.NE])
In a conversation or a dialogue process, attention and intention play intrinsic roles. This paper proposes a neural network based approach that models the attention and intention processes. It essentially consists of three recurrent networks. The encoder network is a word-level model representing source side sentences. The intention network is a recurrent network that models the dynamics of the intention process. The decoder network is a recurrent network produces responses to the input from the source side. It is a language model that is dependent on the intention and has an attention mechanism to attend to particular source side words, when predicting a symbol in the response. The model is trained end-to-end without labeling data. Experiments show that this model generates natural responses to user inputs.
from cs.AI updates on arXiv.org http://ift.tt/1P8OEDE
via IFTTT
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT. (arXiv:1405.1544v2 [cs.AI] UPDATED)
In this paper we present the Transalg system, designed to produce SAT encodings for discrete functions, written as programs in a specific language. Translation of such programs to SAT is based on propositional encoding methods for formal computing models and on the concept of symbolic execution. We used the Transalg system to make SAT encodings for a number of cryptographic functions.
from cs.AI updates on arXiv.org http://ift.tt/1kOzcdi
via IFTTT
Towards a General Framework for Actual Causation Using CP-logic. (arXiv:1410.7063v3 [cs.AI] UPDATED)
Since Pearl's seminal work on providing a formal language for causality, the subject has garnered a lot of interest among philosophers and researchers in artificial intelligence alike. One of the most debated topics in this context regards the notion of actual causation, which concerns itself with specific - as opposed to general - causal claims. The search for a proper formal definition of actual causation has evolved into a controversial debate, that is pervaded with ambiguities and confusion. The goal of our research is twofold. First, we wish to provide a clear way to compare competing definitions. Second, we also want to improve upon these definitions so they can be applied to a more diverse range of instances, including non-deterministic ones. To achieve these goals we will provide a general, abstract definition of actual causation, formulated in the context of the expressive language of CP-logic (Causal Probabilistic logic). We will then show that three recent definitions by Ned Hall (originally formulated for structural models) and a definition of our own (formulated for CP-logic directly) can be viewed and directly compared as instantiations of this abstract definition, which allows them to deal with a broader range of examples.
from cs.AI updates on arXiv.org http://ift.tt/1wwAIcw
via IFTTT
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. (arXiv:1411.0659v2 [cs.LO] UPDATED)
#SMT, or model counting for logical theories, is a well-known hard problem that generalizes such tasks as counting the number of satisfying assignments to a Boolean formula and computing the volume of a polytope. In the realm of satisfiability modulo theories (SMT) there is a growing need for model counting solvers, coming from several application domains (quantitative information flow, static analysis of probabilistic programs). In this paper, we show a reduction from an approximate version of #SMT to SMT.
We focus on the theories of integer arithmetic and linear real arithmetic. We propose model counting algorithms that provide approximate solutions with formal bounds on the approximation error. They run in polynomial time and make a polynomial number of queries to the SMT solver for the underlying theory, exploiting "for free" the sophisticated heuristics implemented within modern SMT solvers. We have implemented the algorithms and used them to solve the value problem for a model of loop-free probabilistic programs with nondeterminism.
from cs.AI updates on arXiv.org http://ift.tt/1uoiZGy
via IFTTT
FIFA candidate Sheikh Salman denies role in rights abuses
from FOX Sports Digital http://ift.tt/1GNGvDb
via IFTTT
FIFA candidate Sheikh Salman denies role in rights abuse
from FOX Sports Digital http://ift.tt/1P0JpY4
via IFTTT
Sampdoria held to 1-1 draw at home to Empoli in Serie A
from FOX Sports Digital http://ift.tt/1Obaesv
via IFTTT
Ocean City, MD's surf is Good
Ocean City, MD Summary
Surf: shoulder high to 1 ft overhead
Maximum: 1.836m (6.02ft)
Minimum: 1.224m (4.02ft)
Maryland-Delaware Summary
from Surfline http://ift.tt/1kVmigH
via IFTTT
Anonymous threatens to reveal names of 1000 KKK members
from Google Alert - anonymous http://ift.tt/1M0iZ2W
via IFTTT
Anonymous donor, firefighters help save haunted house
from Google Alert - anonymous http://ift.tt/1PTuZct
via IFTTT
Paul Gascoigne fined by court after harassing ex-girlfriend
from FOX Sports Digital http://ift.tt/1WlzUSs
via IFTTT
Liverpool poses next challenge for under-pressure Mourinho
from FOX Sports Digital http://ift.tt/1XC85rr
via IFTTT
Anonymous George, Earl of Wessex
from Google Alert - anonymous http://ift.tt/1jUzjLT
via IFTTT
Ravens Buzz: Starting secondary may be intact this week for first time since Oct. 11; Philip Rivers 329 yds/game vs. BAL (ESPN)
via IFTTT
I have a new follower on Twitter
ApfelSina
ApfelSina und Twitter gehört neben Instagram, Snapchat und Whatsapp nun zu meinen Leidenschaften
Frankfurt am Main, Hessen
Following: 614 - Followers: 32
October 29, 2015 at 12:03PM via Twitter http://twitter.com/ApfelSina18
Friends of Bob Ross! MEGA-MARATHON!
Friends of Bob Ross! MEGA-MARATHON! The popular Twitch-TV will broadcast every episode of The Joy of Painting, in an epic marathon starting today at 2PM PST on http://ift.tt/1WkFaFT. That’s 403 episodes of Bob Ross that will play over the course of 8.5 days. Happy Painting!
from The 'hotspot' for all things Bob Ross. http://ift.tt/1Rga0hF
via IFTTT
Ravens: Steve Smith's competitive arrogance is alive and well, so not everyone believes he's really retiring - Trotter (ESPN)
via IFTTT
Struggling Greece hires Skibbe as national team coach
from FOX Sports Digital http://ift.tt/1GMcsMq
via IFTTT
Rooney laser incident during shootout investigated by FA
from FOX Sports Digital http://ift.tt/1MWcRsk
via IFTTT
Javier Mascherano admits to unpaid taxes in Spain
from FOX Sports Digital http://ift.tt/1WjpR5K
via IFTTT
Bayern to Frankfurt, Dortmund to Bremen in Bundesliga
from FOX Sports Digital http://ift.tt/1KHt6b2
via IFTTT
MIT Scientists: Now You Can See Through Walls with Wi-Fi
from The Hacker News http://ift.tt/1OZYvgJ
via IFTTT
PSG still needs a rival as it bids for 4th straight title
from FOX Sports Digital http://ift.tt/1XB8muX
via IFTTT
Paul Gascoigne pleads guilty to harassing ex-girlfriend
from FOX Sports Digital http://ift.tt/1Gyt6iF
via IFTTT
Wednesday, October 28, 2015
ISS Daily Summary Report – 10/28/15
from ISS On-Orbit Status Report http://ift.tt/1kcpDvC
via IFTTT
I have a new follower on Twitter
DJ KING ASSASSIN
Put Yo Mind To It https://t.co/emEfX8QnhF #2PAC #THUGLIFE #ICET #WYCLEF #KOKANE #EAZYE #LAYLAW #DEEYADA #COLD187 #KRAYZIEBONE #4TAY #SCC #ZAPP #FLTG #COREDJS
Live From Compton, CA
http://t.co/E1UniVHQCu
Following: 2697852 - Followers: 4335174
October 28, 2015 at 09:10PM via Twitter http://twitter.com/DjKingAssassin
Anonymous Threatens to Release Names of KKK Members
from Google Alert - anonymous http://ift.tt/1HcHebY
via IFTTT
Suspended Platini insists he's still the best to lead FIFA
from FOX Sports Digital http://ift.tt/20bifBu
via IFTTT
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking. (arXiv:1510.08266v1 [cs.AI])
The number $R(4,3,3)$ is often presented as the unknown Ramsey number with the best chances of being found "soon". Yet, its precise value has remained unknown for almost 50 years. This paper presents a methodology based on \emph{abstraction} and \emph{symmetry breaking} that applies to solve hard graph edge-coloring problems. The utility of this methodology is demonstrated by using it to compute the value $R(4,3,3)=30$. Along the way it is required to first compute the previously unknown set ${\cal R}(3,3,3;13)$ consisting of 78{,}892 Ramsey colorings.
from cs.AI updates on arXiv.org http://ift.tt/1NBZhNL
via IFTTT
Communication: Words and Conceptual Systems. (arXiv:1507.08073v12 [cs.AI] UPDATED)
Words (phrases or symbols) play a key role in human life. Word (phrase or symbol) representation is the fundamental problem for knowledge representation and understanding. A word (phrase or symbol) usually represents a name of a category. However, it is always a challenge that how to represent a category can make it easily understood. In this paper, a new representation for a category is discussed, which can be considered a generalization of classic set. In order to reduce representation complexity, the economy principle of category representation is proposed. The proposed category representation provides a powerful tool for analyzing conceptual systems, relations between words, communication, knowledge, situations. More specifically, the conceptual system, word relations and communication are mathematically defined and classified such as ideal conceptual system, perfect communication and so on; relation between words and sentences is also studied, which shows that knowledge are words. Furthermore, how conceptual systems and words depend on situations is presented.
from cs.AI updates on arXiv.org http://ift.tt/1KzLNTZ
via IFTTT
Man United stunned in League Cup by 2nd-tier Middlesbrough
from FOX Sports Digital http://ift.tt/1WiqnRn
via IFTTT
Roma beats Udinese 3-1 to return to top of Serie A
from FOX Sports Digital http://ift.tt/1P66nM4
via IFTTT
After 3 draws, Klopp finally wins as Liverpool manager
from FOX Sports Digital http://ift.tt/1PV5pTD
via IFTTT
Dortmund wins 7-1, Moenchengladbach beats Schalke 2-0
from FOX Sports Digital http://ift.tt/1LYOHO7
via IFTTT
Barcelona held to 0-0 draw in Copa del Rey
from FOX Sports Digital http://ift.tt/1HcihNY
via IFTTT
Court moves forward with probe into Neymar's transfer
from FOX Sports Digital http://ift.tt/1XzlGjh
via IFTTT
Biggest Free Hosting Company Hacked; 13.5 Million Plaintext Passwords Leaked
from The Hacker News http://ift.tt/1LCq1g8
via IFTTT
A guide to the FIFA presidential candidates
from FOX Sports Digital http://ift.tt/1kb7caz
via IFTTT
Visa threatens to end FIFA backing if reforms unsatisfactory
from FOX Sports Digital http://ift.tt/1KFPth0
via IFTTT
Serie A struggler Bologna fires coach Delio Rossi
from FOX Sports Digital http://ift.tt/1P56589
via IFTTT
UNM Swimming and Diving Receives Anonymous Donation
from Google Alert - anonymous http://ift.tt/1PQQ8Ee
via IFTTT
Bremen's US striker Johannsson sidelined after surgery
from FOX Sports Digital http://ift.tt/1OYwNkk
via IFTTT
Blatter chastises FIFA ethics committee for banning him
from FOX Sports Digital http://ift.tt/1NAC7Hn
via IFTTT
Mascherano suspended 2 games, will get to face Real Madrid
from FOX Sports Digital http://ift.tt/1Mt08mB
via IFTTT
Bremen's US striker Aron Johansson has groin surgery
from FOX Sports Digital http://ift.tt/1XyDtHn
via IFTTT
Brazil's Marin agrees to be extradited in FIFA bribery case
from FOX Sports Digital http://ift.tt/1kRnVQT
via IFTTT
Anonymous To De-Hood 1000 KKK Members
from Google Alert - anonymous http://ift.tt/1k9VGMR
via IFTTT
It's Now Legal to Jailbreak Smart TV, Smartphone Or Tablet
from The Hacker News http://ift.tt/1N7mgBN
via IFTTT
Austria keeper Almer out for months with knee injury
from FOX Sports Digital http://ift.tt/1MTc5fG
via IFTTT
ISS Daily Summary Report – 10/27/15
from ISS On-Orbit Status Report http://ift.tt/1N7i2dk
via IFTTT
You Can Now Hack Your Own Car — It's Legal Now
from The Hacker News http://ift.tt/1WientW
via IFTTT
Here's How Websites Are Tracking You Online
from The Hacker News http://ift.tt/1P4usCW
via IFTTT
Including Platini, FIFA accepts 7 in presidential race
from FOX Sports Digital http://ift.tt/1KERKJf
via IFTTT
FIFA accepts 7 entries in presidential race, Nakhid excluded
from FOX Sports Digital http://ift.tt/1S938mQ
via IFTTT
Warning: 18,000 Android Apps Contains Code that Spy on Your Text Messages
from The Hacker News http://ift.tt/1PTHRyh
via IFTTT
Bright from the Heart Nebula
Tuesday, October 27, 2015
How to keep the column value hidden or anonymous
from Google Alert - anonymous http://ift.tt/1NzI33r
via IFTTT
Ravens: NFL admits referee was distracted on opening drive vs. Cardinals that resulted in illegal formation penalty (ESPN)
via IFTTT
Redesigning pattern mining algorithms for supercomputers. (arXiv:1510.07787v1 [cs.DC])
Upcoming many core processors are expected to employ a distributed memory architecture similar to currently available supercomputers, but parallel pattern mining algorithms amenable to the architecture are not comprehensively studied. We present a novel closed pattern mining algorithm with a well-engineered communication protocol, and generalize it to find statistically significant patterns from personal genome data. For distributing communication evenly, it employs global load balancing with multiple stacks distributed on a set of cores organized as a hypercube with random edges. Our algorithm achieved up to 1175-fold speedup by using 1200 cores for solving a problem with 11,914 items and 697 transactions, while the naive approach of separating the search space failed completely.
from cs.AI updates on arXiv.org http://ift.tt/1ifePvt
via IFTTT
Learning Constructive Primitives for Online Level Generation and Real-time Content Adaptation in Super Mario Bros. (arXiv:1510.07889v1 [cs.AI])
Procedural content generation (PCG) is of great interest to game design and development as it generates game content automatically. Motivated by the recent learning-based PCG framework and other existing PCG works, we propose an alternative approach to online content generation and adaptation in Super Mario Bros (SMB). Unlike most of existing works in SMB, our approach exploits the synergy between rule-based and learning-based methods to produce constructive primitives, quality yet controllable game segments in SMB. As a result, a complete quality game level can be generated online by integrating relevant constructive primitives via controllable parameters regarding geometrical features and procedure-level properties. Also the adaptive content can be generated in real time by dynamically selecting proper constructive primitives via an adaptation criterion, e.g., dynamic difficulty adjustment (DDA). Our approach is of several favorable properties in terms of content quality assurance, generation efficiency and controllability. Extensive simulation results demonstrate that the proposed approach can generate controllable yet quality game levels online and adaptable content for DDA in real time.
from cs.AI updates on arXiv.org http://ift.tt/1ifePvj
via IFTTT
Interpolating Convex and Non-Convex Tensor Decompositions via the Subspace Norm. (arXiv:1503.05479v2 [cs.LG] UPDATED)
We consider the problem of recovering a low-rank tensor from its noisy observation. Previous work has shown a recovery guarantee with signal to noise ratio $O(n^{\lceil K/2 \rceil /2})$ for recovering a $K$th order rank one tensor of size $n\times \cdots \times n$ by recursive unfolding. In this paper, we first improve this bound to $O(n^{K/4})$ by a much simpler approach, but with a more careful analysis. Then we propose a new norm called the subspace norm, which is based on the Kronecker products of factors obtained by the proposed simple estimator. The imposed Kronecker structure allows us to show a nearly ideal $O(\sqrt{n}+\sqrt{H^{K-1}})$ bound, in which the parameter $H$ controls the blend from the non-convex estimator to mode-wise nuclear norm minimization. Furthermore, we empirically demonstrate that the subspace norm achieves the nearly ideal denoising performance even with $H=O(1)$.
from cs.AI updates on arXiv.org http://ift.tt/1Gr4zqH
via IFTTT
Jedinak, Ryan picked in Australia squad for WCup qualifiers
from FOX Sports Digital http://ift.tt/1GHqS0g
via IFTTT
Premier League champion Chelsea and Arsenal exit League Cup
from FOX Sports Digital http://ift.tt/1P3uB9P
via IFTTT
Inter moves back top of Serie A with 1-0 win at Bologna
from FOX Sports Digital http://ift.tt/1NzliN0
via IFTTT
[FD] Timing attack vulnerability in most Zeus server-sides
Source: Gmail -> IFTTT-> Blogger
[FD] AoF and CSRF vulnerabilities in D-Link DCS-2103
Source: Gmail -> IFTTT-> Blogger
[FD] [ERPSCAN-15-027] Oracle E-Business Suite - Cross Site Scripting Vulnerability
Source: Gmail -> IFTTT-> Blogger
[FD] [ERPSCAN-15-026] Oracle E-Business Suite - SQL injection Vulnerability
Source: Gmail -> IFTTT-> Blogger