Microsoft Technology Licensing, LLC

Xin Li

Jinsong Yu

Luke Kelly

Seth Robert Atkinson

Parul Manek

William Ben Kunz

Mohamed Rouatbi

Kevin Gammill

Lei Wang

Larry Jack Israel

Zubin Alexander

Zhipeng Zhao

Qin Zhou

Ellery Charlson

Manjusha Madhav Mangaonkar

Rajeev Kumar Mittal

Chao Wang

Xinyu Liu

Zhen Wang

Eduardo D Melo

Fabio Andre Pintos

Murray Sargent

Chung Heong Gooi

Lve Chen

Yapu Jia

Yueyang Wang

Ziqiang Liu

Lu Zhang

Jiaojiao Li

Yuan-Fen Kuo

Tony Kao

Brian James Hardy

Chunyu Li

Chunyu Liu

Ang Lv

Tong Wang

Xiaocheng Zhou

Peng Wang

The present disclosure provides a technical solution related to tagging user behavior data. The processing device and method may determine and tag user behavior data according to an application to which the user behavior data belong based on analysis on an inheritance relationship between tasks associated with the user behavior data, so as to facilitate selectively deleting the user behavior data later.

Tagging of user behavior data

A scalable system and method is described that automatically identifies one or more generic tests for testing a GUI. A generic test case is written once instead of writing test cases for every single page or assembly. Each page has a corresponding page type. Each generic test is mapped to one or more testing rules, where the testing rules each have a rule type. An automated system is provided to scan target directories for all relevant pages related to a software product, identify a page type for each page, identify the appropriate generic test cases to be applied to each page, execute the generic test cases, and provide an output to indicate the results of the tests on the various pages. The generic tests for the GUIs can thus be automatically applied to identify and eliminate a certain class of bugs matching the behavior of the generic test case.

Generic validation test framework for graphical user interfaces

Described is a technology in which a set of objects represent educational entities of an educational model, with relationships between objects. For example, a course object instance may have a relationship with a task instance and a user instance (such as representing a student). Other objects may include user credentials objects, group objects, degree program objects, course plan objects, institution objects, school objects, and/or department objects. The set of objects may be pre-defined and maintained in a persistent storage; this pre-defined set may be extended with an extended object that has relationships with pre-defined objects. The educational entities of an object model may be maintained in rows of a table, with each row having a field that identifies which entity is represented by that row. The table is accessed to determine relationships between an instantiated object for an entity and at least one other instantiated object for another entity.

Educational entity architecture and object model

The educational adaptive provider architecture described herein provides a way for an educational services framework to be built on varying underlying existing technologies without any changes in the object model and services. The provider framework supports the ability to have multiple types of providers for various services, such as, for example, for authorization, authentication, communication, grouping, scoring, social-networking, storage and user functions. The educational adaptive provider architecture provides easy integration of existing institutional and educational service deployments.

Educational adaptive provider architecture

Architecture for a word processing application that facilitates operating on mathematical symbols, expressions, and/or equations input to a word processing document, and returning results back to the document. User input to the document in the form of math symbols, expressions or equations is transformed into a format for processing by a math engine. The engine returns one or more operations to the user that can be performed on the input, including calculating mathematical solutions, graphing equations and viewing steps to solving math problems. A user interface allows the user choose from the possible operations and to interactively manipulate input and graphs in the word application. The results can be inserted directly into the document and also be graded automatically.

Math calculation in word processors

Systems and methods for use in handwriting recognition in computer algebra are provided. One disclosed method includes receiving handwriting input from a user via a handwriting input device, the handwriting input representing a mathematical expression. The method further includes, at a recognizer, processing the handwriting input to recognize a plurality of candidates and ranking the plurality of candidates to form initial candidate data. The method may further include, at an application program, scanning the plurality of candidates for segments that match application-level criteria, and adjusting a rank of one or more of the plurality of candidates based on the matching, to form a processed candidate list. The method may further include displaying the processed candidate list via a graphical user interface.

Using handwriting recognition in computer algebra

A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.

Math problem checker

Growing community of inventors

Redmond, WA, United States of America

Xin Li