Abstract: A method for designing a system on a target device includes performing register retiming on an original design to generate a retimed design of the system. Compare points are identified in the original design and the retimed design. Equality constraints are defined for all compare points. Starting from the initial states of the original and retimed circuits, bounded sequential logic simulation is performed for a maximum number of time frames determined as the maximum absolute value of retiming variables computed during structural verification. Whether changed flip-flops in the retimed design have initial states that are correct are determined by comparing signal values at the compare points from the bounded sequential logic simulation.

Abstract: An apparatus for sterilization of objects or materials comprises an enclosure for containing a gaseous atmosphere; an acoustically transparent platform located within the enclosure for supporting the objects or materials to be sterilized; one or more non-contact ultrasound transducers positioned within the enclosure and spaced from the platform; and an electric power amplifier for exciting the one or more transducers.

Abstract: The present embodiment is a high rotor pole switched reluctance machine (HRSRM) which provides a plurality of combinations of the number of rotor poles Rn and number of stator poles Sn utilizing a numerical relationship defined by a mathematical formula, Rn=2Sn?Fp, when Sn=m×Fp, wherein Fp is the maximum number of independent flux paths in the stator when stator and rotor poles are fully aligned, and m is the number of phases. The mathematical formulation provides an improved noise performance and design flexibility to the machine. The mathematical formulation further provides a specific number of stator and rotor poles for a chosen m and Fp. The HRSRM can be designed with varying number of phases. The HRSRM provides a smoother torque profile due to a high number of strokes per revolution.

Abstract: A portable device includes one or more memories and travel mode control circuitry coupled to the one or more memories. The travel mode control circuitry, in operation, monitors motion data and temperature data to detect a first travel state of the device. When the first travel state of the device is detected, motion data and pressure data are monitored to detect a transition from the first travel state to a second travel state of the device. When the transition to the second travel state of the device is detected, one or more control signals are generated to cause the device to enter a first travel mode of operation.

Abstract: Techniques for synchronizing communication across devices are described. A system receives an input command corresponding to an announcement and sends data representing the announcement to devices of the system. The system receives responses from the devices and causes the device that originated the announcement to output content corresponding to the responses.

Abstract: Computer-implemented systems and methods for categorizing tables of a database into groups are provided. A set of queries used to access a database are processed to generate a log that identifies for each of the queries (i) a database operation associated with the query, (ii) a table of the database accessed via the query, and (iii) a column or columns of the table used by the query to access the table. Database operation criteria for categorizing database tables into groups are accessed. The criteria are based on a total number of times that a table is accessed by the set of queries and a number of times that the table is accessed using a column or group of columns. An algorithm that evaluates data of the log against the criteria is applied. The algorithm is configured to automatically categorize tables identified in the log into groups based on the evaluation.

Abstract: An electronic device is provided. The electronic device includes a display that is configured to show content that includes a plurality of frames. The plurality of frames includes a first frame that is associated with a pre-transition value. The plurality of frames also includes a second frame that is associated with a current frame value that corresponds to a first luminance. Additionally, the electronic device is configured to determine an overdriven current frame value corresponding to a second luminance that is greater than the first luminance. The electronic device is also configured to display the second frame using the overdriven current frame value.

Abstract: A series of frames or live images received by a camera can be processed by an automatic image capture system to determine when an automatic image capture should take place. The system can detect when a scene change occurs by comparison of data for two or more frames, and for particular regions in those frames. If a scene change for the specified region is followed by a stabilization of the scene in that region, the system can trigger an auto-capture of at least the stabilized region of the scene, without the need for any user input.

Abstract: Methods and systems for downloading software information are disclosed herein. In one example embodiment, the method includes performing a first determination as to whether a first number of inquiries or download requests received by a server computer is or has been excessive and, if the first determination is that the first number of inquiries or download requests is not or has not been excessive, sending a signal including a first permission to download a software package. Also, the method includes performing a second determination as to whether either the first number or a second number of inquiries or download requests received by the server computer is or has been excessive and, if the second determination is that the first or second number of inquiries or download requests is not or has not been excessive, sending a first part of the software package for receipt by a first client computer.

Abstract: A technique includes processing first data representing a description of a page of a document that is associated with a plurality of cell lines and a plurality of objects to generate second data. The second data represents, for a given cell line of a plurality of cell lines, whether objects of the plurality of objects intersect in the given cell line. The technique includes generating raster image data for the given cell line for a printer based on the second data.

Abstract: The present disclosure provides efficient and reliable methods for preparing cyclized peptidic compounds. Advantageously, the currently described methods allow for on-resin cyclization using a limited number of processing steps, while increasing the chemical diversity available for the cyclized peptidic compounds produced.

