Search results for "76"

On modal mu-calculus over finite graphs with bounded strongly connected components.

2010

For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).

Editorial – Preface to the Special Issue on Numerical Techniques Meet with OR

2021

Abstract This special issue of the Foundations of Computing and Decision Sciences, titled ”Numerical Techniques Meet with OR”, is devoted to the numerical techniques and their applications in real-world phenomena. The special issue and its editorial present numerical algorithms as they meet with different research topics such as, e.g., from operational research, supply chain management, geometrical structures and Covid-19 effects on financial applications. Besides, the special issue covers instructional information about numerical techniques which are useful for OR research problems and real-world applications on such issues.

Two View Line-Based Motion and Structure Estimation for Planar Scenes

2012

We present an algorithm for reconstruction of piece-wise planar scenes from only two views and based on minimum line correspondences. We first recover camera rotation by matching vanishing points based on the methods already exist in the literature and then recover the camera translation by searching among a family of hypothesized planes passing through one line. Unlike algorithms based on line segments, the presented algorithm does not require an overlap between two line segments or more that one line correspon- dence across more than two views to recover the translation and achieves the goal by exploiting photometric constraints of the surface around the line. Experimental results on real…

Robust three-dimensional best-path phase-unwrapping algorithm that avoids singularity loops.

2009

In this paper we propose a novel hybrid three-dimensional phase-unwrapping algorithm, which we refer to here as the three-dimensional best-path avoiding singularity loops (3DBPASL) algorithm. This algorithm combines the advantages and avoids the drawbacks of two well-known 3D phase-unwrapping algorithms, namely, the 3D phase-unwrapping noise-immune technique and the 3D phase-unwrapping best-path technique. The hybrid technique presented here is more robust than its predecessors since it not only follows a discrete unwrapping path depending on a 3D quality map, but it also avoids any singularity loops that may occur in the unwrapping path. Simulation and experimental results have shown that …

Tacitus on Titus? Visit to the Temple of Venus at Paphos

2020

This article deals with Titus? visit to the temple of Venus at Paphos in the second book of Tacitus? Historiae. I argue that apart from its other literary intentions already mentioned by scholars, this digression implicitly connects Titus not only with Aeneas but also with Julius Caesar. Titus? affair with Berenice that recalls Caesar?s affair with Cleopatra, Tacitus? allusions to Lucan?s De Bello Civili where Caesar?s visit to the tomb of Alexander the Great is described, the ?????Motiv and fortuna?s favour that characterise both Roman generals, all contribute to connect Titus with Caesar and allow the reader to view a parallel between the Flavian and the Julio-Claudian dynasty. Furthermor…

Amusium cristatum shell beds in the lower Pliocene deposits of Almería-Níjar Basin (SE Spain)

2020

Densely packed monospecific-paucispecific Amusium cristatum-dominated shell beds are signifi cant features in the lower Pliocene deposits of the Almeria-Nijar Basin (SE Spain), embedded in distal prodelta fi ne-grained sand and silt. The shells in these concentrations are exceptionally well preserved: articulation is relatively high, fragmentation is low, abrasion is almost lacking, and many shells preserve the original colour pattern. These taphonomic signatures suggest in situ deposition forming autochthonous fossil assemblages, i.e. biological concentrations. Benthic foraminiferal assemblages found in the prodelta deposits indicate that they formed in mesotrophic mid-shelf settings.The A…

TRIBUTE TO JORDI MARIA DE GIBERT ATIENZA

2020

On September 23rd 2012, Jordi Maria de Gibert Atienza, an innovative explorer of the fossil record, passed away suddenly in Barcelona. He left behind interesting scientifi c contributions in the areas of invertebrate ecology, palaeoecology, evolutionary ecology, taphonomy and ichnology. Jordi Maria was only 44 and had a whole life in science ahead of him. The 2014 volume of the Spanish Journal of Palaeontology is dedicated to his memory.

Fin de Napoladron por sus mismos sequaces : Con una carta del infierno al Emperador de los Diablos, en que le da quejas de su mal proceder

Sign.: [ ]2, *6 Les [2] últimes pàgs. són una relació dels llibres que es poden trobar en les llibreríes citades al peu d'impr

Open data from the first and second observing runs of advanced LIGO and advanced Virgo

2021

Abbot, Rich, et al. (Virgo and MAGIC Collaboration)

A Simple Fusion Method for Image Time Series Based on the Estimation of Image Temporal Validity

2015

High-spatial-resolution satellites usually have the constraint of a low temporal frequency, which leads to long periods without information in cloudy areas. Furthermore, low-spatial-resolution satellites have higher revisit cycles. Combining information from high- and low- spatial-resolution satellites is thought a key factor for studies that require dense time series of high-resolution images, e.g., crop monitoring. There are several fusion methods in the bibliography, but they are time-consuming and complicated to implement. Moreover, the local evaluation of the fused images is rarely analyzed. In this paper, we present a simple and fast fusion method based on a weighted average of two in…