Building on the work of Schimmerling ([11]) and Steel ([17]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. This is the first step towards getting a model of ADR + “Θ is regular” from PFA via the core model induction. One of the wholly grails of inner model program has been determining the exact consistency strength of f...

Since the start of the new millennium, a method called two-photon microscopy has allowed scientists to peer farther into the brain than ever before. Our author, one of the pioneers in the development of this new technology, writes that "directly observing the dynamics of neural networks in an intact brain has become one of the holy grails of brain research." His article describes the advances t...

A best practice is a technique or an important aspect that helps to develop Web applications more efficiently. Best practices on Web frameworks reduce the development time and effort, saving money, increasing the quality of code, enabling to create friendly and interactive applications. This paper is focused on identifying and providing according to the experiences and requirements of the users...

Web Development has grown tremendously during the last decade. Enabling the possibility to create and deploy web applications in a more convenient way, frameworks like Ruby On Rails, Grails, Django or CakePHP have arisen. The concept of rapid web development has not been available for the java world until Zenexity released its framework play!. This paper will demonstrate the key concepts of pla...

Bayesian optimization techniques have been successfully applied to robotics, planning, sensor placement, recommendation, advertising, intelligent user interfaces and automatic algorithm configuration. Despite these successes, the approach is restricted to problems of moderate dimension, and several workshops on Bayesian optimization have identified its scaling to high dimensions as one of the h...

Building on the work of Schimmerling ([8]) and Steel ([14]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. The proof presented is the first inductive step beyond L(R) of the core model induction that is aimed at getting a model of ADR + “Θ is regular” from the failure of square at a singular strong limit cardinal or PFA....

Making machines that can understand musical structure has long been one of the holy grails of audio processing, separating overlapping sounds has been another. Here we present a simple framework initialy used for the first task, which has come to make itself very useful for source separation. We show that the same type of reasoning that allows one to find the building elements of a musical audi...

One of the holy grails of modern medicine, across a range of clinical sub-specialties, is establishing highly sensitive and specific biomarkers for various diseases. Significant success has been achieved in some of these clinical areas, most notably identifying high-sensitivity C-reactive peptide, troponin I/T and brain natriuretic peptide as significant prognosticators for both the acute outco...

Abstract Commonsense reasoning has long been considered one of the holy grails artificial intelligence. Our goal is to develop a logic-based component for hybrid – machine learning plus logic commonsense question answering systems. A critical feature estimating confidence in statements derived from knowledge bases containing uncertain contrary and supporting evidence obtained different sources....

Context awareness is one of the holy grails in ubiquitous computing, envisioning many embedded computing devices that serve their user while being perceptive enough of events and situations around them. This extended abstract will give a brief overview of an approach for resolving this key concern in ubiquitous and wearable computing, which uses techniques and ideas from statistics, machine lea...