DEI Talks | “A Geographies of born-digital translation: TRANS.MISSION[A.DIALOGUE] as a case study” por Anne Karhio

O trabalho da Dr. Anne Karhio aborda temas relacionados com poesia e tecnologia contemporâneas, literatura e cultura irlandesa, e paisagens literárias em vários ambientes de media. Após a sua nomeação como Associate Professor in English na Norway Inland University of Applied Sciences, está atualmente baseada na National University of Ireland, Galway, como Lecturer in Contemporary English Literature na School of English and Creative Arts. É também Associate Professor II in Digital Culture na University of Bergen, Norway, e tem publicado amplamente sobre poesia contemporânea irlandesa, literatura digital, e a estética do espaço e da paisagem.

“A Geographies of born-digital translation: TRANS.MISSION[A.DIALOGUE] as a case study” será apresentada dia 27 de junho, na I-105, às 15:00.

Abstract:

 This presentation addresses the challenges of linguistic, geographical, and cultural translation through the specific case of J.R. Carpenter’s born-digital work TRANS.MISSION[A.DIALOGUE] and its translation from English into Finnish. I will consider how the challenges of linguistic translation from a European to a non-European language are further complicated by the requirements of code, as well as the translation of sociocultural context. Through its focus on technology, mobility, and migration, I suggest, Carpenter’s work invites us to consider the entangled connections between infrastructural geographies and the language of communications technology.

DEI Talks | “Digital Culture and Cultural User experience” por Markos Konstantakis

Markos Konstantakis é doutorando no Departamento de Tecnologia Cultural e Comunicação da Aegean University, na área da Realidade Aumentada, com a tese intitulada: “Augmented Cultural User Experience – ACUX”. É detentor de um Mestrado com o tema “Specialization in Information Systems, Networks and Telecommunications “, da Faculty of Sciences and Technology of the Hellenic Open University ( HOU ). Markos concluiu também uma Licenciatura e um Mestrado em “Marine Mechanical Engineer” da NTUA (National Technical University of Athens). Desde Novembro de 2013 é Bolseiro de Investigação para a implementação do “Supplementary Program Distance Learning e-learning”,na University of Athens, redigindo e ensinando os seguindo programas: ” Network Engineer “, “Matlab” e “Cultura Digital”. Desde Setembro de 2016 trabalha como Assistente de Investigação para a implementação de projetos relativos ao turismo cultural, conservação das artes e cultura digital. A sua investigação inclui as tecnologias de Realidade Virtual e Aumentada, Computação Ubíqua, Cultura Digital, Experiência do Utilizador, Património Cultural, Prototipagem, Interacção Humano-Computador, a Internet das Coisas e Jogos Sérios.

 Junte-se a nós no dia 6 de junho, às 14:00, na sala I-105 da FEUP, para a apresentação de “Digital Culture and Cultural User experience”.

 Abstract:

The immense interest in academia and the cultural industry has been to augment users’ participation during their interaction with cultural artefacts by making them an actor in their own cultural experience. Cultural User eXperience (CUX) has gained momentum in recent years, and a factor that affects CUX is the cultural background and profile of the individual user. Users have their own cultural characteristics and preferences, they learn and interact differently with a particular artefact, and finally, they obtain a unique cultural experience.

CUX is an essential consideration that should be acknowledged and implemented when initiating the Cultural Heritage (CH) domain. It is beyond the usability of a cultural product or system. It includes both pragmatic and hedonic user factors that could influence a user’s positive experience when interacting with the system or product, leading to the effectiveness of CH activities. The diversity of visitors to cultural spaces is one of their unique attributes and is becoming a significant challenge for these venues to meet their visitors’ needs. How can they address the variety of interests and needs of all their visitors? Therefore, it is necessary to know visitors’ expectations when visiting cultural spaces.

