Abstract: A system and method for implementing distributed storage and visualization for a graph database system for very large graph databases is presented. A graph database can comprise nodes and edges stored as artifacts, which can then be indexed using a distributed index system. A system capable of performing such tasks can include a processing system that creates an index of the artifacts, a construction system that can create a graph database from a text file, and a reading system that can create a text file from a graph database by finding requested artifacts in the graph of interest. A visualization system can perform queries on a graph database, then create sub-graphs containing the results for visualization purposes. The sub-graph can receive navigation inputs that display various portions of the sub-graph. Other embodiments also are disclosed.

Abstract: Convolutional neural networks can be visualized. For example, a graphical user interface (GUI) can include a matrix of symbols indicating feature-map values that represent a likelihood of a particular feature being present or absent in an input to a convolutional neural network. The GUI can also include a node-link diagram representing a feed forward neural network that forms part of the convolutional neural network. The node-link diagram can include a first row of symbols representing an input layer to the feed forward neural network, a second row of symbols representing a hidden layer of the feed forward neural network, and a third row of symbols representing an output layer of the feed forward neural network. Lines between the rows of symbols can represent connections between nodes in the input layer, the hidden layer, and the output layer of the feed forward neural network.

Abstract: An anatomical implant application, such as a bone implant application for instance, can receive an anatomical image that is representative of an anatomical structure. The anatomical implant application can generate an implant image that is associated with the anatomical structure. The generated implant image can define an inner surface that faces the anatomical image. A plurality of distances can be determined from respective locations of the inner surface of the implant image to the anatomical image in respective straight lines. The distances may represent a superimposition of the implant image over the anatomical image. The distances may be compared to a tolerance. The inner surface may be repositioned so as to change at least the select one of the distances. An implant, such as a bone implant for instance, may be fabricated in accordance with data that is associated with the implant image.

Abstract: Methods for aligning a digital 3D model of teeth represented by a 3D mesh to a desired orientation within a 3D coordinate system. The method includes receiving the 3D mesh in random alignment and changing an orientation of the 3D mesh to align the digital 3D model of teeth with a desired axis in the 3D coordinate system. The methods can also detect a gum line in the digital 3D model to remove the gingiva from the model.

Abstract: Systems and methods construct three-dimensional models of building structures with roofs by exploiting properties of the projection of a three-dimensional building structure onto the ground. This projection is a two-dimensional spatial graph, which can be constructed for example by a user or by an image recognition algorithm. The spatial graph is processed to recreate a three-dimensional model of the building structure.

Abstract: A method includes, based on information received from a user through a graphical user interface, forming and storing elements that define a model that can be run by a computer to simulate operation of a real-world system that includes real-world features. The method includes including in the elements that are formed and stored, collections of software entities that correspond to the real-world features, and running the model using the software entities.

Abstract: Provided is a method of the simulation construction for measurement of the control rod insertion time including a three-dimensional modeling operation of an inside wall of the nuclear reactor, a control rod, etc; a flow field configuration operation wherein the flow field is differentially configured by a variable grid system comprising variable cells which change the configuration and by an aligned grid system comprising fixed cells which maintains the configuration; a calculation operation of simulation estimated value for the insertion time by analyzing the thermal-hydraulic phenomenon using the three-dimensional CFD; and a cell change operation, wherein an error between the estimated value and the actual value is verified whether the error lies within the reference range, and, when the error exceeds the reference range, the size of the variable cell and/or of the size of the fixed cell is changed.

Abstract: A method implemented using one or more computer processors for estimating the density of a material in an annular space includes receiving detector data representative of scattered photons resulting from interaction of a material in an annular space with radiation from a radiation source and detected by a plurality of radiation detectors. The technique further includes performing a set of Monte Carlo simulations. The method further includes performing a principal component analysis on the set of Monte Carlo simulations to generate a principal component analysis model of the detector data. The method also includes estimating the density of the material at one or more locations within the annular space based upon the principal component analysis model and the detector data.

