Aleksandar Karadimce

Macedonia University St. Paul the Apostle - Ohrid

论文

评论了 The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems
In this paper, the authors presented the prototype of the RTSC, a tool that assists in migrating event triggered to time-triggered systems. The long-term goal of the RTSC is to achieve the generic configuration of the real-time systems architecture. The key idea is to hide the real-time systems architecture used to implement the internal structure – the white-box view – of a real-time system behind an appropriate abstraction and connect that abstraction to the temporal properties of the physical environment of the real-time system – its black-box idea.

讨论圈

评论了 Conferences 2023-2024
Third Serbian International Conference on Applied Artificial Intelligence (AAI2024), which will be held in Kragujevac, Serbia, on May 23-24, 2024. AAI2024 will enable domestic and international participants to share experience about deep understanding of data, as well as learn about the latest tools and technologies in applied artificial intelligence in different areas such as medicine, agriculture, economy, education, law, smart city development, financial and risk management, etc. AAI2024 welcomes abstracts in all sub-areas of artificial intelligence. Moreover, the conference aims to provide a platform for academics and industrial practitioners to share the information about cutting-edge developments in the field of artificial intelligence. • Submission of scientific contributions (abstracts 1 page or full paper minimum 6 pages) deadline: April 10, 2024 • Notification of acceptance deadline: April 30, 2024 • Registration fee payment deadline: May 5, 2024 Author registrations are available at: http://www.aai2024.kg.ac.rs/registration/

基金

评论了 COST - European cooperation in science and technology
Online information session about the COST program (European Cooperation in Science and Technology) 27 March 2024, 10:00-11:30 CET. This session is open to all researchers and innovators at any career stage and from any field of research, especially young researchers. The aim is to inform the research community on how to participate in COST Actions or submit a COST Action proposal, the COST programme's role and impact, and the COST offer's benefits. For organisational reasons, registration through the dedicated COST Events webpage is necessary to receive the link to join the online meeting. Registration via this page is required to receive the Zoom link to join the webinar. https://www.cost.eu/cost-events/online-cost-info-day-2024/

讨论圈

评论了 Postdoctoral positions 2023 - 2024
Three post-doc positions in Wroclaw, Poland, on distributed, online and approximation algorithms The positions are within the projects at Institute of Computer Science: - “Algorithms for connectivity under uncertainty” led by Jarek Byrka, - “Online Algorithms for Configuration Games” led by Marcin Bienkowski, - “Efficient distributed and parallel algorithms for big and dynamic data”, led by Tomasz Jurdziński. All positions are expected to start in the autumn of 2024 (negotiable). Applications should be submitted by 24.03.2024 More details on postdoc positions can be found at: https://ii.uni.wroc.pl/media/uploads/2024/02/28/postdoc-2024-algorithms.pdf

论文

评论了 Distributed Aperiodic Time-Triggered and Event-Triggered Consensus: A Scalability Viewpoint
Authors revisit distributed sampled-data consensus problems from a scalability point of view. Existing solutions in the literature for estimating the maximum sampling interval that preserves stability rely on the Lyapunov functional method. This method treats the overall closed-loop system (i.e., the overall network of agents) as a time-delayed system. Here, a critical point is the scalability of the resulting stability conditions: in fact, the size of the LMIs to be solved depends on the network size. In contrast with this method, an easy-to-use and scalable method is presented, with stability conditions independent of the network's size. It is shown that the proposed method can handle linear and Lipschitz nonlinear multiagent systems with both aperiodic time-triggered and event-triggered control in a unified way. Numerical examples show the efficiency of the proposed approach and the tightness of the estimated maximum sampling interval.

讨论圈

评论了 AI & your research work
The Fourth International Conference on Emerging Techniques in Computational Intelligence, ICETCI 2024 will be held at Mahindra University, Hyderabad on Aug 22-24, 2024. This is technically co-sponsored by the IEEE Computational Intelligence Society (CIS) as in the prior editions. This conference aims to highlight the evolution of topics, frontline research and multiple applications in the domain of Computational Intelligence, from the mainstream foundations to novel investigations and applications. The conference comprises of one day of tutorial sessions followed by two days of Keynote Lectures by invited international experts from Industry and Academia, and technical paper presentations. Also, the conference hosts several special sessions on emerging technologies and applications related to computational intelligence. In addition to tutorials by experts from the academia, the conference is also expected to have industry-relevant tutorials by experts from top industries operating in this field. More information on the Conference may be found at https://www.ietcint.com/ ICETCI 2024 invites submissions that are original, previously unpublished innovative work in any area of Computational Intelligence, both emerging topics which form the theme of the conference as well as more foundational areas. The three main tracks of the Conference are: • Deep Learning • Sequence Modelling and • General Topics in Computational Intelligence List of Conference Topics can be seen at https://ietcint.com/user/instructions Paper Submission Manuscripts for ICETCI 2024 should be submitted electronically at https://edas.info/N31894

