Patents Issued in March 17, 2020
-
Patent number: 10592589Abstract: A method for generating and using multi-view masters involves selecting a master in a design environment. A widget is added to the master. A first view is selected for the master. A first widget characterization of the widget is received. The first widget characterization is associated with the first view of the master. A second view of the master is selected. A second widget characterization of the widget is received. The second widget characterization is associated with the second view of the master. An instance of the master is placed in a containing context. A first instance view selection is received, the first instance view selecting the first view of the master for the first instance of the master. The first instance of the master is displayed within the containing context, the widget being displayed in accordance with the first widget characterization associated with the first view of the master.Type: GrantFiled: August 21, 2018Date of Patent: March 17, 2020Assignee: Axure Software Solutions, Inc.Inventors: Victor Hsu, Martin Smith, Ian Gardner, Robert Gourley
-
Patent number: 10592590Abstract: Embodiments of the present invention are directed at providing a font similarity preview for non-resident fonts. In one embodiment, a font is selected on a computing device. In response to the selection of the font, a pre-computed font list is checked to determine what fonts are similar to the selected font. In response to a determination that similar fonts are not local to the computing device, a non-resident font list is sent to a font vendor. The font vendor sends back previews of the non-resident fonts based on entitlement information of a user. Further, a full non-resident font can be synced to the computing device. Other embodiments may be described and/or claimed.Type: GrantFiled: August 4, 2016Date of Patent: March 17, 2020Assignee: Adobe Inc.Inventors: I-Ming Pao, Alan Lee Erickson, Yuyan Song, Seth Shaw, Hailin Jin, Zhaowen Wang
-
Patent number: 10592591Abstract: A method of enhanced browsing involves a first web page displayed by a browser in a first browser window. The first web page has a target link to a second web page. A computer system automatically prefetches content from the second web page. The method causes display in the first browser window of a first indicator proximate to and associated with the target link and prior to the computer system receiving a selection of the target link. The first indicator visually conveys in real-time an initiation of the prefetching of content from the second web page. In response to completion of the prefetching, the method causes display in the first browser window of a second indicator in place of said first indicator to visually convey in real-time the completion of the prefetching.Type: GrantFiled: May 19, 2014Date of Patent: March 17, 2020Assignee: Cufer Asset Ltd. L.L.C.Inventors: Scott Milener, Wendell Brown, James Kelly
-
Patent number: 10592592Abstract: A system and method indicates certain terms on a web page as links or portals to additional information and then allows the user to click the link or operate the portal to obtain the additional information, which may be a different web page on the world wide web.Type: GrantFiled: September 5, 2018Date of Patent: March 17, 2020Assignee: GROUPON, INC.Inventors: Val Agostino, David Cowan
-
Patent number: 10592593Abstract: A method and computing system are provided for determining a hierarchical structure associated with a document. The hierarchical structure may be associated with a plurality of elements of the document. A map of the document may be generated. The map may include a plurality of links to one or more of the elements of the document.Type: GrantFiled: July 11, 2012Date of Patent: March 17, 2020Assignee: Paper Software LLCInventors: Nathan Alexander Whetsell, Benjamin Stuart Whetsell
-
Patent number: 10592594Abstract: In particular embodiments, a method comprises receiving a request from a first user to access a landing page of an online social network, accessing a social graph comprising a plurality of nodes and a plurality of edges connecting the nodes, calculating a popularity value for each of a plurality of content objects associated with one or more second users of the online social network, wherein the popularity value for each content object is based on a popularity of the content object among other users of the online social network associated with nodes within a threshold degree of separation of the first user, selecting from the plurality of content objects based on their popularity values, one or more content objects to feature on the landing page, and sending instructions for presenting the landing page comprising one or more of the selected content items to the first user.Type: GrantFiled: November 2, 2018Date of Patent: March 17, 2020Assignee: Facebook, Inc.Inventors: William K Tiu, Jr., Jeffrey J Roberto
-
Patent number: 10592595Abstract: Disclosed are systems, methods, and non-transitory computer-readable storage media for copying content from a rendered document into another document. The disclosed technology addresses the need in the art to maintain a version of a collection of content items that includes changes and/or comments from a first group of users, and provide a second version of the collection of content items to an external user that does not include internal comments and/or visible changes. The solution may provide a work product that appears complete and/or professional to the second group of users, while the first group of users continue to update and/or collaborate on the first version of the collection of content items.Type: GrantFiled: September 29, 2017Date of Patent: March 17, 2020Assignee: Dropbox, Inc.Inventors: Vinod Valloppillil, Henry Liu, Ryhan Hassan, Eric Sprauve, Jong-Moon Kim, Francesco Paduano, Jane Davis, David Fish, Jacob Hurwitz, Kate Rudolph
-
Patent number: 10592596Abstract: Various embodiments for providing a narrative summary for fantasy games are described. Embodiments may include a summary engine executing on a logic device. The summary engine may select a beat writer and a story type. The summary writer may select new content from one or more databases of fantasy league data. The beat writer may affect what story type is selected. The summary engine may construct a master template according to the story type that has empty slots. The summary engine may fill the empty slots of the master template with data from the new content to generate a narrative summary, and publish the narrative template with the slots filled. Other embodiments are described and claimed.Type: GrantFiled: December 28, 2011Date of Patent: March 17, 2020Assignee: CBS Interactive Inc.Inventor: Louis E. Miller
-
Patent number: 10592597Abstract: Described herein are system, method, and computer program product embodiments providing color theme maintenance for presentations. An embodiment operates by receiving original content for placement on a first slide of a presentation. Additional content for placement on the first slide is received and it is determined that the original content and the additional content exceeds a content-threshold of the first slide. A second slide is created using a format of the first slide based upon the determining. The additional content and at least a portion of the original content is moved onto the second slide upon a completion of the creating.Type: GrantFiled: June 29, 2017Date of Patent: March 17, 2020Assignee: SALESFORCE.COM, INC.Inventors: Drew Hamlin, Andrew Chung, William Joseph Flynn, III
-
Patent number: 10592598Abstract: Techniques for use with electronic book readers include coordinating or translating position information between different versions of an electronic book. Positions within different versions can be translated for various purposes, such as transferring annotations between versions or synchronizing positions within different versions.Type: GrantFiled: November 13, 2017Date of Patent: March 17, 2020Assignee: Amazon Technologies, Inc.Inventors: Christopher F. Weight, Janna Hamaker, Tom Killalea, Bruno A. Posokhow, Daniel B. Rausch
-
Patent number: 10592599Abstract: A meeting summarization method, system, and computer program product, include capturing notes of a user including a time stamp from the user associated with a meeting, synchronizing an agenda of the meeting and the notes of the user based on a correlation between a time stamp of a topic on the agenda and a time stamp of the notes of the user, and analyzing the synchronized topic and the notes to determine highlights of the meeting based on a co-occurrence of the time stamp of the notes of the user and the time stamp of the topic on the agenda.Type: GrantFiled: May 31, 2018Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Keith William Grueneberg, Jason Crawford, Jonathan Lenchner, Satya V. Nitta, Christian Makaya, Sharad C. Sundararajan
-
Patent number: 10592600Abstract: One or more processors create a first scrollable user interface display including content that is scrollable in at least a first direction in response to user input. The processor(s) receive a first user input including an indication of a first portion of the content which is less than all of the content. In response to the receipt of the first user input, the processor(s) create a second scrollable user interface display, where content on the second user interface display is scrollable in at least the first direction except for the first portion of the content which is pinned such that it does not scroll when the rest of the content scrolls. Responsive to the receipt of a second user input, the processor(s) scroll content in the first direction except for the first portion of the content which remains pinned and does not scroll.Type: GrantFiled: December 18, 2017Date of Patent: March 17, 2020Assignee: International Business Machines CorporationInventor: Gabrielle Z. Steele
-
Patent number: 10592601Abstract: Systems and processes for multilingual word prediction are provided. In accordance with one example, a method includes, at an electronic device having one or more processors and memory, identifying context information of the electronic device and generating, with the one or more processors, a plurality of candidate words based on the context information, wherein a first candidate word of the plurality of candidate words corresponds to a first language of a plurality of languages and a second candidate word of the plurality of candidate words corresponds to a second language of the plurality of languages different than the first language.Type: GrantFiled: September 20, 2016Date of Patent: March 17, 2020Assignee: Apple Inc.Inventors: Giulia Pagallo, Jerome R. Bellegarda, Vivek Kumar Rangarajan Sridhar, Randal J. Marsden, Justin S. Hogg
-
Patent number: 10592602Abstract: An electronic message comprising text generated by a first user can be identified and at least a second user can be identified as a recipient. At least one n-gram contained in the text of the electronic message can be identified by performing natural language processing on the text. A first user profile of the first user and a second user profile of the second user can be accessed. Based on the first user profile and the second user profile, at least one shared user context of the first user and the second user relating to the at least one n-gram can be determined. The at least one shared user context of the first user and the second user relating to the at least one n-gram can be presented to at least the second user.Type: GrantFiled: February 6, 2019Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Paul R. Bastide, Matthew E. Broomhall, Robert E. Loredo
-
Patent number: 10592603Abstract: A mechanism is provided in a data processing system for identifying a logic problem to be solved in an input text. A parser executing in the data processing system parses the input text to identify entities in the input text. A statistical analysis component executing in the data processing system determines statistical relationships between pairs of entities in the input text to form a set of statistical relationships. A logic problem detection engine executing in the data processing system determines whether the set of statistical relationships includes a high density of standard relationships and one or more outlier relationships. Responsive to determining that the set of statistical relationships includes a high density of standard relationships and one or more outlier relationships, the mechanism presents an indication that the input text includes a logic problem to a user.Type: GrantFiled: February 3, 2016Date of Patent: March 17, 2020Assignee: International Business Machines CorporationInventors: Brett L. Carter, Kameron A. Cole, Vijai Gandikota, Jimmy M. Hsu
-
Patent number: 10592604Abstract: Techniques for inverse text normalization are provided. In some examples, speech input is received and a spoken-form text representation of the speech input is generated. The spoken-form text representation includes a token sequence. A feature representation is determined for the spoken-form text representation and a sequence of labels is determined based on the feature representation. The sequence of labels is assigned to the token sequence and specifies a plurality of edit operations to perform on the token sequence. Each edit operation of the plurality of edit operations corresponds to one of a plurality of predetermined types of edit operations. A written-form text representation of the speech input is generated by applying the plurality of edit operations to the token sequence in accordance with the sequence of labels. A task responsive to the speech input is performed using the generated written-form text representation.Type: GrantFiled: June 29, 2018Date of Patent: March 17, 2020Assignee: Apple Inc.Inventors: Ernest J. Pusateri, Bharat Ram Ambati, Elizabeth S. Brooks, Donald R. McAllaster, Venkatesh Nagesha, Ondrej Platek
-
Patent number: 10592605Abstract: Software that extracts contextually relevant terms from a text sample (or corpus) by performing the following steps: (i) identifying a first term from a corpus, based, at least in part, on a set of initial contextual characteristic(s), where each initial contextual characteristic of the set of initial contextual characteristic(s) relates to the contextual use of at least one category related term of a set of category related term(s) in the corpus; (ii) adding the first term to the set of category related term(s), thereby creating a revised set of category related term(s) and a set of first term contextual characteristic(s), where each first term contextual characteristic of the set of first term contextual characteristic(s) relates to the contextual use of the first term in the corpus; and (iii) identifying a second term from the corpus, based, at least in part, on the set of first term contextual characteristic(s).Type: GrantFiled: May 27, 2015Date of Patent: March 17, 2020Assignee: International Business Machines CorporationInventors: Jitendra Ajmera, Ankur Parikh
-
Patent number: 10592606Abstract: Embodiments of the present invention provide a system that that can be used to determine whether a sentiment analysis model is portable between two data sets. During operation, the system analyzes the text of a respective review in a data set (e.g., a set of reviews) using the sentiment analysis model to determine a sentiment expressed in the review. The system then computes a confidence score, which indicates the accuracy of a respective sentiment. The system subsequently determines a confidence score distribution for various sentiments, as determined by the sentiment analysis model. The system determines the significance of changes between the confidence score distribution and a benchmark confidence score distribution, which is associated with a benchmark data set for which the sentiment analysis model yields a high accuracy. The system can then determine whether the sentiment analysis model is portable to the data set based on the significance of changes.Type: GrantFiled: May 5, 2017Date of Patent: March 17, 2020Assignee: MEDALLIA, INC.Inventors: Tzu-Ting Kuo, Ji Fang
-
Patent number: 10592607Abstract: Described herein are systems and methods for providing a natural language comprehension system (NLCS) that iteratively performs an alternating search to gather information that may be used to predict the answer to the question. The NLCS first attends to a query glimpse of the question, and then finds one or more corresponding matches by attending to a text glimpse of the text.Type: GrantFiled: June 2, 2017Date of Patent: March 17, 2020Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Alessandro Sordoni, Philip Bachman, Adam Peter Trischler
-
Patent number: 10592608Abstract: A topic based conversation retrieval system and method may include receiving a first conversation between a first plurality of users a second conversation between the first plurality of users or a second plurality of users, the second conversation being conducted on a second communication mode different than the first communication mode, analyzing the first conversation and the second conversation, determining one or more topics of discussion in the first conversation and the second conversation, and retrieving a portion of each of the first conversation and the second conversation, where the portion is related to a topic chosen to be retrieved.Type: GrantFiled: January 8, 2018Date of Patent: March 17, 2020Assignee: International Business Machines CorporationInventors: Messaoud Benantar, David Y. Chang, Vishwanath Venkataramappa, Liam S. Harpur
-
Patent number: 10592609Abstract: Disclosed herein are system, method, and computer program product embodiments for recognizing a human emotion in a message. An embodiment operates by receiving a message from a user. The embodiment labels each word of the message with a part of speech (POS) thereby creating a POS set. The embodiment creates a bag of words (BOW) for the message. The embodiment determines an incongruity score for a combination of words in the POS set using a knowledgebase. The embodiment determines a preliminary emotion detection score for an emotion for the message based on the POS set and the BOW. Finally, the embodiment calculates a final emotion detection score for the emotion for the message based on the preliminary emotion detection score and the incongruity score.Type: GrantFiled: April 26, 2019Date of Patent: March 17, 2020Assignee: Tucknologies Holdings, Inc.Inventors: Craig Tucker, Bryan Novak
-
Patent number: 10592610Abstract: Embodiments described herein provide a more flexible, effective, and computationally efficient means for determining multiple intents within a natural language input. Some methods rely on specifically trained machine learning classifiers to determine multiple intents within a natural language input. These classifiers require a large amount of labelled training data in order to work effectively, and are generally only applicable to determining specific types of intents (e.g., a specifically selected set of potential inputs). In contrast, the embodiments described herein avoid the use of specifically trained classifiers by determining inferred clauses from a semantic graph of the input. This allows the methods described herein to function more efficiently and over a wider variety of potential inputs.Type: GrantFiled: July 8, 2019Date of Patent: March 17, 2020Assignee: Babylon Partners LimitedInventors: April Tuesday Shen, Francesco Moramarco, Nils Hammerla, Pietro Cavallo, Olufemi Awomosu, Aleksandar Savkov, Jack Flann
-
Patent number: 10592611Abstract: Embodiments of the present invention provide a system for automatically extracting conversational structure from a voice record based on lexical and acoustic features. The system also aggregates business-relevant statistics and entities from a collection of spoken conversations. The system may infer a coarse-level conversational structure based on fine-level activities identified from extracted acoustic features. The system improves significantly over previous systems by extracting structure based on lexical and acoustic features. This enables extracting conversational structure on a larger scale and finer level of detail than previous systems, and can feed an analytics and business intelligence platform, e.g. for customer service phone calls. During operation, the system obtains a voice record. The system then extracts a lexical feature using automatic speech recognition (ASR). The system extracts an acoustic feature.Type: GrantFiled: October 24, 2016Date of Patent: March 17, 2020Assignee: Conduent Business Services, LLCInventors: Jesse Vig, Harish Arsikere, Margaret H. Szymanski, Luke R. Plurkowski, Kyle D. Dent, Daniel G. Bobrow, Daniel Davies, Eric Saund
-
Patent number: 10592612Abstract: Social data of a conversation partner is analyzed who is physically situated relative to a user to have an in-person conversation with the user. From the analysis, a list of topics and a sentiment corresponding to each topic on the list of topics are computed. An evaluation is made that a first value of a first sentiment corresponding to a first topic in the list of topics exceeds a threshold. The user is provided a notification about the first topic and the first sentiment, causing the user to discuss the first topic with the partner in the in-person conversation. When a second topic has a second sentiment below the threshold, the user is caused to drop the second topic from the in-person conversation.Type: GrantFiled: April 7, 2017Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: James E. Bostick, John M. Ganci, Jr., Martin G. Keen, Sarbajit K. Rakshit
-
Patent number: 10592613Abstract: One embodiment provides a method, including: receiving information corresponding to a dialog flow between a conversational agent and a user; identifying, from the received information, dialog states, each dialog state corresponding to a possible response by the conversational agent; classifying a set of the identified dialog states as grounded dialog states, wherein the classifying comprises (i) receiving scoring input representing a desirability for each of the grounded dialog states and (ii) generating a score vector; assigning a score vector to each of the identified dialog states other than the grounded dialog states, wherein the assigning a score vector comprises extrapolating the score vector of a grounded dialog state to dialog states that the grounded dialog state is dependent upon; and computing an aggregate score vector for the dialog flow, wherein the aggregate vector score identifies an overall desirability of the dialog flow.Type: GrantFiled: March 13, 2018Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Ajay Kumar Gupta, Pratyush Kumar, Sachindra Joshi
-
Patent number: 10592614Abstract: A system, method, and computer program product are provided for translating unified ticketing system (UTS) messages. In operation, a translation system receives one or more messages in at least one first language being communicated between a customer ticketing system and a unified ticketing system associated with a communication service provider. The translation system translates the one or more messages, including any corresponding attachments and screenshots, from the first language to at least one second language. Further, the translation system releases the translated one or more messages, including the corresponding translated attachments and screenshots, to be communicated between the customer ticketing system and the unified ticketing system.Type: GrantFiled: December 28, 2017Date of Patent: March 17, 2020Assignee: AMDOCS DEVELOPMENT LIMITEDInventor: Tzahi Menachem Shaiovitch
-
Patent number: 10592615Abstract: A system and method is provided that facilitates collaborative development of virtual mechanical routing. A processor of the system responsive to inputs provided through at least one input device may generate a design for a routing run comprised of a set of elements and cause a distributed routing path corresponding to the routing run to be stored in a data store. The distributed routing path may be comprised of data that specifies two end elements and a plurality of routing path links that specify connections between a plurality of intermediate elements and between each end element and a respective one of the intermediate elements. The processor may also cause a display device to output a 3D representation of the routing run based at least in part on the distributed routing path stored in the data store, and data representative of the physical structures of the end elements and the intermediate elements that are specified by the routing path links of the distributed routing path.Type: GrantFiled: July 30, 2015Date of Patent: March 17, 2020Assignee: Siemens Industry Software Inc.Inventors: Raman Garimella, Abraham George, Wynn Niblack, Douglas Peters
-
Patent number: 10592616Abstract: Simulation data can be generated using a linear curve simplification and reverse simplification technique. The linear curve simplification and reverse simplification technique can facilitate the generation of simulation data from existing data where the simulation data will exhibit the same curve pattern as the existing data but with a degree of variation. In this way, varying sets of simulation data for a particular environment can be easily generated.Type: GrantFiled: February 29, 2016Date of Patent: March 17, 2020Assignee: Quest Software Inc.Inventors: Shengzhi Liu, Peisen Lin, Yinghua Qin
-
Patent number: 10592617Abstract: A computer-implemented method for designing intervention into the behavior of a real complex system of technical or biochemical nature. The real complex system is modeled by a network of objects and relations between the objects. The objects of the system are represented by network points and the relations are represented by edges between the network points. The states of the objects are described by a parameter set and the relations associated with the edges are described by functions of time.Type: GrantFiled: December 17, 2014Date of Patent: March 17, 2020Assignee: TURBINE SIMULATED CELL TECHNOLOGIES LIMITEDInventors: Kristóf Zsolt Szalay, Péter Csermely
-
Patent number: 10592618Abstract: Parameters of a structure (900) are measured by reconstruction from observed diffracted radiation. The method includes the steps: (a) defining a structure model to represent the structure in a two- or three-dimensional model space; (b) using the structure model to simulate interaction of radiation with the structure; and (c) repeating step (b) while varying parameters of the structure model. The structure model is divided into a series of slices (a-f) along at least a first dimension (Z) of the model space. By the division into slices, a sloping face (904, 906) of at least one sub-structure is approximated by a series of steps (904?, 906?) along at least a second dimension of the model space (X). The number of slices may vary dynamically as the parameters vary. The number of steps approximating said sloping face is maintained constant. Additional cuts (1302, 1304) are introduced, without introducing corresponding steps.Type: GrantFiled: July 13, 2016Date of Patent: March 17, 2020Assignee: ASML Netherlands B.V.Inventors: Remco Dirks, Markus Gerardus Martinus Maria Van Kraaij, Maxim Pisarenco
-
Patent number: 10592619Abstract: A conductivity cell for simulating micro-proppant flowing through microstructures includes a core wafer holder defining a fluid inlet and a fluid outlet, with a core wafer chamber connecting the fluid inlet in fluid communication with the fluid outlet. A core wafer is installed within the core wafer chamber of the core wafer holder. A pressure piston is biased against the core wafer within the core wafer chamber. A pre-determined channel gap is defined on the core wafer for passage of the fluid through the cell.Type: GrantFiled: July 14, 2016Date of Patent: March 17, 2020Assignee: Halliburton Energy Services, Inc.Inventors: Philip D. Nguyen, Loan K. Vo, Janette Cortez Montalvo, Ruslan Gashimov, James William Ogle
-
Patent number: 10592620Abstract: A method for designing a well, including: determining a first well construction discipline for a first participant and an authority level for the first participant within the first well construction discipline; obtaining a plurality of rules corresponding to the first well construction discipline and the authority level for the first participant within the first well construction discipline; operating, based on the plurality of rules, an interface that restricts decision options for the first participant; receiving a decision associated with the well and based on the interface from the first participant; and updating a design of the well based on the decision.Type: GrantFiled: July 10, 2015Date of Patent: March 17, 2020Assignee: Schlumberger Technology CorporationInventors: Eric Jonathan Schoen, Lucian Johnston, Mark S. Passolt
-
Patent number: 10592621Abstract: A method for determining a stiffness of a tube bundle heat exchanger. The heat exchanger has a core tube and a plurality of coil tubes coiled around the core tube to form a tube bundle having a plurality of coil layers at a respective layer coiling angle. The method determines a geometric strength parameter for a coil layer, the strength parameter being an area ratio of a coil-tube cross-sectional area to a cell cross-sectional area resulting from the axial spacing of the coil tubes and an outer diameter of the coil tubes. The area ratio is corrected by a correction factor taking the orientation of the coil tubes of the coil layer in relation to the force of gravity acting on the coil tubes into consideration. The stiffness of the respective coil layer is determined from the corrected area ratio and a modulus of elasticity of the coil-tube material.Type: GrantFiled: July 20, 2017Date of Patent: March 17, 2020Assignee: LINDE AKTIENGESELLSCHAFTInventors: Reinhold Hölzl, Jürgen Spreeman, Adriana Stefanescu
-
Patent number: 10592622Abstract: A system and method of analyzing an engine model is disclosed. The system and method include performing a Dynamic Systems Analysis on the engine model that includes modifying a transient allowance of the engine model to determine an optimal balance between performance and operability and assessing the conservatism level of the engine model.Type: GrantFiled: October 2, 2017Date of Patent: March 17, 2020Assignee: United States of America as Represented by the Administrator of National Aeronautics and Space AdministrationInventors: Jeffrey T. Csank, Sanjay Garg
-
Patent number: 10592623Abstract: This application discloses a computing system to check and generate an assertion statement. The assertion statement, when executed during a simulation of a circuit design, can verify a simulated behavior of the circuit design. The computing system can extract sequence items from the assertion statement, and generate a state representation for the sequence items based on the simulated behavior of the circuit design. The state representation can identify states of the extracted sequence items at different clock ticks of the simulation. The computing system can locate an error in the assertion statement based on the state representation by generating patterns from sequence operators in the assertion statement and comparing the patterns to the state representation. The computing system can utilize the error in the assertion statement to generate a corrected assertion statement.Type: GrantFiled: November 28, 2016Date of Patent: March 17, 2020Assignee: Mentor Graphics CorporationInventors: Moaz Magdy Mustafa, Mona Safar, Mohamed Dessouky
-
Patent number: 10592624Abstract: The fault analysis problem is modelled by automatically creating additional properties (fault properties) and constraints based on a plurality of injected faults and existing user assertions. These fault properties and constraints are sent to formal verification in a single run to qualify all of the faults together, rather than sequentially checking each fault in a separate formal verification run.Type: GrantFiled: June 1, 2018Date of Patent: March 17, 2020Assignee: Synopsis, Inc.Inventors: Sandeep Jana, Arunava Saha, Pratik Mahajan, Per Bjesse, Alfred Koelbl
-
Patent number: 10592625Abstract: Logic diagnosis is performed on failing reports of defective integrated circuits to derive a diagnosis report for each of the failing reports which comprise information of suspects. The suspects comprise cell internal suspects and interconnect suspects. A probability distribution of root causes for causing the defective integrated circuits is determined to maximize a likelihood of observing the diagnosis reports based on a probability for each of the suspects given each of the root causes and a probability for each of the diagnosis reports given each of the suspects. The probability for each of the diagnosis reports given each of the cell internal suspects is weighted higher than the probability for each of the diagnosis reports given each of the interconnect suspects.Type: GrantFiled: October 26, 2018Date of Patent: March 17, 2020Assignee: Mentor Graphics CorporationInventors: Huaxing Tang, Manish Sharma, Wu-Tung Cheng, Gaurav Veda
-
Patent number: 10592626Abstract: Techniques and a system for visualization or interaction with a quantum processor are provided. In one example, a system includes a quantum programming component and a visualization component. The quantum programming component manages a quantum programming process to generate topology data for a quantum processor that is indicative of a physical topology of a set of qubits associated with the quantum processor. The visualization component generates visualization data for the topology data that comprises a set of planar slice elements arranged to correspond to the physical topology of the set of qubits. The set of planar slice elements indicate one or more operations performed at a time step associated with the quantum programming process.Type: GrantFiled: October 9, 2018Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Edwin Peter Dawson Pednault, Robert L. Wisnieff, Hyun Kyu Seo
-
Patent number: 10592627Abstract: A technique for optimizing integrated circuit (IC) designs based on interaction between multiple integration design rules is provided. For a plurality of IC features, total risk values are determined based on multiple integration design rules. IC features are ordered based on the total risk values. IC features having the highest total risk values are selected based on a threshold count. An IC design is clipped around the high-risk IC features. An overall failure rate is simulated for the clipped area. If the overall failure rate exceeds a threshold, a predicted failure rate for each design rule that applies to IC features within the clipped area is calculated. A high-risk design rule is identified based on the predicted failure rates. The IC design is modified such that a difference between a design rule value of the high-risk design rule and a corresponding design value is reduced.Type: GrantFiled: November 17, 2017Date of Patent: March 17, 2020Assignee: International Business Machines CorporationInventors: Dureseti Chidambarrao, Jason D. Hibbeler, Dongbing Shao, Steven Zebertavage
-
Patent number: 10592628Abstract: Aspects of the disclosed technology relate to techniques of parasitic extraction using compact representation of process calibration data. Geometric information of a layout feature in the layout design comprising geometric parameters is extracted. Parasitic values associated with the layout feature are then computed based on the geometric information and one or more executable files selected in a plurality of executable files which are a compact representation of process calibration data.Type: GrantFiled: January 17, 2018Date of Patent: March 17, 2020Assignee: Mentor Graphics CorporationInventors: Sandeep Koranne, Sridhar Srinivasan
-
Patent number: 10592629Abstract: When a transition control unit stochastically determines whether to accept one of a plurality of state transitions, using a temperature, an energy change, and a random number, depending on a relative relationship between the energy change and thermal excitation energy, the transition control unit adds an offset to the energy change, controls the offset so as to be larger at a local minimum, at which the energy is locally minimized, than at a solution at which the energy is not minimized, and resets the offset to zero when the energy change value is larger than a threshold.Type: GrantFiled: June 27, 2018Date of Patent: March 17, 2020Assignee: FUJITSU LIMITEDInventors: Satoshi Matsubara, Motomu Takatsu
-
Patent number: 10592630Abstract: A method of designing a nano-rectenna panel (NRP) of a vehicle includes generating one or more performance benchmarks associated with nano-rectenna devices that comprise the NRP. A material for the nano-rectenna devices is identified based on one or more of the one or more performance benchmarks. The method also includes designing the NRP based on the material.Type: GrantFiled: September 20, 2017Date of Patent: March 17, 2020Assignee: GM GLOBAL TECHNOLOGY OPERATIONS LLCInventors: Dor Gabay, Mario Jodorkovsky
-
Patent number: 10592631Abstract: Disclosed is a method for performing netlist comparison based on a pin connection relationship of a component, comprising the steps: acquiring a schematic diagram netlist file generated by a schematic diagram, and acquiring a PCB netlist file generated by a PCB; reading a network in the schematic diagram netlist file, forming a netlist connection relationship corresponding to each network into a schematic diagram array, all schematic diagram arrays forming a schematic diagram array set; reading a network in the PCB netlist file, forming a netlist connection relationship corresponding to each network into a PCB array, all PCB arrays forming a PCB array set; and comparing the schematic diagram array set with the PCB array set, and outputting differences between the two array sets. The present disclosure merely compares the connection relationship of components.Type: GrantFiled: August 26, 2016Date of Patent: March 17, 2020Assignees: Guangzhou Fastprint Circuit Tech Co., Ltd., Shenzhen Fastprint Circuit Tech Co., Ltd.Inventors: Zhirui Liu, Zhongyu Mao
-
Patent number: 10592632Abstract: Methods and systems for analyzing design of an integrated circuit are described. An example method includes receiving a design layout for an integrated circuit and forming a plurality of images of portions of the design layout. The method also includes, for each image of a portion of the design layout, calculating a Fourier transform representation of the image and extracting values of pre-defined parameters from the Fourier transform representation. The method also includes comparing the extracted parameter values of the plurality of images to create a clustering model by unsupervised machine learning and to sort each image of a portion of the design layout into a cluster defined by the clustering model. The method also includes determining a number of images sorted into at least one cluster defined by the clustering model.Type: GrantFiled: April 19, 2018Date of Patent: March 17, 2020Assignee: Imec vzwInventors: Ryan Ryoung han Kim, Jae Uk Lee
-
Patent number: 10592633Abstract: The present disclosure relates to lithographic apparatuses and processes, and more particularly to tools for optimizing illumination sources and masks for use in lithographic apparatuses and processes. According to certain aspects, the present disclosure significantly speeds up the convergence of the optimization by allowing direct computation of gradient of the cost function. According to other aspects, the present disclosure allows for simultaneous optimization of both source and mask, thereby significantly speeding the overall convergence. According to still further aspects, the present disclosure allows for free-form optimization, without the constraints required by conventional optimization techniques.Type: GrantFiled: April 20, 2018Date of Patent: March 17, 2020Assignee: ASML Netherlands B.V.Inventors: Luoqi Chen, Jun Ye, Yu Cao
-
Patent number: 10592634Abstract: Systems and methods are provided for reducing processing time of an automated engineering design. A repository of engineering design rule violations and corresponding waiver decisions regarding the design rule violations is accessed. A clustering operation is performed on violations in the repository to form clusters of violations based on one or more characteristics of the violations. Waiver decisions associated with violations in each cluster are evaluated to assign a risk level to each cluster. A plurality of detected engineering design rule violations associated with an engineering design are identified. Each of the detected violations is iterated through to determine which cluster that detected violation belongs. Detected violations associated with low risk clusters are automatically to approve the engineering design.Type: GrantFiled: May 18, 2018Date of Patent: March 17, 2020Assignee: Ansys, Inc.Inventors: Ajay Baranwal, Norman Chang
-
Patent number: 10592635Abstract: A computer-implemented method, computer program product, and computer processing system are provided for generating synthetic layout patterns. The method includes receiving, by a processor, a set of physical design layouts that include a variety of layout patterns for neural network training. The method further includes generating, by the processor, a set of training layout pattern images for the neural network training by performing automatic image capturing on the set of physical design layouts with scripts. The method also includes training, by the processor, a feedforward neural network (FFNN)-based Variational Autoencoder (VAE) with the set of training layout pattern images. The method additionally includes generating, by the processor using the FFNN-based VAE, new synthetic layout images.Type: GrantFiled: May 31, 2018Date of Patent: March 17, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Jing Sha, Michael A. Guillorn, Derren N. Dunn
-
Patent number: 10592636Abstract: A system, computer-readable medium, and a method including receiving flight data engine measurements for at least one engine of the specific aircraft asset; receiving flight data aerodynamics measurements for the specific aircraft asset; combining a physics based parametric aerodynamic performance model tuned for the specific aircraft asset using the flight data aerodynamics measurements and a physics based engine model tuned for the specific aircraft asset using the flight data engine measurements; calculating, based on the combined tuned aerodynamic performance model and the tuned engine model, a performance model for the specific aircraft asset as a whole; and storing a record of the calculated performance model for the specific aircraft asset for a future deployment.Type: GrantFiled: March 17, 2017Date of Patent: March 17, 2020Assignee: General Electric CompanyInventors: Liling Ren, Faisal Goussous, Meet Patel, Filippo Liverini, Sean Hwang, David Lax, Mark Darnell
-
Patent number: 10592637Abstract: Disclosed is a computer-implemented method of screening a patient for end organ damage due to infection. The method entails receiving patient data relating to an identified patient in a computing system including a processor and memory coupled to the processor, wherein the memory stores programmable instructions executable by the processor. The presence of Systematic Inflammatory Response Syndrome is determined and then the presence or absence of a high probability of end organ damage due to infection. Each of the determining steps includes receiving, on a graphical user interface, one or more user selections presented on the graphical user interface and executing programmable instructions based on received user selections.Type: GrantFiled: December 24, 2015Date of Patent: March 17, 2020Assignee: Luminare IncorporatedInventors: Narasimheswara Sarma Velamuri, Marcus Joel Christian Persson Rydberg
-
Patent number: 10592638Abstract: A secure medication dispenser or apparatus dispensing only prescribed amounts of controlled medication (e.g., pain medication, narcotics and the like) on a limited, periodic basis. Medication is dispensed through an access slot. The dispenser cannot be opened by the user or any third party except on this limited, periodic basis. The dispenser is manufactured from strong, penetration-resistant material, and cannot easily be broken, smashed, cut, or otherwise opened.Type: GrantFiled: May 16, 2016Date of Patent: March 17, 2020Inventor: Mohammed-Tarek Al-Fahl