Abstract: For detecting static and dynamic objects, the objects are statistically detected by way of a particle card, and new particles are respectively added in repeating steps. The method is characterized by the fact that static particles are also added, which makes it possible to model static objects in a very precise manner. An environmental model is also generated that has a two-dimensional arrangement of cells, and each cell represents a specific location. To each cell at least two continuous classification values are assigned that describe different attributes of the cells, for example, whether a cell has an object, a static object, a dynamic object, or whether it represents a free space, or whether none of these classes can be assigned.

Abstract: A method is provided for calculating a performance of a photovoltaic module comprising at least a first photovoltaic cell and a second photovoltaic cell. The method comprises calculating a heat flow between the first photovoltaic cell and the second photovoltaic cell using a first thermal equivalent circuit of the first photovoltaic cell and a second thermal equivalent circuit of the second photovoltaic cell, wherein at least one node of the first thermal equivalent circuit is connected to a corresponding node of the second thermal equivalent circuit by a thermal coupling resistance. The method may be used for calculating the influence of spatial and temporal variations in the operation conditions on the performance, such as the energy yield, of a photovoltaic module or a photovoltaic system.

Abstract: An example method may include identifying (i) a first group of reactions that corresponds to a first set of precursors and a first set of reaction products and (ii) a second group of reactions that corresponds to a second set of precursors and a second set of reaction products. No precursor in the first set of precursors is also in the second set of precursors, no reaction product in the first set of reaction products is also a precursor in the second set of precursors, and no reaction product in the second set of reaction products is also a precursor in the first set of precursors. The method may also include executing a first processing thread to iteratively calculate respective quantities of the precursors in the first set of precursors and executing a second processing thread to iteratively calculate respective quantities of the precursors in the second set of precursors.

Abstract: A method for estimating wave field characteristics in 3D comprising the following steps: using a ray trace model to estimate RF wave front paths as they propagate from a transmitter to a plurality of given points within a geographical area of interest; constructing a ray bundle for each point; sorting the points into mode constellations according to the points' hop count and apogee characteristics; constructing a Delaunay triangulation of each mode constellation; computing a covariance estimation for each triangle in each mode constellation; and estimating the wave field characteristics over the entire geographical area of interest based on a summation of constituent ray bundles' characteristics within each mode constellation.

Abstract: A method for determining a signal electromigration effect in a circuit includes obtaining a partition netlist from a partition of an integrated circuit netlist and identifying a complementary netlist that couples a second input with the output is provided. The complementary netlist is logically independent from the reference netlist. The method includes modifying the partition netlist to couple the reference netlist and the complementary netlist in an inverting configuration, and providing an electromagnetic pulse to at least one of the first input or the second input to induce a current through one of the plurality of circuit components. The method also includes determining an electromigration effect from the current on the one of the plurality of circuit components.

Abstract: Electronic design automation (EDA) systems, methods, and computer readable media are presented for adding design for test (DFT) logic at register transfer level (RTL) into an integrated circuit (IC) design at RTL. In some embodiments, the DFT logic at RTL includes a port that connects to a hierarchical reference with a hierarchical path in the tree structure hierarchy to a part of the IC design at RTL. Such DFT modification helps to decrease the number of new ports added at this stage, and as a result assists subsequent debugging and back-annotation of RTL.

Abstract: A scheduling result file (103) indicates that one or more processes are assigned to each of a plurality of process steps to be executed sequentially. A target specification section (120) specifies a target process that is a process performing computation and an identical-type process that is a process assigned to a process step executed after a process step to which the target process has been assigned and performing computation which is identical in type to the target process among processes in the scheduling result file. A destination specification section (130) specifies, as a destination step, a process step that enables a computing unit to be shared between the target process and the identical-type process when the target process is assigned. A scheduling change section (150) changes description of the scheduling result file to description in a state in which the target process has been assigned to the destination step.

Abstract: Methods of estimating yields of integrated circuits and methods of optimizing designs for the integrated circuits are provided. In a method of estimating a yield of an integrated circuit, critical paths are extracted from timing paths included in the integrated circuit by performing a static timing analysis for the integrated circuit. The critical paths are grouped into criticality sigma level groups according to criticality sigma levels of the critical paths, and the yield of the integrated circuit is determined based on numbers of the critical paths belonging to the respective criticality sigma level groups.

