Abstract: A guiding device for a vascular catheter that is inserted over a guidewire. The guiding device comprising a tapered component for passing through a bore of the vascular catheter and extending from a distal end thereof. The tapered component has an aperture through which the guidewire may pass so that the tapered component (12) may move along the guidewire. A pushing means extends from the tapered component and is configured to extend beyond a proximal end of the vascular catheter. The tapered component comprises a first section, a second section and the third section. The first section is disposed between the proximal end of the tapered component and the second section, the second section is disposed between the first section and the third section, and the third section is disposed between the second section and a distal end of the tapered component. The first section is a cylinder and the second and the third sections are conical. The taper of the second section differs from the taper of the third section.

Abstract: One variation of a method for populating user accounts with profiles of supplements includes: extrapolating a degree of an effect of a first supplement on a health goal, selected by a user, from a scientific study based on an ingredient of the first supplement selected by the user; presenting, to the user, the degree of the effect; presenting, to the user, a representation of prevalence of the first supplement by demographic within a population of users; presenting, to the user, a set of reviews of the first supplement within the native application submitted by a subset of users within the population associated with user profiles linked to the first supplement for greater than a threshold duration of time; and in response to confirmation of the first supplement profile at the native application, adding a profile for the first supplement profile to a user profile associated with the user.

Abstract: One variation of a method for tracking consumption of supplements by a user includes, at a software program executing on a mobile computing device: receiving a selection of a supplement, from a set of known supplements, contained in a supplement package of a particular packaging format; loading a supplement profile of the supplement into a user profile; rendering an instruction for placement of a tracker on the supplement based on the packaging format; retrieving a motion model, from a set of motion models for characterizing a consumption event at the packaging format; and uploading the motion model to the tracker. The method also includes, at the tracker: characterizing motion of the supplement package as a consumption event based on the motion model; and transmitting a time of the consumption event to the mobile computing device.

Abstract: One variation of a method for tracking consumption of supplements by a user includes, at a software program executing on a mobile computing device: receiving a selection of a supplement, from a set of known supplements, contained in a supplement package of a particular packaging format; loading a supplement profile of the supplement into a user profile; rendering an instruction for placement of a tracker on the supplement based on the packaging format; retrieving a motion model, from a set of motion models for characterizing a consumption event at the packaging format; and uploading the motion model to the tracker. The method also includes, at the tracker: characterizing motion of the supplement package as a consumption event based on the motion model; and transmitting a time of the consumption event to the mobile computing device.

Abstract: A method of generating an output log for analysis of a computer program, the method comprising: receiving a recording of an execution of the program; receiving an additional print instruction to print a value of a data item and an indication of a point in the program at which the additional print instruction is to be evaluated; determining a corresponding point in the recording of the execution based upon the indication of the point in the program; and evaluating the additional print instruction based upon the recording of the execution and the determined corresponding point to determine an output of the additional print instruction for insertion into the output log.

Abstract: One variation of a method for tracking consumption of supplements by a user includes, at a software program executing on a mobile computing device: receiving a selection of a supplement, from a set of known supplements, contained in a supplement package of a particular packaging format; loading a supplement profile of the supplement into a user profile; rendering an instruction for placement of a tracker on the supplement based on the packaging format; retrieving a motion model, from a set of motion models for characterizing a consumption event at the packaging format; and uploading the motion model to the tracker. The method also includes, at the tracker: characterizing motion of the supplement package as a consumption event based on the motion model; and transmitting a time of the consumption event to the mobile computing device.

Abstract: One variation of a method for tracking consumption of supplements by a user includes, at a software program executing on a mobile computing device: receiving a selection of a supplement, from a set of known supplements, contained in a supplement package of a particular packaging format; loading a supplement profile of the supplement into a user profile; rendering an instruction for placement of a tracker on the supplement based on the packaging format; retrieving a motion model, from a set of motion models for characterizing a consumption event at the packaging format; and uploading the motion model to the tracker. The method also includes, at the tracker: characterizing motion of the supplement package as a consumption event based on the motion model; and transmitting a time of the consumption event to the mobile computing device.

Abstract: A method of generating program analysis data for analysing the operation of a computer program. The method comprises, executing an instrumented process of the computer program to define a reference execution of the program, intercepting a call to a library function by the instrumented process, executing the library function in an uninstrumented process, for the uninstrumented process, capturing in a log, only data generated by or modified through the execution of the library function required by the instrumented process to continue execution of the program, and wherein the captured log is arranged to enable deterministically reproducing the effect of the library function call on the instrumented process upon re-running of the reference execution based upon the captured log to generate the program analysis data.

Abstract: Provided is a grinding machine for processing a sweep edge of a rotor blade, including a grinding unit with a driven grinding tool, a workpiece receiving device which is designed for receiving a rotor blade to be ground, and a workpiece drive unit which is configured for moving the workpiece receiving device, with a rotor blade received thereon, relative to the grinding tool for the purpose of machining the sweep edge, wherein the workpiece drive unit has a pivot axis at which the workpiece receiving device is held in such a way that the sweep edge of a rotor blade received thereon is engaged with the grinding tool in the course of a pivot movement of the workpiece receiving device about the pivot axis.

