Abstract: To simplify assisting a user in their day-to-day activities, a communication for performing an action may be sent to a user in the form of a query, where the query includes the most likely set of choices for the action arranged in a group of dichotomous (e.g., yes/no) or multiple choice answers. In this manner, a user may respond to the query by simply selecting one of the dichotomous or multiple choice answers. Historical logs of past actions, responses, queries, and so forth, may be used to predict future user actions or needs, and to formulate future queries for sending to the user. These techniques may be implemented, for example, through a remote coordination server or directly through a user's personal electronics device.

Abstract: To simplify assisting a user in their day-to-day activities, a communication for performing an action may be sent to a user in the form of a query, where the query includes the most likely set of choices for the action arranged in a group of dichotomous (e.g., yes/no) or multiple choice answers. In this manner, a user may respond to the query by simply selecting one of the dichotomous or multiple choice answers. Historical logs of past actions, responses, queries, and so forth, may be used to predict future user actions or needs, and to formulate future queries for sending to the user. These techniques may be implemented, for example, through a remote coordination server or directly through a user's personal electronics device.

Abstract: Systems, methods and apparatus may be configured to implement automatic semantic classification of a detected object(s) disposed in a region of an environment external to an autonomous vehicle. The automatic semantic classification may include analyzing over a time period, patterns in a predicted behavior of the detected object(s) to infer a semantic classification of the detected object(s). Analysis may include processing of sensor data from the autonomous vehicle to generate heat maps indicative of a location of the detected object(s) in the region during the time period. Probabilistic statistical analysis may be applied to the sensor data to determine a confidence level in the inferred semantic classification. The inferred semantic classification may be applied to the detected object(s) when the confidence level exceeds a predetermined threshold value (e.g., greater than 50%).

Abstract: Methods and apparatus are provided for run-time user control of system-generated content. A user is presented with the system-generated content and can configure one or more rules at run-time. The rules identify one or more automated actions to perform upon the system-generated content when one or more conditions are satisfied. The automated actions are executed upon the system-generated content when the one or more conditions are satisfied. The exemplary automated actions may comprise transform, retrieve, update and alert. The conditions can specify, for example, when to perform the automated actions. Active tags may optionally be attached to or embedded directly in the system-generated content or in a document containing the system-generated content. Tools are optionally provided to allow a user to manage active tags.

Abstract: Methods and systems for classifying mobile device behavior include configuring a server use a large corpus of mobile device behaviors to generate a full classifier model that includes a finite state machine suitable for conversion into boosted decision stumps and/or which describes all or many of the features relevant to determining whether a mobile device behavior is benign or contributing to the mobile device's degradation over time. A mobile device may receive the full classifier model and use the model to generate a full set of boosted decision stumps from which a more focused or lean classifier model is generated by culling the full set to a subset suitable for efficiently determining whether mobile device behavior are benign. Boosted decision stumps may be culled by selecting all boosted decision stumps that depend upon a limited set of test conditions.

Abstract: A four-valued logic system for genomic sequencing and macromolecular analysis using a semantic network having object nodes and relationships between the object nodes. The object nodes are each represented by two vectors with true, false, defined, or undefined values in corresponding bits in the two vectors. Conditionals or quantifying variables are tested during successive recursive steps in a predicate calculus using the four-valued logic system.

Abstract: There is provided an information processing apparatus including an evaluation giving unit that gives an evaluation based on a second user to an item in a list created on a basis of a first user, and a display control unit that controls display of the list, on a basis of the evaluation based on the second user.

Abstract: A method includes receiving information identifying a first knowledge element from a plurality of knowledge elements. The method also includes, for a plurality of similar knowledge elements, for each of a plurality of similar knowledge elements determining a first value based on actions taken by a user with respect to a respective knowledge element from the plurality of similar knowledge elements, determining a second value that represents similarity of the first knowledge element to the respective knowledge element, and determining an expertise component value for the respective knowledge element based at least in part on a multiplicative product of the first value and the second value. The method also includes determining an expertise value that represents the user's expertise level relative to a subject matter described by the first knowledge element based on the expertise component values for the plurality of similar knowledge elements.

Abstract: Various embodiments of technologies for information coding based on semantic data reasoning are provided. In some examples, a process performs semantic reasoning on semantic sentences of a textual message to generate a code, and embeds the code in the textual message as additional information.

Abstract: A system for the dynamic encoding in a semantic network of both syntactic and semantic information into a common four valued logical notation. The encoding of new information being benign to prior syntactic constructions, tests for N conditionals in time O(C) and allows for the proper quantification of variables at each recursive step. The query/inference engine constructed from such an implementation is able to optimize short term memory for maximizing long term storage in the automaton. In a parallel context this can be viewed as optimizing communication and memory allocation between processes. Disclosed embodiments of a four valued encoding achieve efficiencies in minimizing the run time stack and maximizing heap size especially in a parallel architecture. Disclosed embodiments are useful in simulation and search engine implementations.

