Patent application number | Description | Published |
20090327925 | USER INTERFACE LOCALIZATION CONFLICT INDICATION - A method for indicating localization conflicts. The method includes receiving information about a first graphical user interface element and receiving information about a second graphical user interface element. Localization data associated with the first graphical user interface element and the second graphical user interface element is accessed. A determination is made as to if there is a conflict between the first graphical user interface element and the second graphical user interface element. An indication of the results of the determining of whether there is a conflict between the first graphical user interface element and the second graphical user interface element is displayed. | 12-31-2009 |
20120072411 | DATA REPRESENTATION FOR PUSH-BASED QUERIES - A query over one or more push-based data sources is transformed into a data representation of the query. The data representation can subsequently be analyzed, optimized, and remoted, among other things. For example, the data representation can be utilized to generate code for an out-of-process execution engine. Additionally, the data representation can be employed with respect to conversions to and from various types and representations of data. | 03-22-2012 |
20120072442 | MONADIC TYPE PRESERVATION FOR QUERY OPERATORS - Monadic types are preserved for query operators to further query operator compositionality utilizing operators defined over a monad. Query operators that are defined over a monad and are suited to return non-monadic types are constructed or altered to return a monadic type. For instance, aggregate query operators defined over a local or remote sequence monad can be generated that return a monadic type. | 03-22-2012 |
20120078878 | OPTIMIZED LAZY QUERY OPERATORS - Query operators such as those that perform grouping functionality can be implemented to execute lazily rather than eagerly. For instance, one or more groups can be created and/or populated lazily with one or more elements from a source sequence in response to a request for a group or element of a group. Furthermore, lazy execution can be optimized as a function of context surrounding a query, among other things. | 03-29-2012 |
20120079464 | QUERY CONSTRAINT ENCODING WITH TYPE-BASED STATE MACHINE - A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types. | 03-29-2012 |
20120084749 | PROGRAMMING LANGUAGE SUPPORT FOR REACTIVE PROGRAMMING - Program language support is provided to facilitate reactive programming. Code can be provided that initiates conversion between a first-class pattern and a second-class pattern, wherein the patterns operate with respect to push-based data. Support is also provided for producing and consuming push-based data in accordance with an iterator pattern, for example. | 04-05-2012 |
20120150514 | REACTIVE COINCIDENCE - An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams. | 06-14-2012 |
20120150913 | MULTIDIMENSIONAL DATA-CENTRIC SERVICE PROTOCOL - Data acquisition is facilitated by way of an intermediate representation of a query expression. The intermediate representation can be generated and subsequently transmitted to, and employed by, a plurality of execution environments with respect to query execution. More particularly, the intermediate representation can be transformed into a locally executable query expression. Furthermore, numerous factors can shape the created and transmitted intermediate representation. | 06-14-2012 |
20120151187 | INSTRUCTION OPTIMIZATION - Programs can be optimized at runtime prior to execution to enhance performance. Program instructions/operations designated for execution can be recorded and subsequently optimized at runtime prior to execution, for instance by performing transformations on the instructions. For example, such optimization can remove, reorder, and/or combine instructions, among other things. | 06-14-2012 |
20130097580 | ASYNCHRONOUS PROGRAMMING MODEL MAPPING - Mapping is performed between operations of an abstract asynchronous programming model and a concrete asynchronous programming model. In other words, differences between asynchronous programming models are bridged to enable interaction. | 04-18-2013 |
20130104107 | DATA FLOW VISUALIZATION AND DEBUGGING - Computation execution can be visualized and debugged. A computation such as a database query plan graph can be extracted from a database query expression. Trace points can be injected into the database query expression while preserving original behavior. Query graphs can be generated with automatic inserting of mechanisms to connect to trace points, enabling visualization of query execution lifecycle states, collection of data traces across operators, and historical debugging with replay of data sets. | 04-25-2013 |
20130117288 | DYNAMICALLY TYPED QUERY EXPRESSIONS - A dynamic call on dynamic data can be transformed into a dynamic call on a structure representing dynamic data. Specifically, a dynamic query with a code object representation that includes an untyped parameter can be transformed into a dynamic query with a function call with a dynamic meta-object. The function call with the dynamic meta-object tracks operation(s) that correspond to the code object representation that includes an untyped parameter in order to build a structure representing such code object representation. At runtime, the dynamic query is built and the structure representing the code object representation is rebuilt so as to enable a dynamic query with a code object representation that references untyped data. | 05-09-2013 |
20130117326 | EXTERNAL SERIALIZATION AND DESERIALIZATION - An object graph can be transformed from a first form to a second form based on metadata discovered about objects of the object graph external to a corresponding object model. In one instance, transformation can correspond to serialization and deserialization. | 05-09-2013 |
20130117736 | REACTIVE EXPRESSION GENERATION AND OPTIMIZATION - Reactive programming is facilitated. Reactive expressions can be generated automatically from non-reactive expressions or in other words standard expressions. Additionally or alternatively, reactive expressions can be optimized in a number of different ways to minimize computational work. | 05-09-2013 |
20130132333 | MULTIDIMENSIONAL GROUPING OPERATORS - A multidimensional object, such as a language-integrated query (LINQ) object, can be generated based upon a grouping set operator and zero or more key selectors. The object can be utilized to query over a non-relational data source. The object can include a sequence of functions corresponding to each grouping related to the grouping set operator in order to provide multidimensional grouping representation. Furthermore, the object includes nested structures for optimized execution of the grouping set operator. | 05-23-2013 |
20130132962 | SCHEDULER COMBINATORS - Scheduler combinators facilitate scheduling. One or more combinators, or operators, can be applied to an existing scheduler to compose a new scheduler or decompose an existing scheduler into multiple facets. | 05-23-2013 |
20150205584 | LIGHTWEIGHT OPTIONALLY TYPED DATA REPRESENTATION OF COMPUTATION - Computation can be encoded in a lightweight and optionally typed data representation. The data representation can be specified in a prefix-based notation potentially including nested function-argument pairs. Further, the data representation can comprise optional static type information associated with at least a portion of computation. Still further, the data representation can be programming language and platform independent or surfaced in a particular programming language or platform. | 07-23-2015 |
Patent application number | Description | Published |
20100123987 | Apparatus for Fault Tolerant Digital Outputs - An output termination board for a safety system is disclosed herein. The termination board provides simplified wiring between the output modules and the remote devices operated by the controller in the system. Redundant output signals are generated within each pair of output modules and combined such that one control signal is sent to each remote device. In addition, a program executing on the controller of the safety system performs a test to determine if each output module is operating normally. If the program detects a fault in either output module, the safety system may alternately shut down according to a fail-safe procedure or continue operating under a fault-tolerant mode of operation. | 05-20-2010 |
20100125345 | Apparatus for Fault Tolerant Analog Inputs - An input termination board for use with an industrial controller in a safety system is disclosed herein. The industrial controller may be populated with standard analog input modules according to the requirements of the application. The termination board may selectively receive a single analog input signal from a remote device and transmit the signal to corresponding channels on two analog input modules or, alternately, receive two analog input signals and transmit each signal to one of the two corresponding channels. In addition, a program executing on the controller of the safety module monitors and tests each of the analog input channels on the input modules, verifying proper operation of the modules. If the program detects a fault in either input module, the safety system may alternately shut down according to a fail-safe procedure or continue operating under a fault-tolerant mode of operation. | 05-20-2010 |
20100125372 | Apparatus For Fault Tolerant Digital Inputs - An input termination board for use with an industrial controller in a safety system is disclosed herein. The industrial controller may be populated with standard input modules according to the application. The termination board, in conjunction with the controller allows the standard input modules to be used as safety inputs. The termination board provides simplified wiring between the input modules and the remote devices by splitting each of the signals generated by the remote device into separate inputs for two different input modules. In addition, a program executing on the controller of the safety system monitors and tests each of the inputs in both input modules to verify proper operation of the inputs. If the program detects a fault in either input module, the safety system may alternately shut down according to a fail-safe procedure or continue operating under a fault-tolerant mode of operation. | 05-20-2010 |
Patent application number | Description | Published |
20080200892 | Tampon - A tampon suitable for feminine hygiene and/or medical purposes having a longitudinal body provided with a dome-shaped insertion end and a withdrawal end, from which a withdrawal cord extends is disclosed. The tampon is made of compressed absorbent fibrous material and has an outer circumferential surface which is at least partially provided with longitudinal grooves that are separated from each other by longitudinal ribs. The path of the grooves and the ribs in the longitudinal direction of the tampon correspond to a continuous curved line that has only one point of inflection defining one convex part and one concave part, and that preferably does not show a maximum and/or a minimum. | 08-21-2008 |
20090024103 | TAMPON - A tampon suitable for feminine hygiene and/or medical purposes is disclosed having a longitudinal body provided with a dome-shaped insertion end and a withdrawal end, from which withdrawal end a withdrawal cord extends. The tampon has compressed absorbent fibrous material and has an outer circumferential surface which is at least partially provided with longitudinal grooves that are separated from each other by longitudinal ribs. The path of the grooves and ribs of the tampon in the longitudinal direction are inclined and correspond to a continuous curved line that has only one point of inflection defining one convex part and one concave part that preferably does not show a maximum or a minimum. | 01-22-2009 |
20100121251 | TAMPON - The present invention relates to a tampon ( | 05-13-2010 |
20100318053 | DISPOSABLE UNDERGARMENT WITH IMPROVED ELASTICISED SECTIONS - A disposable undergarment is described which has an improved arrangement of leg- and crotch-region elastic members, such as to improve absorption capacity and fit. | 12-16-2010 |
20110201992 | TAMPON APPLICATOR - A tampon applicator is described which comprises an ejector tube and an outer tube. The outer tube is dimensioned to fit closely and telescopically over the ejector tube. The outer tube has a distal discharge end. The distal end of the ejector tube is formed with one or more radially inwardly slanted fingers. The outer tube can comprise supporting means configured to restrict radially outward expansion of the fingers of the ejector tube when the tampon applicator is in telescopically compacted position. | 08-18-2011 |
20110230854 | TAMPON WITH A PERFORATED OUTER COVER - A tampon is described which includes an elongated absorbent core and an outer cover. The tampon can include an elongated absorbent core, an upper insertion end, a lower withdrawal end, and an outer cover. The outer cover has a multiplicity of perforations. The degree of perforation in an upper cylindrical segment of said outer cover is larger than the degree of perforation of a lower cylindrical segment of said outer cover. The upper cylindrical segment is located in the upper part of said outer cover. | 09-22-2011 |
20110238028 | TAMPON WITH MODIFIED CONSTRICTED WITHDRAWAL END - A tampon is described which includes a generally elongated body. The elongated body includes an insertion end, a withdrawal end and a central portion extending therebetween. The withdrawal end is constricted. The constricted withdrawal end includes one or more radially pressed grooves. | 09-29-2011 |
20120010587 | TAMPON DISPOSED WITH LONGITUDINAL GROOVES AND INDENTATIONS - A tampon for feminine hygiene is provided having a longitudinal body showing in compressed condition a length and a width. The tampon includes compressed absorbent fibrous material and has an outer circumferential surface which is provided with longitudinal grooves. The longitudinal grooves are separated from each other by longitudinal ribs. A plurality of discrete indentations are arranged in the longitudinal direction and flanked by two longitudinal grooves. At least one indentation is spatially separated from the flanking longitudinal grooves. Some embodiments include a press and method for a tampon production. | 01-12-2012 |
20130110074 | PRESS AND METHOD FOR PRODUCINIG ABSORBENT ARTICLE | 05-02-2013 |