Abstract: The initiation of a reload event by a user of a client-side application who requests a web resource from a server is an implicit indication that the user is dissatisfied with at least some aspect of the loading of the web resource by the client-side application. Information regarding the operational condition of the application at the time of a reload event may be instructive in identifying any issues or deficiencies exist regarding the web resource, the client-side application or the server. Code for displaying the web page may include one or more detection scripts which instruct the client-side application and/or the server-side application to detect a reload event, to capture the information upon the initiation of the reload event and to transfer the captured information back to the server, where the information may be compared against thresholds or tolerances to determine whether any such issues or deficiencies exist.

Abstract: In a method for generating an audio summary of a portion of an electronic document, a user input selecting a focus position within a rendered electronic document is received. The plurality of document elements included in the rendered electronic document is identified. A plurality of audio objects corresponding to the plurality of document elements is generated. An audio signal is generated. The audio signal includes a subset of the plurality of audio objects corresponding to a subset of the plurality of document elements contained within a predetermined range from the focus position. The audio signal indicates the spatial relation between the elements of the elements subset. The audio signal is rendered to the user.

Abstract: A content application includes one or more content list panels. The content application provides mechanisms that allow the user to easily manage article representations included in the content lists such as adding article representations a content list and editing the items directly in menus associated with the content lists.

Abstract: A method for reproducing a graphical user interface display includes, with a graphical user interface display reproduction system, extracting data from network traffic being sent from a server to a first client device, the network traffic including cacheable files used to create a graphical user interface display on the first client device, storing the cacheable file in a trace file associated with the first client device, and sending the cacheable file to a second client device in response to a request from the second client device.

Abstract: An offline support system operates to record a plurality of request/response pairs exchanged between an application and a web service. The system determines if a current request from the application can be communicated to the web service. Upon a positive determination, the current request is passed to the web service. Upon a negative determination, a most recent recorded request/response pair having a request matching the current request is identified. The response from the identified pair is passed to the application as if it were a response to the current request.

Abstract: A large web page is analyzed and partitioned into smaller sub-pages so that a user can navigate the web page on a small form factor device. The user can browse the sub-pages to find and read information in the content of the large web page. The partitioning can be performed at a web server, an edge server, at the small form factor device, or can be distributed across one or more such devices. The analysis leverages design habits of a web page author to extract a representation structure of an authored web page. The extracted representation structure includes high level structure using several markup language tag selection rules and low level structure using visual boundary detection in which visual units of the low level structure are provided by clustering markup language tags. User viewing habits can be learned to display favorite parts of a web page.

Abstract: A computer-readable storage medium storing an update program that causes a computer to execute a process includes: acquiring an automaton performing matching of data in an input stream hierarchized by tags to a keyword in a query, the automaton in which an initial state, a start state indicating a start tag symbol, an end state indicating an end tag symbol, a transition between the initial state and the start state, a transition between the initial state and the end state, and a transition from the initial state to the initial state are defined; generating a path identifying the position of a start tag based on a hierarchy in the input stream when the start tag is read from the input stream; judging whether or not the generated path meets a condition corresponding to the keyword in the query; generating, when the generated path is judged to meet a condition.

Abstract: There is described a system for adding content to a data container, the data container comprising one or more segments arranged in a sequence, each segment containing payload data and wherein at least one of the one or more segments is compressed. The system comprises parsing through at least a portion of the data container so as to determine at least one of a beginning and an end of the sequence of segments; and adding content to the data container at the at least one of the beginning and the end of the sequence of segments, while the at least one of the segments remains compressed.

Abstract: Embodiments relate to estimating closeness of topics based on graph analytics. A graph that includes a plurality of nodes and edges is accessed. Each node in the graph represents a topic and each edge represents a known association between two topics. A statistical traversal experiment is performed on the graph. A strength of relations between any two topics represented by nodes in the graph is inferred based on statistics extracted from the statistical traversal experiment.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for evaluating substitute terms. One of the methods includes receiving a query having an original term and determining one or more substitution contexts for the original term, wherein a substitution context includes one or more context terms and an indication of a position in the query of the original term and the one or more context terms. The substitution contexts are classified into a first category or a second category based on a respective score of each substitution context. The original term is associated with one or more substitution contexts in the first category.

