Abstract: A system, method, and computer-readable medium to extract information from at least one of code and text documentation, the extracted information conforming to a base ontology and being extracted in the context of a knowledge graph; add the extracted information to the knowledge graph; generate, in a mixed interaction with a user selectively in communication with the system, computational models including scientific knowledge; and persist, in a memory, a record of the generated computational models.

Abstract: Disclosed are systems, methods, and non-transitory computer-readable media for providing profiles with limited permission level functionality in the network. In response to receiving a request to post the new employment listing, a collaboration system updates a permission list of the employment listing to provide a first user account with an administrator permission level in relation to the employment listing. The administrator permission level provides a first function and a second function in relation to the employment listing. The collaboration system receives a request to tag a second user account to the employment listing and updates the permission list to provide the second user account with a limited permission level in relation to the employment listing. The limited permission level provides the second user account with permission to perform the first function in relation to the employment listing but does not provide permission to perform the second function.

Abstract: Disclosed are systems, methods, and non-transitory computer-readable media for identifying profiles in a network based on relevance scores. A relevancy system identifies a set of candidate user profiles based on user profiles that correspond to users that are members of a first organization. For each candidate user profile, the relevancy system determines scores indicating a relevance level of the respective candidate user profile to an employment listing based on multiple relevance categories. The relevancy system applies weights to the scores and determined a relevance score for the candidate user profile based on the weighted relevancy scores. The weighs are determined based on historical hiring data and indicate a relative impact of each relevance category on hiring. The relevancy system selects a subset of the candidate user profiles based on the relevance scores and transmits notifications regarding the employment listing to the subset of the candidate user profiles.

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