Filetype
A semantic editor, providing services like completion and code browsing, can help users to quickly develop high-quality source code. However, a lot of languages still lack semantic editor support due to the difficulty and costs of development. Tool generation and reuse can greatly alleviate this development task. Specifically, tool generation from a formal specification, such as reference attribut
Abstract not available
We find good rate 2/3 and 3/4 convolutional codes for use with iterative decoding (turbo equalization) of coded intersymbol interference with AWGN. The method is based on the input-output bit error rate characteristic of the convolutional BCJR decoder module. An analysis leads to an equivalent minimum distance under the required intrinsic subtraction, which depends on free distance and an input-ou
The trade-off between throughput and memory constraints is a common design problem in embedded systems, and especially for streaming applications, where the memory in question usually occurs in the form of buffers for streams of data. This paper presents a methodology, based on the post-processing of dataflow execution traces, that enables designers to make principled choices in the design space f
Creation and adoption of corporate policies requires significant commitment of scarce senior management resources. In the absence of processes and tools, convergence upon final policy and may not be achieved in a timely manner. Significant similarities between policy and requirements documents suggest that requirements engineering techniques could be used to generate policy. However, neither evide
This paper presents a new method for representing Light Propagation Volumes using an octree data structure, and for allowing light from regular point light sources to be injected into them. The resulting technique uses full octrees with the help of a separate data structure for representing the octree structure. The octree structure enables light propagation to be performed at a lower resolution t
In this paper, we give an overview of spatially coupled turbo codes (SC-TCs), the spatial coupling of parallel and serially concatenated convolutional codes, recently introduced by the authors. For presentation purposes, we focus on spatially coupled serially concatenated codes (SC-SCCs). We review the main principles of SC-TCs and discuss their exact density evolution (DE) analysis on the binary
Abstract in UndeterminedVideo coding technology in the last 20 yearshas evolved producing a variety of different and com-plex algorithms and coding standards. So far the speci-fication of such standards, and of the algorithms thatbuild them, has been done case by case providingmonolithic textual and reference software specifica-tions in different forms and programming languages.However, very littl
Multipath routing gives traffic demands an opportunity to use multiple paths through a network. In a single-demand situation, its benefits are easy to see. In a multi-commodity case, when potentially all node-pairs (demands) generate traffic, they compete for the same network resources. In this work, we consider multipath routing in communication networks in a multi-commodity setting from a traffi
This contribution presents a novel offline dynamic multi-objective optimization framework for high-pressure liquid chromatographic (HPLC) processes in batch elution mode. The framework allows for optimization of general elution trajectories parametrized with piecewise constant control signals. It is based on a simultaneous method where both the control and state variables are fully discretized in
We consider the problem of bounding the information rate of intersymbol interference channels via simulation-based algorithms. The adopted approach, which is based on a general class of reduced-complexity receivers that includes several previously studied receivers as special cases, leads to provable upper and lower bounds on the information rate of interest. As a by-product of the information-the
This paper presents the results of an empirical study of wireless propagation channels for vehicle-to-vehicle communications in street intersections, a scenario especially important for collision avoidance applications. The results are derived from a channel measurement campaign performed at 5.6 GHz in four different types of urban intersections. We present results on typical power delay profiles,
Introduction: The rate of vaginal hysterectomies is declining globally. We investigated surgical techniques, outcomes, and costs in a large national cohort of benign hysterectomies with prerequisites for vaginal surgery. Material and Methods: A retrospective register-based cohort study with benign hysterectomies in the Swedish GynOp registry 2014–2023 (n = 17 804). Inclusion criteria were non-prol
BACKGROUND: The COVID-19 vaccination campaign in several European countries involved collaboration between public health and Primary Health Care (PHC). OBJECTIVE: To highlight the role of PHC professionals in the COVID-19 vaccination rollout, specifically in terms of vaccine administration, communication and contributing to vaccination population coverage. METHODS: A descriptive retrospective stud
The introduction of standardized APIs for ray tracing, together with hardware acceleration, opens up possibilities for physically based lighting in real-time rendering. Light importance sampling is one of the fundamental operations in light transport simulations, applicable to both direct and indirect illumination. This chapter describes a bounding volume hierarchy data structure and associated sa
Robots operating in real-world settings must manage task variability, environmental uncertainty, and failures during execution. This thesis presents a unified framework for building self-reliant robotic systems by integrating symbolic planning, reinforcement learning, behavior trees (BTs), and vision-language models (VLMs).At the core of the approach is an interpretable policy representation based