Abstract: A system for verifying factual assertions in natural language. Receiving a text input. Identifying, a verifiable factual statement in the text. Forming a query based on the verifiable factual assertion. Searching a corpus based on the query. Determining the veracity of verifiable factual assertion based on the search results.

Abstract: A computerized method performed in a computer operatively connected to storage. Parsing rules are determined for parsing logs output as text and/or symbols from multiple devices in a computer network. The logs are stored in the storage. Multiple log samples are sampled from the logs. The log samples are input into an application running on the computer. The log samples are each sectioned into multiple sections which include variable information separated by static structural text. Each of the log samples is processed by: comparing the sections to a list of regular expressions. The list is maintained in the storage, and upon matching a matched section of the sections to a matched regular expression from the list of the regular expressions, the matched section is tagged with a tag associated with the matched regular expression. The tag associated to the matched regular expression is stored and combined with any unmatched sections and with the static structural text to create a log pattern.

Abstract: In a method, system, apparatus, and computer-readable device having instructions for collaboration within a visualization application, a visualization application is used to display a visualization for at least a portion of an object, wherein the object comprises a plurality of parts, a request is received to display collaboration data for a part of the object using the input device, information is received about a part, wherein the information comprises details about the part, an association between collaboration data and visualization data for a part of an object is retrieved and the collaboration data comprises data input by one or more to be associated with the part of the object, and information is displayed about a part and collaboration data associated with the visualization for the part of the object.

Abstract: It is proposed a computer-implemented method for designing a staggered pattern of objects in a computer-aided design system, the method comprising the steps of: providing a reference object to be multi-instantiated; instantiating objects from the reference object for forming a grid with a number of rows and a number of columns, the grid being formed so that the rows are spaced from each other with a first distance in a first direction and each column being spaced from each other with a second distance in a second direction; shifting, in one of every two rows of the grid, the instantiated objects of all the columns of said one of every two rows of the grid with a third distance in the second direction.

Abstract: A method and apparatus associated with the production of hydrocarbons is disclosed. The method, which relates to modeling of drilling equipment, includes constructing one or more design configurations for at least a portion of a bottom hole assembly (BHA) and calculating results from each of the one or more design configurations. The calculated results of the modeling may include one or more performance indices that characterize the BHA vibration performance of the design configurations for operating parameters and boundary conditions that are substantially the same or may be different. These results are then simultaneously displayed for a user to facilitate design selection. The selected BHA design configuration may then be utilized in a well construction operation and thus associated with the production of hydrocarbons.

Abstract: Master BOM creation may include extracting BOM data from first and second BOMs, and determining which BOM extracted data is greater. If the first or second BOM is a CAD BOM and the other BOM is a non-CAD BOM, the CAD BOM and non-CAD BOMs may be respectively used as a first and a second source BOM data for a master BOM table. If the first and second BOMs are non-CAD BOMs, or both of the first and second BOMs are CAD BOMs, the greater and lesser of the first and second BOM extracted data may be respectively used as the first and as the second source BOM data. A master BOM may be created based on mapping of the master BOM table to the second source BOM data.

Abstract: A method for calculating a support material volume, the method comprising generating a grid of cells for a tree data structure of a digital part, where the cells define a plurality of cell arrays, and pinging the cells of one of the cell arrays until a cell containing a subset of the tree data structure is reached or until each cell in the cell array is pinged, where if a cell containing the subset of the tree data structure is reached, then designating the reached cell and all remaining unpinged cells in the cell array as filled. The method also includes repeating the pinging step for each remaining cell array to determine a total filled volume, and subtracting a volume of the digital part from the total filled volume to determine a support material volume.

Abstract: Model metadata for each of a plurality of models is stored. The model metadata includes a statistical analysis technique identifier and one or more model input data identifiers. A request to execute a model is received. The request includes data identifying one of the plurality of models, and a model execution start date and end date. On the model execution start date, execution of the model associated with the model execution request is commenced. Outputs of the executed model are stored in a database. The outputs are associated with a model instance identifier, information describing a context for execution of the model, and model output type information. The outputs are retrieved, using the model instance identifier, for analysis.

