Weighted Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem.
Manfred Droste, George Rahonis
doaj +8 more sources
Weighted Logics for Nested Words and Algebraic Formal Power Series [PDF]
Logical Methods in Computer Science, 2010 Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show
Christian Mathissen
doaj +3 more sources
Aligning national human resource development with future workforce transitions and the SDGs: policy lessons from Thailand's research-funding system [PDF]
Frontiers in Research Metrics and AnalyticsBackgroundNational human resource development (HRD) strategies are increasingly linked to science, research, and innovation funding systems as mechanisms for building workforce capabilities and advancing Sustainable Development Goals (SDGs).
Pennee Narot +3 more
doaj +2 more sources
Finite-Horizon Reliability-Oriented Synthesis of Cumulative Up/Down-Counter Fault-Confirmation Monitors [PDF]
SensorsUp/down counters are ubiquitous in the alarm and fault-confirmation logic of electro-mechanical systems. In aircraft, several electro-mechanical modules provide position feedback for flight control; the Linear Variable Differential Transformer (LVDT) is ...
Xiaoting Yuan +3 more
doaj +2 more sources
From Cookbooks to Networks: A Framework for Comparing Multiethnic Ingredient Systems in Transylvania [PDF]
FoodsCookbooks serve as structured records of both ingredient repertoires and the underlying processing logics that define a culture’s culinary identity. By modeling five Transylvanian ethnic traditions—Hungarian, Romanian, Transylvanian Saxon, Jewish, and ...
Zsolt Magyari-Sáska +2 more
doaj +2 more sources
Architectures in parametric component-based systems: Qualitative and quantitative modelling [PDF]
Logical Methods in Computer Science, 2021 One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a system.
Maria Pittou, George Rahonis
doaj +1 more source
Descriptive Complexity for Counting Complexity Classes [PDF]
Logical Methods in Computer Science, 2020 Descriptive Complexity has been very successful in characterizing complexity classes of decision problems in terms of the properties definable in some logics.
Marcelo Arenas +2 more
doaj +1 more source
Assessment of Technical Condition of an Accumulator Common Rail Injector by Temperature of its Units
Communications, 2021 This paper presents a method for the vehicle speed estimation with a Fuzzy Logic based algorithm. The algorithm acquires the measurements of the yaw rate, steering angle, wheel velocities and exploits a set of five Fuzzy Logics dedicated to different ...
Ildar Gabitov +5 more
doaj +1 more source
Fuzzy Logic Method for the Speed Estimation in All-Wheel Drive Electric Racing Vehicles
Communications, 2021 This paper presents a method for the vehicle speed estimation with a Fuzzy Logic based algorithm. The algorithm acquires the measurements of the yaw rate, steering angle, wheel velocities and exploits a set of five Fuzzy Logics dedicated to different ...
Angelo Bonfitto +3 more
doaj +1 more source
Conditional Belief, Knowledge and Probability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the
Jan van Eijck, Kai Li
doaj +1 more source