Abstract
This paper shows that the recent approach to quantitative typing systems for programming languages can be extended to pattern matching features. Indeed, we define two resource-aware type systems, named U and E , for a λ-calculus equipped with pairs for both patterns and terms. Our typing systems borrow some basic ideas from [19], which characterises (head) normalisation in a qualitative way, in the sense that typability and normalisation coincide. But, in contrast to [19], our systems also provide quantitative information about the dynamics of the calculus. Indeed, system U provides upper bounds for the length of (head) normalisation sequences plus the size of their corresponding normal forms, while system E , which can be seen as a refinement of system U , produces exact bounds for each of them. This is achieved by means of a non-idempotent intersection type system equipped with different technical tools. First of all, we use product types to type pairs instead of the disjoint unions in [19], which turn out to be an essential quantitative tool because they remove the confusion between âbeing a pairâ? and âbeing duplicableâ?. Secondly, typing sequents in system E are decorated with tuples of integers, which provide quantitative information about normalisation sequences, notably time (cf. length) and space (cf. size). Moreover, the time resource information is remarkably refined, because it discriminates between different kinds of reduction steps performed during evaluation, so that beta, substitution and matching steps are counted separately. Another key tool of system E is that the type system distinguishes between consuming (contributing to time) and persistent (contributing to space) constructors. © LIPIcs 2020.

Abstract
This article serves to show how things are changing when it comes to business and social networking. Nowadays, it is hard to find a business that does not have an account on any social network, and we can safely say that social media is a crucial aspect for any business enterprise - to sell their products, to be seen and, obviously, to make more money. We talk about the possibility to mix innovation, business strategy and social media. To complement this research, we focused our work on a Portuguese start-up - Strain - that intends to prove marketing is changing and that it actually welcomes the change, with social networks at the base of their business. They intend to use online influencers to promote the image of a brand, free of charge, and earn discounts on it. It is, indeed, a win-win situation, where each of the three parts (the company itself, clients and Strain) is a winner one way or the other. © 2019 AISTI.

Abstract
Low velocity compressional wave (P-wave), Vp values, have been observed from the lunar geophysical measurements made during the Apollo 14, 16 and 17 missions. These low velocities are attributed to lack of water, low soil compaction as well as the non-consolidated nature of the regolith. The microgravity lunar regolith simulant velocity experiment (µ-SVeLSE) aims to determine if there is any dependence of gravitational force on the seismic longitudinal velocity measurements and thus correlate with data previously determined from in-situ lunar regolith measurements. The experiment is composed of a small cylindrical container and a low power control and data acquisition electronics. No external power source was necessary. The prototype is comprised of a regolith container (22cm x 7cm) with all the data acquisition and control electronics included and working on a low voltage battery power sources. The system, designed by us, produces very minute vibration impulses. The impulses from the source transducer (Tx) are sent during limited temporal windows of emission-reception (10 milliseconds), and recorded as weak sonic-ultrasonic impulses that reach the two receivers (Rx). The system has just a start-stop switch than can be initiated directly by a wireless mechanism. The system records the data on a micro-SD card and weighed, together with the lunar regolith (JSC-1), approximately 1.4 kg. The container is completely closed and designed not to vent any regolith particles. During October 2018 we took the experiment onboard an airborne microgravity campaign, carried out in Ottawa (Canada) by the National Research Council’s Falcon 20 aircraft. We acquired data on three parabolas of between 15 and 30 seconds with low noise microgravity values. Preliminary Vp measurement results, compared with those obtained in Earth’s normal 1g, show variations of signal amplitude that are attributed to lower coupling of the source and receivers to the suspended grains during the micro-g phases of flight. Vp velocity results measured during 1g were around 90 m/s whereas during micro-g phases of flight the velocities apparently decreased.

Abstract
Technological advancements have created a media ecosystem in which traditional journalism sees its existence strongly threatened by the emergence of new players. Social networks have created a competitive environment that, whether due to its dispersion or its capillarity, has relegated the mainstream media to a secondary role in the media ecosystem. Ironically, the technologies that threaten traditional journalism are also those that can save it; provided they are used correctly. Journalism, weakened by the economic crisis and with increasingly smaller newsrooms, has artificial intelligence as an opportunity to recover a certain centrality in the media ecosystem. This paper studies AIDA, a project from the Brazilian television network Globo. This project looked to automation as a way to avoid errors and ambiguities in the news. The study of the AIDA case, complemented by interviews, presents the challenges to achieve the automatization of news regarding electoral polls.

Abstract

Abstract
In this paper, a mathematical model is developed to tackle a Consistent Vehicle Routing Problem, which considers customers with multiple daily deliveries and different service level agreements such as time windows, and release dates. In order to solve this problem, an instance size reduction algorithm and a mathematical programming based decomposition approach are developed. This solution approach is benchmarked against a commercial solver. Results indicate that the method solves instances of large size, enabling its application to real-life scenarios. A case study in a pharmaceutical distribution company is analyzed. Consistent routes are planned for several warehouses, comprising hundreds of orders. A simulation model evaluates the performance of the generated route plans. Significant improvements in terms of the total distance traveled and the total travel times are obtained when compared to the company's current planning process.