Abstract: A system (and corresponding method) that employs wiki-type models to consider authoring rather than composition in an application environment is provided. The innovation enables collaborative information and templates to be used to enhance quality, productivity, etc. within a software application environment. These wiki-type models can provide features, functions and benefits related to, but not limited to, general information, auto-fills, formats, schema, conversions, preferences, etc.

Abstract: A computer-implemented method may include retrieving a design netlist with a processor, identifying, via the processor, a logic structure in the design netlist, generating, via the processor, a driver based on the logic structure, applying, via the processor, a simulation and a formal model based on the driver, and testing, via the processor, an output of the simulation and the formal model.

Abstract: A computer-implemented method for maintaining stress in an integrated circuit having fin-type field-effect transistor devices includes selecting, by a processor of a computer system, a representation of an initial layout design for the integrated circuit, the layout design having design shapes including existing fin shapes; adding, by the processor of the computer system, a fin shape to one or more of the existing fin shapes to merge the one or more existing fin shapes with another existing fin shape to form an extended fin shape; adding, by the processor of the computer system, gate contacts to gates which intersect the added fin shape to generate a modified layout design; and saving the modified layout design to a memory communicatively coupled to the processor of the computer system, where device operation of the initial layout design for the integrated circuit is maintained in the modified layout design for the integrated circuit.

Abstract: Described is a method performed by a computing device, the method comprises: deriving a hierarchal structure of hardware instances of a hardware block, wherein the hardware block is described in a register transfer language (RTL); determining complexity of at least one hardware instance, in the hierarchal structure, with reference to a complexity metric; identifying, in response to the determined complexity of the at least one hardware instance, whether the at least one hardware instance is to be modeled; and modifying the hierarchal structure with information about the to be modeled hardware instance.

Abstract: This application discloses an electronic design automation tool configured to perform one or more static reset checks on reset functionality in a circuit design. The electronic design automation tool can detect the reset functionality in the circuit design, identify a portion of the circuit design having a set of resettable components, and determine whether the portion of the circuit design includes a reset design error based, at least in part, on the reset functionality in the circuit design. The static reset checks can include a domain congruency check, a reset skew check, and a glitch detection check, each of which can identify different design errors that may cause reset functionality in the circuit design to operate improperly.

Abstract: Liveness verification of a logic design is performed using various shadow abstraction refinement techniques. An initial subset of state elements are included in the shadow abstraction, and verification is performed (liveness-to-safety conversion) using this initial subset. If a liveness counterexample is detected, the shadow abstraction is refined by designating a second subset of the state elements different from the initial subset for inclusion in a refined abstraction. The initial subset can be designated by choosing all registers in a combinational fan-in of a liveness property of the design. High-performance algorithms for abstract liveness-to-safety conversion can be based upon simulation and counterexample refinement, bounded model checking and counterexample refinement, bounded model checking and proof-based refinement, proofs obtained during bounded model checking of a precise liveness checking problem, a hybrid of counterexample-based refinement and proof analysis, and proofs obtained.

Abstract: A method, system and computer program product for forming a netlist for an electronic circuit is disclosed. A Very High Speed Integrated Circuit Hardware Description Language (VHDL) file is created for a plurality of voltage domains. The VHDL file includes a voltage domain attribute and a logic voltage attribute for a pin of the electronic circuit. The voltage domain attribute and the logic voltage attribute for the pin are read from the VHDL file. Netlist instructions for the pin are synthesized to form a netlist for the electronic circuit. Synthesizing the netlist instructions begins with synthesizing netlist instructions within a voltage domain indicated by the voltage domain attribute and ends with synthesizing netlist instructions within a voltage domain indicated by the logic voltage attribute.

Abstract: In an example, a method of implementing a circuit design for an integrated circuit (IC) includes: placing and routing a logical description of the circuit design to generate a physical description having a plurality of paths, and executing a timing analysis to determine a timing profile of the physical description. The method further includes optimizing the physical description by performing a plurality of iterations of: comparing the timing profile with a timing constraint to select a candidate set of paths having negative slack from the plurality of paths in the physical description; and modifying the physical description based on at least one optimization of a selected path from the candidate set of paths having a most negative slack. The method further includes generating a physical implementation of the circuit design for the IC based on the physical description.