Abstract: Physical synthesis for a circuit design can include determining, using a processor, features relating to a signal path of the circuit design not meeting a timing requirement, processing the features through a first neural network model using the processor, wherein the first neural network model is trained to indicate an effectiveness of a first physical synthesis optimization, and selectively performing, using the processor, the first physical synthesis optimization for the signal path based upon a result from the first neural network model.

Abstract: Each realization of an electric circuit design defines a frequency response. For a test lot of the design, frequency responses are measured, each at a stable value of an environment parameter, wherein the totality of the values are distributed over a parameter range. Based on the measurements, a design-specific model is defined that describes a frequency response of the design in dependence of the environment parameter. For a unit in a main lot of realizations of the design, a unit-specific frequency response is measured at a stable value of the environment parameter; the model is fitted to the response, whereby a unit-specific model is obtained; data representing the unit-specific model is stored in association with the unit; and the unit is operated in conjunction with a compensation stage configured to determine a present value of the environment parameter and compensate drift in relation to a parameter-independent reference frequency response.

Abstract: An improved approach is described to implement trim data representation for an electronic design. Instead of maintaining a gap shape object for every gap in the layout, existing objects adjacent to the gap location are configured to include attributes of the gap shape. The properties of the gap shape can then be derived from the adjacent objects.

Abstract: A computer implemented method for routing a first path in a circuit design is presented. The method includes iteratively building a multitude of partial-paths to route the first path by adding an incremental length to a selected previously built partial-path when the computer is invoked to route the first path in the circuit design, the adding being performed in accordance with at least a first design rule. The multitude of partial-paths start at a first location. The method further includes comparing each of the multitude of partial-paths to each other when the multitude of partial-paths end on a common second location different from the first location, and saving one of the multitude of partial-paths that leads to a shortest first path. The method further includes eliminating one of the multitude of partial-paths that are not selected to lead to the shortest first path.

Abstract: Disclosed are methods, systems, and articles of manufacture for implementing dynamic maneuvers within virtual hierarchies of an electronic design. These techniques identify or generate a plurality of figure groups at one or more virtual hierarchies in a layout portion and receive a request to descend into or ascend from a figure group at a virtual hierarchy of the one or more virtual hierarchies. In response to the received request, these techniques update a layout view into an updated layout view at least by exposing layout design details in the figure group for native editing according to the request to descend into or ascend from the figure group and optionally synchronize a corresponding schematic design view according to the updated layout view.

Abstract: Embodiments relate to physically implementing an integrated circuit design while conforming to complex design rule constraints. According to some aspects, embodiments relate to an automated method for generating shapes for correcting design rule errors such as line end-to-end spacing violations. In these and other embodiments, the automated method determines the errors post-placement and automatically generates the required shapes, taking into account additional process design rules and neighboring shapes. Some embodiments consider clusters of objects, potential legal areas between line-ends, merging of potential legal areas and generation of various shapes to produce a design rule correct layout.

Abstract: A computer-aided design (CAD) geometric modeling system, including a CAD software, a data store, a connector building module, a pairing module and an intelligent behavior module, all executable by at least one computing device. A user may use the CAD software to implement geometric models for multiple components. The data store stores necessary information of the system. The connector building module may add connectors on the components. The pairing module may identify a first component and at least one second component capable of matching the first component, and then identify connectors on the first and second components to match the first component to the second component by forming a matching pair of the identified connectors based on the pairing rules. The intelligent behavior module may receive the intelligent rules for the intelligent behaviors of the components of the matching pair, and invoke intelligent behaviors according to the intelligent rules.

Abstract: A system includes a display and a processor. The processor is configured to receive a first computer-aided design (CAD) model representing at least one part of a machine, receive a second CAD model representing the at least one part of the machine, and identify one or more differences between the first CAD model and the second CAD model. The processor is also configured to populate a discrepancy list including the one or more differences between the first CAD model and the second CAD model, receive an input to review the discrepancy list, and display a visualization having the discrepancy list via the display upon receipt of the input.

