Abstract: Assessing portability of source code based on predictions from a learning model trained with historical outputs from a portability analyzer. A request is received as input to assess portability of source code from a source environment to at least one target environment. The learning model is applied to the source code to predict a level of portability of the source code to the at least one target environment. Results from a portability analyzer that are based on the level of portability predicted by the learning model include a confidence measure associated with one or more portions of the source code indicating the ease of portability of the one or more portions of the source code to each of the at least one target environments.

Abstract: Assessing portability of source code based on predictions from a learning model trained with historical outputs from a portability analyzer. A request is received as input to assess portability of source code from a source environment to at least one target environment. The learning model is applied to the source code to predict a level of portability of the source code to the at least one target environment. Results from a portability analyzer that are based on the level of portability predicted by the learning model include a confidence measure associated with one or more portions of the source code indicating the ease of portability of the one or more portions of the source code to each of the at least one target environments.

Abstract: Techniques for cognitive annotation are provided. An electronic document including textual data is received. A plurality of importance scores are generated for a plurality of words included in the electronic document by processing the electronic document using a trained passage encoder. Important words are identified based on the plurality of importance scores. One or more clusters of words are generated, where each of the one or more clusters of words includes at least one of the plurality of important words. A representative word is selected for a first cluster, and the representative word is mapped to one or more concepts from a predefined list of concepts. The one or more concepts are disambiguated to identify a set of relevant concepts for the electronic document. An annotated version of the electronic document is generated based at least in part on the set of relevant concepts.

Abstract: Techniques for document analysis using machine learning are provided. A selection of an index is received document, and a plurality of documents that refer to the index document is identified. For each respective document in the plurality of documents, a respective portion of the respective document is extracted, where the respective portion refers to the index document, and a respective vector representation is generated for the respective portion. A plurality of groupings is generated for the plurality of documents based on how each of the plurality of documents relate to the index document, by processing the vector representations using a trained classifier. Finally, at least an indication of the plurality of groupings is provided, along with the index document.

Abstract: Embodiments generally relate to the generation of a domain-specific phrasal dictionary. In some embodiments, a method includes receiving text from a user, wherein the text includes unstructured text of a natural language. The method further includes parsing the text into text chunks. The method further includes sending the text chunks to the user. The method further includes receiving one or more phrase categories and one or more predetermined phrases from the user, wherein each predetermined phrase of the one or more predetermined phrases corresponds to at least one phrase category of the one or more phrase categories. The method further includes comparing the predetermined phrases with the text chunks. The method further includes assigning at least one phrase category of the one or more phrase categories to at least one text chunk. The method further includes sending at least one text chunk and the at least one phrase category that is assigned to the at least one text chunk to the user.

Abstract: Systems, methods, and computer-readable media are described for expanding test space coverage for testing performed on a System Under Test (SUT) through iterative test case generation from combinatoric pairwise outputs. At each test case generation iteration, a new set of test vectors is generated that provides complete pairwise coverage of the test space but that does not include any overlapping test vector with any previously generated set of test vectors. As such, cumulative m-wise test space coverage (where 2<m?n) is incrementally increased through each iteration until the iterative process ceases when a desired percentage of m-wise test space coverage is achieved.

Abstract: Systems, methods, and computer-readable media for identifying a champion test case that provides an increased likelihood of exposing a fault and expanding a set of test cases to include the champion test case are described. The fault may occur in a System Under Test (SUT), which may be a hardware system or a software system. A weight may be assigned to a champion test case that indicates the relative strength of the test case in detecting faults. The weight may be used to influence the selection of other test cases.

Abstract: A method includes defining functional coverage by a first test suite based on a first functional coverage model of a System Under Test (SUT). The first test suite includes a first plurality of tests. The first functional coverage model includes a first plurality of attributes. The first functional coverage model defines possible combinations of values of the first plurality of attributes. Functional coverage by a second test suite is defined based on a second functional coverage model which includes a second plurality of attributes. The second functional coverage model defines possible combinations of values of the second plurality of attributes. Subsets of the first and second plurality of attributes are determined. The subsets of attributes include exclusively common attributes between the first and the second plurality of attributes. A subset of the tests is selected. The selected subset is operative to cover the first and second subsets of the attributes.

