Abstract: A learning support device stores, as execution information, a set of an input value, an execution output value as an execution result and an expected output value, for a machine learning program. An arithmetic device generates an output value different from the expected output value as a teacher output value in accordance with a predetermined rule when the execution output value and the expected output value for a predetermined input value match each other, generates a loss function based on a difference between the teacher output value and the execution output value, generates a change value indicating a change in the loss function for each parameter in the neural network, calculates an influence degree of predetermined learning by calculating influence of an update value of the parameter obtained by the learning on the change value, and determines whether or not the update value is adopted based on the influence degree.

Abstract: An air breather chamber structure includes: a first breather chamber provided to a housing receiving a transmission; and a second breather chamber provided to an upper portion of the housing in a gravity direction, the first introduction hole being positioned on the first side of the imaginary surface, the second introduction hole being positioned on the second side of the imaginary surface, the atmosphere communication hole being positioned on the first side of the imaginary surface, the discharge hole being positioned on the second side of the imaginary surface, the first introduction hole and the discharge hole being positioned below the second introduction hole in the gravity direction, and the atmosphere communication hole being positioned above the second introduction hole in the gravity direction.

Abstract: The boundary search test support device includes: a storage device that holds a plurality of input vectors; and an arithmetic device that executes a test by sequentially inputting the input vectors to a program generated by a neural network and acquiring output vectors which are test results, respectively generates, in a coordinate system which takes each of a predetermined plurality of elements among elements constituting the output vectors as a coordinate axis, a straight line in which the plurality of elements has a same value and a hyperplane in which a sum of values of the plurality of elements is taken as a predetermined value, and arranges a most antagonistic point and boundary vectors whose values of the elements rank higher than or equal to a predetermined ranking among the output vectors in the coordinate system, and outputs the coordinate system together with input vectors corresponding to the boundary vectors.

Abstract: Example apparatus and methods related to automated diagnostic analyzers having rear accessible track systems are described herein. An example apparatus disclosed herein includes an analyzer to perform a diagnostic test. The analyzer has a first side and a second side opposite the first side. The example apparatus includes a loading bay disposed on the first side of the analyzer to receive a first carrier and a pipetting mechanism coupled to the analyzer adjacent the second side. The example apparatus also includes a first carrier shuttle to transport the first carrier from a first location adjacent the loading bay to a second location adjacent the pipetting mechanism and a track disposed adjacent the second side of the analyzer to transfer a second carrier to a third location adjacent the pipetting mechanism.

Abstract: A coverage test support device includes a memory device that stores a test case and specification content of each of a plurality of coverage indexes, and an arithmetic device that sequentially gives a test input value of each pair in the test case to a program created by a neural network, executes a predetermined number of tests, and acquires a test result of the tests and neuron information at the time of test execution, applies the acquired neuron information to the specification content of each coverage indexes and calculates a value for each coverage index, and identifies, among the coverage indexes, a coverage index in which an elongation rate of the calculated value shows a predetermined tendency, as a preferential coverage index that is to be used preferentially, when either the number of executions of the tests or the number of bugs in the test result exceeds a predetermined standard.

Abstract: Example automated diagnostic analyzers and methods for using the same are disclosed herein. An example apparatus described herein includes a first carousel rotatably coupled to a base and having a first axis of rotation. The example apparatus includes a second carousel rotatably coupled to the base and vertically spaced over the first carousel such that at least a portion of the second carousel is disposed over the first carousel. In the example apparatus, the second carousel has a second axis of rotation and a plurality of vessels. The example apparatus also includes a pipetting mechanism offset from the second axis of rotation. The example pipetting mechanism is to access the first carousel and the second carousel.