Abstract: A method and apparatus for event-based media playback. A media device infers one or more actionable events in a media content item using one or more neural network models and determines a respective start location for each of the actionable events in the media content item. The media device receives user input indicating a selection of one of the actionable events and selectively initiates playback of the media content item at the start location associated with the selected actionable event.

Abstract: A series of frames or live images received by a camera can be processed by an automatic image capture system to determine when an automatic image capture should take place. The system can detect when a scene change occurs by comparison of data for two or more frames. If a scene change is followed by a stabilization of the scene, the system can trigger an auto-capture of the stabilized scene, without the need for user input.

Abstract: Some aspects disclosed herein are directed to, for example, a system and method comprising a client device receiving an input of at least a portion of a message. The client device may display, on a display of the client device, the at least the portion of the message. The client device may transmit, to a server device, the at least the portion of the message for display via a second client device. The client device may receive, from a user of the client device or a user of the second client device, a request to generate a marker for the at least the portion of the message. In response to the receiving the request to generate the marker, the client device may determine, based on a lexicon, a name for the marker for the at least the portion of the message.

Abstract: Methods and systems for remotely executing or communicating messages or commands such as security commands, or facilitating the execution or communication of such messages or commands, are disclosed herein. In one example embodiment, such a system or method can include an agent application installed on a client device directing the client device to periodically check a server for a new command request for the client device, the client device downloading the new command request from the server, and the client device executing the new command request. Also, in an additional example embodiment, the new command request can direct the client device to set up a command session between the server and the client device and, responsive to executing the new command request, the client device can set up the command session with the server.

Abstract: Systems, methods, and devices can involve a host device that includes a root complex, a link, and an interconnect protocol stack coupled to a bus link. The interconnect protocol stack can include multiplexing logic to select one of a Peripheral Component Interconnect Express (PCIe) upper layer mode, or an accelerator link protocol upper layer mode, the PCIe upper layer mode or the accelerator link protocol upper layer mode to communicate over the link, and physical layer logic to determine one or more low latency features associated with one or both of the PCIe upper layer mode or the accelerator link protocol upper layer mode.

Abstract: Emissive micro-pixel spatial light modulators with non-telecentric emission are introduced. The individual light emission from each multi-color micro-scale emissive pixel is directionally modulated in a unique direction to enable application-specific non-telecentric emission pattern from the micro-pixel array of the emissive spatial light modulator. Design methods for directionally modulating the light emission of the individual micro-pixels using micro-pixel level optics are described. Monolithic wafer level optics methods for fabricating the micro-pixel level optics are also described. An emissive multi-color micro-pixel spatial light modulator with non-telecentric emission is used to exemplify the methods and possible applications of the present invention: ultra-compact image projector, minimal cross-talk 3D light field display, multi-view 2D display, and directionally modulated waveguide optics for see-through near-eye displays.

Abstract: Herein are techniques of zero data loss with asynchronously replicated redo logs. In an embodiment, a first server instance (FSI) of a plurality of server instances (PSI) of a primary database (PDB) sends, to a standby database (SDB) during an shutdown of FSI, a first recovery count (RC) and a remainder of an instance redo log (IRL). In response to recovering FSI, a second server instance of PSI increments a recovery counter to a second RC (SRC), publishes SRC to PSI, and sends SRC to SDB. After restarting FSI, FSI makes a change to contents of PDB, and stores, into IRL, a redo entry that defines the change. During failover, a database management system (DBMS) detects whether RCs associated with FSRL and SSRL are unanimous. If unanimous, DBMS fully rolls forward SDB by replaying FSRL and SSRL. Otherwise, DBMS limits replay and indicates that FSRL and SSRL might be inconsistent.

Abstract: A camera system comprises an image capturing device, and connected to it are an object classification module and a calibration module. The object classification module is operable to determine whether or not an object in an image is a member of an object class, and the calibration module is operable to estimate representative sizes of the object. The object classification module may determine a confidence parameter that is used by the calibration module, or conversely, the calibration module may produce a size that is used by the classification module.

Abstract: Systems, apparatuses, and methods for secure enablement of platform features without user intervention are disclosed. In one embodiment, a system includes at least a motherboard and a processor. The motherboard includes at least a socket and an authentication component. The authentication component can be a chipset, expansion I/O device, or other component. The processor is installed in the socket on the motherboard. During a boot sequence, the processor retrieves a key value from the authentication component and then authenticates the key value. Next, the processor determines which one or more features to enable based on the key value. Then, the processor programs one or more feature control registers to enable the one or more features specified by the key value. Accordingly, during normal operation of the system, the one or more features will be enabled.