Abstract: Aspects of the present invention provide a solution for compiling data. In an embodiment, an input query is received in a first language. The input query is translated to a nested relational algebra (NRA) in the form of a first intermediate representation (IR), wherein the first IR comprises a high-level functional language including algebraic operators. A set of algorithms of the algebraic operators is implemented to compile at least some of the first IR into a second IR, wherein the second IR comprises a data-flow language. At least one of the first IR and the second IR is compiled into a low-level code.

Abstract: A probe for an optoacoustic imaging device has an irradiator and a detector. The irradiator includes a light-emitting semiconductor element light source that irradiates a tested object with light. The detector detects an optoacoustic wave generated in the tested object as a result. The irradiator is removably fitted to the detector.

Abstract: An optoacoustic imaging device has a light source module which irradiates a tested object with light, a light source driver which drives and controls the light source module, a detector which detects an optoacoustic wave generated inside the tested object as a result of the tested object being irradiated with the light, an image generator which generates still image information based on a detection signal from the detector, and an acquirer which acquires an organ pulsation signal. The organ pulsation signal is used as a trigger to make the light source driver drive the light source module and to make the image generator generate the still image information.

Abstract: Aspects of the present invention provide a solution for compiling data in a plurality of modes. In an embodiment, at least one optimal mode is specified for each of a set of program language constructs and each of a set of language primitives in a first language. A set of optimal mode code is generated in the at least one mode in a second language. A set of bridge code is generated. A set of additional mode code is generated in a plurality of other modes in the second language, wherein the generating utilizes the bridge code. The generated optimal mode code and additional mode code is compiled.

Abstract: Aspects of the present invention provide a solution for compiling data. In an embodiment, an input query is received in a first language. The input query is translated to a nested relational algebra (NRA) in the form of a first intermediate representation (IR), wherein the first IR comprises a high-level functional language including algebraic operators. A set of algorithms of the algebraic operators is implemented to compile at least some of the first IR into a second IR, wherein the second IR comprises a data-flow language. At least one of the first IR and the second IR is compiled into a low-level code.

Abstract: An ultrasonic diagnostic apparatus is provided. The ultrasonic diagnostic apparatus includes a display controller configured to cause an image to be displayed, wherein the image is generated using a map that includes two or more parameters as axes, the two or more parameters selected from inflow parameters each indicative of a state of inflow of a contrast agent administered to a subject and outflow parameters each indicative of a state of outflow of the contrast agent.

Abstract: A test case is generated by receiving software specification, generating a test case including a test input value for particular software from the software specification, as well as an expected output value expected to be obtained as an output value when the software is executed by inputting the test input value, and checking whether a value that can be output in the software specification is included in the expected output value. As a result of the check, if it is determined that the output value that can be output in the software specification is not included in the expected output value, a test case including the value that can be output in the software specification as well as a corresponding test input value is generated and added to the test case that has been generated.

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: 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 holding unit pivotally holds a plurality of reagent bottles which store reagents. A reagent case houses the holding unit and has an edge higher than at least the housed holding unit. The reagent cover is a cover for closing the reagent case. A cooling unit is mounted on one outer surface of the reagent case and cools air in the reagent case closed by the reagent cover through one outer surface. A circulating unit is mounted on the holding portion and circulates the cooled air in the reagent case closed by the reagent cover.

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: A method for dispensing a sample solution and a reagent into a container in a chemical analyzer includes a first step of dispensing a reagent into a container, a second step of dispensing a sample solution into the container after the first step, and a third step of dispensing the reagent into the container after the second step. A dilution cup includes an inner face where a diameter of a horizontal section increases on at least one position from a bottom to a top, an opening portion surrounding an opening, where a sample solution is dispensed, located on or near the top, a reagent aperture portion surrounding an aperture where a reagent is dispensed such that the sample solution and the reagent create an upswing spiral flow, and a drain aperture portion surrounding a drain aperture, where a mixed solution of the sample solution and the reagent is discharged, located on or near the bottom.