Abstract: A method is provided for reducing memory consumption by a rule engine. The method includes receiving attack trees, each having nodes and edges. Each node represents a security event and is associated with a detection rule for detecting an occurrence thereof. Each edge connects a respective node pair. The method includes assigning a watchpoint to each leaf node. The method includes moving the watchpoint assigned to any leaf node to a next upstream node, responsive to detecting an occurrence of the security event represented by the leaf node. The method includes erasing the watchpoint assigned to all downstream nodes relative to the next upstream node, responsive to the next upstream node being connected to a next downstream node using an edge having an “OR” join type. Only the rules for nodes currently having the watchpoint assigned are loaded into a memory device during runtime, while excluding rules for remaining nodes.

Abstract: Software test equipment including a data conversion unit receives test input data to convert the test input data into software input data to be provided to software and model input data, a software execution unit receives the software input data, executes the test target software based on the software input data, and outputs an execution result, a model execution unit receives a reference model for the software to generate a model allowable output value range of the execution result obtained by executing the software, based on the model input data and the reference model, a difference analysis unit generates difference information based on the execution result output by the software execution unit and the model allowable output value range generated by the model execution unit, and an evaluation unit receives evaluation criteria and evaluates the behavior of the software based on the difference information and the evaluation criteria.

Abstract: Example apparatus and methods related to automated diagnostic analyzers having rear accessible track systems. An example apparatus disclosed herein includes an analyzer to perform a diagnostic test, the analyzer having a first side and a second side opposite the first side. The example apparatus includes a loading bay disposed on the first side of the analyzer to receive a first carrier and a pipetting mechanism coupled to the analyzer adjacent the second side. The example apparatus also includes a first carrier shuttle to transport the first carrier from a first location adjacent the loading bay to a second location adjacent the pipetting mechanism and a track disposed adjacent the second side of the analyzer to transfer a second carrier to a third location adjacent the pipetting mechanism.

Abstract: A computer-implemented method, a computer program product, and a computer system for transformation of security information and event management (SIEM) rules and deploying the SIEM rules in a network of event processors. A computer system or server converts the SIEM rules to formal representations. The computer system or server generates rule abstraction of the formal representations, by using an abstraction function. The computer system or server constructs a finite automaton based on the rule abstraction. The computer system or server eliminates irrelevant transitions in the finite automaton to generate an optimized finite automaton. The computer system or server generates optimized formal rules, based on the optimized finite automaton. The computer system or server converts the optimized formal rules to optimized SIEM rules. The computer or server deploys the optimized SIEM rules in the network of the event processors.

Abstract: Example automated diagnostic analyzers and methods for using the same are disclosed herein. An example apparatus described herein includes a first carousel rotatably coupled to a base and having a first axis of rotation. The example apparatus includes a second carousel rotatably coupled to the base and vertically spaced over the first carousel such that at least a portion of the second carousel is disposed over the first carousel. In the example apparatus, the second carousel has a second axis of rotation and a plurality of vessels. The example apparatus also includes a pipetting mechanism offset from the second axis of rotation. The example pipetting mechanism is to access the first carousel and the second carousel.

Abstract: A computer-implemented method for transformation of security information and event management (SIEM) rules and deploying the SIEM rules in a network of event processors. A computer system or server converts the SIEM rules to formal representations. The computer system or server generates rule abstraction of the formal representations, by using an abstraction function. The computer system or server constructs a finite automaton based on the rule abstraction. The computer system or server eliminates irrelevant transitions in the finite automaton to generate an optimized finite automaton. The computer system or server generates optimized formal rules, based on the optimized finite automaton. The computer system or server converts the optimized formal rules to optimized SIEM rules. The computer or server deploys the optimized SIEM rules in the network of the event processors.

Abstract: To enable visual verification of the suitability of work items that has been recorded, with an application created in accordance with a document centric architecture. The present invention includes: extracting, from a design, a document state that will become a trigger for work activity start and a document state for the result, and, based on matching the triggers and results, diagramming through automatically structuring a flow for the plurality of activities. Specifically, design documents are analyzed and implementations for each activity support system, and extracted the collection of documents that have become the conditions for document states that will become triggers for work start, as well as the document states that will remain as work results.