Abstract: An intellectual property (IP) block design methodology for three-dimensional (3D) integrated circuits may comprise folding at least one two-dimensional (2D) block that has one or more circuit components into a 3D block that has multiple tiers, wherein the one or more circuit components in the folded 2D block may be distributed among the multiple tiers in the 3D block. Furthermore, one or more pins may be duplicated across the multiple tiers in the 3D block and the one or more duplicated pins may be connected to one another using one or more intra-block through-silicon-vias (TSVs) placed inside the 3D block.

Abstract: Determining a circuit design-specific, failures in time rate for single event upsets for an integrated circuit (IC) includes determining, using a processor, a number of critical interconnect multiplexer bits for a circuit design for a target IC and determining a number of critical look-up table bits for the circuit design. Using the processor, a device vulnerability factor is estimated for the circuit design for the target IC using the number of critical interconnect multiplexer bits and the number of critical look-up table bits. The estimated device vulnerability factor can be stored, e.g., for subsequent comparison with other circuit designs.

Abstract: A MOS device includes a number of standard cells configured to reduce routing congestions while providing area savings on the MOS device. The standard cells may be single height standard cells that share an n-type well isolated from other nearby n-type wells. The input and output signal pins of the single height standard cells may be configured in a lowest possible metal layer (e.g., M1), while the secondary power pins of the single height standard cells may be configured in a higher metal layer (e.g., M2). Interconnects supplying power to secondary power pins may be configured along vertical tracks and shared among different sets of standard cells, which may reduce the number of vertical tracks used in the MOS device. The number of available horizontal routing tracks in the MOS device may remain unaffected, since the horizontal tracks already used by the primary power/ground mesh are used for power connection.

Abstract: A method, executed by a computer, for routing a circuit includes partitioning a netlist for a circuit into a plurality of nets, determining, for each net of the plurality of nets, a corresponding net cone to provide a corresponding plurality of net cones, computing a total negative timing slack for each net cone of the corresponding plurality of net cones, assigning routing constraints for the plurality of nets according to the total negative timing slack for the corresponding plurality of net cones, and routing the netlist according to the routing constraints. Examples of routing constraints include a routing priority, a routing weight, a scenic ratio, a wire code assignment, and a layer assignment. A corresponding computer program product and computer system are also disclosed herein.

Abstract: A method and system to estimate failure rates in designs. N Monte Carlo samples are drawn from the random distribution that describes process variation in the design. A subset of these samples is selected, and that subset of Ninit samples are simulated (with a circuit simulator) to measure a performance value for each sample. A model is constructed, using the values of the Ninit process points as training inputs, and the corresponding Ninit performance values as training outputs. The candidate Monte Carlo samples are from the N Monte Carlo samples that have not yet been simulated. Each candidate is simulated on the model to get predicted performance values, and the samples are ordered in ascending (or descending) order of the predicted performance values. Simulation of candidates samples is then begun, in that order. The sampling and simulation will stops once there is sufficient confidence that all failures are found.

Abstract: Embodiments include systems and methods for optimization of micro-benchmark analysis for microprocessor designs. For example, embodiments seek to generate a suite of micro-benchmarks and associated weighting factors, which can be used to effectively define a weighted aggregate workload condition for a fine-grained (e.g., RTL) simulation in a manner that is a sufficient proxy for predicted commercial workload conditions. The suite of micro-benchmarks can be appreciably more efficient to simulate than the commercial workload, so that using the suite of micro-benchmarks as a proxy for the commercial workload can provide many benefits, including more efficient iterative design.

Abstract: Systems and methods compute a mean timing value of an integrated circuit design for variables using a first timing calculation of relatively higher accuracy; and calculate a first timing value of the integrated circuit design for the variables, using a second timing calculation having a relatively lower accuracy. Such systems and methods calculate second timing values of the integrated circuit design for additional sets of variables using the second timing calculation; and calculate finite differences of each of the second timing values to the first timing value. Thus, these systems and methods calculate a statistical sensitivity of the first timing value to the additional sets of variables based on the finite differences. Further, such systems and methods calculate a statistical sensitivity of the mean timing value to the additional sets of values based on the statistical sensitivity of the first timing value to the additional sets of values.