The cultural tourists of today (at least in developed countries) travel more than the tourists of the past, and it is possible that the tourists of tomorrow will travel even more often, increasing the level of cultural user experience. Therefore, travelling, which was considered a ”luxury good” in the past, is an integral part of people’s lives nowadays. Also, tourists do not leave their previous experiences, motivations, preconceptions, and attitudes behind when they travel, the same way they leave their coats in the cloakroom upon entering a museum. Furthermore, the effects of a journey are not limited to the time spent at the destination. Tourists connect information and construct meaning before travelling to a place and continue to do so months or even years after their journey.

It is indisputable that cultural tourism destinations require detailed categorization of their visitors and their underlying motivations since not every person is motivated by the exact reasons for learning, experimenting, or self-exploring. Because of this assumption that cultural tourists are not alike, most of the literature in cultural tourism follows a clustering approach, emphasizing determining the typology of the cultural tourists.

Amongst the abundance of tools available for interaction design, user typologies have been claimed to be “the most effective and fundamental”. By creating a concrete image of the user, designers gain insight into the elements a User Interface (UI) should have and how the user is likely to respond to those elements.

Furthermore, during the past years, cultural interactive experiences are produced in an increased pace to bring back the lost fiction, as well as the functional and ritual nature of the cultural objects. To date, there are various technologies available in cultural environments to support cultural exhibitions directly or indirectly (augmented reality, digital storytelling, serious games, linked open data, context awareness), and every technology used makes an impact on the exhibition or the visitors.

DEI Talks | “Task scheduling algorithms for fog architectures” pelo Prof. Celestino Lopes de Barros

Celestino Lopes de Barros é Professor na Faculdade de Ciências e Tecnologia (FCT) da Universidade de Cabo Verde (Uni-CV) desde 2005. Licenciado em Informática em 2006 pelo Instituto Superior de Educação, obteve o grau de Mestre em Engenharia Electrónica e Telecomunicações pela Universidade de Aveiro em 2010. Possui o certificado de Estudos Avançados e é Doutor em Ciência e Tecnologia pela UaB e UTAD desde 2021. Tem como áreas de interesse a Cloud computing e os seus paradigmas. Autor de vários artigos focando ‘Job Scheduling in Fog Paradigm’.

Junte-se a nós no dia 11 de maio, às 14:30, na sala I-105 da FEUP, para a apresentação de “Task scheduling algorithms for fog architectures”.

Abstract:

According to the author’s knowledge task scheduling in fog paradigm is highly complex and in the literature there are still few studies on it. In the cloud architecture, it is widely studied and in many researches, it is approached from the perspective of service providers. Trying to bring innovative contributions in these areas, we propose a solution to the context-aware task-scheduling problem for fog paradigm. In our proposal, different context parameters are normalized through Min Max normalization, requisition priorities are defined through the application of the Multiple Linear Regression (MLR) technique and scheduling is performed using Multi-Objective Non-Linear Programming optimization (MONLIP) technique.

DEI Talks | Fluent API: A software engineering technique with type theoretical implications por Yossi Gil

Joseph (Yossi) Gil é Professor Associado da Faculty of Computer Science of the Technion, Israel Institute of Technology. As suas publicações foram em diversas áreas incluindo sistemas distribuídos, processamento de imagem, algoritmos, PRAMs e computação paralela, bases de dados, conceitos de programação orientada para objetos, algoritmos numéricos,… Os seus B.Sc. (in physics summa cum laude), M.Sc. (computer science, summa cum laude) e Ph.D. foram concedidos pela Hebrew University in Jerusalem. A informática teórica, especialmente os lower bounds e os algoritmos, foram o seu berço académico contudo tem também grande interesse pela programação em várias linguagens. O seu tópico de investigação atual é em sistemas e aplicações de machine learning para engenharia de software e algoritmos numéricos.

Junte-se a nós no dia 27 de Abril, às 14:30, na sala B016 da FEUP, para a apresentação de “Fluent API: A software engineering technique with type theoretical implications”.