Abstract: A gateway apparatus including a first inter-device interface configured to communicate with a monitoring apparatus; a second inter-device interface configured to communicate with a plurality of base station apparatuses that are subordinate; and a processor configured to generate second configuration information by a protocol conversion of converting first configuration information to a format compatible with the second inter-device interface, when the first configuration information is received from the monitoring apparatus through the first inter-device interface, the processor further configured to transmit the generated second configuration information to the plurality of base station apparatuses through the second inter-device interface.

Abstract: A gateway apparatus including a first inter-device interface configured to communicate with a monitoring apparatus; a second inter-device interface configured to communicate with a plurality of base station apparatuses that are subordinate; and a processor configured to generate second configuration information by a protocol conversion of converting first configuration information to a format compatible with the second inter-device interface, when the first configuration information is received from the monitoring apparatus through the first inter-device interface, the processor further configured to transmit the generated second configuration information to the plurality of base station apparatuses through the second inter-device interface.

Abstract: Example automated diagnostic analyzers and methods for using the same are disclosed herein. An example apparatus described herein includes a first carousel rotatably coupled to a base and having a first axis of rotation. The example apparatus includes a second carousel rotatably coupled to the base and vertically spaced over the first carousel such that at least a portion of the second carousel is disposed over the first carousel. In the example apparatus, the second carousel has a second axis of rotation and a plurality of vessels. The example apparatus also includes a pipetting mechanism offset from the second axis of rotation. The example pipetting mechanism is to access the first carousel and the second carousel.

Abstract: Example apparatus and methods related to automated diagnostic analyzers having rear accessible track systems. An example apparatus disclosed herein includes an analyzer to perform a diagnostic test, the analyzer having a first side and a second side opposite the first side. The example apparatus includes a loading bay disposed on the first side of the analyzer to receive a first carrier and a pipetting mechanism coupled to the analyzer adjacent the second side. The example apparatus also includes a first carrier shuttle to transport the first carrier from a first location adjacent the loading bay to a second location adjacent the pipetting mechanism and a track disposed adjacent the second side of the analyzer to transfer a second carrier to a third location adjacent the pipetting mechanism.

Abstract: Example automated diagnostic analyzers and methods for using the same are disclosed herein. An example apparatus described herein includes a first carousel rotatably coupled to a base and having a first axis of rotation. The example apparatus includes a second carousel rotatably coupled to the base and vertically spaced over the first carousel such that at least a portion of the second carousel is disposed over the first carousel. In the example apparatus, the second carousel has a second axis of rotation and a plurality of vessels. The example apparatus also includes a pipetting mechanism offset from the second axis of rotation. The example pipetting mechanism is to access the first carousel and the second carousel.

Abstract: This device and method use the complex impedance of a rechargeable battery to detect the state of the rechargeable battery. A computer determines the slope of the complex impedance at least two different frequencies in a diffusion region of the rechargeable battery when a straight-line approximation has been made, and compares the slope with a threshold value. If the slope is greater than or equal to the threshold value, the computer determines that the battery has a normal capacity balance, and if the slope is less than the threshold value, the computer determines that the battery has an abnormal unbalanced capacity. Furthermore, if the magnitude of an imaginary axis component of the complex impedance in the diffusion region of the rechargeable battery is greater than the threshold battery, the computer determines that the battery has an abnormal capacity balance, and if said magnitude is less than or equal to the threshold value, the computer determines that the battery has a normal capacity balance.

Abstract: Example apparatus and methods related to automated diagnostic analyzers having rear accessible track systems. An example apparatus disclosed herein includes an analyzer to perform a diagnostic test, the analyzer having a first side and a second side opposite the first side. The example apparatus includes a loading bay disposed on the first side of the analyzer to receive a first carrier and a pipetting mechanism coupled to the analyzer adjacent the second side. The example apparatus also includes a first carrier shuttle to transport the first carrier from a first location adjacent the loading bay to a second location adjacent the pipetting mechanism and a track disposed adjacent the second side of the analyzer to transfer a second carrier to a third location adjacent the pipetting mechanism.