Abstract: In some embodiments, the security and/or automation system, collectively referred to herein as automation system, may include a system for remotely monitoring a residence while respecting the privacy of occupants of the residence and the need for safety and security concerns. When a user is actively monitoring a residence, the system may provide a notification to occupants that remote monitoring is active. The remote monitoring may comprise video feed viewing of the residence, review of still images, audio review, and the like. The remote monitoring may allow review of multiple areas or rooms of a residence, the outside of a residence, and the like. The notifications may alert an occupant when a user is remotely viewing an audio feed, a video feed, images, or the like. However, the user may be disable the notifications if so desired.

Abstract: A system includes a formal verification engine running on a host and a protocol checking engine. The formal verification engine automatically generates and formally verifies a reference specification that includes a plurality of extended state tables for an integrated circuit (IC) design protocol of a chip at architectural level. The formal verification engine is further configured to automatically generate a plurality of self-contained services from the plurality of extended state tables. A self-contained service of the plurality of self-contained services is randomly and atomically executable. The self-contained service of the plurality of self-contained services changes responsive to the IC design protocol changing. The protocol checking engine checks and validates completeness and correctness of the self-contained service of the reference specification.

Abstract: In some embodiments, security and/or automation systems, collectively referred to as automation systems, may facilitate communications between a remote user and an occupant of a residence. The automation system may receive one or more communications from a user and deliver the communication to the specified recipient when the recipient occupies the residence. The automation system may determine the recipient is proximate the residence and may notify the recipient of the pending communication. The recipient may use the control panel or another device associated with the security and/or automation system to receive the message.

Abstract: An automation system may include a smart doorman. The system may observe one or more guests to a residence, predict a user profile associated with the guest, and invite an administrator of the automation system to create the suggested profile of the guest. The system may store one or more biometric identifiers with a visitation pattern to determine if the guest requires a profile. In one embodiment, a method for security and/or automation systems may be described. The method may include detecting the presence of one or more guests at an entrance to a residence and comparing the presence of a guest to one or more profile parameters. A guest profile associated with the guest may be predicted based at least in part on the comparing.

Abstract: A method for security and/or automation systems is described. In one embodiment, the method may include receiving a plurality of video footage at a home automation system from at least one video monitor. The method may further include reviewing the plurality of video footage recorded over a predetermined period of time. The method may further include automatically identifying at least one distinguishing feature in the video footage over the predetermined period of time, and automatically indexing the video footage based, at least in part, on identifying the at least one distinguishing feature in the video footage.

Abstract: A method for security and/or automation systems is described. In one embodiment, the method may include receiving input regarding at least one home automation system operation profile. The method may further include receiving monitored sleep data of at least one user of a home automation system associated with the at least one home automation system operation profile. The method may further include comparing the received monitored sleep data with the received input regarding the at least one home automation system operation profile, and may include implementing the at least one home automation system operation profile based, at least in part, on the comparing.

Abstract: A case (10) for a portable electronic device (especially for an iPhone (100) and the like) comprises a shell (12), a diffuser (40) mounted within the shell (12), and an optional transparent insert (150) with custom graphics located between a front side (14) of the shell and the diffuser (40). The diffuser (40) comprises a Perspex panel having an etched portion (44) from which light escapes. The diffuser (40) may be slid between a position in which a flash (102) of the device is unobstructed, for normal photographic use, and a position in which light (200) from the flash (102) is received on a first surface (41) of the diffuser (40), whereby it is re-directed internally before being emitted from the etched portion (44) on the opposite, second surface (43) to provide even and bright illumination of that second surface.

Abstract: A method of gaming comprises displaying play of a wager game having a plurality of stages with progression through the stages being dependent on a predefined gameplay criterion. Each of the stages is associated with a feature event that is awardable to the player in response to a trigger event being detected. In response to determining that a trigger for a particular stage has occurred, the feature event associated with the particular stage as well as the feature event(s) associated with any preceding stages are awarded to the player.

Abstract: An apparatus for supporting the head and neck for airway management and to facilitate the maintenance of a patent airway under anesthesia, for unconscious patients, and for any circumstance requiring a patent airway while the patient is lying on her side. The apparatus includes a head supporting surface, an adjustable neck supporting surface, and two adjustable jaw support arms to protrude the jaw forward and maintain ventilation while the patient is lying on either of his/her sides.

