METHOD FOR DECISION-MAKING REGARDING A DECISION IN AN ENVIRONMENT BY MEANS OF A DATA PROCESSING SYSTEM AND A CORRESPONDING DATA PROCESSING SYSTEM

    公开(公告)号:US20240296347A1

    公开(公告)日:2024-09-05

    申请号:US18272627

    申请日:2021-05-14

    IPC分类号: G06N5/02

    CPC分类号: G06N5/02

    摘要: A method for decision-making regarding a decision in an environment by a data processing system in view of multiple different objectives includes: collecting information within the environment, describing the information in at least one temporal knowledge graph (TKG), forecasting a future development of one future state or more future states at a future time or more future points in time, under different decisions by the at least one TKG. The method further describes each resulting future state/decision combination by a corresponding temporal knowledge graph, rates an adherence of each forecasted future state to each objective of the multiple different objectives, considers a trade-off between the objectives for decision-making in a time-aware manner; and provides the decision.

    METHOD AND SYSTEM FOR MONITORING OF A PHYSICAL ENVIRONMENT'S PRONENESS TO INFECTIOUS DISEASE TRANSMISSION

    公开(公告)号:US20240249848A1

    公开(公告)日:2024-07-25

    申请号:US18288828

    申请日:2021-05-17

    IPC分类号: G16H50/80 G16H50/20

    CPC分类号: G16H50/80 G16H50/20

    摘要: A method for monitoring of a proneness of a physical environment to infectious disease transmission includes a training phase in which unlabeled sensor data is obtained from sensors of the physical environment in order to provide a set of sensor features. A labeling matrix that is fed to a generative model is generated by applying situation labeling functions, wherein the generative model feeds a discriminative classifier model with probabilistic labels for the sensor features, wherein the probabilistic labels of the generative model are used for training the discriminative classifier model. A subset of the sensor features is determined based on an optimization procedure by a feature selection optimizer entity. In an operational phase, the discriminative classifier model uses the subset of sensor features for detecting predefined situations which make the physical environment prone to infectious disease transmission.

    USER-CONTROLLED LINKABILITY OF ANONYMOUS SIGNATURE SCHEMES

    公开(公告)号:US20240187255A1

    公开(公告)日:2024-06-06

    申请号:US18277232

    申请日:2021-04-28

    IPC分类号: H04L9/32 H04L9/08

    CPC分类号: H04L9/3255 H04L9/0861

    摘要: A method to enhance an anonymous signature scheme with user-controlled linkability includes generating, by a signer of a ring signature scheme or a group signature scheme, a signer-specific secret (x) and generating a secret key based on the generated secret (x). The signer augments a message to be signed with a message-unique value that is related to the signer-specific secret (x) thereby generating an augmented message. The signer signs the augmented message with the secret key of the signer and produces a proof that an arbitrary set of signed messages embed the signer-specific secret (x). The signer anonymously publishes the produced proof for verification by a third-party verifier.

    METHOD AND SYSTEM FOR SUPPORTING MEMORY DEDUPLICATION FOR UNIKERNEL IMAGES

    公开(公告)号:US20240036908A1

    公开(公告)日:2024-02-01

    申请号:US18271499

    申请日:2021-04-21

    IPC分类号: G06F9/455

    摘要: A method for supporting memory deduplication for unikernel images includes aligning, by a memory aligner entity, memory pages of unikernel images such that a consistent memory alignment is generated across the unikernel images. A memory deduplication identifier entity generates a unique page identifier for a plurality of memory pages of the unikernel images. The memory deduplication identifier entity matches page identifiers of memory pages for a unikernel image, which is to be loaded into a physical memory, with page identifiers of memory pages that have already been loaded into the physical memory and providing matching information about the matching to a page merger entity. The page merger entity performs page merging based on the matching information provided by the memory deduplication identifier entity.

    AUTOMATIC LOW LEVEL OPERATOR LOOP GENERATION, PARALLELIZATION AND VECTORIZATION FOR TENSOR COMPUTATIONS

    公开(公告)号:US20240028802A1

    公开(公告)日:2024-01-25

    申请号:US17964085

    申请日:2022-10-12

    发明人: Nicolas Weber

    IPC分类号: G06F30/323 G06F30/327

    CPC分类号: G06F30/323 G06F30/327

    摘要: A method is provided for transforming a high-level language representation of a tensor computation graph into a low level language. The method includes assigning, for each input edge of each node in the tensor computation graph, a tensor shape, assigning, for each dimension of the input and output of each layer of the tensor computation graph, a loop primitive, and generating, from the tensor computation graph and the assigned loop primitives, an initial loop structure. The method further includes positioning the layers of the tensor computation graph within a nested loop structure to provide a final loop structure, collapsing loops in the final loop structure, and mapping the collapsed loops to hardware components configured to execute the collapsed loops.

    ROLLBACK PROTECTION WITH EPHEMERAL IDENTITIES FOR TEE-BASED CONSENSUS PROTOCOLS

    公开(公告)号:US20230412390A1

    公开(公告)日:2023-12-21

    申请号:US18032365

    申请日:2020-11-23

    发明人: Sergey FEDOROV

    IPC分类号: H04L9/32

    CPC分类号: H04L9/3239

    摘要: A rollback protection method for preventing message equivocation in a consensus system is provided. The consensus system includes distributed computational nodes connected by a network and configured to run a TEE-based consensus protocol. The method includes: executing, within a trusted execution environment of a node of distributed computational nodes, a trusted component instance, that includes volatile protected memory with protected data stored therein and a protected piece of code implementing at least a part of a consensus algorithm, generating identity data comprising a unique ephemeral identity, and storing the identity data in the volatile protected memory of the trusted component instance, and certifying a message of the consensus algorithm, wherein a certified consensus algorithm message is generated by cryptographically binding parts of the consensus algorithm message to the unique ephemeral identity of the trusted component instance and at least parts of the protected data of the trusted component instance.