Search results for "predicate logic"
showing 10 items of 170 documents
Branch-and-Price-and-Cut for the Truck-and-Trailer Routing Problem with Time Windows
2018
In this paper, we present a new branch-and-price-and-cut algorithm to solve the truck-and-trailer routing problem with time windows (TTRPTW) and two real-world extensions. In all TTRPTW variants, the fleet consists of one or more trucks that may attach a trailer. Some customers are not accessible with a truck-and-trailer combination, but can however be serviced by one if the trailer is previously detached and parked at a suitable location. In the first extension, the planning horizon comprises two days and customers may be visited either on both days or only once, in which case twice the daily supply must be collected. The second extension incorporates load transfer times depending on the …
Splines Computation by Subdivision
2015
In this chapter, fast stable algorithms are presented, which compute splines’ values at dyadic and triadic rational points starting from their samples at integer grid points. The algorithms are implemented by the causal-anticausal recursive filtering of initial data samples, which is followed by iterated application of FIR filters. Extension of the algorithms to the multidimensional case is straightforward. A natural application of the presented subdivision algorithms is for upsampling of signals and images. A few upsampling examples are provided.
Visualizations for Decision Support in Scenario-based Multiobjective Optimization
2021
Reproducibility artifacts for: Babooshka Shavazipour, Manuel López-Ibáñez, and Kaisa Miettinen. Visualizations for Decision Support in Scenario-based Multiobjective Optimization. Information Sciences, 2021. doi:10.1016/j.ins.2021.07.025. Abstract: We address challenges of decision problems when managers need to optimize several conflicting objectives simultaneously under uncertainty. We propose visualization tools to support the solution of such scenario-based multiobjective optimization problems. Suitable graphical visualizations are necessary to support managers in understanding, evaluating, and comparing the performances of management decisions according to all objec…
Tensor products, multiplications and Weyl’s theorem
2005
Tensor productsZ=T 1⊗T 2 and multiplicationsZ=L T 1 R T 2 do not inherit Weyl’s theorem from Weyl’s theorem forT 1 andT 2. Also, Weyl’s theorem does not transfer fromZ toZ*. We prove that ifT i,i=1, 2, has SVEP (=the single-valued extension property) at points in the complement of the Weyl spectrumσ w(Ti) ofT i, and if the operatorsT i are Kato type at the isolated points ofσ(Ti), thenZ andZ* satisfy Weyl’s theorem.
An Extension of the VSM Documents Representation using Word Embedding
2017
Abstract In this paper, we will present experiments that try to integrate the power of Word Embedding representation in real problems for documents classification. Word Embedding is a new tendency used in the natural language processing domain that tries to represent each word from the document in a vector format. This representation embeds the semantically context in that the word occurs more frequently. We include this new representation in a classical VSM document representation and evaluate it using a learning algorithm based on the Support Vector Machine. This new added information makes the classification to be more difficult because it increases the learning time and the memory neede…
Ping-pong configurations and circular orders on free groups
2017
We discuss actions of free groups on the circle with "ping-pong" dynamics; these are dynamics determined by a finite amount of combinatorial data, analogous to Schottky domains or Markov partitions. Using this, we show that the free group $F_n$ admits an isolated circular order if and only if n is even, in stark contrast with the case for linear orders. This answers a question from (Mann, Rivas, 2016). Inspired by work of Alvarez, Barrientos, Filimonov, Kleptsyn, Malicet, Menino and Triestino, we also exhibit examples of "exotic" isolated points in the space of all circular orders on $F_2$. Analogous results are obtained for linear orders on the groups $F_n \times \mathbb{Z}$.
Adding Semantic Extension to Wikis for Enhancing Cultural Heritage Applications
2011
International audience; Wikis are appropriate systems for community-authored content. In the past few years, they show that are particularly suitable for collaborative works in cultural heritage. In this paper, we highlight how wikis can be relevant solutions for building cooperative applications in domains characterized by a rapid evolution of knowledge. We will point out the capabilities of semantic extension to provide better quality of content, to improve searching, to support complex queries and finally to carry out di fferent type of users. We describe the CARE project and explain the conceptual modeling approach. We detail the architecture of WikiBridge, a semantic wiki which allows …
Model analysis of uniaxial and biaxial stretching of polymer melts
1976
The biaxial extension results byDenson et al. are compared with the predictions of a model of non-linear viscoelasticity. Date of uniaxial extension on the same material (a commercial polyisobutylene) are taken for extending the comparison. The model used seems to adequately describe both types of elongational flow with the same value of the single adjustable parameter.
Effect of conjugated system extension on structural features and electron-density distribution in charge–transfer difluoroborates
2021
A comparative structural study of two related donor–acceptor pyridine-based BF2 complexes, namely, 3-(dimethylamino)-1,1-difluoro-1H-pyrido[1,2-c][1,3,5,2]oxadiazaborinin-9-ium-1-uide, C8H10BF2N3O (1), and 3-{(1E,3E)-4-[4-(dimethylamino)phenyl]buta-1,3-dien-1-yl}-1,1-difluoro-1H-pyrido[1,2-c][1,3,5,2]oxadiazaborinin-9-ium-1-uide, C18H18BF2N3O (2), containing a dimethylamino group and either the shortest (in 1) or the longest (in 2) charge-transfer path known until now in this family of compounds, is presented. Single-crystal X-ray diffraction analysis supported by computational investigations shed more light on these systems, indicating, among other aspects, the predominance of C—H...F cont…
Decentralized Deployment of Mobile Sensors for Optimal Connected Sensing Coverage
2008
In this paper, we address the optimal connected sensing coverage problem, i.e., how mobile sensors with limited sensing capabilities can cooperatively adjust their locations so as to maximize the extension of the covered area while avoiding any internal “holes”, areas that are not covered by any sensor. Our solution consists in a distributed motion algorithm that is based on an original extension of the Voronoi tessellation.