Trong Dang Van, Lanh Chu Van, Nam Nguyen Trong
et al.
Abstract This paper investigates the generation of an ultrawide spectrum in the mid-infrared region using a suspended-core fiber (SCF) fabricated from As₂Se₃ chalcogenide glass, in which carbon disulfide is employed as a liquid filling material for three air-holes instead of conventional air. The inclusion of carbon disulfide in the air pores significantly modifies the dispersion characteristics of the optical fiber, enabling a flattened dispersion profile close to zero over a broad wavelength range. Such dispersion-tuning techniques play a crucial role in enhancing nonlinear spectral broadening. Simulation results demonstrate that an ultrawide spectrum spanning from 0.99 μ m to 3.925 μ m can be generated in the proposed SCF, which is only 10 cm long, using a low peak power of 800 W with a pump pulse centered at 2500 nm. The smooth supercontinuum spectrum obtained in the all-normal dispersion regime is expected to exhibit high temporal coherence, as the spectral broadening is primarily influenced by deterministic nonlinear effects such as self-phase modulation and optical wave breaking.
This paper presents MANILA, a web-based low-code application to benchmark machine learning models and fairness-enhancing methods and select the one achieving the best fairness and effectiveness trade-off. It is grounded on an Extended Feature Model that models a general fairness benchmarking workflow as a Software Product Line. The constraints defined among the features guide users in creating experiments that do not lead to execution errors. We describe the architecture and implementation of MANILA and evaluate it in terms of expressiveness and correctness.
Code suggestions have become an integral part of IDEs and developers use code suggestions generated by IDEs all the time. These code suggestions are mostly for calling a method of an object or for using a function of a library and not for possible next line of the code. GPT based models are too slow or resource intensive for real-time code suggestions in local environments. As a solution to this GraphSense was introduced which provide code suggestions with minimum amount of resource usage in real-time.
The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on consistency checks. Furthermore, by means of scenarios, the customer will be able to interactively experience the specified system prior to its implementation. Functions, data, and data types constitute the framework of our validation system. The specification of the Graphical Kernel System (GKS) is a typical example of the target software package specifications to be manipulated.
There are two ways to check if a program is correct, namely execute it or review it. While executing a program is the ultimate test for its correctness reviewing the program can occur earlier in its development and find problems if done effectively. This work focuses on review techniques. It enables the programmer to effectively review a program and find a range of problems from concurrency to interface issues. The review techniques can be applied in a time constrained industrial development context and are enhanced by knowledge on programming pitfalls.
This work introduces an innovative program for training the next generation of software engineers within university settings, addressing the limitations of traditional software engineering courses. Initial program costs were significant, totaling $551,420 in direct expenditures to pay for program staff salaries and benefits over two years. We present a strategy for reducing overall costs and establishing sustainable funding sources to perpetuate the program, which has yielded educational, research, professional, and societal benefits.
Open-source software (OSS) often needs to be built by roles who are not contributors. Despite the prevalence of build issues experienced by non-contributors, there is a lack of studies on this topic. This paper presents a study aimed at understanding the symptoms and causes of build issues experienced by non-contributors. The findings highlight certain build issues that are challenging to resolve and underscore the importance of understanding non-contributors' behavior. This work lays the foundation for further research aimed at enhancing the non-contributors' experience in dealing with build issues.
Nowadays, smart contracts have become increasingly popular and, as with software development in general, testing is the standard method for verifying their correctness. However, smart contracts require a higher level of certainty regarding correctness because they are diffcult to modify once deployed and errors can result in significant financial losses. Therefore, formal verification is essential. In this article, we present our search for a tool capable of formally verifying a real-world smart contract written in a recent version of Solidity.
This paper reviews existing work in software engineering that applies statistical causal inference methods. These methods aim at estimating causal effects from observational data. The review covers 32 papers published between 2010 and 2022. Our results show that the application of statistical causal inference methods is relatively recent and that the corresponding research community remains relatively fragmented.
This article presents a model for describing the architecture of software-intensive systems, based on the use of multiple, concurrent views. This use of multiple views allows to address separately the concerns of the various stakeholders of the architecture: end-user, developers, systems engineers, project managers, etc., and to handle separately the functional and non functional requirements. Each of the five views is described, together with a notation to capture it. The views are designed using an architecture-centered, scenario-driven, iterative development process.
In this article, we propose the definition of specific mutation operators for testing Geographic Information Systems. We describe the process for applying the operators and generating mutants, and present a case study where these mutation operators are applied to two real-world applications.
Sergio Zapata, José Luis Barros-Justo, Gerardo Maturro
et al.
The purpose of this protocol is to be useful to identify, evaluate and synthesize reported knowledge about the measurement of interpersonal trust (IpT) in virtual software teams. To achieve this goal we applied a research technique known as Systematic Literature Review (SLR). The aim of a SLR is to be as objective, analytical, and repeatable as possible.
Organisations are upscaling their use of agile. Agile ways of working are used in larger projects and also in organisational units outside IT. This paper reports on the results of the first international workshop on agile transformation, which aimed to focus research on practice in a field which currently receives great attention. We report on participants definitions of agile transformation, summaries of experiences from such transformations, and the challenges that require research attention
Dimensions are an integral part of many models we use every day. Without thinking about it, we frequently use the time dimension: many financial and accounting spreadsheets have columns representing months or years. Representing a second dimension is often done by repeating blocs of formulas in a worksheet or creating multiple worksheets with the same structure.
Purpose:Many types of dosimeters are used to measure radiation, but none of them directly measures the biological effect of this dose. The purpose here is to create a dosimeter that can measure the probability of double‐strand breaks (DSB) for DNA, which is directly related to the biological effect of radiation.Methods:The dosimeter has DNA strands, which are labeled on one end with biotin and on the other with fluorescein. The biotin attaches these strands to magnetic beads. We suspended the DNA dosimeter in phosphate‐buffered saline (PBS) as it matches the internal environment of the body. We placed small volumes (50µL) of the DNA dosimeter into tubes and irradiated these samples in a water‐equivalent plastic phantom with several doses (three samples per dose). After irradiating the samples, a magnet was placed against the tubes. The fluorescein attached to broken DNA strands was extracted (called the supernatant) and placed into a different tube. The fluorescein on the unbroken strands remained attached to the beads in the tube and was re‐suspended with 50µL of PBS. A fluorescence reader was used to measure the fluorescence for both the re‐suspended beads and supernatant. To prove that we are measuring DSB, we tested dosimeter response with two different lengths of attached DNA strands (1 and 4 kilo‐base pair).Results:The probability of DSB at the dose levels of 5, 10, 25, and 50 Gy were 0.05, 0.08, 0.12, and 0.19, respectively, while the coefficients of variation were 0.14, 0.07, 0.02, and 0.01, respectively. The 4 kilo‐base‐pair dosimeter produced 5.3 times the response of the 1 kilo‐base‐pair dosimeter.Conclusion:The DNA dosimeter yields a measurable response to dose that scales with the DNA strand length. The goal now is to refine the dosimeter fabrication to reproducibly create a low coefficient of variation for the lower doses.This work was supported in part by Yarmouk University (Irbid, Jordan) and CPRIT (RP140105)
Reseña del libro:Guerrero, Mauricio (ed.) (2014). Objetos públicos, espacios privados. Usuarios y relaciones sociales en tres centros comerciales de Santiago de Cali. Cali: Universidad Icesi, pp. 158.
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a well-defined semantics for document evolution. The use of the development steps is demonstrated in a small example.