Results 21 to 30 of about 29,738 (264)
Program Equivalence in the Erlang Actor Model
ComputersThis paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
A study on meme propagation in multimemetic algorithms
International Journal of Applied Mathematics and Computer Science, 2015 Multimemetic algorithms (MMAs) are a subclass of memetic algorithms in which memes are explicitly attached to genotypes and evolve alongside them. We analyze the propagation of memes in MMAs with a spatial structure.
Nogueras Rafael, Cotta Carlos
doaj +1 more source
IoT Anomaly Detection with 1D CNN Using P4 Capabilities
Acta Electrotechnica et Informatica, 2023 Although the Internet of Things (IoT) is a rapidly developing technology, it also brings a number of security challenges, such as IoT attacks. Currently, research on IoT anomaly detection in Software-Defined Networking (SDN) relies only on the control ...
Altangerel Gereltsetseg +2 more
doaj +1 more source
Kurdistan Journal of Applied Research, 2018 It is evident that learning and teaching computer programming are considered as one of the striking challenges in academic environments. Meanwhile, selecting the correct and appropriate materials can leave an enormous impact in learning computer ...
Rania Azad M. San Ahmed +3 more
doaj +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Programming language design [PDF]
, 1974 I can still find no better way to express my thoughts on this subject than the following [McKeeman 66]: “The universe and its reflection in the ideas of man have wonderfully complex structures. Our ability to comprehend this complexity and perceive an underlying simplicity is intimately bound with our ability to symbolize and communicate our experience.
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks +5 more
wiley +1 more source
An Extended Simulation-Based Analysis of Car-Sharing Electrification in Schleswig-Holstein, Germany
AutomationWe present a study to assess the feasibility and implications of replacing internal combustion engine vehicles (ICEVs) with battery-powered electric vehicles (EVs) in a car-sharing fleet.
Aliyu Tanko Ali +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi +10 more
wiley +1 more source
IEEE AccessVarious static code analysis tools have been designed to automatically detect software faults and security vulnerabilities. This paper aims to 1) conduct an empirical evaluation to assess the performance of five free and state-of-the-art static analysis ...
Midya Alqaradaghi, Tamas Kozsik
doaj +1 more source