Abstract: The present invention generally relates to the field of pharmaceutical sciences. More specifically, the present invention includes apparatus and devices for the preparation of pharmaceutical formulations containing large diameter synthetic membrane vesicles, such as multivesicular liposomes, methods for preparing such formulations, and the use of specific formulations for therapeutic treatment of subjects in need thereof. Formation and use of the pharmaceutical formulations containing large diameter synthetic membrane vesicles produced by using the apparatus and devices for therapeutic treatment of subjects in need thereof is also contemplated.

Abstract: The present invention generally relates to the field of pharmaceutical sciences. More specifically, the present invention includes apparatus and devices for the preparation of pharmaceutical formulations containing large diameter synthetic membrane vesicles, such as multivesicular liposomes, methods for preparing such formulations, and the use of specific formulations for therapeutic treatment of subjects in need thereof. Formation and use of the pharmaceutical formulations containing large diameter synthetic membrane vesicles produced by using the apparatus and devices for therapeutic treatment of subjects in need thereof is also contemplated.

Abstract: The present invention generally relates to the field of pharmaceutical sciences. More specifically, the present invention includes apparatus and devices for the preparation of pharmaceutical formulations containing large diameter synthetic membrane vesicles, such as multivesicular liposomes, methods for preparing such formulations, and the use of specific formulations for therapeutic treatment of subjects in need thereof. Formation and use of the pharmaceutical formulations containing large diameter synthetic membrane vesicles produced by using the apparatus and devices for therapeutic treatment of subjects in need thereof is also contemplated.

Abstract: The present invention generally relates to the field of pharmaceutical sciences. More specifically, the present invention includes apparatus and devices for the preparation of pharmaceutical formulations containing large diameter synthetic membrane vesicles, such as multivesicular liposomes, methods for preparing such formulations, and the use of specific formulations for therapeutic treatment of subjects in need thereof. Formation and use of the pharmaceutical formulations containing large diameter synthetic membrane vesicles produced by using the apparatus and devices for therapeutic treatment of subjects in need thereof is also contemplated.

Abstract: Disclosed are systems, methods, and machine-readable storage media for converting process data extracted from one or more data source systems into a data-source-independent intermediate representation, and then applying a domain-specific semantic ontology to the intermediate representation to create a semantic representation of the process data. The intermediate representation may specify, for each instances of a process object within a process flow, a unique identifier, a set of observations, and references to process-object instance immediately preceding or following the process-object instance at issue.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: The present invention generally relates to the field of pharmaceutical sciences. More specifically, the present invention includes apparatus and devices for the preparation of pharmaceutical formulations containing large diameter synthetic membrane vesicles, such as multivesicular liposomes, methods for preparing such formulations, and the use of specific formulations for therapeutic treatment of subjects in need thereof. Formation and use of the pharmaceutical formulations containing large diameter synthetic membrane vesicles produced by using the apparatus and devices for therapeutic treatment of subjects in need thereof is also contemplated.

Abstract: Medical kits and methods for performing small incision DLEK include a corneal transplantation donor tissue graft formed into an implantable and compact rolled configuration using the flexible substrate.

Abstract: Systems, devices and methods for performing small incision DLEK include providing a corneal transplantation donor tissue graft; then forming the tissue graft into an implantable configuration using the flexible substrate. Related medical kits and tools for forming a compact or rolled donor tissue graft are also described.

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate

Abstract: Embodiments allow blocking and featurization of time-series data gathered from at least one sensor. The input time-series data is divided into blocks with common attributes (features) according to feature models that describe patterns in the data. The blocks may be overlapping or non-overlapping. The resultant feature blocks are annotated with feature information and semantic meaning. The feature blocks can be indexed to facilitate semantic search of the data. Feature blocks may be further analyzed to create semantic blocks that incorporate semantic meaning and features for multiple feature blocks, sensors and/or related time-series data. The semantic blocks can also be indexed to facilitate semantic search of the data.

Abstract: A method and system for controlling a display in a machine operating in a work area. A plurality of views are displayed on a screen, each of the plurality of views corresponding to a plurality of functions. A user of the machine is allowed to simultaneously monitor the work area and control one or more of the plurality of functions by way of one or more of the plurality of views. The functions include one or more physical activities performed by an implement, connected to the machine, in the work area. The user is allowed to control, via the display, the one or more physical activities using software executed on the machine while monitoring the work area.

Abstract: According to some embodiments, a document associated with an artifact may be received, the document being at least partially unstructured. In an unstructured portion of the document, an extraction platform may automatically detect a first characteristic. The extraction platform may also automatically detect a second characteristic in the unstructured portion of the document. Using the first and second characteristics, a structured semantic model representing the artifact may automatically be created.

Abstract: Methods and systems for correcting presbyopia using a surgical excimer laser include activating the laser once and transmitting a pre-defined three dimensional ablation profile to treat presbyopia based on the single activating step.

Abstract: Devices, systems, surgical kits and methods for corneal surgery, preferably using femto-laser assisted, corneal tattooing. The corneal tattoos are formed with one or more viscous opaque substances such as pasty substances of different colors to match eye colors of different patients.

Abstract: Methods and systems for correcting presbyopia using a surgical excimer laser include activating the laser once and transmitting a pre-defined three dimensional ablation profile to treat presbyopia based on the single activating step.

Abstract: Devices and methods for cataract surgery include a tip with reciprocating door to chop, fragment or reduce size of large nuclear lens fragments and/or cortex fragments in a capsule bag to facilitate aspiration.

Abstract: The present disclosure relates to the use of both semantic analysis and statistical text mining to process data records, improving the completeness and accuracy of records so processed. By way of example, a data record may be iteratively processed by text mining using seeds derived from a semantic template and by validating the results based on semantic reasoning based on the semantic template.

Abstract: Systems, devices and methods for performing small incision DLEK include providing a corneal transplantation donor tissue graft; then forming the tissue graft into an implantable configuration using the flexible substrate. Related medical kits and tools for forming a compact or rolled donor tissue graft are also described.

Abstract: Systems, devices and methods for performing small incision DLEK include providing a corneal transplantation donor tissue graft; then forming the tissue graft into an implantable configuration using the flexible substrate. Related medical kits and tools for forming a compact or rolled donor tissue graft are also described.