Abstract: An embodiment of a method for generating a flow order that minimizes the accumulation of phasic synchrony error in sequence data is described that comprises the steps of: (a) generating a plurality of sequential orderings of nucleotides species comprising a k-base length, wherein the sequential orderings define a sequence of introduction of nucleotide species into a sequencing by synthesis reaction environment; (b) simulating acquisition of sequence data from one or more reference genomes using the sequential orderings, wherein the sequence data comprises an accumulation of phasic synchrony error; and (c) selecting one or more of the sequential orderings using a read length parameter and an extension rate parameter.

Abstract: The present invention relates to the use of rotavirus particles for displaying a heterologous protein, alone or in complex with another molecule. The invention further relates to methods that employ these modified rotavirus particles to rapidly determine the structure of the heterologous protein or the complex using cryo-electron microscopy (cryo-EM). The invention also relates to a method of immunizing a patient, wherein said method comprises administering to the patient the modified rotavirus particles of the invention.

Abstract: The invention provides methods for analyzing sequence data in which a large amount and variety of reference data are efficiently modeled as a reference graph, such as a directed acyclic graph (DAG). The method includes determining positions of k-mers within a reference graph that represents a genomic sequence and known variation, storing the positions of each k-mer in a table entry indexed by a hash of that k-mer, and identifying a region within the reference graph that includes a threshold number of the k-mers by reading from the table entries indexed by hashes of substrings of a subject sequence. The subject sequence may subsequently be mapped to the candidate region.

Abstract: Contemplated systems and methods integrate genomic/exomic data with transcriptomic data by correlating a cancer associated mutation in the genome/exome with the transcription level of the affected gene carrying the mutation, particularly where the mutation is a 3-terminal nonsense mutation.

Abstract: The computational cost for a mapping process performed in analyzing genome/exome/transcriptome is reduced by sorting all cyclic permutations or suffixes of all read sequences to allow a search to be performed on the basis of any base sequence as a key. Also performed is computing and storing, for each base position in a genome sequence, the minimum length for uniqueness (MLU) at which a partial sequence starting from the base position becomes unique in the genome. In analysis of variations, a target region is scanned to inspect the number of matching read sequences that contain a partial sequence with a length of MLU and thus estimate the position of a variation, and then, the read sequences are collected at a position where the possibility of a variation having occurred is high to perform comparison analysis of the sequences.

Abstract: System and methods are provided for performing privacy-preserving, high-performance, and scalable DNA read mapping on hybrid clouds including a public cloud and a private cloud. The systems and methods offer strong privacy protection and have the capacity to process millions of reads and allocate most of the workload to the public cloud at a small overall cost. The systems and methods perform seeding on the public cloud using keyed hash values of individual sequencing reads' seeds and then extend matched seeds on the private cloud. The systems and methods are designed to move the workload of read mapping from the extension stage to the seeding stage, thereby ensuring that the dominant portion of the overhead is shouldered by the public cloud.

Abstract: Provided are biological methods for measuring enzyme activity. The methods include generating reactions, and contacting each reaction generated with a set of internal standards, where each of the internal standards includes a different amount of product. The methods also include generating a standard curve for each of the reactions from the internal standards in each of the reactions.

Abstract: Described are techniques for extracting information from DICOM structured reports by applying criteria to the reports to locate values at particular nodes and extract the values into a data structure. One or more rules may be applied to determine additional values based on the extracted values. One or more of the extracted values or additional values may be queried, indexed, aggregated, and stored for searching, access, report generation, and so forth.

Abstract: Methods and systems are provided for tagging and selectively saving medical imaging data. One example method includes acquiring medical imaging data with a medical imaging device, tagging a subset of the medical imaging data with a tag based on one or more features of the imaging data, and saving the subset of the imaging data if the tag matches a designated tag.

