The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes as input a timed wo...

The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a ...

The intrinsic timed-Hausdorff distance between timed-metric spaces, first introduced by Sakovich--Sormani, yields a weak notion of convergence for space-times. In this paper we prove a compactness the...

In this paper, we focus on the design and verification of timed automata (TA). We introduce a new method for assisting construction and verification of TA models along with a tool implementing the pro...

approximately 06:30 UTC on 28 February 2024, TIMED passed within 10 meters of the defunct Kosmos 2221 satellite. As neither TIMED nor Kosmos 2221 can be maneuvered

I made a post early after release gathering timed quests, here's the ones that got found then. If you know about other timed quests, please comment and I'll update the list. Added which region/town ...

We solve some decision problems for timed automata which were recently raised by S. Tripakis in [ Folk Theorems on the Determinization and Minimization of Timed Automata, in the Proceedings of the Int...

temporal logic that allows the expression of time constraints. A timed word may be passed to a model, such as a timed automaton, which will decide, given the

Timed automata are a decidable subclass of hybrid automata, making them theoretically tractable while maintaining significant modeling power. Timed automata

Timed text is the presentation of text media in synchrony with other media, such as audio and video. Typical applications of timed text are the real-time

immediately when a wicket falls to avoid being timed out. The umpires cannot rule on any appeal for timed out until someone takes the field of play. The

Timed quests are cool and all, but getting a random side quest and saying “I’ll get to that later” and then after 10 hours of playing time returning to find that quest ruined (Hush my darling) k...

Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a significant way to reduce t...

Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a...

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another a...

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like proc...

based on rhythm or timing: syllable-timed or stress-timed languages (or, in some analyses, a third category: mora-timed languages). However, empirical studies

...

We propose a model for the credit markets in which the random default times of bonds are assumed to be given as functions of one or more independent "market factors". Market participants are assumed t...

...

Learn languages by playing a game. It's 100% free, fun, and scientifically proven to work.

approximately 06:30 UTC on 28 February 2024, TIMED passed within 10 meters of the defunct Kosmos 2221 satellite. As neither TIMED nor Kosmos 2221 can be maneuvered

Timed quests are cool and all, but getting a random side quest and saying “I’ll get to that later” and then after 10 hours of playing time returning to find that quest ruined (Hush my darling) k...

Add time dimension capabilities on a Leaflet map. (⭐ 449)

Points: 268 | Comments: 213 | Author: shsachdev

Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-box controllers from ...

anyone got the time? How High Sierra has changed time synchronisation". The Eclectic Light Company. Retrieved 2018-12-07. timed(8) man page Timed Installation

Claim and complete rewards from March 2 at 10:00 a.m. to March 3 at 10:00 a.m. local time. ...

a command-line time tracker (⭐ 108)

Points: 239 | Comments: 137 | Author: rmason

Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a significant way to reduce t...

Time is the continuous progression of existence that occurs in an apparently irreversible succession from the past, through the present, and into the future

I made a post early after release gathering timed quests, here's the ones that got found then. If you know about other timed quests, please comment and I'll update the list. Added which region/town ...

No description (⭐ 1)

We solve some decision problems for timed automata which were recently raised by S. Tripakis in [ Folk Theorems on the Determinization and Minimization of Timed Automata, in the Proceedings of the Int...

Timed text is the presentation of text media in synchrony with other media, such as audio and video. Typical applications of timed text are the real-time

...

Go library for printing human readable, relative time differences 🕰️ (⭐ 419)

The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes as input a timed wo...

based on rhythm or timing: syllable-timed or stress-timed languages (or, in some analyses, a third category: mora-timed languages). However, empirical studies

Trying for our second baby. I have hypothalamic amenorrhea and although I’ve been getting a cycle very inconsistently they are anovulatory. Conceived my daughter 3 years ago via letrozole 2.5mg cd...

All about swift extensions 😉 (⭐ 76)

The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a ...

Timed automata are a decidable subclass of hybrid automata, making them theoretically tractable while maintaining significant modeling power. Timed automata

...

Displays set of files that were saved in Time Machine backups (⭐ 266)

Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a...

In Time is a 2011 American science fiction action film written, co-produced, and directed by Andrew Niccol. Justin Timberlake and Amanda Seyfried star

...

The Prometheus monitoring system and time series database. (⭐ 62999)

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another a...

original on 22 March 2018. Retrieved 7 March 2018. We Timed Every Game. World Cup Stoppage Time Is Wildly Inaccurate Archived 12 November 2020 at the

...

Android real-time display control software (⭐ 28683)

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like proc...

era. It distanced itself, however, from the underground newspapers of the time, such as the Berkeley Barb, embracing more traditional journalistic standards

...

淘宝天猫定时秒杀，小米商城 (⭐ 73)

Network updates such as policy and routing changes occur frequently in Software Defined Networks (SDN). Updates should be performed consistently, preventing temporary disruptions, and should require a...

Timor (Indonesian: Pulau Timor; Portuguese: Ilha de Timor; Tetum: Illa Timór) is an island at the southern end of Maritime Southeast Asia, in the north

...

A Library for Advanced Deep Time Series Models for General Time Series Analysis. (⭐ 11641)

The intrinsic timed-Hausdorff distance between timed-metric spaces, first introduced by Sakovich--Sormani, yields a weak notion of convergence for space-times. In this paper we prove a compactness the...