Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods

An Intelligent Transportation System Application for Smartphones Based on Vehicle Position Advertising and Route Sharing in Vehicular Ad-Hoc Networks

[EN] Alerting drivers about incoming emergency vehicles and their routes can greatly improve their travel times in congested cities, while reducing the risk of accidents due to distractions. This paper contributes to this goal by proposing Messiah, an Android application capable of informing regular vehicles about incoming emergency vehicles like ambulances, police cars and fire brigades. This is made possible by creating a network of vehicles capable of directly communicating between them. The user can, therefore, take driving decisions in a timely manner by considering incoming alerts. Using the support of our GRCBox hardware, the application can rely on vehicular ad-hoc network communications in the 5 GHz band, being V2V (vehicle-to-vehicle) communication provided through a combination of Android-based smartphone and our GRCBox device. The application was tested in three different scenarios with different levels of obstruction, showing that it is capable of providing alerts up to 300 meters, and notifying vehicles within less than one secondThis work was partially supported by the "Ministerio de Economia y Competividad, Programa Estatal de Investigacion, Desarollo e Innovacion Orientada a los Retos de la Sociedad, Proyectos I+D+I 2014", Spain, under Grant Nos. TEC2014-52690-R and BES-2015-075988.Hadiwardoyo, SA.; Patra, S.; Tavares De Araujo Cesariny Calafate, CM.; Cano, J.; Manzoni, P. (2018). An Intelligent Transportation System Application for Smartphones Based on Vehicle Position Advertising and Route Sharing in Vehicular Ad-Hoc Networks. Journal of Computer Science and Technology. 33(2):249-262. https://doi.org/10.1007/s11390-018-1817-4S249262332Papadimitratos P, De La Fortelle A, Evenssen K, Brignolo R, Cosenza S. Vehicular communication systems: Enabling technologies, applications, and future outlook on intelligent transportation. IEEE Communications Magazine, 2009, 47(11): 84-95.Gerla M, Kleinrock L. Vehicular networks and the future of the mobile Internet. Computer Networks, 2011, 55(2): 457-469.Vegni A M, Loscrí V. A survey on vehicular social networks. IEEE Communications Surveys & Tutorials, 2015, 17(4): 2397-2419.Eze E C, Zhang S J, Liu E J. Vehicular ad hoc networks (VANETs): Current state, challenges, potentials and way forward. In Proc. the 20th Int. Conf. Automation and Computing, September 2014, pp.176-181.Qi L. Research on intelligent transportation system technologies and applications. In Proc. Workshop on Power Electronics and Intelligent Transportation System, August 2008, pp.529-531.Gozalvez J. First Google’s Android phone launched [Mobile Radio]. IEEE Vehicular Technology Magazine, 2008, 3(4): 3-69.Haklay M,Weber P. OpenStreetMap: User-generated street maps. IEEE Pervasive Computing, 2008, 7(4): 12-18.Hadiwardoyo S A, Patra S, Calafate C T, Cano J C, Manzoni P. An Android ITS driving safety application based on vehicle-to-vehicle (V2V) communications. In Proc. the 26th Int. Conf. Computer Communication and Networks, July 31-August 3, 2017.Eriksson J, Balakrishnan H, Madden S. Cabernet: Vehicular content delivery using WiFi. In Proc. the 14th ACM Int. Conf. Mobile Computing and Networking, September 2008, pp.199-210.Gerla M, Weng J T, Giordano E, Pau G. Vehicular testbeds-validating models and protocols before large scale deployment. In Proc. Int. Conf. Computing Networking and Communications, January 30-February 2, 2012, pp.665-669.Wahlström J, Skog I, Händel P. Smartphone-based vehicle telematics: A ten-year anniversary. IEEE Trans. Intelligent Transportation Systems, 2017, 18(10): 2802-2825.Whipple J, Arensman W, Boler M S. A public safety application of GPS-enabled smartphones and the Android operating system. In Proc. IEEE Int. Conf. Systems Man and Cybernetics, October 2009, pp.2059-2061.Meseguer J E, Calafate C T, Cano J C, Manzoni P. DrivingStyles: A smartphone application to assess driver behavior. In Proc. IEEE Symp. Computers and Communications, July 2013, pp.000535-000540.You C W, Lane N D, Chen F L, Wang R, Chen Z Y, Bao T J, Montes-De-Oca M, Cheng Y T, Lin M, Torresani L, Campbell A T. CarSafe app: Alerting drowsy and distracted drivers using dual cameras on smartphones. In Proc. the 11th Annual Int. Conf. Mobile Systems Applications and Services, June 2013, pp.461-462.Patra S, Arnanz J H, Calafate C T, Cano J C, Manzoni P. EYES: A novel overtaking assistance system for vehicular networks. In Proc. the 14th Int. Conf. Ad-Hoc Networks and Wireless, June 2015, pp.375-389.Togneri M C, Deriaz M. On-board navigation system for smartphones. In Proc. Int. Conf. Indoor Positioning and Indoor Navigation, October 2013.Dancu A, Franjcic Z, Fjeld M. Smart flashlight: Map navigation using a bike-mounted projector. In Proc. the SIGCHI Conf. Human Factors in Computing Systems, April 2014, pp.3627-3630.Yamabe T, Ikegami S, Ishizaki A, Kitagami S, Kiyohara R. Car navigation user interface based on a smartphone. In Proc. the 7th Int. Conf. Mobile Computing and Ubiquitous Networking, January 2014, pp.85-86.Matsuyama S, Yamabe T, Takahashi N, Kiyohara R. Intelligent user interface of smartphones for on-vehicle information devices. Procedia Computer Science, 2014, 35: 1635-1643.Kovacevic B, Kovacevic M, Maruna T, Papp I. A java application programming interface for in-vehicle infotainment devices. IEEE Trans. Consumer Electronics, 2017, 63(1): 68-76.Liu R L, Liu H Z, Kwak D, Xiang Y, Borcea C, Nath B, Iftode L. Themis: A participatory navigation system for balanced traffic routing. In Proc. IEEE Vehicular Networking Conf., December 2014, pp.159-166.Liu R L, Liu H Z, Kwak D, Xiang Y, Borcea C, Nath B, Iftode L. Balanced traffic routing: Design, implementation, and evaluation. Ad Hoc Networks, 2016, 37: 14-28.Vochin M, Zoican S, Borcoci E. Intelligent system for vehicle navigation assistance. In Proc. World Conf. Information Systems and Technologies, April 2017, pp.142-148.Sha W J, Kwak D, Nath B, Iftode L. Social vehicle navigation: Integrating shared driving experience into vehicle navigation. In Proc. the 14th Workshop on Mobile Computing Systems and Applications, February 2013, Article No. 16.Kwak D, Liu R L, Kim D, Nath B, Iftode L. Seeing is believing: Sharing real-time visual traffic information via vehicular clouds. IEEE Access, 2016, 4: 3617-3631.Djajadi A, Putra R J. Inter-cars safety communication system based on Android smartphone. In Proc. IEEE Conf. Open Systems, October 2014, pp.12-17.Dorairaj P, Mohammed A, Grbic N. Location-Aware services using Android mobile operating platform for safety, emergency and health applications. In Mobile Health, Adibi S (ed.), Springer, 2015, pp.283-298.Dorairaj P, Ramamoorthy S, Ramalingam A K. Emergency based remote collateral tracking system using Google’s Android mobile platform. In Advances in Computer Science Engineering & Applications, Wyld D C, Zizka J, Nagamalai D (eds.), Springer, 2012, pp.391-403.Zulkafi A Z, Basri S, Jung L T, Ahmad R. Android based car alert system. In Proc. the 3rd Int. Conf. Computer and Information Sciences, August 2016, pp.501-506.Tornell S M, Calafate C T, Cano J C, Manzoni P, Fogue M, Martinez F J. Evaluating the feasibility of using smartphones for ITS safety applications. In Proc. the 77th IEEE Vehicular Technology Conf., June 2013.Tornell S M, Patra S, Calafate C T, Cano J C, Manzoni P. GRCBox: Extending smartphone connectivity in vehicular networks. International Journal of Distributed Sensor Networks, 2015, 2015: Article No. 5.Mirkovic J, Dietrich S, Dittrich D, Reiher P. Internet Denial of Service: Attack and Defense Mechanisms (Radia Perlman Computer Networking and Security). Prentice Hall PTR, 2004.Chen S, Xu J, Sezer E C, Gauriar P, Iyer R K. Non-control-data attacks are realistic threats. In Proc. the 14th Conf. USENIX Security Symp., July 31-August 5, 2005.Fung C K, Lee M C. A denial-of-service resistant public-key authentication and key establishment protocol. In Proc. the 21st IEEE Int. Performance Computing and Communications Conf., April 2002, pp.171-178.Abadi M, Budiu M, Erlingsson Ú, Ligatti J. Control-flow integrity. In Proc. the 12th ACM Conf. Computer and Communications Security, November 2005, pp.340-353

