Abstract: Solutions for enforcing both syntactic and semantic correctness of domain-specific data queries include: receiving a data query; constraining an operation of the data query to enforce semantic correctness, wherein enforcing semantic correctness comprises: determining semantic information associated with each of a plurality of data entities; based on at least the semantic information, determining whether combining the two data entities of the plurality of data entities is allowed or is not allowed; based on at least determining that combining the two data entities is allowed, permitting combining the two data entities in the data query; and based on at least determining that combining the two data entities is not allowed, preventing combining the two data entities in the data query; and executing the data query. Some examples further include basing the permission on (at least) an ontology between the semantic information of the two data entities and a set of axioms.

Abstract: A prescription lens insert and methods of use are described, in which flexing a frame of a prescription lens insert, such that left and right rims of the frame are displaced mediolaterally, aligns respective larger ends of two keyhole apertures of the frame with left and right mushroom-shaped connector pegs protruding rearward from a pair of protective glasses. The prescription lens insert is then placed over the left and right connector pegs, such that distal heads of the connector pegs pass through the two keyhole apertures of the frame and the keyhole apertures are disposed adjacent shaft portions of the connector pegs. The frame of the prescription lens insert is then unflexed to align respective smaller ends of the two keyhole apertures with the left and right connector pegs, such that the distal heads prevent removal of the unflexed frame.

Abstract: A display may have a pixel array such as a liquid crystal pixel array. The pixel array may be illuminated with backlight illumination from a direct-lit backlight unit. The backlight unit may include an array of light-emitting diodes (LEDs) on a printed circuit board. The display may have a notch to accommodate an input-output component. Reflective layers may be included in the notch. The backlight may include a color conversion layer with a property that varies as a function of position. The light-emitting diodes may be covered by a slab of encapsulant with recesses in an upper surface.

Abstract: Techniques for generating a set of Deep Learning (DL) models are described. An example method includes training an initial set of DL models using the training data, wherein a topology of each of the DL models is determined based on the parameters vector. The method also includes generating a set of estimate performance functions for each of the DL models in the initial set based on the set of edge-related metrics, and generating a plurality of objective functions based on the set of estimated performance functions. The method also includes generating a final DL model set based on the objective functions, receiving a user selection of a selected DL model from the final DL model set, and deploying the selected DL model to an edge device.

Abstract: The present invention relates to a method of managing the power requirements of an off-grid assembly, and in particular a solar powered off-grid floodlight assembly, that has one or more functional components with electrical power demands that are met by energy storage means. In a first stage the method determines the current state of charge of the energy storage means and records such. This current state of charge determined is then compared with a calculated power requirement for operating said functional components for at least one required operating period. The level of power supplied by the energy storage means to the functional components is then managed in accordance with a power rationing model that comprises instructions to vary the power supplied over time to ensure at least partial functionality of the functional components throughout the required operating period or periods.

Abstract: A system can be used to process liquid materials, such as aqueous-based syrup solutions containing sugar molecules. In some examples, the system includes a processing vessel having multiple individually-controllable temperature zones arranged in series. In operation, an aqueous solution can be introduced into an inlet port of the processing vessel and passed sequentially through the series of temperature zones. Water from the aqueous solution can be evaporated within the initial stage(s) of the processing vessel to form a concentrated solution that is then cooled in subsequent stage(s). Accordingly, a supersaturated solution may be formed from the aqueous solution in the processing vessel that is then solidified to subsequently form a substantially dry solid material (e.g., sugar), still within the processing vessel. The substantially dry solid material can discharge through an exit port of the processing vessel.

Abstract: Systems, methods, and software can be used to verify a certificate. In some aspects, a request to connect to a Virtual Private Network (VPN) server is received from an application on a mobile device. A certificate of the VPN server is obtained at the mobile device. A device-level certificate verification for the certificate is performed. Whether an application-level certificate verification is provisioned for the application is determined. In response to determining that the application-level certification verification is provisioned, the application-level certificate verification for the certificate is performed. In response to verifying that the certificate passes the application-level certificate verification, the mobile device is connected to the VPN server.