Abstract: A method for capturing images of an individual to determine wellness for such individual, including establishing baseline physiological data for the individual, and baseline capture condition data for the individual; detecting and identifying the presence of the individual in the image capture environment; providing semantic data associated with the individual; capturing one or more images of the individual during a capture event and determining the capture conditions present during the capture event; using the event capture conditions, the baseline physiological data for the individual and the baseline capture condition data to determine the acceptability of event captured images; and using the acceptable images and the semantic data in determining the wellness of the individual.

Abstract: A system and method of distributing pharmaceutical prescriptions within a network of pharmacies based on the review of prescription claim data and patient medical state to enable stratification of patients, wherein each pharmacy within the network has been established to handle one or more particular patient medical states.

Abstract: A system and method for control of prescription drug packaging and dispensing machines located in an in-patient health care facility including centralized control and enhanced communication between system components. Delay and errors in processing item data in the prescription dispensing system are reduced by using concise ID data incorporated into each canister memory chip and storing canister contents data elsewhere. Canisters are configured in a pharmacy using interchangeable parts. Data being processed is synchronized by a combination of user tokens (who), data identifiers (what), and unique Ids for the entities in the system (where). The foregoing combination enables substantial efficiency improvements and error reduction.

Abstract: A medication delivery system is disclosed that includes a portable container and a controller. The portable container includes a body and a lid that forms a securable storage compartment, and a latch that is coupled to the body and configured to releasably secure the lid. The portable container also includes a processor and a power source coupled to the latch, the processor causing the latch to release when an access signal based on a unique identifier is received.

Abstract: A computationally implemented system and method that is designed to, but is not limited to: electronically receiving directive information including verification information to electronically verify issuance of the directive information by at least one authorized entity, living being identification associated with a particular individual living being, and reporting directions for electronically recording occurrence information to indicate at least one occurrence of at least partial preparation of a particular ingestible product designated by the reporting directions to be associated with an electronically inputted identification of the particular individual living being as verified using the living being identification electronically received with the directive information; and electronically transmitting the occurrence information to an electronic receiving device to be accessed by at least one recipient identified by the reporting directions as authorized to access the occurrence information subsequent to v

Abstract: A process for determining the distillation characteristics of a liquid petroleum product that contains an azeotropic mixture of an oxygenated or nitrogen-containing component and at least one petroleum blending component.

Abstract: Methods, systems, and computer program products are provided for protecting stored data. A user interface module enables a data sensitivity level, a data protection response, and a contextual trigger to be associated with data stored in a computing device. The user interface is configured to enable the data protection response to be selected from a plurality of data protection responses that includes a soft delete and a hard delete. A contextual trigger monitor is configured to monitor for an occurrence of the contextual trigger. A data protection enactor is configured to enact the data protection response associated with the data when an occurrence of the contextual trigger is detected.

Abstract: A computer system for providing software over a network includes: a computer system for providing software over a network is provided. The system includes: a control unit configured to reside at a site, the control unit including a control unit identification (ID) that uniquely identifies the control unit to the network; a copy of the software, the software including sets of features; a license generator configured to create a features activation file containing the control unit ID and identifying at least one set of features to be activated by the control unit; a computer configured to download the features activation file to the control unit; and, the control unit configured for activating one of the sets of features according to the features activation file. A method and a computer program product are disclosed.

Abstract: Disclosed herein are methods and systems for authentication using zero-knowledge code. One embodiment takes the form of a process that includes detecting an accessory-access-request event associated with a trusted accessory. The process includes generating a seed sequence having a first number of seed-sequence elements. The process includes outputting an indication of at least one seed-sequence element. The process includes receiving at least one seed-sequence-element-modifier signal for at least one of the seed-sequence elements. The process includes modifying the generated seed sequence in accordance with the at least one received seed-sequence-element-modifier signal. The process includes comparing the modified seed sequence with a stored access sequence. The process includes granting operational access to the trusted accessory when the modified seed sequence matches the stored access sequence.