Abstract: A novel probabilistic method for analyzing high cycle fatigue (HCF) in a design of a gas turbine engine is disclosed. The method may comprise identifying a component of the gas turbine engine for high cycle fatigue analysis, inputting parametric data of the component over a predetermined parameter space into at least one computer processor, using the at least one computer processor to build a plurality of flexible models of the component based on the parametric data of the component over the predetermined parameter space, using the at least one computer processor to build a plurality of emulators of the component based on the plurality of flexible models, and using the at least one computer processor to predict a probability of HCF based at least in part on the parametric data of the component over the predetermined parameter space and the plurality of emulators.

Abstract: Methods and systems are disclosed that generate life scores for individuals based on various information associated with the individuals. For example, life scores may be based on data associated with several aspects of the individual's life, such as work, family, hobbies, education, etc. The life scores may be generated in realtime and/or periodically and provided to the individual and/or shared with others in various formats.

Abstract: A method for making downhole dynamics measurements using rotating navigational sensors includes rotating navigational accelerometers in a subterranean borehole to obtain a string of accelerometer measurements while rotating. The measurements are differentiated to obtain a string of differentiated accelerometer measurements and may then be further processed to obtain a drill string vibration parameter. Substantially simultaneous magnetometer measurements may be obtained and utilized to compute a corrected vibration parameter in which at least one of a gravitational acceleration component, a tangential acceleration component, and a centripetal acceleration component is removed from the vibration parameter.

Abstract: Methods and apparatus for providing data processing and control for use in a medical communication system are provided.

Abstract: The subject invention pertains to methods of identifying compounds that bind to a binding pocket on metal ion binding proteins of the ArsR/SmtB family and modulate their regulatory activity by increasing the propensity of the proteins to remain in a conformationally trapped form such as the metal ion bound conformation or disulfide-linked conformation, the DNA bound conformation, or the apo-conformation. The invention provides methods of identifying such compounds using computer software programs. The invention also provides bioassays for identifying such compounds. The invention also provides pharmaceutical compositions containing compounds that modulate metalloregulatory activities of the metal ion binding proteins of the ArsR/SmtB family.

Abstract: A system, method and apparatus for executing a sequence analysis pipeline on genetic sequence data includes an integrated circuit formed of a set of hardwired digital logic circuits that are interconnected by physical electrical interconnects. One of the physical electrical interconnects forms an input to the integrated circuit connected with an electronic data source for receiving reads of genomic data. The hardwired digital logic circuits are arranged as a set of processing engines, each processing engine being formed of a subset of the hardwired digital logic circuits to perform one or more steps in the sequence analysis pipeline on the reads of genomic data. Each subset of the hardwired digital logic circuits is formed in a wired configuration to perform the one or more steps in the sequence analysis pipeline.

Abstract: Embodiments of the invention are directed to improved discrimination of protective (anti-atherogenic) HDL from atherogenic or non-protective (NP) HDL. The methods, systems and computer program products determine protective high density lipoprotein particle (HDL-P) numbers. The methods include obtaining concentration measurements of at least twenty subpopulations of HDL-P subclasses in a blood plasma or serum sample and calculating a protective HDL-P number using (i) a defined subset of the obtained HDL-P concentration measurements or (ii) a zero or defined weighting factor below 1 for HDL-P concentration measurements for HDL subclasses associated with particle sizes above about 11 nm.

Abstract: Embodiments of the invention are directed to methods, systems and computer programs that provide improved risk stratification for people having elevated large HDL-P using at least one defined HDL risk interaction parameter.

Abstract: A computer implemented method, apparatus, and computer program product of determining mechanisms of action for therapies. A first set of brain scans for each subject in a plurality of subjects generated at a first time period and a second set of brain scans for each subject generated at a second time period are received. Each subject is diagnosed with a given condition and received a given therapy. A set of changes in the set of brain scans is identified for the each subject based on a comparison of a first set of regions of interest in the first set of scans for each subject with a second set of regions of interest in the second set of scans for each subject. A set of typical changes attributable to the given therapy is identified. A mechanism of action for the given therapy is generated based on the set of typical changes.