Abstract: A new approach is proposed that contemplates a system and method to support automated functional coverage generation and management for an IC design protocol. The proposed approach takes advantage of table-based high-level (e.g., transaction-level) specifications of the IC design protocol, wherein the state tables are readable and easily manageable (e.g., in ASCII format) in order to automatically generate functional coverage for the IC design protocol, which include but are not limited to, coverage points, protocol transitions, and/or transaction coverage. The automatically generated functional coverage is then verified via formal verification and simulated at the register-transfer level (RTL) during the coverage generation and management process. The coverage data from the formal verification and the simulation runs are then analyzed and used to guide and revise the IC design protocol in a coverage-based closed-loop IC design process.

Abstract: A method for processing a nucleic acid, in which the nucleic acid is exposed to an aqueous medium which includes a polyol in sufficient proportion for at least a portion of the nucleic acid to enter or remain in an extra-solution phase. Thus, a polyol may be used to bind a nucleic acid which is in solution to a solid support or to wash a nucleic acid on a solid support whilst maintaining it on the support. The polyol may for example be a C2-C10 alkanediol.

Abstract: An embodiment of the present invention provides a bonus scheme associated with a gaming process that is a feature event. With reference to the embodiment illustrated in FIG. 3, a gaming process is conducted at Steps S3 to S5, the outcome of which determines a gaming process win value. At Step S7 the gaming process win value is compared to a threshold value and, if the gaming process win value is less than, or equal to the threshold value, a bonus prize is awarded to the player at Step S9.

Abstract: A gaming apparatus comprises a display module operable to display play of a wager game comprising a main game having a plurality of stages. A controller of the gaming apparatus evaluates game play to determine whether a stage progression condition has been met and responsive thereto progress play to a subsequent stage. The controller is further operable to set parameters of the main game such that a theoretical Return To Player (RTP) increases for each stage thereof.

Abstract: An embodiment of the present invention provides a bonus scheme associated with a gaming process that is a feature event. With reference to the embodiment illustrated in FIG. 3, a gaming process is conducted at Steps S3 to S5, the outcome of which determines a gaming process win value. At Step S7 the gaming process win value is compared to a threshold value and, if the gaming process win value is less than, or equal to the threshold value, a bonus prize is awarded to the player at Step S9.

Abstract: A new approach is proposed that contemplates systems and methods to support automated functional coverage generation and management for an IC design protocol. The proposed approach takes advantage of table-based high-level (e.g., transaction-level) specifications of the IC design protocol, wherein the state tables are readable and easily manageable (e.g., in ASCII format) in order to automatically generate functional coverage for the IC design protocol, which include but are not limited to, coverage points, protocol transitions, and/or transaction coverage. The automatically generated functional coverage is then verified via formal verification and simulated at the register-transfer level (RTL) during the coverage generation and management process. The coverage data from the formal verification and the simulation runs are then analyzed and used to guide and revise the IC design protocol in a coverage-based closed-loop IC design process.

Abstract: Methods and systems are described for controlling an automation and security system. According to at least one embodiment, an apparatus for data storage in an automation and security system includes a processor, a memory in electronic communication with the processor, and instructions stored in the memory. The instructions are executable by a processor to receive data at a first device, store a copy of the data on the first device, fragment the data into a plurality of data fragments, transmit the plurality of data fragments to a plurality of remote devices, and store some of the plurality of data fragments on each of the plurality of remote devices.

Abstract: A computer-implemented method for monitoring commercial activities is described. In one embodiment, the method includes receiving information related to commercial activities at at least one of a plurality of locations, the information being collected at the at least one of a plurality of locations, and transmitting the collected information for at least one of the plurality of locations to a device located remote from at least one of the plurality of locations.

Abstract: A case (10) for a portable electronic device (especially for an iPhone (100) and the like) comprises a shell (12), a diffuser (40) mounted within the shell (12), and an optional transparent insert (150) with custom graphics located between a front side (14) of the shell and the diffuser (40). The diffuser (40) comprises a Perspex panel having an etched portion (44) from which light escapes. The diffuser (40) may be slid between a position in which a flash (102) of the device is unobstructed, for normal photographic use, and a position in which light (200) from the flash (102) is received on a first surface (41) of the diffuser (40), whereby it is re-directed internally before being emitted from the etched portion (44) on the opposite, second surface (43) to provide even and bright illumination of that second surface.

Abstract: A new approach is proposed that contemplates systems and methods to support a hybrid verification framework (HVF) to design, verify, and implement design protocols for an integrated circuit (IC) chip such as a system-on-chip (SOC) and/or an application-specific integrated circuit (ASIC) chip. The framework creates a plurality of specifications in form of extended state transition tables for different phases of a design flow of the IC chip. The framework integrates and uses the extended state table-based specifications and the templates in all phases in the design flow, resulting in a tight revision loop of debug, verification, and validation across the phases of the design flow.