2 Search Results for "De-Los-Santos, Alicia"

Document
DOI: 10.4230/OASIcs.ATMOS.2014.107
Simultaneous frequency and capacity setting for rapid transit systems with a competing mode and capacity constraints

Authors: Alicia De-Los-Santos, Gilbert Laporte, Juan A. Mesa, and Federico Perea

Published in: OASIcs, Volume 42, 14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (2014)

Abstract
The railway planning problem consists of several consecutive phases: network design, line planning, timetabling, personnel assignment and rolling stocks planning. In this paper we will focus on the line planning process. Traditionally, the line planning problem consists of determining a set of lines and their frequencies optimizing a certain objective. In this work we will focus on the line planning problem context taking into account aspects related to rolling stock and crew operating costs. We assume that the number of possible vehicles is limited, that is, the problem that we are considering is a capacitated problem and the line network can be a crowding network. The main novelty in this paper is the consideration of the size of vehicles and frequencies as variables as well as the inclusion of a congestion function measuring the level of in-vehicle crowding. Concretely, we present the problem and an algorithm to solve it, which are tested via a computational experience.
Cite as

Alicia De-Los-Santos, Gilbert Laporte, Juan A. Mesa, and Federico Perea. Simultaneous frequency and capacity setting for rapid transit systems with a competing mode and capacity constraints. In 14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems. Open Access Series in Informatics (OASIcs), Volume 42, pp. 107-121, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{delossantos_et_al:OASIcs.ATMOS.2014.107,
  author =	{De-Los-Santos, Alicia and Laporte, Gilbert and Mesa, Juan A. and Perea, Federico},
  title =	{{Simultaneous frequency and capacity setting for rapid transit systems with a competing mode and capacity constraints}},
  booktitle =	{14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems},
  pages =	{107--121},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-75-0},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{42},
  editor =	{Funke, Stefan and Mihal\'{a}k, Mat\'{u}s},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2014.107},
  URN =		{urn:nbn:de:0030-drops-47563},
  doi =		{10.4230/OASIcs.ATMOS.2014.107},
  annote =	{Keywords: Line planning, railway, capacity, frequency, congestion}
}
Document
DOI: 10.4230/LIPIcs.ICLP.2012.144
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

Authors: Giovanni Bacci, Marco Comini, Marco A. Feliú, and Alicia Villanueva

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract
This paper discusses on the additional issues for the automatic inference of algebraic property-oriented specifications which arises because of interaction between laziness and logical variables in lazy functional logic languages. We present an inference technique that overcomes these issues for the first-order fragment of the lazy functional logic language Curry. Our technique statically infers from the source code of a Curry program a specification which consists of a set of equations relating (nested) operation calls that have the same behavior. Our proposal is a (glass-box) semantics-based inference method which can guarantee, to some extent, the correctness of the inferred specification, differently from other (black-box) approaches based on testing techniques.
Cite as

Giovanni Bacci, Marco Comini, Marco A. Feliú, and Alicia Villanueva. The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 144-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{bacci_et_al:LIPIcs.ICLP.2012.144,
  author =	{Bacci, Giovanni and Comini, Marco and A. Feli\'{u}, Marco and Villanueva, Alicia},
  title =	{{The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{144--153},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.144},
  URN =		{urn:nbn:de:0030-drops-36174},
  doi =		{10.4230/LIPIcs.ICLP.2012.144},
  annote =	{Keywords: Curry, property-oriented specifications, semantics-based inference methods}
}
  • Refine by Author
  • 1 A. Feliú, Marco
  • 1 Bacci, Giovanni
  • 1 Comini, Marco
  • 1 De-Los-Santos, Alicia
  • 1 Laporte, Gilbert
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Curry
  • 1 Line planning
  • 1 capacity
  • 1 congestion
  • 1 frequency
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2012
  • 1 2014

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact