DSpace Community:http://hdl.handle.net/10174/296052024-03-29T14:02:12Z2024-03-29T14:02:12ZBook of Abstracts: International Workshop on Mathematics and Physical SciencesMinhós, FelizBezzeghoud, MouradAbreu, SalvadorCarapau, FernandoCorreira, Paulohttp://hdl.handle.net/10174/353792023-08-03T10:23:06Z2023-06-16T23:00:00ZTitle: Book of Abstracts: International Workshop on Mathematics and Physical Sciences
Authors: Minhós, Feliz; Bezzeghoud, Mourad; Abreu, Salvador; Carapau, Fernando; Correira, Paulo
Abstract: This book-proceeding comprises the results of various comprehensive Mathematical and
Physical Sciences-based studies accepted for presentation and discussion during the
1st Mathematical and Physical Sciences International Workshop in Évora, in 2023 (Mat-
Phys23). The MatPhys23, organized under the auspices of University of Évora throughout
the CIMA - Research Center in Mathematics and Applications, the ICT - Institute of Earth
Sciences and the NOVA-LINCS - NOVA Laboratory for Informatics and Computer Science
(Évora branch). This Workshop brought together many well-known mathematicians,
physicists and engineers from University of Beira Interior (UBI, Portugal), University of
Cabo Verde (UCV, Cabo Verde), Montclair State University (MSU, NJ, USA) and University
of Évora (UÉ, Portugal). This book-proceeding volume involves 24 abstracts on
the latest trending and significant challenges in mathematics and physical sciences. The
works presented focus on the following areas: statistical and mathematical methods that
are relevant to biology, medical and biomedical sciences, computer science, economics,
social sciences, music, environmental sciences, climatology, engineering, industry, fluid
mechanics and their applications, numerical simulations in various physical, geophysical,
chemical, biological and engineering applications. In addition to the usual scientific interaction
between participants, this meeting has the presence of PhD students, which we
consider relevant. Considering the original contents, aims, and methodologies of all these valuable studies,
it is believed that the topical outputs are of interest to all researchers, practitioners, and
students and would mainly provide new scientific insights and knowledge for geoscientists
and engineers.2023-06-16T23:00:00ZQuantum and Digital Annealing for the Quadratic Assignment ProblemCodognet, PhilippeDiaz, DanielAbreu, Salvadorhttp://hdl.handle.net/10174/334482023-01-16T15:50:51Z2022-01-01T00:00:00ZTitle: Quantum and Digital Annealing for the Quadratic Assignment Problem
Authors: Codognet, Philippe; Diaz, Daniel; Abreu, Salvador
Abstract: The Quadratic Assignment Problem is a a classical constrained optimization problem used to model many real-life applications. We present experiments in solving the Quadratic Assignment Problem by means of Quantum Annealing and Quantum-inspired Annealing. We describe how to model this classical combinatorial problem in terms of QUBO (Quadratic Unconstrained Binary optimization) for implementing it on hardware solvers based on quantum or quantum-inspired annealing (D-Wave, Fujitsu Digital Annealing Unit and Fixstars Amplify Annealing Engine). We present performance result for these implementations and compare them with well established metaheuristic solvers on classical hardware, such as Robust Tabu Search and External Optimization.2022-01-01T00:00:00ZFifty Years of Prolog and BeyondKoerner, PhilippLeuschel, MichaelBarbosa, JoãoSantos Costa, VitorDahl, VerónicaHermenegildo, ManuelMorales, JoséWielemaker, JanDiaz, DanielAbreu, SalvadorCiatto, Giovannihttp://hdl.handle.net/10174/333872023-01-11T15:49:29Z2022-01-01T00:00:00ZTitle: Fifty Years of Prolog and Beyond
Authors: Koerner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vitor; Dahl, Verónica; Hermenegildo, Manuel; Morales, José; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni
Abstract: Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.2022-01-01T00:00:00ZIntelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation SearchCorrea, CamiloRobin, JacquesMazo, RaulAbreu, Salvadorhttp://hdl.handle.net/10174/333622023-01-11T11:27:05Z2022-04-08T23:00:00ZTitle: Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
Authors: Correa, Camilo; Robin, Jacques; Mazo, Raul; Abreu, Salvador
Abstract: Critical infrastructures must be able to mitigate, at runtime, suspected ongoing cyberattacks that have eluded preventive security measures. To tackle this issue, we first propose an autonomic computing architecture for a Cyber-Security Incident Response Team Intelligent Decision Support System (CSIRT-IDSS) with a precise set of technologies for each of its components. We then zoom in on the component responsible for proposing to the CSIRT, automatically ranked sets of runtime actions to mitigate suspected ongoing cyber-attacks. We formalize its task as a Constraint Optimization Problem (COP). We then propose to implement it by a Constraint Object-Oriented Logic Program (COOLP) deployed as a containerized web service through the integration of three orthogonal extensions of Logic Programming (LP): Web Service Oriented LP (WSOLP), Constraint LP (CLP) and Object-Oriented LP (OOLP). This integration supports seamlessly reusing platform and task independent cybersecurity ontological knowledge to dynamically build a mitigation action search COP that is customized to an input suspected cyberattack action set. This customization then allows the COP, to be solved by a generic CLP engine efficiently enough to propose mitigation actions to the CSIRT team while they can still be effective. To validate this approach, we implemented a prototype called CARMAS (Cyber Attack Runtime Mitigation Action Search) and ran scalability tests on simulated attacks with various COP construction strategies.2022-04-08T23:00:00Z