Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

5 results about "Partial evaluation" patented technology

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, prog, is seen as a mapping of input data into output data: prog:Iₛₜₐₜᵢc×Idyₙₐₘᵢc→O Iₛₜₐₜᵢc, the static data, is the part of the input data known at compile time.

Partial policy evaluation

Some embodiments provide a method for evaluating a policy for authorizing an API (Application Programming Interface) call to an application. Based on a first set of parameters available before receiving the API call, the method evaluates only a portion of the policy to produce a partially evaluated policy. The method stores the partially evaluated policy in a cache. The method then receives an API call to authorize, and determines whether the API call should be authorized by fully evaluating the policy, using the partially evaluated policy retrieved from the cache first storage, and a second set of parameters associated with the API call. The method responds to the API call with a policy decision based on the fully evaluated authorization policy.
Owner:APPLE INC

Computer implementation methods, systems, and computer programs

Measures to prevent hallucination are desirable. [Solution] The disclosed system is a computer implementation method performed by one or more computers, which may include generating an answer to a question using a generative artificial intelligence that generates answers to a question input to the generative artificial intelligence, performing an evaluation of the answer generated by the generative artificial intelligence, and displaying the results of the evaluation. Performing the evaluation may include identifying a portion of the answer to be evaluated and performing a partial evaluation of the identified portion to be evaluated.
Owner:WORKS HUMAN INTELLIGENCE CO LTD

Computer-implemented method for optimizing injection-molding processes, and system for carrying out the method

The invention relates to a computer-implemented method for optimizing injection-molding processes, and to a system for carrying out the method, the method comprising the following steps: a) performing a first simulation calculation for injection molding a component using an initial simulation molding model and an initial process parameter set, b) performing at least one further simulation calculation using at least one modified variant of the simulation molding model and / or at least one modified variant of the process parameters, c) transmitting the results of the simulation calculations to an evaluation unit, wherein an environment parameter set is present in the evaluation unit, or an environment parameter set is input into the evaluation unit, wherein the evaluation unit is configured to determine respective values of evaluation features of a set of evaluation features on the basis of the results of each of the transmitted simulation calculations, wherein at least one of the environment parameters is included in at least a partial number of the evaluation features for calculating the associated evaluation feature value, d) calculating a value of a multi-factor function for each simulation calculation on the basis of a specified multi-factor function algorithm including the evaluation feature values, e) automatedly processing the values of the multi-factor function of the various simulations by means of the evaluation unit, and f) automatedly determining a target process parameter set, a target molding model and / or a target environment parameter set for an optimized injection-molding process from the processing of the values of the multi-factor function.
Owner:SIMCON KUNSTTECHN SOFTWARE

The first Futamura projection in the context of SQL expression evaluation

This invention relates to database query execution optimization. Specifically, it describes techniques for optimal execution based on query interpretation translated into a domain-specific language (DSL) using optimizations such as partial evaluation, abstract syntax tree (AST) rewriting, just-in-time (JIT) compilation, dynamic analysis, speculative logic, and Futamura projection. In an embodiment, a database management system (DBMS) hosted on a computer generates a query tree representing a database query, which contains expressions represented by subtrees of the query tree. The DBMS generates a sequence of DSL instructions representing the subtrees. During the execution of the database query, the sequence of DSL instructions is executed to evaluate the expressions. In an embodiment, the AST is generated from the sequence of DSL instructions. In an embodiment, the DSL AST is optimally rewritten based on a runtime feedback loop that includes dynamic profiling information.
Owner:ORACLE INT CORP

Method for detecting a seat occupancy state of a seat arrangement

In a method for the automated detection of a seat occupancy state of a seat arrangement having at least one seat, a data set is captured for a seat occupancy state, in particular in the form of a radar point cloud which is obtained on the basis of a radar scan. Static and dynamic features (531,532) are extracted therefrom. A seat occupancy state of the seat arrangement is determined on the basis of an evaluation model, which is constructed as follows. In a first stage, the static features (531) are processed in a first classifier (532) and, in parallel, the dynamic features (532) are processed in a second classifier (535) in order to obtain a static partial evaluation result or a dynamic partial evaluation result. In a second stage, by means of an optimal state estimator (536) to which the obtained static partial evaluation result and the obtained dynamic partial evaluation result are supplied, one of multiple predefined possible seat occupancy states of the seat arrangement is estimated and output as the evaluation result As a result of the method, information defined according to the evaluation result is output in order to output, for example, a seat belt warning on the basis thereof.
Owner:GESTIGON GMBH