Analog Property Checkers: A Ddr2 Case Study [PDF]
, 2010 The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be ...
D Drusinsky +10 more
core +1 more source
On Expressing and Monitoring Oscillatory Dynamics
, 2012 To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of ...
Accelera Organization, Inc. +27 more
core +2 more sources
Q-learning for robust satisfaction of signal temporal logic specifications [PDF]
, 2016 This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics.
Aksaray, Derya +4 more
core +2 more sources
The syntax and semantics of past participle agreement in Alemannic
Glossa, 2019 This paper investigates agreement on past participles in Highest Alemannic dialects of German. We will first show that participle agreement only occurs in contexts where the participle is adjectival, viz., in stative passives and in resultative perfects,
Gerhard Schaden, Martin Salzmann
doaj +2 more sources
Crystallization and preliminary crystallographic analysis of dUTPase from the helper phage Φ11 of Staphylococcus aureus [PDF]
, 2011 Staphylococcus aureus superantigen-carrying pathogenicity islands (SaPIs) have a determinant role in spreading virulence genes among bacterial populations that constitute a major health hazard.
Bendes, Ábris +5 more
core +1 more source
Los topoergónimos institucionales en el paisaje lingüístico de Salamanca
Onomástica desde América LatinaEste estudio toma como punto de partida los servicios públicos que el Ayuntamiento de Salamanca recapitula en su página web, y que permiten diseñar una suerte de mapa virtual de su presencia en la ciudad, para realizar una búsqueda de las señales ...
Montserrat Rangel Vicente
doaj +1 more source
Detection and Analysis of Drug Misuses. A Study Based on Social Media Messages
Frontiers in Pharmacology, 2018 Drug misuse may happen when patients do not follow the prescriptions and do actions which lead to potentially harmful situations, such as intakes of incorrect dosage (overuse or underuse) or drug use for indications different from those prescribed ...
Elise Bigeard +6 more
doaj +1 more source
In Vitro Analysis of Predicted DNA-Binding Sites for the Stl Repressor of the Staphylococcus aureus SaPIBov1 Pathogenicity Island. [PDF]
PLoS ONE, 2016 The regulation model of the Staphylococcus aureus pathogenicity island SaPIbov1 transfer was recently reported. The repressor protein Stl obstructs the expression of SaPI proteins Str and Xis, latter which is responsible for mobilization initiation. Upon
Veronika Papp-Kádár +3 more
doaj +1 more source
Acceptability of strata title in Brunei Darussalam: an integrated solution to sustainable living
Frontiers in Built Environment, 2023 The recent traction in strata title living (STL) has addressed legal, regulatory, and governance issues to a certain extent. Despite addressing these underlying issues, the acceptance of STL remains low due to the low understanding of the features ...
Mohd Don Omar, Qaisar Ali
doaj +1 more source
Stratified Transfer Learning for Cross-domain Activity Recognition
, 2017 In activity recognition, it is often expensive and time-consuming to acquire sufficient activity labels. To solve this problem, transfer learning leverages the labeled samples from the source domain to annotate the target domain which has few or none ...
Chen, Yiqiang +4 more
core +1 more source