Abstract: Systems, apparatuses, and methods disclosed provide for wirelessly updating engine control unit (ECU) configuration. The method includes determining parameters to be changed on an engine control unit of an equipment, generating a write package including the parameters to be changed, and transmitting the write package to the equipment over the air through a cloud connected application system.

Abstract: Systems and methods to update the calibration data of a control system includes a calibration system. The calibration system includes a first cloud connected application system structured to communicatively couple to a second cloud connected application system, determine, via at least one of the first cloud connected application system or the second cloud connected application system, a calibration update request corresponding to a control system, generate custom calibration data including preference data based on at least one of the calibration update request or the preference data, and provide the custom calibration data during at least one of an active engine state or an inactive engine state, wherein the custom calibration data is transmitted from the second memory portion to the first memory portion in response to the inactive engine state.

Abstract: A radiometer is provided. The radiometer includes a sensor and a radiation transparent dome. The radiation transparent dome surrounds the sensor. The radiometer also includes one or more fluid nozzles. The one or more fluid nozzles are adapted to apply a fluid on the radiation transparent dome in order to clean the surface of the radiation transparent dome.

Abstract: A reflective process algebra called the ?-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.

Abstract: A radiometer is provided. The radiometer includes a sensor and a radiation transparent dome. The radiation transparent dome surrounds the sensor. The radiometer also includes one or more fluid nozzles. The one or more fluid nozzles are adapted to apply a fluid on the radiation transparent dome in order to clean the surface of the radiation transparent dome.

Abstract: The joining of Web services is accomplished via a virtual contract through the use of safeties. The joining of Web services heightens the safe interoperability of Web services to create greater functionality than each Web service alone can provide. Web services are joined for interoperability when the type of a port of one Web service is compatible with the type of another port of another Web service.

Abstract: A portable calf exercise device includes a base having a generally planar bottom surface configured to rest flat on the floor surface. The upper end of the base supports a plurality of elevated platform surfaces that culminate at a back panel and extend across the base to terminate at a front face. Each of platform surfaces are configured to support purchase of either one or both of the sole of a portion of a person's foot. A person may step on to one or more of the elevated platform surfaces to perform exercises that subject the foot to plantar flexion, extension, as well as inversion and eversion.

Abstract: A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.

Abstract: A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression is parsed. The first expression describes that a query is being executed in parallel with a process. The query has a head, which is empty, and a body, which contains a first name being bound to a second name. The first expression is translated as structurally equivalent to a second expression. The second expression describes that the query is executed in parallel with the process if the query is in canonical form. Each occurrence of the first name in the process is replaceable with the second name.

Abstract: A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. A process kernel executes the expressions in the program. The process kernel parses an expression to obtain syntactical elements that represent a queue, a set of queue delimiters, a query, a sequence delimiter, and other actions. The process kernel further translates the expression as a process whose first action is submitting the query as another process to the queue and after which the process continues with other actions. The query includes an organization scheme formed from a customizable, tag-based language that contains data and describes data.

Abstract: A reflective process algebra called the ?-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.

Abstract: The systems and methods of the present invention utilize stochastic calculus (e.g., pi calculus) to determine (e.g., specify, predict, etc.) quality of service that includes at least one of rate, uptime and capacity. The quality of service can be indicative of a level of service provided and/or required by an agent (e.g., a web service). The quality of service can be obtained by representing an agent's contract via a model (e.g., state diagram or mathematical algorithm) and decorating the model with cost functions that are utilized to compute transition costs that are employed to predict associated rates for respective transitions. The model can further be decorated with error states to determine uptime and employed to determine channel capacity. In general, the quality service of a requesting agent and a providing agent can be compared to determine whether the providing agent can satisfy the level of performance of the requesting agent.

Abstract: The joining of Web services is accomplished via a virtual contract through the use of safeties. The joining of Web services heightens the safe interoperability of Web services to create greater functionality than each Web service alone can provide. Web services are joined for interoperability when the type of a port of one Web service is compatible with the type of another port of another Web service.

Abstract: The joining of Web services is accomplished via a virtual contract through the use of safeties. The joining of Web services heightens the safe interoperability of Web services to create greater functionality than each Web service alone can provide. Moreover, because the joining of Web services is formed programmatically, Web services are more trustworthy, dependable, and available if the safeties of Web services are complied with.

Abstract: A compiler architecture uses a question and answer methodology between a reduction engine and nodes of a graph representing the program being compiled to provide for easy expandability of the compiler. By using the question and answer methodology, additional functionality can be added to the compiler by users, whether they be part of the original design team of the compiler or be a subsequent user.

Abstract: A program that includes expressions—written in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression is parsed. The first expression describes that a query is being executed in parallel with a process. The query has a head, which is empty, and a body, which contains a first name being bound to a second name. The first expression is translated as structurally equivalent to a second expression. The second expression describes that the query is executed in parallel with the process if the query is in canonical form. Each occurrence of the first name in the process is replaceable with the second name.

Abstract: A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. A process kernel executes the expressions in the program. The process kernel parses an expression to obtain syntactical elements that represent a queue, a set of queue delimiters, a query, a sequence delimiter, and other actions. The process kernel further translates the expression as a process whose first action is submitting the query as another process to the queue and after which the process continues with other actions. The query includes an organization scheme formed from a customizable, tag-based language that contains data and describes data.

Abstract: A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.

Abstract: A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. A process kernel executes the expressions in the program. The expressions specify the interactions of processes by allowing a named organizational scheme of data written in a customizable, tag-based language to be exchanged as a process among processes. The named organizational scheme of data being bound to the scopes of processes that send and receive the named organizational scheme of data.

Abstract: A computer-based distance learning system for teaching a student at a remote location. The student communicates with a teaching center. The student's identity and continued presence is monitored either continually or randomly using recognition continuing systems such as web cameras, biometric tags or other means. An audit trail for verification is provided. The student receives instruction leading to a degree or certification and the school district, in the case of pubic schools, receives “at seat” credit for funding.