Abstract: Systems, methods, and computer-readable media are described for performing fault detection and localization using Combinatorial Test Design (CTD) techniques and generating a regression bucket of test cases that expose a detected fault in a System Under Test (SUT). The SUT may be a hardware system or a software system. Further, the fault detection and localization may be performed while adhering to architectural restrictions on the SUT.

Abstract: Systems, methods, and computer-readable media are described for performing fault detection and localization using Combinatorial Test Design (CTD) techniques and generating a regression bucket of test cases that expose a detected fault in a System Under Test (SUT). The SUT may be a hardware system or a software system. Further, the fault detection and localization may be performed while adhering to architectural restrictions on the SUT.

Abstract: A method for visual hazard avoidance of a road hazard is provided. The visual hazard avoidance is implemented by an on-road projection system, which is integrated into a vehicle. The on-road projection system includes a projector and a computing device. The on-road projection system implements the method while the vehicle is in motion. The computing device causes the projector to generate a projection on a road as the vehicle is approaching the road hazard. Note that the projection identifies a tire path of the vehicle. The computing device also causes the projector to terminate the projection on the road once the road hazard in passed.

Abstract: Light obstruction can be detected using a light obstruction sensor. In one example implementation according to aspects of the present disclosure, a computer-implemented method includes receiving, by a light obstruction sensor, light being emitted by a light source, a light level being associated with the light, and the light source and the light obstruction sensor being disposed in a light assembly. The method further includes determining, by a processing device, whether the light level exceeds a first threshold. The method further includes, responsive to determining that the light level exceeds the first threshold, determining that the light being emitted by the light source is at least partially impaired by an object. The method further includes validating, by the processing device, the determination that the light source is at least partially impaired by the object to confirm whether the light source is at least partially impaired by the object.

Abstract: Techniques for cognitive corpora analysis are provided. Vector representations are generated by processing documents in a corpus using a passage encoder. One or more concepts are identified in the documents by processing the documents with the passage encoder, where the concepts are assigned respective importance scores by the passage encoder. Further, a selection of a document is received, and a sub-corpus of documents is generated by computing a similarity measure between the vector representation of the first document and the vector representation of at least one other document in the corpus. An overall importance score is generated for a first concept, with respect to the generated sub-corpus, by identifying a respective importance score of the first concept in at least two respective documents in the sub-corpus, and aggregating the respective importance scores. Finally, an indication of the generated overall importance score is provided.

Abstract: A target designator for a guided weapon is disclosed. The designator has a sight arranged to display, in operation, a reticule superimposed upon a field of view. The reticule is moveable within the field of view. The designator further comprises an eye tracker operable to track the gaze of the operator whilst the operator uses the sight. The eye tracker communicates with the sight such that the reticule moves so as to be aligned with the direction of the gaze of the operator.

Abstract: Memory management in a computer system is described. Memory is allocated within page-aligned real memory storage to requesting processes. During a normal operation mode, pages of the real memory storage are allocated in accordance with a buddy allocation algorithm. A triggering condition is detected. Responsive to the detection, at least one contiguous page-sized or smaller memory segment that violates the buddy allocation algorithm is allocated to a requesting process.

Abstract: Memory management in a computer system is described. Memory is allocated within page-aligned real memory storage to requesting processes. During a normal operation mode, pages of the real memory storage are allocated in accordance with a buddy allocation algorithm. A triggering condition is detected. Responsive to the detection, at least one contiguous page-sized or smaller memory segment that violates the buddy allocation algorithm is allocated to a requesting process.

Abstract: A method for forming an object includes rotating a first object forming device about a rotational axis at a first speed to apply a first force to the first object forming device. The first object forming device includes an additive manufacturing device.

Abstract: Memory management in a computer system is described. Memory is allocated within page-aligned real memory storage to requesting processes. During a normal operation mode, pages of the real memory storage are allocated in accordance with a buddy allocation algorithm. A triggering condition is detected. Responsive to the detection, at least one contiguous page-sized or smaller memory segment that violates the buddy allocation algorithm is allocated to a requesting process.

Abstract: A target designator for a guided weapon is disclosed. The designator has a sight arranged to display, in operation, a reticule superimposed upon a field of view. The reticule is moveable within the field of view. The designator further comprises an eye tracker operable to track the gaze of the operator whilst the operator uses the sight. The eye tracker communicates with the sight such that the reticule moves so as to be aligned with the direction of the gaze of the operator.