Abstract: Methods, systems, and computer-readable media are provided for determining and generating content items that provide patient information and content provided by, for example, a third-party content provider that is relevant to information associated with an open healthcare application. The content items are displayed in a separate display space from the healthcare application's user interface and dynamically change and update in response to changes in the information being displayed on the healthcare application's user interface. Additionally, the content items are actionable thereby enabling healthcare providers to address alerts, take actions, view supporting documentation, and the like.

Abstract: Methods and systems of patient treatment are disclosed. The methods and systems include use of medical device informatics to modify and validate therapies and drugs used in those therapies. In certain embodiments, a medical device, such as a medical infusion pump, interfaces with a server to administer the patient treatments. In one aspect, a method of tracking changed parameters in a medical infusion pump is disclosed. The method includes establishing a communication session between a medical infusion pump and a medical device server, and communicating an original parameter value, an updated parameter value, and a final parameter value from the medical infusion pump to the medical device server. The method further includes storing the original parameter value, the updated parameter value, and the final parameter value on the medical device server. Metadata associated with one or more of the parameter values identifies that parameter value to the medical device server and the medical infusion pump.

Abstract: A method for collecting information at a vehicle, such as an emergency vehicle, involves receiving at the vehicle a request regarding a patient. The method further involves collecting information on the patient using a mobile computer at the vehicle. The method also involves transmitting the patient information as an electronic file from the mobile computer to a hospital over a network. As part of this method, billing information concerning the patient may be collected. Additionally, a method for processing billing information concerning a patient involves collecting billing information regarding the patient from a mobile computer at a vehicle over a network. The method further involves classifying a service provided to the patient in at least one billing category based on the billing information. In addition, the method further involves generating a bill for the patient based on the billing information.

Abstract: Provided is a system and method for evaluating laser treatment, for converting the attribute of a laser beam and numerically evaluating proficiency of a laser treatment operator by processing data obtained by photographing the converted laser beam so as to use the evaluated data as training data. The laser treatment evaluating system includes an attenuation unit for attenuating intensity of a laser beam transmitted through a transmissive plate, a camera for photographing the laser beam transmitted through the attenuation unit, and an image data processing apparatus connected to the camera, for processing an image captured by the camera, tracking a trajectory of a laser beam on the transmissive plate, and calculating a distribution state of spots on which the laser beam on the transmissive plate is emitted.

Abstract: Systems, methods and computer program products for providing condition specific adaptive content include receiving condition specific information into a data repository, defining requirements corresponding to the condition specific information, building a condition specific application based on the requirements, configuring the condition specific application corresponding to user-specific attribute and delivering the condition specific application to a processing device that is operable to execute the condition specific application.

Abstract: A glycemic control system includes a physician processor, remote processor, and a portable telephone having a data input mechanism, a display, and an internal processor for bi-directional communication with the physician's processor and the remote processor. A patient inputs data to the internal processor responsive to input from the physician's processor and then transmits the information to the remote processor where an optimized number of units to be administered is sent back and displayed on the portable telephone.

Abstract: An electronically controlled reminder device is adapted to be set in a programming mode by a user, perform a user-actuated operation, and detect when a user-actuated operation is performed. When in programming mode the device is adapted to record and set reminders in accordance with a detected time pattern of operation(s) of the device, wherein the programming mode is activated for a pre-determined number of operations or for a pre-determined period of time, after which the device automatically returns to the operational mode in which it provides reminders to the user based on the recorded time pattern of operations. Thus, normal use of the device provides automatic programming of the reminder scheme.

Abstract: A medication dispenser. The dispenser comprises a sensor for receiving biometric information from a user, a memory for storing a minimum dosing interval, a controller for determining whether the user is an authorized user, a belt having medication-carrying slots, a dose opening defined in an exterior surface of the dispenser, and a signaling device. The controller activates the signaling device and the sensor only when the minimum dosing interval has elapsed as measured from a last successful user authentication. The sensor is responsive to user biometric information provided any time after activation of the signaling device and the sensor, but not before activation of the signaling device and the sensor. After determining the use is an authorized user, a medication-carrying slot is aligned with the dose opening.