Abstract: A system and method for the automatic grading of mathematical expressions includes importing a hand-written answer, converting the hand-written answer to a LaTeX formula, creating a model with noise to compare one or more mathematical expressions, checking the correctness of derivations between the mathematical expressions, applying machine learning and/or state estimation theory to determine the mistakes, and suggesting correct coefficients for the derivation. The system and method may further include identifying the handwriting of students using machine learning to determine whether cheating or copying has occurred.

Abstract: A system and a method are disclosed for managing a travel itinerary by calculating pre-event triggers and interfacing with travel service providers to streamline travel services for a traveler. In an embodiment, a travel management system receives an electronic itinerary for a traveler, the electronic itinerary comprising a plurality of events. Based on the electronic itinerary, the travel management system identifies an event of the plurality of events and event managers for the events. The travel management system determines pre-event triggers for the events. The travel management system calculates trigger times for the pre-event triggers. The travel management system transmits, at the trigger times, the pre-event triggers to the event managers for execution of a function corresponding to the event.

Abstract: A system and a method are disclosed for managing a travel itinerary by calculating pre-event triggers and interfacing with travel service providers to streamline travel services for a traveler. In an embodiment, a travel management system receives an electronic itinerary for a traveler, the electronic itinerary comprising a plurality of events. Based on the electronic itinerary, the travel management system identifies an event of the plurality of events and event managers for the events. The travel management system determines pre-event triggers for the events. The travel management system calculates trigger times for the pre-event triggers. The travel management system transmits, at the trigger times, the pre-event triggers to the event managers for execution of a function corresponding to the event.

Abstract: A system and method are disclosed for managing an extended travel itinerary using a travel management system. In an embodiment, the travel management system receives a travel destination, the travel destination including a travel location and a duration for a stay at the travel location. The travel management system identifies, based on the travel location and the duration, a travel event and an event manager for the travel event. The travel management system determines automatically a pre-event trigger for the travel event. The travel management system calculates a trigger time for the pre-event trigger. The travel management system transmits, at the trigger time, the pre-event trigger to the event manager for execution of a function corresponding to the travel event.

Abstract: A system and a method are disclosed for matching users of an accommodation management system to an event and prompting the matched users to make an accommodation listing available during the event. In an embodiment, the accommodation management system detects an event occurring in a geographic region. Responsive to detecting the event, the accommodation management system identifies users registered in the geographic region that are exhibiting low hosting activity. The accommodation management system compares the event to accommodation listings on a wish list associated with each retrieved user. Responsive to a successful match between the event and a retrieved user's wish list, the accommodation management system outputs a prompt to the user recommending that the user make a listing for an accommodation available during the event.

Abstract: A system and a method are disclosed for prompting a user of an accommodation management system to host an accommodation during an event. In an embodiment, the accommodation management system detects an event occurring in a geographic region. The accommodation management system identifies a user in the geographic region and determines an estimated hosting value of the user hosting an accommodation during the event. Responsive to determining the estimated hosting value, the accommodation management system identifies an accommodation listing on a wish list associated with the user based on the estimated hosting value and a reservation criterion of the listing. The accommodation management system outputs a prompt to the user recommending that the user hosts an accommodation during the event based on the identified listing.

Abstract: Described herein are approaches for presented interactive user experience cards within an application menu of an application. Dynamic content of the cards can be downloaded from an external server and presented in response to user inputs. The dynamic content can be updated dynamically and served when appropriate.

Abstract: The present invention discloses a process for the dissociation of natural gas hydrates comprises injecting additives or hydrate dissociation promoters into the system at the hydrate dissociation temperatures ranging from 283-293 K in conjunction with or without first depressurizing the system to pressures (50%-75%) below the hydrate equilibrium pressure and such leading to the recovery of methane or natural gases.

Abstract: A system for test administration including a memory, a processor and a biometric reading unit with a program in the memory executing the steps of receiving measurements from the biometric reading unit, the measurements being other than video and audio, identifying suspect behavior from the measurements, displaying a video feed from the testing station in response to the identification of the suspect behavior.

Abstract: The present invention discloses a process for the dissociation of natural gas hydrates comprises injecting additives or hydrate dissociation promoters into the system at the hydrate dissociation temperatures ranging from 283-293 K in conjunction with or without first depressurizing the system to pressures (50%-75%) below the hydrate equilibrium pressure and such leading to the recovery of methane or natural gases.

