Harer
Jacob Harer, Nashua, NH US
Patent application number | Description | Published |
---|---|---|
20150260803 | Circuits and Methods for Limiting a Smallest Separation of Thresholds in a Magnetic Field Sensor - A magnetic field sensor uses upper and lower thresholds. The upper and lower thresholds are limited such that they have a minimum separation distance between equivalent voltage levels of the upper and lower thresholds. | 09-17-2015 |
Johann Harer, Graz AT
Patent application number | Description | Published |
---|---|---|
20090156966 | MODULAR SENSOR CASSETTE - The invention concerns a sensor cassette that can be inserted into an analyzer comprising a continuous measuring channel for receiving fluidic media and sensory elements for determining chemical and/or physical parameters of the fluidic media. According to the invention the sensor cassette consists of at least two permanently connected but separately manufactured modules which each have a housing and a measuring channel section wherein the measuring channel sections of adjacent modules are connected to the continuous measuring channel by a fluidic coupling and wherein at least one of the connected modules is designed as a sensor module and has a sensor array comprising at least two sensory elements. Furthermore, a memory element is allocated to the sensor cassette on which specific information for the sensor cassette in particular with regard to its construction from the respective modules is stored. | 06-18-2009 |
Kevin Harer, Cornelius, OR US
Patent application number | Description | Published |
---|---|---|
20120198397 | ABSTRACTION-BASED LIVELOCK/DEADLOCK CHECKING FOR HARDWARE VERIFICATION - Some embodiments of the present invention provide systems and techniques for checking a livelock in a circuit design. During operation, the system can identify a finite state machine (FSM) in the circuit design, wherein the FSM comprises a first set of state variables. The system can then construct an abstract machine of the circuit design, wherein the abstract machine includes the FSM and a second set of state variables. Next, the system can search for one or more livelocks in the abstract machine. If a livelock is found in the abstract machine, the system can verify that the livelock is a livelock in a concrete machine of the circuit design, wherein the concrete machine includes the FSM and a third set of state variables, wherein the second set of state variables is a subset of the third set of state variables. | 08-02-2012 |
Kevin M. Harer, Cornelius, OR US
Patent application number | Description | Published |
---|---|---|
20140258954 | RANKING VERIFICATION RESULTS FOR ROOT CAUSE ANALYSIS - Verification-result ranking techniques for root cause analysis are disclosed using violation report analysis and violation weighting. Violation reports are unwieldy and result from a variety of design and process checks. The check coverage can overlap, causing a specific violation to trigger multiple reported violations. High turn around times for violation report analysis increase the risk that selective violation analysis will inadvertently suppress real design bugs. This reduces the odds that static checker reports alone will meet design sign-off criteria. Determining relationships among a plurality of violations for a design permits clustering violations into hot spots. Identification of primary and subsequent contributors to the plurality of violations is based on the relationships among violations. The hot spot with the highest weight is identified, and then subsequent violations are identified to maximize violation coverage. The result is greater efficiency of design violation identification and resolution. | 09-11-2014 |
Kevin Michael Harer, Cornelius, OR US
Patent application number | Description | Published |
---|---|---|
20160140281 | System On Chip I/O Connectivity Verification In Presence Of Low Power Design Considerations - Formal verification of connectivity of a circuit, for example, a circuit representing a system on chip I/O ring is performed with low power considerations. The formal verification determines whether the connectivity of a circuit remains valid when low power design specification is introduced. The system receives assertions representing connectivity of the circuit. The system receives low power design specification for a circuit that describes power states of power domains of the circuit. The system generates combinational constraints representing valid power states of power domains of the circuit. The system performs formal verification based on the assertions representing the connectivity of the circuit and the combinational constraints representing the power states of power domains of the circuit. The result of the formal verification is used to determine whether the connectivity of the circuit is valid in view of the low power design specification. | 05-19-2016 |
Matthias Harer, Waiblingen DE
Patent application number | Description | Published |
---|---|---|
20120217368 | FASTENER DEVICE, A SEAT PROVIDED WITH SAID DEVICE, AND A VEHICLE - A fastener device ( | 08-30-2012 |
20150273721 | HANDHELD WORK APPARATUS - A handheld work apparatus has a housing with a guide bar affixed thereto. A saw chain is driven along the guide bar which defines a central plane. A drive element for the chain is in a sprocket wheel space delimited by a sprocket wheel cover. The cover has a longitudinal edge which delimits the space adjacent to a first side of the saw chain. The longitudinal edge has a length from an entry region to a discharge opening. Over at least 50% of this length, the longitudinal edge is at a distance (L) to the housing. The distance (L) corresponds to the chain width (a). The distance of the longitudinal edge of the cover increases at the discharge opening in the running direction of the first side. The largest distance (b) of the longitudinal edge to the central plane is at least 110% of the smallest distance (c). | 10-01-2015 |
Wolfgang Harer, Erlangen DE
Patent application number | Description | Published |
---|---|---|
20090060313 | Method for reducing image noise in the context of capturing an image using on different radiation spectra - The invention relates to a method for reducing image noise in the context of capturing at least one radiation-based image of a region of interest using two different radiation spectra, in particular two different x-ray radiation spectra, comprising the following steps: capturing raw images of the region of interest using the two different radiation spectra with in each case mutually paired measured values; and to separate different materials in the region of interest, applying to the captured raw images at least one inversion operator with integrated noise filtering, said operator describing a transition from a measured value pair to an assigned reconstruction value pair. | 03-05-2009 |
20090080736 | Method and device for the separate three-dimensional representation of arteries and veins in an examination object and device - There is described a method for a separate three-dimensional representation of arteries and/or veins of a vascular system in an examination object by means of a tomography x-ray device with the following steps: Implementation of a mask pass of the x-ray device with N projections at N angular positions about the examination object without contrast agent; Implementation of a first filler pass of the x-ray device about the examination object with M projections at M of the N angular positions after injection of a contrast agent, where M03-26-2009 | |
20090092225 | Method for the three-dimensional representation of a moving structure by a tomographic method - The invention relates to a method for a three-dimensional representation of a moving structure by a tomographic method, in which during one recording pass a series of projection recordings is registered by an imaging unit at different recording angles between a start position and an end position, it being possible to reconstruct three-dimensional image data from the projection recordings with the following steps: a) generation of tomosynthesis projection recordings along a tomosynthesis scanning path; b) interpolation of the data of the tomosynthesis projection recordings in accordance with an interpolation algorithm in order to generate a projection data set; c) use of a tomosynthesis reconstruction method on the projection data set in order to generate a tomosynthesis volume image; d) repetition of steps b) and c) for all times of interest, and e) display of tomosynthesis representations from the tomosynthesis volume images. | 04-09-2009 |
20090135993 | Computed tomography method - The invention relates to a computed tomography method. The airgap associated with a projection direction is determined by determining, in the projection images, edge pixels which map object edges on a detector. By back-projecting the edge pixels in an object image space it is possible to determine an envelope polygon for an outline contour of the examination object. The width of the airgap associated with a specific projection direction can then be determined on the basis of the envelope polygon. Exact knowledge of the current airgap serves to improve the scattered radiation correction. | 05-28-2009 |
20090175407 | Computer tomography method for determining an object region - In a computer tomography method an object region of the object being examined is determined in that projection beams that are linked with maximum attenuation are sought in cropped projection images. A central point of the object region is then determined and the object sections associated with the projection beams plotted on the central point. The object region can be at least approximately determined using the end points of the object sections. | 07-09-2009 |