Abstract:
A method, system, apparatus, article of manufacture, and computer readable storage medium provide the ability to reconstruct a pipe from point cloud data. Point cloud data is obtained. Primitive geometric shapes are detected in the point cloud data. A pipeline is determined by determining predecessor and successor primitive geometric shapes for each of the shapes. Diameters, coplanarity, and angles between the shapes are corrected. The shapes are connected and output.
Abstract:
The present invention relates to novel fluorinated dyes or colorants having high solubility and low viscosity in halogenated, especially fluorinated, solvents. The dyes or colorants of the present invention have shown to improve the performance of electrophoretic displays. The invention is particularly directed to a fluorinated porphyrin dye or colorant expressed by Formula (VII).
Abstract:
Disclosed are aspartic acid salts of 1-cyclopropyl-6-fluoro-7-(8-methoxyimino-2,6-diaza-spiro[3.4]oct-6-yl)-4-oxo-1,4-dihydro-[1,8]naphthyridine-3-carboxylic acid, methods for preparing the same, and antimicrobial pharmaceutical compositions comprising the same.
Abstract:
A communications system for providing a user's mobile station (MS) with an Internet Protocol (IP) connectivity, has an IP network gateway for allocating an IP address to the MS to enable it to access an IP network. First and second base stations are respectively configured to support communications of the MS over first and second radio access networks using different radio access technologies. A first access gateway provides an interface between the IP network gateway and the first radio access network, whereas a second access gateway provides an interface between the IP network gateway and the second radio access network. A handover interface is provided between the first access gateway and the second access gateway for enabling the MS to switch between the first and second radio access networks with minimum latency.
Abstract:
A high level language for Mathematical Programming modeling is provided within a low level general purpose object oriented programming language. Libraries can be provided with a standard low level language enabling the use of the high level programming semantics in the low level programming environment. Using the libraries, the user can easily build complex Mathematical Programming models by using high level constructs while still taking advantage of the runtime efficiency and general purpose computing offered by the low level language.In an embodiment, operator overloading of a low level language is used to build semantics of a high level language.
Abstract:
Disclosed herein is a liquid zoom lens. The liquid zoom lens comprises a cylindrical body including glass lenses respectively coupled at upper and lower openings to the body, an auto-focus lens part including a first liquid insulating layer and a first electrolyte layer stacked at a lower portion of the body to form an interface therebetween, and an optical zoom lens part including a second liquid insulating layer and a second electrolyte layer stacked on the first electrolyte layer to form an interface therebetween and a lens positioned in the second liquid insulating layer and fixed to the body with an outer peripheral surface of the lens closely contacting an inner peripheral surface of the body. The liquid zoom lens enables an auto-focus function and an optical zoom function to be performed simultaneously by means of a single liquid lens having a variable curvature.
Abstract:
A system and method for efficiently performing memory intensive computations including a bidirectional synchronization mechanism for maintaining consistency of data on which computations will be performed. This can be used to solve various problems such as those in a business context. Synchronization occurs in a near-real-time fashion between data in a database and data stored in memory. The synchronization is accomplished by periodically scanning the database to see if any data has changed. If any data has changed, the changes are copied over to memory so that the data in memory is current. This update is accomplished without copying the entire database into memory each time data in the database changes.
Abstract:
Formal verification definitions and semantics are disclosed for a model of a finite-state system, an assertion graph to express properties for verifiction, and satisfiability criteria for specification and automated verification of forward implication properties and backward justification properties. A method is disclosed to perform antecedent strengthening on antecedent labels of an assertion graph. A method is also disclosed to compute a simulation relation sequence ending with a simulation relation fixpoint, which can be compared to a consequence labeling for each edge of an assertion graph to verify implication properties and justification properties according to the formal semantics. A method is also disclosed to compute an implicit satisfiability of an assertion graph by a model from the simulation relation computed for the model and assertion graph abstractions. Other methods and techniques are also disclosed herein, which provide for fuller utilization of the claimed subject matter.
Abstract:
A mobile telephone system is provided with a new architecture for dealing with voice internet protocol traffic.Real time traffic from mobile stations (22) is routed by a public land mobile telephone network internet protocol core (20) directly to one of two media gateways (28,32) respectively serving a plain switched telecommunication network/integrated services digital network (26) and an internet protocol backbone (30) without passing through the usual general packet radio system (GPRS) specific gateway.
Abstract:
An architecture to support service features for wireless calls in a wireless telecommunication system is disclosed. Service feature administration for a wireless terminal is provided by a packet data feature server in a home network that is connected to a packet data network. During call setup on behalf of the wireless terminal, the feature server is accessed via the packet data network to manage service features that are specific to the wireless terminal.