A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations and usage scenarios. To assist developers with change impact analysis we introduce a novel multi-level methodology for behavioral comparison ofarXiv:2205.08201v1 fatcat:duft6bhr7fgxvptzr6ryejrxrm
more »... -intensive systems. Our fully automated methodology is based on comparing state machine models of software behavior. We combine existing complementary comparison methods into a novel approach, guiding users step by step though relevant differences by gradually zooming into more and more detail. We empirically evaluate our work through a qualitative exploratory field study, showing its practical value using multiple case studies at ASML, a leading company in developing lithography systems. Our method shows great potential for preventing regressions in system behavior for software changes.
In such a case, (3.4) is exactly the density estimator proposed by Hendriks (1990) for S 2 . ... somewhat more involved in the nonparametric situation and this includes kernel density estimation for directional data (see Beran, 1979; Hall, Watson, and Cabrera, 1987; Bai, Rao, and Zhao, 1988 ; Hendriks ...doi:10.1006/jmva.1998.1757 fatcat:xsmvoi7uznc65h4knmcwbli2xu
The field of membranes saw huge developments in the last decades with the introduction of both polyelectrolyte multilayer (PEM)-based membranes and biomimetic membranes. In this work, we combine these two promising systems and demonstrate that proteopolymersomes (PP+) with the incorporated aquaporin protein can be distributed in a controlled fashion using PEMs, even on the inner surface of a hollow fiber membrane. In this way, various proteopolymersome multilayers (PPMs) are fabricated usingdoi:10.3390/membranes10050103 pmid:32443530 pmcid:PMC7281279 fatcat:gskrigsgcrdnted7din5ovnee4
more »... as the positively charged species in combination with the polyanions poly(styrene 4-sulfonate) (PSS) and poly(acrylic acid) (PAA). It is shown by reflectometry through alternately adsorbing the polyanions and PP+ that, for both PAA and PSS, a good layer growth is possible. However, when the multilayers are imaged by SEM, the PAA-based PPMs show dewetting, whereas vesicular structures can only be clearly observed in and on the PSS-based PPMs. In addition, membrane permeability decreases upon coating the PPMs to 2.6 L∙m−2∙h−1∙bar−1 for PAA/PP+ and 7.7 L∙m−2∙h−1∙bar−1 for PSS/PP+. Salt retentions show that PAA/PP+ layers are defective (salt retentions <10% and high molecular weight cut-off (MWCO)), in line with the observed dewetting behavior, while PPMs based on PSS show 80% MgSO4 retention in combination with a low MWCO. The PSS/PP+ membranes show a Donnan-exclusion behavior with moderate MgCl2 retention (50%–55%) and high Na2SO4 retention (85%–90%) indicating a high amount of negative charge present within the PPMs. The corresponding PEMs, on the other hand, are predominately positively charged with MgCl2 retention of 97%–98% and Na2SO4 retention of 57%–80%. This means that the charge inside the multilayer and, thus, its separation behavior can be changed when PP+ is used instead of a polycation. When comparing the PPM membranes to the literature, similar performances are observed with other biomimetic membranes that are not based on interfacial polymerization, but these are the only ones prepared using a desired hollow fiber geometry. Combining PEMs and biomimetic approaches can, thus, lead to relevant membranes, especially adding to the versatility of both systems.
The interplay of Translational Science and Medicine (TSM) and capitalism forms the starting point of The Market in Mind by Mark Dennis Robinson. ...doi:10.1007/s11024-021-09432-x fatcat:hudxqcxq4fhbhj5fxfmhrodxbm
This paper proposes an approach that predicts the road course from camera sensors leveraging deep learning techniques. Road pixels are identified by training a multi-scale convolutional neural network on a large number of full-scene-labeled night-time road images including adverse weather conditions. A framework is presented that applies the proposed approach to longer distance road course estimation, which is the basis for an augmented reality navigation application. In this framework longarXiv:1605.09533v1 fatcat:ruv32m2ernb2jlrr6sx3mqtzlq
more »... e sensor data (radar) and data from a map database are fused with short range sensor data (camera) to produce a precise longitudinal and lateral localization and road course estimation. The proposed approach reliably detects roads with and without lane markings and thus increases the robustness and availability of road course estimations and augmented reality navigation. Evaluations on an extensive set of high precision ground truth data taken from a differential GPS and an inertial measurement unit show that the proposed approach reaches state-of-the-art performance without the limitation of requiring existing lane markings.
Detection of military assets on the ground can be performed by applying deep learning-based object detectors on drone surveillance footage. The traditional way of hiding military assets from sight is camouflage, for example by using camouflage nets. However, large assets like planes or vessels are difficult to conceal by means of traditional camouflage nets. An alternative type of camouflage is the direct misleading of automatic object detectors. Recently, it has been observed that smallarXiv:2008.13671v1 fatcat:ldk7qkohqjfzlgaforhocp2aoe
more »... rial changes applied to images of the object can produce erroneous output by deep learning-based detectors. In particular, adversarial attacks have been successfully demonstrated to prohibit person detections in images, requiring a patch with a specific pattern held up in front of the person, thereby essentially camouflaging the person for the detector. Research into this type of patch attacks is still limited and several questions related to the optimal patch configuration remain open. This work makes two contributions. First, we apply patch-based adversarial attacks for the use case of unmanned aerial surveillance, where the patch is laid on top of large military assets, camouflaging them from automatic detectors running over the imagery. The patch can prevent automatic detection of the whole object while only covering a small part of it. Second, we perform several experiments with different patch configurations, varying their size, position, number and saliency. Our results show that adversarial patch attacks form a realistic alternative to traditional camouflage activities, and should therefore be considered in the automated analysis of aerial surveillance imagery.
Creating an animation based on video footage (rotoscoping) often requires significant manual work. For monoscopic videos diverse publications already feature (semi-)automatic techniques to apply non-photorealistic image abstraction (NPR) to videos. This paper addresses abstraction of 3D stereo content minimizing stereoscopic discomfort in images and videos. We introduce a completely autonomous framework that enhances stereo and temporal consistency. Stereoscopic coherence with consistentdoi:10.2312/vmv.20151265 dblp:conf/vmv/BukenbergerSGL15 fatcat:nq7t7rux3vb5fdxzux7khayjka
more »... s for both eyes is produced by warping the left and right images into a central disparity domain followed by mapping them back to the left and right view. Smooth movements with reduced flickering are achieved by considering optical flow in the propagation of abstract features between frames. The results show significant improvements of stereo consistency without discomforting artifacts in the depth perception. We extend existing stroke based rendering (SBR) for higher accuracy at strong image gradients. Furthermore, we demonstrate that our stereo framework is easily applicable to other point-based abstraction styles. Finally, we evaluate the stereo consistency of our results in a small user study and show that the comfort of the visual appearance is maintained.
. $60.00; DOI: 10.1017/S0020859004031438 Bos, Dennis. Waarachtige volksvrienden. De vroege socialistische beweging in Amsterdam 1848-1894. Uitgeverij Bert Bakker, Amsterdam 2001. 444 pp. Ill. ...doi:10.1017/s0020859004041434 fatcat:hsxw733akrfmjnwd7dmjzrm3rm
Lecture Notes in Computer Science
In this paper, we analyze overload control for composite web services in service oriented architectures by an orchestrating broker, and propose two practical access control rules which effectively mitigate the effects of severe overloads at some web services in the composite service. These two rules aim to keep overall web service performance (in terms of end-to-end response time) and availability at agreed quality of service levels. We present the theoretical background and design of thesedoi:10.1007/978-3-642-10383-4_3 fatcat:7nlxoyp6mrfjxec4iqcjohroj4
more »... ss control rules as well as performance evaluation results obtained by both simulation and experiments. We show that our access control rules significantly improve performance and availability of composite web services.
Lecture Notes in Computer Science
Designing digital games is primarily interaction design. This interaction manifests as a meaningful change in the game world. An aspect of a game can only change dynamically with a parametric model of this aspect available. One aspect of digital games is yet missing such a systematic description: the genre of a game is currently only determined by its designer. This paper introduces a new approach that allows for dynamic blending between genres. We describe a set of game mechanics that expressdoi:10.1007/978-3-642-33542-6_4 fatcat:c2kbppkmpjb25pdeklqmb5j5uu
more »... he characteristics of different game genres. We extract a parametric model from these mechanics to allow dynamic blending. The paper illustrates the possibilities of this approach with an implementation of a multi-genre-game. It also provides empiric evidence that the described model successfully generates different game genres.
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition, we have further improved our benchmark generation infrastructure for parallel programs towards a full automation. RERS 2019 is part of TOOLympics, andoi:10.1007/978-3-030-17502-3_7 fatcat:smjeioalezhjbmjcr4quergu5a
more »... nt that hosts several popular challenges and competitions. In this paper, we highlight the newly added industrial tracks and our changes in response to the discussions at and results of the last RERS Challenge in Cyprus.
Dennie Oude Nijhuis Yale University Anne-Katrin Ebert, Radelnde Nationen. ...doi:10.18352/tseg.411 fatcat:n36x2gqkufdqtfxz44p546x4ee
We investigate the photon emission arising from the shift of the quark/antiquark masses during the chiral phase transition in the early stage of ultrarelativistic heavy-ion collisions. As this mass shift leads to spontaneous creation of quark-antiquark pairs and thus contributes to the formation of the quark-gluon plasma, our investigations are relevant in the context of finite-lifetime effects on the photon emission from the latter. Earlier investigations on this topic by Boyanovsky et al.arXiv:1304.4093v2 fatcat:n5xdfjsgpza2djfk3pdzpmhz2m
more »... plagued by a UV divergent contribution from the vacuum polarization and the non-integrability of the remaining contributions in the ultraviolet domain. In contrast to these investigations, we do not consider the photon number-density at finite times but for free asymptotic states obtained by an adiabatic switching of the electromagnetic interaction according to the Gell-Mann and Low theorem. This approach eliminates possible unphysical contributions from the vacuum polarization and renders the resulting photon spectra integrable in the ultraviolet domain. It is emphasized that the consideration of free asymptotic states is indeed crucial to obtain such physically reasonable results.
Type 2 diabetes mellitus (T2DM) is associated with a higher risk of cancer and cancer-related mortality. Increased blood glucose and insulin levels in T2DM patients may be, at least in part, responsible for this effect. Indeed, lowering glucose and/or insulin levels pharmacologically appears to reduce cancer risk and progression, as has been demonstrated for the biguanide metformin in observational studies. Studies investigating the influence of sulfonylurea derivatives (SUs) on cancer riskdoi:10.1016/j.ejphar.2019.172598 pmid:31408647 fatcat:5vcrhgmah5fr5fwvj7hrkp3twe
more »... provided conflicting results, partly due to comparisons with metformin. Furthermore, little attention has been paid to within-class differences in systemic and off-target effects of the SUs. The aim of this systematic review is to discuss the available preclinical and clinical evidence on how the different SUs influence cancer development and risk. Databases including PubMed, Cochrane, Database of Abstracts on Reviews and Effectiveness, and trial registries were systematically searched for available clinical and preclinical evidence on within-class differences of SUs and cancer risk. The overall preclinical and clinical evidence suggest that the influence of SUs on cancer risk in T2DM patients differs between the various SUs. Potential mechanisms include differing affinities for the sulfonylurea receptors and thus differential systemic insulin exposure and off-target anti-cancer effects mediated for example through potassium transporters and drug export pumps. Preclinical evidence supports potential anti-cancer effects of SUs, which are of interest for further studies and potentially repurposing of SUs. At this time, the evidence on differences in cancer risk between SUs is not strong enough to guide clinical decision making.
« Previous Showing results 1 — 15 out of 2,200 results