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: 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: Techniques for improving accuracy of data storage and retrieval using a parser for dynamically updating data for storage are disclosed herein. In some embodiments, a method comprises: detecting an event triggered by a user input on a device; receiving a company, a title, and a description for a posting, the company identification, the title, and the description being receiving in association with the event; generating a list of skills based on the company identification, the title, and the description, the generating the list of skills comprising: identifying a first plurality of skills based on a search using the company identification and the title, identifying a second plurality of skills based on a parsing of the description, and generating the list of skills based on the first plurality of skills and the second plurality of skills; and displaying the generated list of skills to on the device.

Abstract: Techniques for merging data securely from different sources are disclosed herein.

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: A method, a device, and a non-transitory storage medium are described in which a power of late reverberation of a speech signal is estimated based on early samples of the speech signal. The power of the late reverberation may be subtracted linearly or non-linearly from the speech signal.

Abstract: A method for knowledge management using concept rules includes receiving event data corresponding to an industrial application and generating at least one inference concept based on the event data. The method also includes obtaining a semantic model having a plurality of inference concepts, a plurality of relationships among the plurality of inference concepts, and a plurality of concept rules representative of domain knowledge. The plurality of concept rules is authored using the plurality of inference concepts and the plurality of relationships. Furthermore, the method includes processing the at least one inference concept based on the semantic model to generate inferential data. The inferential data is representative of an inference corresponding to the event data. In addition, the method includes controlling the industrial application based on the inferential data.

Abstract: A system and a method including accessing a semantic model having a grammar syntax supporting an expression including a combination of at least one of a semantic model class and an instance of a semantic model class; specifying at least one missing property specification for at least one of a semantic model class and an instance of a semantic model class, including constraints for a use of the at least one missing property; adding the at least one missing property specification to the semantic model, the at least one missing property specification added to the semantic model to be referenced in a validation and translation of an expression including a combination of at least one of the class and the instance of a class having one of the at least one missing property specified therewith; and generating a record of the semantic model including the at least one missing property specification added thereto.

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: A method, a device, and a non-transitory storage medium are described in which a power of late reverberation of a speech signal is estimated based on early samples of the speech signal. The power of the late reverberation may be subtracted linearly or non-linearly from the speech signal.

Abstract: A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

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: 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: 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: Techniques, described herein, may enable a computing device (e.g., a set-top-box, a user equipment (UE), etc.) with an array of sensors (e.g., microphones, antennas, etc.) to engage in beamforming in a manner that optimizes the signal strength of the target signal. For example, the computing device may create an optimized beam pattern by applying a pre-selected band width to a steering direction of the target signal. The beam width may include steering vectors at equal, angular distances from the steering direction, enabling steep transition slopes to be applied to the optimized beam pattern. In some implementations, the beam width and transition slopes may be standardized, such that the optimized beam pattern for any signal may be uniform, regardless of variables such as frequency and time.

Abstract: Techniques, described herein, may enable a computing device (e.g., a set-top-box, a user equipment (UE), etc.) with an array of sensors (e.g., microphones, antennas, etc.) to engage in beamforming in a manner that optimizes the signal strength of the target signal. For example, the computing device may create an optimized beam pattern by applying a pre-selected band width to a steering direction of the target signal. The beam width may include steering vectors at equal, angular distances from the steering direction, enabling steep transition slopes to be applied to the optimized beam pattern. In some implementations, the beam width and transition slopes may be standardized, such that the optimized beam pattern for any signal may be uniform, regardless of variables such as frequency and time.

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: 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