Procedural aspects concerning maritime law

Along this work we wish to highlight the main influence of Procedural Law in some as-pects in our Maritime Law. Our point of view has been supported by new Maritime Naviga-tion Act of 2014, when including the Title X ruling "Procedures Specialities in Maritime Navigation". We are focusing on the Bill of Lading as an essential document in maritime shipping from a procedural point of view. It is particulary relevant the express recognition of its enforce-able nature through the Spanish Maritime Navigation Act, giving to the bill of lading the consideration as an true extrajudicial enforceable title. We will point out the main error of the spanish regulator in the new Maritime Navigation Act, when repeating the provided posibility in the Spanish Civil Procedure Act, of a direct procedure of execution grounded on a extrajuditial enforcement such as the bill of lading. Finally, we would like to conclude the work studying the possible uses of Small Claim Procedure of the 812 article and followings of Spanish Civil Procedure Law, for the pur-pose of safeguarding credit, so as a short mention to other procedural figures expressly in-cluded in the Title IX of Maritime Navigation Law.

Integer Linear Programming for Sequence Problems: A general approach to reduce the problem size

Sequence problems belong to the most challenging interdisciplinary topics of the actuality. They are ubiquitous in science and daily life and occur, for example, in form of DNA sequences encoding all information of an organism, as a text (natural or formal) or in form of a computer program. Therefore, sequence problems occur in many variations in computational biology (drug development), coding theory, data compression, quantitative and computational linguistics (e.g. machine translation). In recent years appeared some proposals to formulate sequence problems like the closest string problem (CSP) and the farthest string problem (FSP) as an Integer Linear Programming Problem (ILPP). In the present talk we present a general novel approach to reduce the size of the ILPP by grouping isomorphous columns of the string matrix together. The approach is of practical use, since the solution of sequence problems is very time consuming, in particular when the sequences are long.