Abstract:

 A chain of method calls in an OO language, such as a.b().c(d).e(f,g).h().i()… is what the industry calls fluent API. In such a chain, the return value of all but the last invocation, is the receiver of the next invocation. The technique is advertised and used as a powerful software engineering tool. The technique is also used to embed domain specific languages (DSLs), such as SQL, in a host general programming language, such as Java. In this talk, I will present the technique, and the fundamental theoretical questions: How should one design the classes and methods so that fluent API works the way it is supposed to? What is required from the type system of the host programming language to admit certain chains, and forbid others?

The presentation will survey a series of publications showing deep correspondence between type systems and the theory of automata: finite state automata, pushdown automata, etc.

DEI Talks | Formal Verification of Distributed Systems por Julien Brunel e David Chemouil

Julien Brunel e David Chemouil são investigadores seniores na ONERA, em Toulouse, especializados em formal specification and verification. Juntamente com Nuno Macedo e Alcino Cunha (INESC TEC) conceberam a 6ª versão (até há pouco tempo designada Electrum) da linguagem e ferramenta Alloy (originalmente proposta pelo MIT). Nos últimos anos, Julien Brunel e David Chemouil têm vindo a estudar também a verificação de algoritmos distribuídos.

Segundo os investigadores “a recent highlight is the first mechanical proof of correctness of the distributed maintenance algorithm of the Chord peer-to-peer protocol, as well as formal techniques for the complete, semi-automatic verification of infinite-state systems, such as distributed algorithms”.

Junte-se a nós no dia 8 de Abril, às 14:30, na sala I-105 da FEUP, para a apresentação deste trabalho

 Abstract:

The verification of distributed systems is challenging because these systems combine a rich structure, a high number of elements and a non-trivial temporal evolution. A trade-off between automation and completeness of the verification has to be made. In particular, one can use theorem provers, which offer complete confidence but tend to require considerable expertise and effort. Another option is to use model checkers, which offer complete automation, but cannot handle complex data structures and configurations.

In this talk, they will present recent work on verification techniques for distributed systems that are automatic and “as complete as possible”, or complete and “as automatic as possible”. They will illustrate their work with the analysis of Chord, a scalable distributed hash table.

DEI Talks | JUMPING FINITE AUTOMATA por Prof. Alexander Meduna

Prof. Alexander Meduna (nascido em 1957 em Olomouc, República Checa) é um cientista informático teórico e especialista em desenho de compiladores, linguagens formais e autómatos. É professor de Informática na Brno University of Technology.

Anteriormente, ensinou informática teórica em várias universidades europeias e americanas, incluindo a Universidade do Missouri, onde passou uma década a ensinar tópicos avançados de teoria da linguagem formal. Escreveu mais de noventa artigos relacionados com teoria da computação.

Junte-se a nós no dia 7 de Abril, às 14:30, na sala I-105 da FEUP, para a apresentação de JUMPING FINITE AUTOMATA

Abstract:

This talk proposes a new investigation area in automata theory — jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously — that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The talk gives several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the talk  formulates several open problems and suggests future investigation areas.

O seu último livro é o Handbook of Mathematical Models for Languages and Computation

Meduna, Alexander; Tomko, Martin, Horacek, Petr (2019)

The Institution of Engineering and Technology, Stevenage, UK, ISBN: 978-1-78561-660-0

https://www.amazon.ae/Handbook-Mathematical-Models-Languages-Computation/dp/1785616595

Alguns dos livros anteriores:

  • Meduna, Alexander (2000). Automata and Languages: Theory and Applications. Springer Science & Business Media. ISBN 9781852330743.
  • Meduna, Alexander (2007). Elements of Compiler Design. CRC Press. ISBN 9781420063233.
  • Meduna, Alexander (2014). Formal Languages and Computation: Models and Their Applications. CRC Press. ISBN 9781466513457.
  • Meduna, Alexander; Švec, Martin (2005). Grammars with Context Conditions and Their Applications. John Wiley & Sons. ISBN 9780471736554.
  • Meduna, Alexander; Techet, Jiří (2010). Scattered Context Grammars and Their Applications. WIT Press. ISBN 9781845644260.
  • Meduna, Alexander; Zemek, Petr (2014). Regulated Grammars and Automata. Springer. ISBN 9781493903696.
  • Meduna, Alexander; Soukup, Ondřej (2017). Modern Language Models and Computation: Theory with Applications. Springer. ISBN 9783319630991.

