Abstract: A general framework which transforms the inverse problem of self-assembly of colloidal crystals into a Boolean satisfiability problem for which solutions can be found numerically is described herein. Given a reference structure and the desired number of components, our approach produces designs for which the target structure is an energy minimum, and also allows to exclude solutions that correspond to competing structures.

Abstract: One embodiment can provide a home-automation system. The home-automation device can include a mechanical supporting structure and a plurality of components mechanically coupled to the mechanical supporting structure. The plurality of components can include a central controller, one or more printed circuit boards (PCBs), and a plurality of sensors mounted on the one or more PCBs. The central controller can be configured to detect a user event based on output from multiple sensors, with each sensor being configured to sense parameters in a different physical domain.

Abstract: A network connected controllable device is automatically controlled. A plurality of inputs that indicate states of a network connected device environment associated with a property of the network connected controllable device to be automatically controlled is received. A plurality of output candidates is evaluated according to an optimization function. The optimization function depends on the plurality of inputs and one or more parameters and the output candidates are associated with candidate settings of the property of the network connected controllable device to be automatically controlled. An output that optimizes the optimization function is selected among the plurality of output candidates.

Abstract: Network connected devices are controlled. A command is received. A graph model is applied to identify a subset of nodes related to the command. The graph model includes a plurality of nodes that each correspond to a device and the graph model includes a plurality of edges that specify relationships between the plurality of nodes. The subset of nodes is activated in response to the command.

Abstract: Network connected devices are controlled. A command is received. A graph model is applied to identify a subset of nodes related to the command. The graph model includes a plurality of nodes that each correspond to a device and the graph model includes a plurality of edges that specify relationships between the plurality of nodes. The subset of nodes is activated in response to the command.

Abstract: Network connected devices are controlled. A command is received. A graph model is applied to identify a subset of nodes related to the command. The graph model includes a plurality of nodes that each correspond to a device and the graph model includes a plurality of edges that specify relationships between the plurality of nodes. The subset of nodes is activated in response to the command.

Abstract: One embodiment can provide a home-automation system. The home-automation device can include a mechanical supporting structure and a plurality of components mechanically coupled to the mechanical supporting structure. The plurality of components can include a central controller, one or more printed circuit boards (PCBs), and a plurality of sensors mounted on the one or more PCBs. The central controller can be configured to detect a user event based on output from multiple sensors, with each sensor being configured to sense parameters in a different physical domain.

Abstract: Network connected devices are controlled. A command is received. A graph model is applied to identify a subset of nodes related to the command. The graph model includes a plurality of nodes that each correspond to a device and the graph model includes a plurality of edges that specify relationships between the plurality of nodes. The subset of nodes is activated in response to the command.