Abstract: The present disclosure provides a user verifying method, a terminal device, a server and a storage medium. The method may include: receiving, by a terminal device, a motion instruction from a server, and displaying the motion instruction on a display interface of the terminal device; obtaining sensed data of a gyroscope equipped in the terminal device and sending the sensed data to the server; determining, by the server, whether a motion trail of the terminal device constructed according to the sensed data meets a requirement of the motion instruction; and determining, by the server, that a user of the terminal device passes a user verification if the motion trail of the terminal device constructed according to the sensed data meets the requirement of the motion instruction. The method ensures that only human can accomplish the verifying process, which promotes the security of the user verification and improves the user experience.

Abstract: Certain embodiments of the invention generally relate to identity verification. A server may include at least one processor, and at least one memory including computer program code. The at least one memory and the computer program code may be configured to, with the at least one processor, cause the server at least to receive a data signal from a user computer for a user request to schedule an enrollment session with a remote live person, send a data signal to the user computer, capture a picture of the user via the webcam, perform a first verification, perform a second verification, perform a third verification, and perform a subsequent identity verification of the user.

Abstract: According to various embodiments of the present disclosure, an electronic device may include a biometric sensor configured to detect a contact signal from at least two biometric electrodes and a processor configured to determine whether the contact signal received from the biometric sensor has biological characteristics. When the processor determines that the contact signal is a biometric input having biological characteristics, the processor executes a biometric information function. When the processor determines that the contact signal does not include the biological characteristics, the processor executes a general function related to an application.

Abstract: Various embodiments of the present disclosure relate to an electronic device and a method for authenticating a fingerprint in an electronic device, the electronic device performs operations including: performing an authentication process for an input fingerprint based on registered authentication information; when the authentication of the input fingerprint is successfully performed, detecting similarity information of the input fingerprint; storing the detected similarity information in conjunction with an authentication time in a fingerprint information database; and updating the registered authentication information using at least one piece of stored fingerprint information based on the similarity information stored in the fingerprint information database, thereby making it possible to prevent and/or reduce the fingerprint authentication rate from being decreased based on the change of the fingerprint so that security can be maintained.

Abstract: This application discloses an unlocking control method and apparatus for an intelligent terminal, including: detecting, when an intelligent terminal enters an unlocking interface, a touch gesture on a touch display of an intelligent terminal; and determining whether a trajectory node of the detected touch gesture and a stay time on the trajectory node are the same as a predetermined trajectory node and a predetermined stay time on the trajectory node, and if same, unlocking an intelligent terminal. By using the present disclosure, lock screen cracking difficulty may be increased, and security of a lock screen state may be improved.

Abstract: In one embodiment, a file comprising a disk image and a key blob is prepared. The file is attached to a virtual machine configuration. A virtual machine based on the virtual machine configuration is launched. A kernel is paired to the key blob by a kernel driver paired to the key blob reading secret comprising identity information into the kernel of the virtual machine. The identity information is registered with a kernel service. The attached file is ejected from the virtual machine configuration. The identity information is accessed by an application running on the virtual machine, wherein the identity information is used by the application when the kernel service requires identity information. Related hardware and systems are also described.

Abstract: Certisafe is a novel Credential Authentication Process and System (CAPS), where a CertiSafe ID is generated once and only once the Issuer confirms the Authenticity of the Credential of a Candidate. This CertiSafe ID is a unique electronic ID, unique to the Candidate and also unique to the unique Credential, can be used repeatedly and endlessly in lieu of paper based copies that a Candidate usually submits to the Requestor through an application (physical/electronic). This method also purports to save precious paper and time for candidates each time they have to apply to an institution or an organization, by making redundant completely, the requirement of paper copies of the credentials and also their subsequent attestation. The verified credential, through CertiSafe ID, gives the Requesting organization the confidence of absorbing the right candidate and not a candidate with dubious credentials.

Abstract: Systems, methods, and media for detecting the presence of return-oriented programming (ROP) payloads are provided, comprising: identifying a potential gadget address space; determining if a piece of the data corresponds to an address of the potential gadget address space; and in response to determining that the piece of the data corresponds to an address of the potential gadget address space: determining whether a plurality of operations, each associated one of a plurality instructions beginning at the address, indicates that an ROP payload is present in the data, and indicating that an ROP payload is present in the data in response to making a determination that a plurality of operations indicates that an ROP payload is present in the data a given number of times.