CreativityTalks | Prof. António Sampaio da Nóvoa será o próximo convidado

Há muitos “futurismos” que sugerem uma educação sem escolas, baseada nas imensas possibilidades das tecnologias e da inteligência artificial. Estes “futurismos” ganharam força com a pandemia e as diferentes formas de isolamento a que temos estado sujeitos. Mas a educação não se faz em “confinamento”, exige sempre uma relação, um encontro, um trabalho conjunto. Não é o momento de anunciar a “morte da escola”, mas antes a inventar de novo.

Inventar de novo a Escola” será  o tema da 6ª Creativity Talk, apresentado pelo Professor *António Sampaio da Nóvoa, no dia 17 de março, às 18:00, no Anfiteatro Nobre da FEUP (B032).

A sessão será moderada por Amélia Lopes, Professora Catedrática e Presidente do Conselho Cientifico da Faculdade de Psicologia e de Ciências da Educação da Universidade do Porto.

A participação presencial na palestra requer uma inscrição (gratuita) no Eventbrite (lugares disponíveis à lotação da sala pela ordem de registo).

Se não conseguir comparecer presencialmente na sessão, poderá assistir através do seguinte endereço: https://youtu.be/V2I0h0EQBO0

*Bio

António Sampaio da Nóvoa é Professor Catedrático da Universidade de Lisboa. É Doutor em História pela Universidade de Paris IV-Sorbonne e Doutor em Ciências da Educação pela Universidade de Genebra. Foi Reitor da Universidade de Lisboa entre 2006 e 2013. Foi Embaixador de Portugal junto da UNESCO entre 2018 e 2021.

DEI Talks | The Digital Score – “What’s really going on {in} here?” por Prof. Craig Vear

Craig Vear é Professor e Investigador na Universidade de Montfort onde é também Diretor do Laboratório de IA e Robótica Criativa no Instituto de Tecnologias Criativas. A sua investigação é naturalmente híbrida, pois reúne os campos da música, desempenho digital, tecnologias criativas, inteligência artificial, criatividade, jogos, realidade mista e robótica. Tem estado envolvido em investigação baseada na prática com tecnologias emergentes há quase três décadas, e foi editor do The Routledge International Handbook of Practice-Based Research, publicado em 2022. A sua recente monografia The Digital Score: creativity, musicianship and innovation, foi publicada pela Routledge em 2019, sendo também editor da série The Springer’s Cultural Computing Series. Em 2021 recebeu uma bolsa de 2 milhões de euros da ERC Consolidator Grant para continuar a desenvolver a sua pesquisa Digital Score – digiscore.dmu.ac.uk

Junte-se a nós no dia 24 de fevereiro, às 14:30, na sala B024 da FEUP, e assista à apresentação e discussão deste projeto –  Investigating Technological Transformation of the Music Score (DigiScore).

A secção de abertura posicionará a partitura digital entre uma compreensão mais ampla da função e do objetivo de todas as partituras: a de uma interface de comunicação entre músicos. Depois de definir aquilo que assinala uma partitura digital como uma proposta diferente, resumirá as finalidades e objetivos da investigação do projeto DigiScore. Irá posicionar esta investigação entre os princípios centrais do fluxo, da fenomenologia, da incorporação e do efeito dos meios de comunicação, e delinear o foco da investigação como procura de sentido a partir do interior dos atos criativos da partitura digital musicking (Small 1989). A secção final delineará alguns dos novos conhecimentos atuais, e apresentará questões-chave que discutirá com os presentes na sala como forma de permitir a sua voz no desenvolvimento destes investigadores e na expansão da comunidade de investigação nesta área.