Abstract: A method of generating program analysis data for analysing the operation of a computer program. The method comprises, executing an instrumented process of the computer program to define a reference execution of the program, intercepting a call to a library function by the instrumented process, executing the library function in an uninstrumented process, for the uninstrumented process, capturing in a log, only data generated by or modified through the execution of the library function required by the instrumented process to continue execution of the program, and wherein the captured log is arranged to enable deterministically reproducing the effect of the library function call on the instrumented process upon re-running of the reference execution based upon the captured log to generate the program analysis data.

Abstract: A method of generating program analysis data for analyzing the operation of a computer program. The method comprises, executing an instrumented process of the computer program to define a reference execution of the program, intercepting a call to a library function by the instrumented process, executing the library function in an uninstrumented process, for the uninstrumented process, capturing in a log, only data generated by or modified through the execution of the library function required by the instrumented process to continue execution of the program, and wherein the captured log is arranged to enable deterministically reproducing the effect of the library function call on the instrumented process upon re-running of the reference execution based upon the captured log to generate the program analysis data.

Abstract: A method of generating program analysis data for analyzing operation of a computer program includes running a first instrumented version of machine code representing the program, the running defines a reference execution of the program, and capturing a log of non-deterministic events during the reference execution such that the machine code can be re-run in a deterministic manner to reproduce states of a processor and memory during the re-running. The method also includes generating a second instrumented version of the machine code including instrumented machine code to replay execution of the machine code representing the program and to capture and store program state information during the replayed execution, the program state information includes one or both of one or more values of registers of the processor and one or more values of memory locations used by the program.

Abstract: One variation of a method for populating user accounts with profiles of supplements includes: extrapolating a degree of an effect of a first supplement on a health goal, selected by a user, from a scientific study based on an ingredient of the first supplement selected by the user; presenting, to the user, the degree of the effect; presenting, to the user, a representation of prevalence of the first supplement by demographic within a population of users; presenting, to the user, a set of reviews of the first supplement within the native application submitted by a subset of users within the population associated with user profiles linked to the first supplement for greater than a threshold duration of time; and in response to confirmation of the first supplement profile at the native application, adding a profile for the first supplement profile to a user profile associated with the user.

Abstract: One variation of a method for tracking consumption of supplements by a user includes, at a software program executing on a mobile computing device: receiving a selection of a supplement, from a set of known supplements, contained in a supplement package of a particular packaging format; loading a supplement profile of the supplement into a user profile; rendering an instruction for placement of a tracker on the supplement based on the packaging format; retrieving a motion model, from a set of motion models for characterizing a consumption event at the packaging format; and uploading the motion model to the tracker. The method also includes, at the tracker: characterizing motion of the supplement package as a consumption event based on the motion model; and transmitting a time of the consumption event to the mobile computing device.

Abstract: A method of generating an output log for analysis of a computer program, the method comprising: receiving a recording of an execution of the program; receiving an additional print instruction to print a value of a data item and an indication of a point in the program at which the additional print instruction is to be evaluated; determining a corresponding point in the recording of the execution based upon the indication of the point in the program; and evaluating the additional print instruction based upon the recording of the execution and the determined corresponding point to determine an output of the additional print instruction for insertion into the output log.

Abstract: Provided is a grinding machine for processing a sweep edge of a rotor blade, including a grinding unit with a driven grinding tool, a workpiece receiving device which is designed for receiving a rotor blade to be ground, and a workpiece drive unit which is configured for moving the workpiece receiving device, with a rotor blade received thereon, relative to the grinding tool for the purpose of machining the sweep edge, wherein the workpiece drive unit has a pivot axis at which the workpiece receiving device is held in such a way that the sweep edge of a rotor blade received thereon is engaged with the grinding tool in the course of a pivot movement of the workpiece receiving device about the pivot axis.

Abstract: A method of generating program analysis data for analysing the operation of a computer program. The method comprises, executing an instrumented process of the computer program to define a reference execution of the program, intercepting a call to a library function by the instrumented process, executing the library function in an uninstrumented process, for the uninstrumented process, capturing in a log, only data generated by or modified through the execution of the library function required by the instrumented process to continue execution of the program, and wherein the captured log is arranged to enable deterministically reproducing the effect of the library function call on the instrumented process upon re-running of the reference execution based upon the captured log to generate the program analysis data.

Abstract: A method is disclosed of generating program analysis data for analysing the operation of a computer program. The method includes running a first instrumented version of machine code representing the program, wherein said running defines a reference execution of said program, capturing a log of non-deterministic events during reference execution to reproduce states of a processor and memory during the re-running, generating a second instrumented version of machine code to replay execution of said machine code representing the program and to capture and store program state information, wherein said program state information comprises one or both of one or more values of registers of said processor and one or more values of memory locations used by said program, running said instrumented machine code whilst reproducing said non-deterministic events during said running to reproduce said reference execution; and capturing said program state information whilst reproducing said reference execution.

Abstract: We describe techniques which relate to bi-directional, in particular backwards, debugging of computer programs. Thus we describe identifying processes with shared memory access, such as threads or multicore processes, by arranging process (thread) memory ownership to deliberate provoke memory page faults to identify and handle concurrent memory access by multiple threads in such a manner as to enable deterministic replay, and hence backwards debugging.

Abstract: A virtual address is configured. A destination address and a capability information associated with each destination entity of a set of destination entities associated with a destination party are configured. Each destination entity from the set of destination entities is a push-capable, text-message-capable entity. Each destination entity from the set of destination entities is associated with a virtual address. The virtual address defines a destination remote from the destination party and remote from premises associated with the destination party.