Abstract: A system can be used to process liquid materials, such as aqueous-based syrup solutions containing sugar molecules. In some examples, the system includes a processing vessel having multiple individually-controllable temperature zones arranged in series. In operation, an aqueous solution can be introduced into an inlet port of the processing vessel and passed sequentially through the series of temperature zones. Water from the aqueous solution can be evaporated within the initial stage(s) of the processing vessel to form a concentrated solution that is then cooled in subsequent stage(s). Accordingly, a supersaturated solution may be formed from the aqueous solution in the processing vessel that is then solidified to subsequently form a substantially dry solid material (e.g., sugar), still within the processing vessel. The substantially dry solid material can discharge through an exit port of the processing vessel.

Abstract: For directing voice input based on eye tracking, a method is disclosed that includes receiving, by use of a processor, an audio signal, the audio signal comprising voice input, selecting a location from the group consisting of a computing device and an application being displayed on a screen of the computing device, the location being detected where a user's eyes are directed, and directing the voice input to the selected location.

Abstract: For appending a user identifier to an image, code records a user identity input from an input device in response to a principle camera recording a principle image. In addition, the code generates a user identifier from the user identity input. The code further appends the user identifier to the principle image.

Abstract: Systems, methods, and software can be used to verify a certificate. In some aspects, a request to connect to a Virtual Private Network (VPN) server is received from an application on a mobile device. A certificate of the VPN server is obtained at the mobile device. A device-level certificate verification for the certificate is performed. Whether an application-level certificate verification is provisioned for the application is determined. In response to determining that the application-level certification verification is provisioned, the application-level certificate verification for the certificate is performed. In response to verifying that the certificate passes the application-level certificate verification, the mobile device is connected to the VPN server.

Abstract: One embodiment provides a method, including: receiving, via a sensor, data associated with a vehicle operator; determining, using a processor, a view of the vehicle operator based on the received data; associating the view with a characteristic of a collision avoidance system; and thereafter modifying the characteristic of the collision avoidance system. Other embodiments are described and claimed herein.

Abstract: In one aspect, a device includes a processor and a memory accessible to the processor. The memory bears instructions executable by the processor to determine that a portion of audio has been skipped a threshold number of times, and in response to the determination that the portion of the audio has been skipped the threshold number of times, skip the portion without input from a user to skip the portion upon a subsequent presentation of the audio.

Abstract: For appending a user identifier to an image, code records a user identity input from an input device in response to a principle camera recording a principle image. In addition, the code generates a user identifier from the user identity input. The code further appends the user identifier to the principle image.

Abstract: A system may include a main housing including at least one control unit and a display screen, and an input interface support stand including an input interface integrally connected to a stabilizer. The input support stand is movably secured to the main housing and movable between a retracted position in which the input interface support stand is securely retracted in relation to the main housing, and a supporting position in which the input interface support stand supports the main housing in a supported operative orientation.

Abstract: In one aspect, a device includes a processor and a memory accessible to the processor. The memory bears instructions executable by the processor to determine that a portion of audio has been skipped a threshold number of times, and in response to the determination that the portion of the audio has been skipped the threshold number of times, skip the portion without input from a user to skip the portion upon a subsequent presentation of the audio.

Abstract: A method and a mobile device having a plurality of modes of operation, the method associating each connection interface on the mobile device with one of a plurality of modes; and restricting access to a profile for each connection interface on the mobile device to only a subset of applications based on the mode associated with the profile.

Abstract: For rapid notification login, code displays a process proxy and a swipe input geometry adjacent to the process proxy on a touch screen display. In addition, the code activates a process associated with the process proxy in response to a continuous swipe over the process proxy and a preset geometry on the swipe input geometry on the touch screen display.

Abstract: One embodiment provides a method, including: receiving, via a sensor, data associated with a vehicle operator; determining, using a processor, a view of the vehicle operator based on the received data; associating the view with a characteristic of a collision avoidance system; and thereafter modifying the characteristic of the collision avoidance system. Other embodiments are described and claimed herein.

Abstract: One embodiment provides a method, comprising: sending, using a processor, an event having a specified time; receiving, using a processor, an acceptance of the event; and receiving, using a processor, location data of a user that accepted the event; wherein the location data is received for a predetermined time frame associated with the specified time of the event. Other embodiments are described and claimed herein.