Results 61 to 70 of about 3,702,791 (303)
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
A coalgebraic approach to linear-time logics [PDF]
, 2014 We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such systems.
Cirstea, Corina, Corina Cîrstea
core +1 more source
FEBS Open Bio, EarlyView.This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court +3 more
wiley +1 more source
Constructing Fully Complete Models of Multiplicative Linear Logic [PDF]
Logical Methods in Computer Science, 2015 The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan double glueing
Andrea Schalk, Hugh Paul Steele
doaj +1 more source
An Infinitary Model of Linear Logic [PDF]
, 2015 Accepted at Fossacs ...
Charles Grellois, Paul-André Melliès
openaire +3 more sources
Bistructures, bidomains and linear logic [PDF]
BRICS Report Series, 1994 Bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. Bistructures form a categorical model of Girard's classical linear logic in which the involution of linear
Gordon D. Plotkin, Glynn Winskel
openaire +2 more sources
Robust Linear Temporal Logic [PDF]
, 2016 Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness ...
Tabuada, Paulo, Neider, Daniel
core +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
Systems, 2023 In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences.
Ryeonggu Kwon, Gihwon Kwon
doaj +1 more source
Object calculi in linear logic [PDF]
Journal of Logic and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bugliesi, Michele +3 more
openaire +7 more sources