SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Bures Tomás) "

Sökning: WFRF:(Bures Tomás)

  • Resultat 11-20 av 29
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
11.
  • Garcia, Sergio, et al. (författare)
  • High-level mission specification for multiple robots
  • 2019
  • Ingår i: SLE 2019: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering. - New York, NY, USA : ACM.
  • Konferensbidrag (refereegranskat)abstract
    • Mobile robots are increasingly used in our everyday life to autonomously realize missions. A variety of languages has been proposed to support roboticists in the systematic development of robotic applications, ranging from logical languages with well-defined semantics to domain-specific languages with user-friendly syntax. The characteristics of both of them have distinct advantages, however, developing a language that combines those advantages remains an elusive task. We present PROMISE, a novel language that enables domain experts to specify missions on a high level of abstraction for teams of autonomous robots in a user-friendly way, while having well-defined semantics. Our ambition is to permit users to specify high-level goals instead of a series of specific actions the robots should perform. The language contains a set of atomic tasks that can be executed by robots and a set of operators that allow the composition of these tasks in complex missions. The language is supported by a standalone tool that permits mission specification through a textual and a graphical interface and that can be integrated within a variety of frameworks. We integrated PROMISE with a software platform providing functionalities such as motion control and planning. We conducted experiments to evaluate the correctness of the specification and execution of complex robotic missions with both simulators and real robots. We also conducted two user studies to assess the simplicity of PROMISE. The results show that PROMISE effectively supports users to specify missions for robots in a user-friendly manner.
  •  
12.
  • Gerostathopoulos, Ilias, et al. (författare)
  • Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems
  • 2016
  • Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319489919 ; 9839 LNCS, s. 113-128
  • Konferensbidrag (refereegranskat)abstract
    • Self-adaptive software-intensive cyber-physical systems (sasiCPS) en-counter a high level of run-time uncertainty. State-of-the-art architecture-based self-adaptation approaches assume designing against a fixed set of situations that warrant self-adaptation; as a result, failures may appear when sasiCPS operate in environment conditions they are not specifically designed for. In response, we propose to increase the homeostasis of sasiCPS, i.e., the capacity to maintain an operational state despite run-time uncertainty, by introducing run-time changes to the architecture-based self-adaptation strategies according to environment stimuli. In addition to articulating the main idea of architectural homeostasis, we describe three mechanisms that reify the idea: (i) collaborative sensing, (ii) faulty component isolation from adaptation, and (iii) enhancing mode switching. More-over, our experimental evaluation of the three mechanisms confirms that allowing a complex system to change its self-adaptation strategies helps the system recover from runtime errors and abnormalities and keep it in an operational state.
  •  
13.
  • Gerostathopoulos, Ilias, et al. (författare)
  • Continuous Data-driven Software Engineering : Towards a Research Agenda
  • 2019
  • Ingår i: Software Engineering Notes. - : Association for Computing Machinery (ACM). - 0163-5948 .- 1943-5843. ; 44:3, s. 60-64
  • Tidskriftsartikel (refereegranskat)abstract
    • The rapid pace with which software needs to be built, together with the increasing need to evaluate changes for end users both quantitatively and qualitatively calls for novel software engineering approaches that focus on short release cycles, continuous deployment and delivery, experiment-driven feature development, feedback from users, and rapid tool-assisted feedback to developers. To realize these approaches there is a need for research and innovation with respect to automation and tooling, and furthermore for research into the organizational changes that support flexible data-driven decision-making in the development lifecycle. Most importantly, deep synergies are needed between software engineers, managers, and data scientists. This paper reports on the results of the joint 5th International Workshop on Rapid Continuous Software Engineering (RCoSE 2019) and the 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution (DDrEE 2019), which focuses on the challenges and potential solutions in the area of continuous data-driven software engineering.   
  •  
14.
  • Gerostathopoulos, Ilias, et al. (författare)
  • Tuning self-adaptation in cyber-physical systems through architectural homeostasis
  • 2019
  • Ingår i: Journal of Systems and Software. - : Elsevier BV. - 0164-1212. ; 148, s. 37-55
  • Tidskriftsartikel (refereegranskat)abstract
    • Self-adaptive software-intensive cyber-physical systems (sasiCPS) encounter a high level of run-time uncertainty. State-of-the-art architecture-based self-adaptation approaches assume designing against a fixed set of situations that warrant self-adaptation. As a result, failures may appear when sasiCPS operate in environment conditions they are not specifically designed for. In response, we propose to increase the homeostasis of sasiCPS, i.e., the capacity to maintain an operational state despite run-time uncertainty, by introducing run-time changes to the architecture-based self-adaptation strategies according to environment stimuli. In addition to articulating the main idea of architectural homeostasis, we introduce four mechanisms that reify the idea: (i) collaborative sensing, (ii) faulty component isolation from adaptation, (iii) enhancing mode switching, and (iv) adjusting guards in mode switching. Moreover, our experimental evaluation of the four mechanisms in two different case studies confirms that allowing a complex system to change its self-adaptation strategies helps the system recover from run-time errors and abnormalities and keep it in an operational state.
  •  