Abstract: A system for generating certificates, the system include a certification generation unit having a processor and a memory with an application in the memory executing the steps of generating a digital certificate, retrieving verification information from a user where the verification information are unique to the user, appending a certificate content onto the verification information, appending an issuing authority identifier to the verification information, appending metadata to the verification information, embedding the appended verification information into the digital certificate, encoding the digital certificate with the embedded information, and issuing the encoded digital certificate.

Abstract: A system for test administration including a memory, a processor and a biometric reading unit with a program in the memory executing the steps of receiving measurements from the biometric reading unit, the measurements being other than video and audio, identifying suspect behavior from the measurements, displaying a video feed from the testing station in response to the identification of the suspect behavior.

Abstract: A system and method for remote test administration are disclosed. The system includes a testing station having a processor and a memory in communication with the processor. The memory configured to store processor executable instructions configured to acquire biometric information related to a user, wherein the user is substantially adjacent to the testing station; identify at least one biometric vector within the acquired biometric information; and communicate the identified biometric vector. The system further includes a monitoring station configured to receive the biometric vector communicated by the testing station, the monitoring station having a processor and a memory in communication with the processor.

Abstract: The present invention relates to micronized crystals of atorvastatin hemi-calcium, a method for the preparation of micronized crystals of atorvastatin hemi-calcium and a pharmaceutical dosage form comprising said micronized crystals of atorvastatin hemi-calcium.

Abstract: A system and method for remote test administration are disclosed. The system includes a testing station having a processor and a memory in communication with the processor. The memory configured to store processor executable instructions configured to acquire biometric information related to a user, wherein the user is substantially adjacent to the testing station; identify at least one biometric vector within the acquired biometric information; and communicate the identified biometric vector. The system further includes a monitoring station configured to receive the biometric vector communicated by the testing station, the monitoring station having a processor and a memory in communication with the processor.

Abstract: A computer-implemented method for selecting a combination of devices from a plurality of available devices, each device having service description information associated therewith. A user request is received into a coordinating device which processes the service description information for any available electronic devices to identify functionally responsive combinations of electronic devices, each functionally responsive combination responsive the user request. A score is calculated for each functionally responsive combination, using user preference information. One of the functionally responsive combinations is selected according to it having the best scores. A user preferences and experience computer-implemented method is provided for selecting an ad-hoc combination of electronic devices.

Abstract: An exemplary device comprises a first and second protocol layer, and an information exchange service (IES) in communication with the first and the second protocol layers. The IES is configured to share control information between the protocol layers. A protocol layer is capable of adapting behavior based on the control information shared by the IES. An exemplary method is presented for communicating between publishing and subscribing layers in a protocol stack. The method comprises, in the publishing layer, specifying a selected attribute and an associated value to be shared with the subscribing layer. The method further comprises storing the specified attribute and associated value, and receiving a subscribe request from the requesting layer. The request specifies the published attribute. The method further comprises, in response to the request, providing the associated value to a subscribing layer, and in the subscribing layer, adapting behavior based on the shared control information.

Abstract: An exemplary device comprises a first and second protocol layer, and an information exchange service (IES) in communication with the first and the second protocol layers. The IES is configured to share control information between the protocol layers. A protocol layer is capable of adapting behavior based on the control information shared by the IES. An exemplary method is presented for communicating between publishing and subscribing layers in a protocol stack. The method comprises, in the publishing layer, specifying a selected attribute and an associated value to be shared with the subscribing layer. The method further comprises storing the specified attribute and associated value, and receiving a subscribe request from the requesting layer. The request specifies the published attribute. The method further comprises, in response to the request, providing the associated value to a subscribing layer, and in the subscribing layer, adapting behavior based on the shared control information.

Abstract: The present invention relates generally to the field of computing in resource-poor environments, such as mobile and/or wireless computing systems, and, more particularly, to a system and a method for adaptation-aware editing and/or progressive update propagation that enable authoring multimedia content and/or collaborative work on mobile and/or wireless computing systems and devices. A method for the exchange of a data document between a central data store and a client, the data document including one or more data elements, may be provided. The method may comprise transmitting the data document from the central data store to the client, wherein the transmitted data document received at the client includes data elements having a lower fidelity level as compared with the fidelity level of the data elements stored in the version of the data document at the data store, and modifying one or more data elements of the data document at the client.

Abstract: A computer-implemented method for selecting a combination of devices from a plurality of available devices, each device having service description information associated therewith. A user request is received into a coordinating device which processes the service description information for any available electronic devices to identify functionally responsive combinations of electronic devices, each functionally responsive combination responsive the user request. A score is calculated for each functionally responsive combination, using user preference information. One of the functionally responsive combinations is selected according to it having the best scores. A user preferences and experience computer-implemented method is provided for selecting an ad-hoc combination of electronic devices.