Abstract:
A method performed by a wireless node including receiving charging policies for data offloading; performing data offloading with respect to a user data flow; generating charging information associated with data offloading based on the charging policies; and sending the charging information to at least one of an on-line charging function or an off-line charging function.
Abstract:
A method may include obtaining traffic loading and resource utilization information associated with a network for the network time domain; obtaining machine-to-machine resource requirements for machine-to-machine tasks using the network; receiving a target resource utilization value indicative of a network resource limit for the network time domain; calculating a probability for assigning each machine-to-machine task to the network time domain, wherein the probability is based on a difference between the target resource utilization value and the traffic loading and resource utilization associated with the network; calculating a probability density function based on an independent and identically distributed random variable; generating a schedule of execution of the machine-to-machine tasks within the network time domain based on the probabilities associated with the machine-to-machine tasks and the probability density function; and providing the schedule of execution of the machine-to-machine tasks.
Abstract:
A method includes receiving, by an Internet Protocol (IP) anchor point, a session request to a network originating from a user equipment (UE); assigning an IP address to the UE; determining whether a reverse IP address registration is permitted to a first network device, wherein the reverse IP address registration permits a media flow associated with the IP address and the UE to omit traversing the IP anchor point; and assigning an ownership of the IP address to the first network device when reverse IP address registration is permitted.
Abstract:
Disclosed is a method for a femtocell to reduce interference with an overlapping macrocell. The femtocell determines soft-frequency-reuse (“SFR”) information of the macrocell. From that information, the femtocell determines which frequency sub-channels are assigned by the macrocell for its cell-center users and which frequency sub-channels are assigned for cell-edge users. (Cell-edge users are given a higher transmission power profile in order to overcome potential interference with neighboring macrocells.) Then, the femtocell selects from the cell-center user frequency sub-channels for transmission to the femtocell's users. By transmitting on the cell-center user frequency sub-channels, the femtocell reduces interference with the overlapping macrocell. The femtocell continues to update its knowledge of the macrocell's SFR information and re-assigns frequency sub-channels as the SFR changes. If the macrocell detects that one of its cell-center users is “close enough” to the femtocell, then the macrocell re-assigns the cell-center user as a cell-edge user to overcome interference.
Abstract:
This 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 improve the performance of electrophoretic displays.
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:
A liquid zoom lens mounted on a portable terminal is provided. In the liquid zoom lens, a cylindrical body has upper and lower openings to which one pair of lenses is coupled. An auto-focus lens part includes a first insulating liquid layer, a first electrolyte layer, and a first lens. The first insulating layer and the first electrolyte layer are disposed to form an interface at a lower portion of the body. The first lens is disposed on the first electrolyte layer and has a periphery closely attached to a lower portion of an inner periphery of the body. An optical zoom lens part includes a second insulating liquid layer, a second electrolyte layer, and a second lens. The second insulating liquid layer and the second electrolyte layer are disposed to form an interface on the first lens. The second lens is fixed to be movable within the second insulating liquid layer, such that a periphery is closely attached to the inner periphery of the body. Accordingly, the auto-focus function and the optical zoom function can be simultaneously achieved through a single liquid lens whose curvature is varied by the difference of the inherent refractive index between the electrolyte and the insulating liquid.
Abstract:
This 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 improve the performance of electrophoretic displays.
Abstract:
A real time data transmission method is used in a network in which a real time media gateway is provided to allow access to the internet backbone in addition to the usual GPRS specific gateway. The method involves changing the header in a real time data stream as it passes through the network so that it can pass directly to the real time gateway without passing through the GPRS specific gateway. This ensures that the data stream travels along a more direct route and shortens the headers used in the data stream in the process.
Abstract:
Methods for formal verification of circuits and other finite-state systems may improve efficiency and capacity of popular binary decision diagram (BDD) based algorithms. A lazy pre-image computation method builds new transition relation partitions on-demand only for relevant next internal variables of a state predicate, and conjoins only next state relations for relevant next internal variables to a pre-image including the state predicate. A lazy backward reachability analysis method makes iterative use of the lazy pre-image computation method to compute the set of states reachable to a given set of states in zero or more transitions. A lazy equivalence checking method makes iterative use of the lazy pre-image computation method to compute conditions that necessarily must be satisfied to disprove equivalence. These methods may provide for symbolic model checking of circuits and other finite state systems previously too large to be completed successfully using BDD based algorithms.