15.
  • Klima, Matej, et al. (författare)
  • Selected Code-Quality Characteristics and Metrics for Internet of Things Systems
  • 2022
  • Ingår i: IEEE Access. - : IEEE. - 2169-3536. ; 10, s. 46144-46161
  • Tidskriftsartikel (refereegranskat)abstract
    • Software code is present on multiple levels within current Internet of Things (IoT) systems. The quality of this code impacts system reliability, safety, maintainability, and other quality aspects. In this paper, we provide a comprehensive overview of code quality-related metrics, specifically revised for the context of IoT systems. These metrics are divided into main code quality categories: Size, redundancy, complexity, coupling, unit test coverage and effectiveness, cohesion, code readability, security, and code heterogeneity. The metrics are then linked to selected general quality characteristics from the ISO/IEC 25010:2011 standard by their possible impact on the quality and reliability of an IoT system, the principal layer of the system, the code levels and the main phases of the project to which they are relevant. This analysis is followed by a discussion of code smells and their relation to the presented metrics. The overview presented in the paper is the result of a thorough analysis and discussion of the author’s team with the involvement of external subject-matter experts in which a defined decision algorithm was followed. The primary result of the paper is an overview of the metrics accompanied by applicability notes related to the quality characteristics, the system layer, the level of the code, and the phase of the IoT project.
  •  
16.
  • Kopacova, Marcela, et al. (författare)
  • Blood pressure and stature in Helicobacter pylori positive and negative persons
  • 2014
  • Ingår i: World Journal of Gastroenterology. - : Baishideng Publishing Group Inc.. - 1007-9327 .- 2219-2840. ; 20:19, s. 5625-5631
  • Tidskriftsartikel (refereegranskat)abstract
    • To evaluate vital signs and body indices in Helicobacter pylori (H. pylori) positive and negative persons. A total of 22 centres entered the study. They were spread over the whole country, corresponding well to the geographical distribution of the Czech population. A total of 1818 subjects (aged 5-98 years) took part in the study, randomly selected out of 38147 subjects. H. pylori infection was investigated by means of a 13C-urea breath test. Data on height, weight, systolic and diastolic blood pressure and heart rate were collected at the clinics of general practitioners. The overall prevalence of H. pylori infection was 30.4% (402/1321) in adults (>= 18 year-old) and 5.2% (26/497) in children and adolescents (<= 17 year-old). Once adjusted for age and gender, only a difference in body mass index remained statistically significant with H. pylori positive adults showing an increase of 0.6 kg/m(2) in body mass index. Once adjusted for age and gender, we found a difference in height between H. pylori positive and H. pylori negative children and adolescents. On further adjustment for place of residence, this difference became statistically significant, with H. pylori positive children and adolescents being on average 3.5 cm shorter. H. pylori positive adults were significantly older compared to H. pylori negative subjects. Once adjusted for age and gender, H. pylori infection had no impact on body weight, body mass index and vital signs either in adults or children and adolescents. Chronic H. pylori infection appeared to be associated with short stature in children. H. pylori infection did not influence blood pressure, body weight and body mass index either in adults or children and adolescents.
  •  
17.
  • Provoost, Michiel, et al. (författare)
  • Joint Learning : A Pattern for Efficient Decision-Making and Reliable Communication in Self-Adaptive Internet of Things
  • 2023
  • Ingår i: EuroPLoP '23: Proceedings of the 28th European Conference on Pattern Languages of Programs, 5 July 2023. - : ACM Publications. - 9798400700408
  • Konferensbidrag (refereegranskat)abstract
    • An Internet-of-Things (IoT) system typically comprises many small computing elements (nodes) that are battery-powered and communicate over a wireless network. These elements monitor properties in the environment and send the data to client applications via gateways. The wireless networks used by the elements are subject to uncertainties that are difficult to predict upfront, such as dynamic objects (swaying trees, cars, …) and changing weather conditions that may deteriorate the transmissions. To ensure reliable communication over a wireless network of energy-constrained elements, recent research has proposed self-adaptive IoT systems. Such a self-adaptive system equips the network of elements – referred to as the managed system – with a feedback loop – the managing system. The managing system monitors the changing conditions and adapts the transmission settings of the IoT network to ensure the system’s quality goals. Leveraging and consolidating the existing knowledge in this area, we present a pattern that we coined Joint Learning that provides a solution to the decision-making problem of large, distributed self-adaptive IoT systems. With this pattern, elements use a joint learner to make adaptation decisions for individual elements while yielding reliable communication of the overall network. The pattern is applied to two cases to show that the solutions realize the system goals while operating under uncertainties.
  •  