讨论圈

评论了 Regulation of AI
online Course: Introduction to Artificial Intelligence for Public Service Interoperability 1. Course overview and introduction 2. Introduction to AI and its components 3. Introduction to interoperability 4. AI supporting IOP in public administration in the EU Member States 5. Conclusions and next steps Quiz Certificate of Completion https://academy.europa.eu/courses/introduction-to-artificial-intelligence-for-public-service-interoperability

讨论圈

评论了 AI in education, teaching, learning
The "AI in Education: Policy Starter Resources'' launches in April 2024. This resource includes one-pagers, policy considerations, and talking points - created to assist leaders in crafting policies for teaching with and about AI. You can learn more at TeachAI.org.

论文

评论了 Dynamic generation of accident progression event trees
Currently, the development and analysis of accident progression event trees (APETs) are performed in a manner that is computationally time-consuming, difficult to reproduce, and phenomenologically inconsistent. A software tool is presented for automated APET generation using the concept of dynamic event trees. The tool determines the branching times from a severe accident analysis code based on user-specified criteria for branching. It assigns user-specified probabilities to every branch, tracks the total branch probability, and truncates units based on the given pruning/truncation rules to avoid an unmanageable number of scenarios. While the software tool could be applied to any systems analysis code, the MELCOR code is used for this illustration. A case study is presented involving a station dimming with the loss of an auxiliary feedwater system for a pressurized water reactor.

讨论圈

评论了 AI in education, teaching, learning
The celebration of the AI Literacy Day is April 19. Organizations or school districts wanting to learn more or engage in National AI Literacy Day can learn more at ailiteracyday.org.

论文

评论了 Code generation for Event-B
Event-B is a modelling language and a formal methods approach for correct construction of software. This paper presents our work on code generation for Event-B, including the definition of a syntactic translation from EventB to JML-annotated Java programs, the implementation of the translation as the EventB2Java tool, and two case studies on the use of EventB2Java. The first case study is on implementing an Android application with the aid of the EventB2Java tool, and the second is on testing an Event-B specification of the Tokeneer security-critical system. Additionally, we have benchmarked our EventB2Java tool against two other Java code generators for Event-B

论文

评论了 Online event processing
Support for distributed transactions across heterogeneous storage technologies is nonexistent or suffers from poor operational and performance characteristics. In contrast, OLEP is increasingly used to provide good performance and strong consistency guarantees in such settings.

讨论圈

评论了 Neuroscience
1st Meeting of the Vienna Network of Music and Cognition Research (ViNoMaRe), an *interdisciplinary networking event that brings together research groups from Vienna* and beyond. Supported by the Vienna Cognitive Science Hub, this event aims to leverage and harvest the potential of expertise by bringing a multitude of perspectives together, from life sciences, humanities and arts. On June 6th 2024, from 17:30 - 19:30In Lecture Hall 1 in the Department of Musicology at the University of Vienna, Austria You can register here*: https://cogsci.univie.ac.at/vinomare/ <https://massmailer.univie.ac.at/action/mlr/lk?&idx=622484&url=nUE0pUZ6Yl9wo2qmL2xhqJ5cqzyyYzSwYzS0Y3Mcoz9gLKWyYj&cid=15206&uid=0&cks=94a9790d>

讨论圈

评论了 Scientific Entrepreneurship
Watch the top North America entrepreneur finalists in 2024 present their innovative AI-powered solutions to achieve SDGs to the honorary US judges in this Innovation Factory pitching session. The AI for Good session on "Meet The Top North America Entrepreneur Finalists 2024" will take place on April 17th, 2024 at 17:30 Geneva time CE(S)T! Visit here https://neuralnetwork.aiforgood.itu.int/event/ai-for-good/register?registerAsParticipant=true&externalId=22686

论文

评论了 How to improve robustness in Kohonen maps and display additional information in Factorial Analysis: Application to text mining
In this paper, authors have shown how to use the Kohonen maps as a complement of Factorial Correspondence Analysis (FCA) methods classically used in lexicometry, - to improve the information provided by the different projections of the FCA, - to make the Kohonen maps more robust concerning the randomness of the SOM algorithm by distinguishing stable neighbor pairs from fickle pairs, - to build graphs of connections between fickle words which are difficult to analyze by both FCA and Kohonen map alone