On the algebraic structure of conditional events: 13th European conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015.

This paper initiates an investigation of conditional measures as simple measures on conditional events. As a first step towards this end we investigate the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which we can be attached to them. This distinction, we argue, helps us clarifying both concepts

The Supercomputer Supernet Testbed: A WDM Based Supercomputer Interconnect

Current fiber optic networks effectively provide local connectivity among end user computing devices, and can serve as backbone fabric between LAN subnets across campus and metropolitan areas. However, combining both stream service (in which ATM excels) and low latency datagram service (in which cluster networks like Myrinet and POLO excel) has been difficult to realize. This paper describes a new wavelength division multiplexed (WDM) fiber optic network that supports both stream and datagram service and extends reach and functionality of low-latency, high bandwidth workstation clusters to a campus and MAN setting. The novel concept is based on combining the rich interconnect structure of WDM fiber optics with the fast, low-latency mesh of crossbar switches recently developed for workstation groups. This system, called the Supercomputer Supernet (SSN) achieves a high level of performance by replacing the point-to-point copper wire links with a parallel channel (WDM) fiber opt..

Mereotopological Connection

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified—the strength of the connection and its multiplicity

Uber die Genese des Guerinischen Sinus sowie dessen Bedeutung fur die Therapie der Gonorrhoe der mannlichen Harnrohre.