18.
  •  
19.
  •  
20.
  • Rejchrt, Stanislav, et al. (författare)
  • Epidemiology of dyspepsia
  • 2014
  • Ingår i: Vnitr̆ní lékar̆ství. - : Czech Medical Association. - 0042-773X. ; 60:7-8, s. 649-656
  • Tidskriftsartikel (refereegranskat)abstract
    • Epidemiology of uninvestigated dyspepsia was studied in the Czech Republic for the first time in 2001. The aim of our current multi-centre prospective study was to evaluate dyspepsia using the same methods in a representative sample of general unselected population from the same geographical areas 10 years later. A total of 22 centres entered the study. A total of 1,836 subjects (aged 5-98 years) were enrolled. The overall prevalence of dyspepsia was 12 %; namely 3.5 % in subjects aged 5-24 years, 18 % among 25-64-year-old persons and 15 % in subjects 65 years. Despite the substantial decrease of Helicobacter pylori infection in the Czech Republic over the past 10 years, the prevalence and basic socio-demographic determinants of uninvestigated dyspepsia did not change significantly. Key words: Czech Republic - epidemiology - Helicobacter pylori - uninvestigated dyspepsia.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 11-20 av 29
Typ av publikation
tidskriftsartikel (13)
konferensbidrag (9)
rapport (3)
proceedings (redaktörskap) (1)
doktorsavhandling (1)
bokkapitel (1)
visa fler...
licentiatavhandling (1)
visa färre...
Typ av innehåll
refereegranskat (21)
övrigt vetenskapligt/konstnärligt (8)
Författare/redaktör
Bures, Tomás (21)
Weyns, Danny (9)
Gerostathopoulos, Il ... (7)
Carlson, Jan (6)
Crnkovic, Ivica (4)
Sentilles, Séverine (4)
visa fler...
Vulgarakis, Aneta (4)
Pelliccione, Patrizi ... (3)
Koupil, Ilona (3)
Ahmed, Bestoun S., 1 ... (3)
Bures, Miroslav (3)
Frajtak, Karel (3)
Cerny, Tomas (3)
Seifert, Bohumil (3)
Calinescu, Radu (3)
Biffl, Stefan (3)
Musil, Juergen (3)
Musil, Angelika (3)
Abbas, Nadeem, 1980- (2)
Andersson, Jesper, 1 ... (2)
Pelliccione, Patrizi ... (2)
Sentilles, Séverine, ... (2)
Garlan, David (2)
Klein, Mark (1)
Haber, Rodolfo E (1)
Hansson, Hans, Profe ... (1)
Muccini, Henry (1)
Berger, Thorsten, 19 ... (1)
Bosch, Jan (1)
Acosta, Maribel (1)
Bjarnason, Elizabeth (1)
Perez-Palacin, Diego (1)
Mirandola, Raffaela (1)
Grassi, Vincenzo (1)
Angelis, Lefteris (1)
Ros, Rasmus (1)
Fitzgerald, Brian (1)
Ruchkin, Ivan (1)
Bennaceur, Amel (1)
Menghi, Claudio, 198 ... (1)
Cámara, Javier (1)
Daun, Marian (1)
Krusche, Stephan (1)
Di Salle, Amleto (1)
Rechtberger, Vaclav (1)
Klima, Matej (1)
Trnka, Michal (1)
Bellekens, Xavier (1)
Berger, Christisian (1)
Gabor, Thomas (1)
visa färre...
Lärosäte
Linnéuniversitetet (9)
Mälardalens universitet (7)
Chalmers tekniska högskola (4)
Stockholms universitet (3)
Karlstads universitet (3)
Karolinska Institutet (2)
visa fler...
Göteborgs universitet (1)
Lunds universitet (1)
Malmö universitet (1)
visa färre...
Språk
Engelska (28)
Tjeckiska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (19)
Teknik (4)
Medicin och hälsovetenskap (3)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy