Search results for "dab"
showing 10 items of 1280 documents
Modular Strategies for Recursive Game Graphs
2006
AbstractMany problems in formal verification and program analysis can be formalized as computing winning strategies for two-player games on graphs. In this paper, we focus on solving games in recursive game graphs which can model the control flow in sequential programs with recursive procedure calls. While such games can be viewed as the pushdown games studied in the literature, the natural notion of winning in our framework requires the strategies to be modular with only local memory; that is, resolution of choices within a module does not depend on the context in which the module is invoked, but only on the history within the current invocation of the module. While reachability in (global…
Learning by the Process of Elimination
2002
AbstractElimination of potential hypotheses is a fundamental component of many learning processes. In order to understand the nature of elimination, herein we study the following model of learning recursive functions from examples. On any target function, the learning machine has to eliminate all, save one, possible hypotheses such that the missing one correctly describes the target function. It turns out that this type of learning by the process of elimination (elm-learning, for short) can be stronger, weaker or of the same power as usual Gold style learning.While for usual learning any r.e. class of recursive functions can be learned in all of its numberings, this is no longer true for el…
The promise of spintronics for unconventional computing
2021
Novel computational paradigms may provide the blueprint to help solving the time and energy limitations that we face with our modern computers, and provide solutions to complex problems more efficiently (with reduced time, power consumption and/or less device footprint) than is currently possible with standard approaches. Spintronics offers a promising basis for the development of efficient devices and unconventional operations for at least three main reasons: (i) the low-power requirements of spin-based devices, i.e., requiring no standby power for operation and the possibility to write information with small dynamic energy dissipation, (ii) the strong nonlinearity, time nonlocality, and/o…
Passenger Car Equivalents for Heavy Vehicles at Roundabouts. a Synthesis Review
2019
Passenger Car Equivalents (PCEs in the following) are used to transform a mixed fleet of vehicles into a fleet of equivalent passenger cars and to analyze capacity and level-of-service of roads and intersections. Most roundabouts guidelines propose constant values for PCEs but a single PCE value can result improper under heterogeneous traffic conditions. PCEs should be vary with traffic and road conditions and consequently PCEs applied to undersaturated traffic conditions can overestimate the heavy vehicle effect or be not sensitive to the traffic level or characteristics of heavy vehicles. Compared to other at-grade intersections, the interaction between the operational performances of the…
Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System
1999
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdog timer. The faults have been injected on a chip-level VHDL model, using an injection tool designed with this purpose. We have carried out a set of injection experiments (with 3000 injections each), injecting transient and permanent faults of types stuck-at, open-line and indetermination on both the signals and variables of the system, running a workload. We have analysed the pathology of the propagated errors, measured their latency, and calculated both detection and recovery coverage. We have…
Estimation of Passenger Car Equivalents for Two-Lane and Turbo Roundabouts Using AIMSUN
2020
The paper addresses issues related to Passenger Car Equivalents (PCEs) at roundabouts. Compared to other road units, the curvilinear elements of roundabout geometric design may impose greater constraints on vehicular trajectories and have a significant effect on the swept envelope of heavy vehicles. Specifically, the aim of the paper is to present the methodological approach which used traffic microsimulation to estimate PCEs. Focus is made on a case study which considered the conversion of a two-lane roundabout into a basic turbo roundabout with comparable size. Empirical capacity functions for both roundabouts were derived as target values to which simulated capacities by lane were compar…
¿Qué pueden aportar las ciencias de la visión al diseño gráfico?
2020
[ES] El diseño gráfico es importante y necesario en el mundo de hoy porque la vista es la principal forma de adquisición de información. Por lo tanto, es lógico pensar que las ciencias de la visión pueden ayudar en la toma de decisiones a nivel de diseño. Comprender conceptos como la agudeza visual, la sensibilidad al contraste, entre otros, contribuirá a optimizar la legibilidad del texto a través de una selección óptima de parámetros tipográficos para formatos impresos y digitales. Además, entender el efecto de las diferentes alteraciones en la visión del color mejorará la accesibilidad del diseño.
Virtual Environment for Implementation and Testing Private Wide Area Network Solutions
2013
In this paper the concept of virtual environment for implementation and testing private Wide Area Network (WAN) solutions is presented. The VMware vSphere virtualization platform is used. The paper presents the ability to reflect the structure of any given WAN topology using Vyatta software routers and VMware virtualization platform and verifies its reliability regarding data transfer. The paper includes a number of performance tests to verify the dependability of the proposed solution and provide a proof-of-concept for the network topology during the Design phase of the PPDIOO methodology, right before the Implementation phase.
The Ground State Electronic Energy of Benzene.
2020
We report on the findings of a blind challenge devoted to determining the frozen-core, full configuration interaction (FCI) ground state energy of the benzene molecule in a standard correlation-consistent basis set of double-$\zeta$ quality. As a broad international endeavour, our suite of wave function-based correlation methods collectively represents a diverse view of the high-accuracy repertoire offered by modern electronic structure theory. In our assessment, the evaluated high-level methods are all found to qualitatively agree on a final correlation energy, with most methods yielding an estimate of the FCI value around $-863$ m$E_{\text{H}}$. However, we find the root-mean-square devia…
A Microsimulation-Based Modelling Approach for Connected and Automated Vehicles on Roundabouts
2023
Connectivity and automation are technologies applied in combination to achieve increases in road safety, traffic efficiency and energy savings. Despite their potential, there are still many open questions regarding how roadway capacity will be affected and what methods should be employed to assess the expected benefits in the transportation domain. In this paper “what-if” scenarios were modelled in Aimsun Next to analyse assumption-based behaviour of automated vehicles operating with a cooperative adaptive cruise control system on roundabouts. The idea behind the study comes from the availability of the capacity adjustment factors for connected and automated vehicles provided by the Highway…