Abstract: A system and method are disclosed to efficiently utilize the satellite bandwidth consumed by an air to ground service application that collects data for support and analysis of an on-wing Line Replacement Unit (LRU). The method statistically analyzes the data rates for air to ground traffic and dynamically modifies established bandwidth caps to minimize the available bandwidth needed for groundside reporting. In addition, the system and method comprise a framework to forecast the health of network connectivity. This system adeptly identifies and predicts faults or events in the avionics communication system during flights. Additionally, it leverages the forecasted network performance to implement actions that enhance the overall user experience.

Abstract: In one embodiment, one or more computing systems may determine a first set of bins that collectively cover a pre-determined numerical range with each bin covering a sub-range of the pre-determined range. The system may determine a second set of bins that collectively cover the pre-determined range with each covers a different but overlapping sub-range with respect to a corresponding bin in the first bin set. The system may access a value that falls within the pre-determined range. The system may determine that the value falls within a first bin of the first bin set and a second bin of the second bin set. The system may determine a positive value for each the first and second bins. The positive values indicate an association level of the value with the first and second bins. The system may determine a representation of the value based on the positive values.

Abstract: A machine learning model predicts the hardness of unsolved properties. For example, the machine learning model may predict the relative hardness of pairs of properties—i.e., which property in the pair is harder to solve. These hardness predictions may then be used to formulate a priority order for a formal verification process to attempt to solve the unsolved properties. As the formal verification process progresses, it generates results. For example, certain properties may be solved. These results are used to update a training set, which is used to further train the machine learning model. The machine learning model is trained at runtime with incremental fine-tuning as the formal verification process progresses.

Abstract: A method protects a daemon in an operating system of a host computer. The operating system detects that there is an access of a plist file of a daemon by a process in the computer. If so, then it executes a callback function registered for the plist file. The callback function sends to a kernel extension a notification of the attempted access. The kernel extension returns a value to the operating system indicating that the access should be denied. The operating system denies access to the plist file of the daemon by the process. The extension may also notify an application which prompts the user for instruction. The kernel extension also protects itself by executing its exit function when a command is given to unload the extension, and the exit function determines whether or not the command is invoked by an authorized application, such as by checking a flag.

Abstract: A method protects a daemon in an operating system of a host computer. The operating system detects that there is an access of a plist file of a daemon by a process in the computer. If so, then it executes a callback function registered for the plist file. The callback function sends to a kernel extension a notification of the attempted access. The kernel extension returns a value to the operating system indicating that the access should be denied. The operating system denies access to the plist file of the daemon by the process. The extension may also notify an application which prompts the user for instruction. The kernel extension also protects itself by executing its exit function when a command is given to unload the extension, and the exit function determines whether or not the command is invoked by an authorized application, such as by checking a flag.

Abstract: A method and system for providing artifacts in a cloud computing environment. In an embodiment, a method includes generating an executable file associated with an artifact to be deployed on a cloud computing system. The method includes creating a directory entry associated with the artifact in an artifact repository. The method includes generating an association between the executable file associated with the artifact and the directory entry associated with the artifact. The method includes generating association between a template associated with the artifact and the directory entry associated with the artifact. The method includes generating an artifact package including the executable file and the template associated with the artifact. The method includes publishing the artifact package associated with the artifact in an application marketplace using the directory entry.

Abstract: Interprocess communication between processes that run on a host operating system of a computer is performed by way of a protected temporary file. File access operation on the temporary file is hooked to detect writing to the temporary file. When a process writes a message to the temporary file, a verification is performed to determine whether or not the process is authorized to access the temporary file. When the process is authorized to access the temporary file, the process is allowed to write the message to the temporary file. This allows another process that is intended to receive the message to read the message from the temporary file and act on the message. Otherwise, when the process is not authorized to access the temporary file, the process is blocked from writing the message to the temporary file.

Abstract: Methods and systems are provided for processing speech inputs for a controlling one or more vehicle systems of a vehicle. In one embodiment, a method includes: receiving speech input from an audio channel; performing, by a processor, speech recognition on the speech input to obtain recognized results; determining, by a processor, an accuracy level of the audio channel based on a comparison of the recognized results and predictive phraseology; determining, by a processor, an integrity level of the audio channel based on situational awareness information; communicating the recognized results, accuracy level, and the integrity level to a vehicle system; and selectively using the recognized results by the vehicle system based on the accuracy level and the integrity level.

Abstract: A system and method for combining endorsements in related webpages, the method including receiving an indication of an endorsement at a first webpage, incrementing a primary count of the first webpage in response to receiving the indication, determining if the first page is related to one or more other webpages, identifying the one or more other webpages related to the first page, if it is determined that the first page is related to one or more other webpages, incrementing a secondary count of the first webpage and the one or more other webpages if it is determined that the first page is related to one or more other webpages in response to receiving the indication and providing the secondary count for display at the one or more of the first webpage or the one or more other webpages.

Abstract: Methods and systems are provided for processing speech inputs for a controlling one or more vehicle systems of a vehicle. In one embodiment, a method includes: receiving speech input from an audio channel; performing, by a processor, speech recognition on the speech input to obtain recognized results; determining, by a processor, an accuracy level of the audio channel based on a comparison of the recognized results and predictive phraseology; determining, by a processor, an integrity level of the audio channel based on situational awareness information; communicating the recognized results, accuracy level, and the integrity level to a vehicle system; and selectively using the recognized results by the vehicle system based on the accuracy level and the integrity level.

Abstract: A system and machine-implemented method for displaying social presence information associated with content, the method including identifying content being provided for display, determining an entity associated with the content, determining one or more social presence scores for the content based on social activity at one or more pages belonging to the entity at one or more social networking services, the social presence score being determined based on one or more indications of the quantity or quality of the social activity, determining, based on at least one score of the one or more social presence scores, whether the content should be annotated with social presence information regarding the social activity and providing the content and social presence information for display if it is determined that the content should be annotated with social presence information.

Abstract: A method for detecting noncompliance with aviation regulations and operating procedures is disclosed herein. The method analyzes communication associated with a host aircraft to identify key information, stores the identified key information in a data storage device, and determines whether a particular aviation regulation or operating procedure applies to the host aircraft. After determining that a regulation or operating procedure applies, the stored key information is compared against reference information maintained in a database in association with the regulation or operating procedure. An alert is generated when the comparing detects a discrepancy between the stored key information and the reference information.

Abstract: A method for detecting noncompliance with aviation regulations and operating procedures is disclosed herein. The method analyzes communication associated with a host aircraft to identify key information, stores the identified key information in a data storage device, and determines whether a particular aviation regulation or operating procedure applies to the host aircraft. After determining that a regulation or operating procedure applies, the stored key information is compared against reference information maintained in a database in association with the regulation or operating procedure. An alert is generated when the comparing detects a discrepancy between the stored key information and the reference information.

Abstract: Methods and systems for providing content for display including receiving a first content item, receiving a second content item, automatically annotating the first content item and the second content item with an entity, comparing the entity annotation of the first content item and the entity annotation of the second content item, and, based on the comparison, displaying the annotated first content item with the second content item to a user.