Essays about: "logic model"

Showing result 1 - 5 of 282 essays containing the words logic model.

1. 1. Approximating Reasoning with Transformer Language Models

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Daniel Enström; Viktor Kjellberg; [2023-10-19]
   Keywords : natural language processing; nlp; automated reasoning; logic; inference; machine learning; transformers; language models; BERT; BART;

   Abstract : We conduct experiments with BART, a generative language-model architecture, to investigate its capabilities for approximating reasoning by learning from data. For this we use the SimpleLogic dataset, a dataset of satisfiability problems in propositional logic originally created by Zhang et al. (2022). READ MORE

3. 2. SeqLTL and ωLTL

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Oskar Grekula; [2023-10-19]
   Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

   Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

4. 3. Exploring servitization practices in the European Automotive industry: Cross-country case study between France and Sweden - A multiple case study

   University essay from Göteborgs universitet/Graduate School

   Author : Nathan Lambert; Kajsa Lindström; [2023-07-19]
   Keywords : servitization; automotive industry; mobility as a service; qualitative analysis; service-dominant business logic; technology; traditional manufacturers; external environment;

   Abstract : This thesis contributes to the existing literature on servitization through a qualitative cross-country case study investigating the phenomenon in the automotive industry, focusing on the experiences of firms in France and Sweden. The current conceptualisation of servitization is limited in its ability to fully capture the complexity of the phenomena observed. READ MORE

5. 4. The State of Stateful Serverless Systems

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Ashmitha Ambastha; [2023]
   Keywords : Stateful Serverless Systems; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; Function-as-a-Service; Serverlösa system utan tillstånd; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; funktion som tjänst;

   Abstract : Serverless computing and Function-as-a-service are popular paradigms that simplify application development by abstracting the development layer from the underlying infrastructure components. These systems work in a pay-as-you-go model and provide an efficient environment for developers to focus entirely on developing their business logic. READ MORE

6. 5. Deep Learning Model Deployment for Spaceborne Reconfigurable Hardware : A flexible acceleration approach

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Javier Ferre Martin; [2023]
   Keywords : Space Situational Awareness; Deep Learning; Convolutional Neural Networks; FieldProgrammable Gate Arrays; System-On-Chip; Computer Vision; Dynamic Partial Reconfiguration; High-Level Synthesis; Rymdsituationstänksamhet; Djupinlärning; Konvolutionsnätverk; Omkonfigurerbara Field-Programmable Gate Arrays FPGAs ; System-On-Chip SoC ; Datorseende; Dynamisk partiell omkonfigurering; Högnivåsyntes.;

   Abstract : Space debris and space situational awareness (SSA) have become growing concerns for national security and the sustainability of space operations, where timely detection and tracking of space objects is critical in preventing collision events. Traditional computer-vision algorithms have been used extensively to solve detection and tracking problems in flight, but recently deep learning approaches have seen widespread adoption in non-space related applications for their high accuracy. READ MORE