&lt;P&gt;1. Die Frequenz des Guerinischen Sinus betragt nach meinen Untersuchungen 80.08%, d. h. unter 125 Fallen ist derselbe 101 mal nachgewiesen, fehlt 24 mal (19.2%). Schon aus dem prozentualen Verhaltnis la&#946;t sich schlie&#946;en, da&#946; derselbe als physiologisches Produkt anzusehen ist. 2. Der kleine Vordersinus, der dicht vor dem Guerinischen Sinus anliegt, beginnt meist in dem Stadium etwa vom 8. Embryonalmonate an aufzutreten und mit der kraftigen Entwicklung des Guerinischen Sinus wachst er gleichfalls stark. 3. Die Epithelzellen, die sich uber die Wand des Guerinischen Sinus bei Embryonen heruberziehen, bestehen hauptsachlich aus geschichteten Plattenepithelzellen, dazwischen jedoch findet man auch einige aus geschichteten Zylinderepithelzellen bestehende Ge-webe, die gewohnlich um die Morgagnische Sinus herum auffindbar sind. Sehr selten ist bei Erwachsenen die ganze Wand von geschich-teten Zylinderepithelzellen oder Ubergangszellen bekleidet. 4. Im 3. Embryonalmonate la&#946;t sich schon an der hinteren Partie der Pars glandis der Geschlechtsrinne kompakte Epithelial-knospe des Guerinischen Sinus und des Morgagnischen Sinus fest-stellen. 5. Was die Valvula Gurini anbetrifft, so ist sie als nichts anderes anzusehen als die sich verdunnende Partie der Einmun-dungsstelle des Guerinischen Sinus. 6. Gonorrhoe der mannlichen Harnrohre ist in zwei Gruppen zu scheiden, namlich Schleimhautgonorrhoe und Seitenrohrengonor-rhoe. Die erstere tritt sofort nach der Infektion als akute Form auf, die letztere hingegen beim subakuten oder chronischen Stadium. 7. Als Therapie verwende ich im allgemeinen ziemlich milde antiphlogistische Mittel bei akutem Stadium, und blutige Behandlung unter der Urethroskopie bei chronischer Seitenrohrengonorrhoe. Zum Schlu&#946; mochte ich Herrn Prof. Dr. J. Shikinami meinen herzlichsten und ergebensten Dank aussprechen.&lt;/P&gt;</p

Exploring, exploiting and evolving diversity of aquatic ecosystem models: A community perspective

Here, we present a community perspective on how to explore, exploit and evolve the diversity in aquatic ecosystem models. These models play an important role in understanding the functioning of aquatic ecosystems, filling in observation gaps and developing effective strategies for water quality management. In this spirit, numerous models have been developed since the 1970s. We set off to explore model diversity by making an inventory among 42 aquatic ecosystem modellers, by categorizing the resulting set of models and by analysing them for diversity. We then focus on how to exploit model diversity by comparing and combining different aspects of existing models. Finally, we discuss how model diversity came about in the past and could evolve in the future. Throughout our study, we use analogies from biodiversity research to analyse and interpret model diversity. We recommend to make models publicly available through open-source policies, to standardize documentation and technical implementation of models, and to compare models through ensemble modelling and interdisciplinary approaches. We end with our perspective on how the field of aquatic ecosystem modelling might develop in the next 5–10 years. To strive for clarity and to improve readability for non-modellers, we include a glossary

On the algebraic structure of conditional events

This paper initiates an investigation of conditional measures as simple measures on conditional events. As a first step towards this end we investigate the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which we can be attached to them. This distinction, we argue, helps us clarifying both concepts