Abstract: A system for the dynamic encoding in a semantic network of both syntactic and semantic information into a common four valued logical notation. The encoding of new information being benign to prior syntactic constructions, tests for N conditionals in time O(C) and allows for the proper quantification of variables at each recursive step. The query/inference engine constructed from such an implementation is able to optimize short term memory for maximizing long term storage in the automaton. In a parallel context this can be viewed as optimizing communication and memory allocation between processes. The self-referencing system is capable of analogically extending knowledge from one knowledge source to another linearly. Disclosed embodiments include machine translation, text summarization, natural language speech recognition natural language.

Abstract: Automatic trading environments with their high degree of automation have become the backbone of modern financial markets. The ability to process orders and manage risk in these systems while maintaining a low latency between participants is crucial for the safety and liquidity of these markets. The disclosed system describes a four valued Monte Carlo simulation for the stochastic modeling of risk and syntactic pattern matching techniques to facilitate the design of these systems. The system is a self-compiling, machine independent system capable of dividing, scaling and communicating multiple-asset instruments efficiently in a parallel environment. The system also allows for the integration of computerized financial heuristics on financial instruments and user interfaces for creating trading strategies to monitor and hedge risk over a trading desk for financial institutions.

Abstract: A method and system for designing models is disclosed. The method includes selecting a plurality of models for modeling a common event of interest. The method further includes aggregating the results of the models and analyzing each model compared to the aggregate result to obtain comparative information. The method also includes providing the information back to the plurality of models to design more accurate models through a feedback loop.

Abstract: Mechanisms for recommending content items based on topics are provided. In some implementations, a method for recommending content items is provided that includes: determining a plurality of accessed content items associated with a user, wherein each of the plurality of content items is associated with a plurality of topics; determining the plurality of topics associated with each of the plurality of accessed content items; generating a model of user interests based on the plurality of topics, wherein the model implements a machine learning technique to determine a plurality of weights for assigning to each of the plurality of topics; applying the model to determine, for a plurality of content items, a probability that the user would watch a content item of the plurality of content items; ranking the plurality of content items based on the determined probabilities; and selecting a subset of the plurality of content items to recommend to the user based on the ranked content items.

Abstract: Methods and apparatus are provided for training a neural device having an artificial nervous system by modulating at least one training parameter during the training. One example method for training a neural device having an artificial nervous system generally includes observing the neural device in a training environment and modulating at least one training parameter based at least in part on the observing. For example, the training apparatus described herein may modify the neural device's internal learning mechanisms (e.g., spike rate, learning rate, neuromodulators, sensor sensitivity, etc.) and/or the training environment's stimuli (e.g., move a flame closer to the device, make the scene darker, etc.). In this manner, the speed with which the neural device is trained (i.e., the training rate) may be significantly increased compared to conventional neural device training systems.

Abstract: The disclosed embodiments relate to a system that uses data from an online social network to optimize subscription offers. During operation of the online social network, the system gathers data associated with subscription offers that were presented to members of the online social network, including information about which subscription offers were converted. Next, the system uses a machine-learning technique to train a model based on the gathered data. Finally, the system uses the trained model to select subscription offers to present to a member of the online social network.

Abstract: Network page latency reduction is facilitated by various embodiments. In one embodiment, a first distribution corresponding to a plurality of instances of a network page is estimated. A second distribution corresponding to a subset of the instances is also estimated. The network page is adapted based at least in part on a comparison of the first and second distributions in order to reduce network page latency.

Abstract: A method to identify a relationship between at least pairs of variables in a dataset generates a novel measure of dependence, referred to as a Maximal Information Coefficient (MIC), that captures a wide range of interesting associations (not limited to specific function types such as linear, exponential or periodic, or to all functional relationships), and that gives similar scores to equally noisy relationships of different types. MIC is based on the idea that if a relationship exists between two variables, then a grid can be drawn on a scatterplot of the two variables that partitions the data to encapsulate that relationship.

Abstract: Systems and methods for conflict resolution and stabilizing cut generation in a mixed integer linear program (MILP) solver are disclosed. One disclosed method includes receiving a mixed integer linear problem (MILP), the MILP having a root node and one or more global bounds; pre-processing the MILP, the MILP being associated with nodes; establishing a first threshold for a learning phase branch-and-cut process; performing, by one or more processors, the learning phase branch-and-cut process for nodes associated with the MILP, wherein performing the learning phase branch-and-cut process includes: evaluating the nodes associated with the MILP, collecting conflict information about the MILP, and determining whether the first threshold has been reached; responsive to reaching the first threshold, removing all of the nodes and restoring a root node of the MILP; and solving, with the one or more processors, the MILP using the restored root node and the collected conflict information.

Abstract: Semi-supervised random decision forests for machine learning are described, for example, for interactive image segmentation, medical image analysis, and many other applications. In examples, a random decision forest comprising a plurality of hierarchical data structures is trained using both unlabeled and labeled observations. In examples, a training objective is used which seeks to cluster the observations based on the labels and similarity of the observations. In an example, a transducer assigns labels to the unlabeled observations on the basis of the clusters and certainty information. In an example, an inducer forms a generic clustering function by counting examples of class labels at leaves of the trees in the forest. In an example, an active learning module identifies regions in a feature space from which the observations are drawn using the clusters and certainty information; new observations from the identified regions are used to train the random decision forest.