Abstract: An ultrasonic diagnostic apparatus is provided. The ultrasonic diagnostic apparatus includes a display controller configured to cause an image to be displayed, wherein the image is generated using a map that includes two or more parameters as axes, the two or more parameters selected from inflow parameters each indicative of a state of inflow of a contrast agent administered to a subject and outflow parameters each indicative of a state of outflow of the contrast agent.

Abstract: The reliability of a composite service having service components is determined, where the composite service can fail only where underlying resources fail. The composite service is represented as a plurality of continuous-time Markov chains (CTMC's). Each CTMC corresponds to a resource. A product of the CTMC's is constructed. The product encompasses composite service states. Steady-state probabilities for the product are determined. Each steady-state probability corresponds to a likelihood that a corresponding state will be a steady state. For each state of the composite service, a reward structure is determined. The reward structure corresponds to a likelihood that the state will successfully use the resources without failure. The reward structure is determined for a given state based on the given state's steady-state probability and based on discrete-time Markov chains (DTMC's) corresponding to the service components.

Abstract: A rechargeable battery exchanging method which exchanges rechargeable batteries of an assembled battery to rebuild new assembled battery. The method includes discharging a rechargeable battery derived from an assembled battery until the rechargeable battery becomes a fully discharged state and storing the rechargeable battery in a storage region for a predetermined period of time or longer from when the rechargeable battery becomes the fully discharged state to prepare a reusable rechargeable battery. The method further includes rebuilding a regenerated assembled battery by combining the stored reusable rechargeable battery with a stored reusable rechargeable battery derived from other assembled batteries or combining the stored reusable rechargeable battery with a fresh rechargeable battery.

Abstract: The reliability of a composite service having service components is determined, where the composite service can fail only where underlying resources fail. The composite service is represented as a plurality of continuous-time Markov chains (CTMC's). Each CTMC corresponds to a resource. A product of the CTMC's is constructed. The product encompasses composite service states. Steady-state probabilities for the product are determined. Each steady-state probability corresponds to a likelihood that a corresponding state will be a steady state. For each state of the composite service, a reward structure is determined. The reward structure corresponds to a likelihood that the state will successfully use the resources without failure. The reward structure is determined for a given state based on the given state's steady-state probability and based on discrete-time Markov chains (DTMC's) corresponding to the service components.

Abstract: The reliability of a composite service having service components is determined, where the composite service can fail only where underlying resources fail. The composite service is represented as a plurality of continuous-time Markov chains (CTMC's). Each CTMC corresponds to a resource. A product of the CTMC's is constructed. The product encompasses composite service states. Steady-state probabilities for the product are determined. Each steady-state probability corresponds to a likelihood that a corresponding state will be a steady state. For each state of the composite service, a reward structure is determined. The reward structure corresponds to a likelihood that the state will successfully use the resources without failure. The reward structure is determined for a given state based on the given state's steady-state probability and based on discrete-time Markov chains (DTMC's) corresponding to the service components.

Abstract: A business process analysis method, system, and program. The technique includes processing to simplify a log, processing to refine a regular grammar on the basis of the simplified log, and processing to generate a workflow on the basis of the resultant refined regular grammar, each processing being performed through computer processing. The processing includes steps of creating a work graph on the basis of a work log, using the work graph to simplify the work log by deleting redundancies, reading a set of constraints, providing a regular expression, changing the regular expression by applying the set of constraints to it, applying the changed regular expression to the simplified log, and determining if the changed regular expression is appropriate for the simplified log.

Abstract: An apparatus for accurately estimating the SOC of a rechargeable battery installed in a hybrid electric vehicle. A voltage variation measurement unit measures terminal voltage variation amount of the rechargeable battery in a no-battery-current state in which a charge-discharge current does not flow in the rechargeable battery. A polarization voltage calculator calculates a polarization voltage from the measured variation amount. An electromotive force calculator subtracts the polarization voltage from a non-load voltage in a state in which a charge-discharge path is open to calculate the electromotive force of the rechargeable battery. An SOC estimator estimates the SOC of the rechargeable battery based on the electromotive force.