-
A Qualitative Study on the Implementation Design Decisions of Developers
Authors:
Jenny T. Liang,
Maryam Arab,
Minhyuk Ko,
Amy J. Ko,
Thomas D. LaToza
Abstract:
Decision-making is a key software engineering skill. Developers constantly make choices throughout the software development process, from requirements to implementation. While prior work has studied developer decision-making, the choices made while choosing what solution to write in code remain understudied. In this mixed-methods study, we examine the phenomenon where developers select one specifi…
▽ More
Decision-making is a key software engineering skill. Developers constantly make choices throughout the software development process, from requirements to implementation. While prior work has studied developer decision-making, the choices made while choosing what solution to write in code remain understudied. In this mixed-methods study, we examine the phenomenon where developers select one specific way to implement a behavior in code, given many potential alternatives. We call these decisions implementation design decisions. Our mixed-methods study includes 46 survey responses and 14 semi-structured interviews with professional developers about their decision types, considerations, processes, and expertise for implementation design decisions. We find that implementation design decisions, rather than being a natural outcome from higher levels of design, require constant monitoring of higher level design choices, such as requirements and architecture. We also show that developers have a consistent general structure to their implementation decision-making process, but no single process is exactly the same. We discuss the implications of our findings on research, education, and practice, including insights on teaching developers how to make implementation design decisions.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Creative proofs in combinations
Authors:
Mohammad Arab
Abstract:
In this article, we present four issues and provide a creative and concise proof for each of them. The four issues are:
1- Inequality $\frac{1}{\sqrt{nπ+\fracπ{2}}}<\frac{\binom{2n}{n}}{2^{2n}}<\frac{1}{\sqrt{nπ}}$
2- A special case of Jonathan Wilde's problem
3- Combination series
4- A feature of powerful numbers.
In this article, we present four issues and provide a creative and concise proof for each of them. The four issues are:
1- Inequality $\frac{1}{\sqrt{nπ+\fracπ{2}}}<\frac{\binom{2n}{n}}{2^{2n}}<\frac{1}{\sqrt{nπ}}$
2- A special case of Jonathan Wilde's problem
3- Combination series
4- A feature of powerful numbers.
△ Less
Submitted 17 June, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Providing an Approach to Predicting Customer Quality in E-Commerce Social Networks Based on Big Data and Unsupervised Learning Method
Authors:
Mohammad Arab
Abstract:
One of the goals of every business enterprise is to increase customer loyalty. The degree of customer loyalty is called customer quality which its forecasting will affect strategic marketing practices. The purpose of this study is to predict the quality of customers of large e-commerce social networks by big data algorithms and unsupervised learning. For this purpose, a graph-based social network…
▽ More
One of the goals of every business enterprise is to increase customer loyalty. The degree of customer loyalty is called customer quality which its forecasting will affect strategic marketing practices. The purpose of this study is to predict the quality of customers of large e-commerce social networks by big data algorithms and unsupervised learning. For this purpose, a graph-based social network analysis framework was used for community detection in the Stanford Network Analysis Platform (SNAP). Then in the found communities, the quality of customers was predicted. The results showed that various visits with an impact of 37.13% can have the greatest impact on customer quality and the order of impact of other parameters were from highest to lowest: number of frequent customer visits (28.56%), role in social networks (28.37%), Indirect transactions (26.74%), activity days (25.62%) and customer social network size (25.06%).
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
-
Well-defined Erdös-Straus equations and L.C.M
Authors:
Mohammad Arab
Abstract:
The Erdös-Straus conjecture states that the equation $\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$ has positive integer solutions $x, y, z$ for every postive integers $n\ge 2$. We generalize the Erdös-Straus equation, state several methods for obtaining well-defined equations, and some features of well-defined equations. Using well-defined equations, we explain the inefficiency of the solution…
▽ More
The Erdös-Straus conjecture states that the equation $\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$ has positive integer solutions $x, y, z$ for every postive integers $n\ge 2$. We generalize the Erdös-Straus equation, state several methods for obtaining well-defined equations, and some features of well-defined equations. Using well-defined equations, we explain the inefficiency of the solutions that did not lead to a complete proof of the problem. Finally, we prove that this conjecture cannot be completely proven by the methods expressed in various articles. For this reason, we express conjectures equivalent to the Erdös-Straus conjecture and make the concept of conjecture clearer. The well-defined equations of Erdös-Straus have a lot to do with the concept of the least common multiple and the greatest common divisor, and in the last section, we will independently express the functions and features based on the subject of the least common multiple.
△ Less
Submitted 17 June, 2022; v1 submitted 4 August, 2021;
originally announced August 2021.
-
Quasi-matter Bounce Cosmology in Light of Planck
Authors:
Mohammad Arab,
Mohsen Khorasani
Abstract:
We study quasi-matter bounce cosmology in light of Planck cosmic microwave background (CMB) angular anisotropy measurements along with the BICEP2/Keck Array data. We propose a new primordial scalar power spectrum by considering a linear approximation of the equation of state $w\cong w_0+κ(η-η_0)$ for quasi-matter field in the contracting phase of the universe. Using this new primordial scalar powe…
▽ More
We study quasi-matter bounce cosmology in light of Planck cosmic microwave background (CMB) angular anisotropy measurements along with the BICEP2/Keck Array data. We propose a new primordial scalar power spectrum by considering a linear approximation of the equation of state $w\cong w_0+κ(η-η_0)$ for quasi-matter field in the contracting phase of the universe. Using this new primordial scalar power spectrum, we constrain the zeroth-order approximation of the equation of state $w_0= -\,0.00340\pm 0.00044$ and first-order correction $10^{4} ζ= -1.67^{+1.50}_{-0.83}$ at the $1σ$ confidence level by Planck temperature and polarization in combination with the BICEP2/Keck Array data in which $ζ= 12κ/k_*$ with pivot scale $k_*$. The spectral index of scalar perturbations is determined to be $n_{\rm Bs}=0.9623\pm0.0055$ which lies 7$σ$ away from the scale-invariant primordial spectrum. We find scale dependency for $n_{\rm s}$ at the $1σ$ confidence level and a tighter constraint on the running of the spectral index compared to $Λ$CDM+$α_s$ cosmology. The running of the spectral index in quasi-matter bounce cosmology is $α_{\rm Bs}= πζ/2 c_{\rm s} = -\hspace{.5mm}0.0021 \pm 0.0016$ which is nonzero at the $1.3σ$ level, whereas in $Λ$CDM+$α_{\rm s}$ it is nonzero at the $0.8σ$ level for Planck temperature and polarization data. The sound speed of density fluctuations of the quasi-matter field at the crossing time is $c_{\rm s} = 0.097^{+0.037}_{-0.023}$, which is not a very small value in the contracting phase.
△ Less
Submitted 5 February, 2022; v1 submitted 17 July, 2021;
originally announced July 2021.
-
An Exploratory Study of Writing and Revising Explicit Programming Strategies
Authors:
Maryam Arab,
Thomas D LaToza,
Amy J Ko
Abstract:
Knowledge sharing plays a crucial role throughout all software application development activities. When programmers learn and share through media like Stack overflow, GitHub, Meetups, videos, discussion forums, wikis, and blogs, every developer benefits. However, there is one kind of knowledge that developers share far less often: strategic knowledge for how to approach programming problems (e.g.,…
▽ More
Knowledge sharing plays a crucial role throughout all software application development activities. When programmers learn and share through media like Stack overflow, GitHub, Meetups, videos, discussion forums, wikis, and blogs, every developer benefits. However, there is one kind of knowledge that developers share far less often: strategic knowledge for how to approach programming problems (e.g., how to debug server-side Python errors, how to resolve a merge conflict, how to evaluate the stability of an API one is considering for adoption). In this paper, we investigate the feasibility of developers articulating and sharing their strategic knowledge, and the use of these strategies to support other developers in their problem-solving. We specifically investigate challenges that developers face in articulating strategies in a form in which other developers can use to increase their productivity. To observe this, we simulated a knowledge-sharing platform, asking experts to articulate one of their own strategies and then asked the second set of developers to try to use the strategies and provide feedback on the strategies to authors. During the study, we asked both strategy authors and users to reflect on the challenges they faced. In analyzing the strategies authors created, the use of the strategies, the feedback that users provided to authors, and the difficulties that authors faced addressing this feedback, we found that developers can share strategic knowledge, but authoring strategies require substantial feedback from diverse audiences to be helpful to programmers with varying prior knowledge. Our results also raise challenging questions about how future work should support searching and browsing for strategies that support varying prior knowledge.
△ Less
Submitted 21 October, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Explicit Programming Strategies
Authors:
Thomas D. LaToza,
Maryam Arab,
Dastyni Loksa,
Amy J. Ko
Abstract:
Software developers solve a diverse and wide range of problems. While software engineering research often focuses on tools to support this problem solving, the strategies that developers use to solve problems are at least as important. In this paper, we offer a novel approach for enabling developers to follow explicit programming strategies that describe how an expert tackles a common programming…
▽ More
Software developers solve a diverse and wide range of problems. While software engineering research often focuses on tools to support this problem solving, the strategies that developers use to solve problems are at least as important. In this paper, we offer a novel approach for enabling developers to follow explicit programming strategies that describe how an expert tackles a common programming problem. We define explicit programming strategies, grounding our definition in prior work both within software engineering and in other professions which have adopted more explicit procedures for problem solving. We then present a novel notation called Roboto and a novel StrategyTracker tool that explicitly represents programming strategies and frame executing strategies as a collaborative effort between human abilities to make decisions and computer abilities to structure process and persist information. Ina formative evaluation, 28 software developers of varying expertise completed a design task and a debugging task. We found that, compared to developers who are free to choose their strategies, developers gave explicit strategies experienced their work as more organized, systematic, and predictable, but also more constrained. Developers using explicit strategies were objectively more successful at the design and debugging tasks. We discuss the implications of Roboto and these findings, envisioning a thriving ecosystem of explicit strategies that accelerate and improve developers programming problem solving.
△ Less
Submitted 6 November, 2019; v1 submitted 31 October, 2019;
originally announced November 2019.
-
Alternative approach to the critical behavior and microscopic structure of the power-Maxwell black holes
Authors:
Ahmad Sheykhi,
Mohammad Arab,
Zeinab Dayyani,
Amin Dehyadegari
Abstract:
Employing a new approach toward thermodynamic phase space, we investigate the phase transition, critical behavior and microscopic structure of higher dimensional black holes in an Anti-de Sitter (AdS) background and in the presence of Power-Maxwell field. In contrast to the usual extended $P-V$ phase space where the cosmological constant (pressure) is treated as a thermodynamic variable, we fix th…
▽ More
Employing a new approach toward thermodynamic phase space, we investigate the phase transition, critical behavior and microscopic structure of higher dimensional black holes in an Anti-de Sitter (AdS) background and in the presence of Power-Maxwell field. In contrast to the usual extended $P-V$ phase space where the cosmological constant (pressure) is treated as a thermodynamic variable, we fix the cosmological constant and treat the charge of the black hole (or more precisely $Q^s$) as a thermodynamic variable. Based on this new standpoint, we develop the resemblance between higher dimensional nonlinear black hole and Van der Waals liquid-gas system. We write down the equation of state as $% Q^s=Q^s(T,ψ)$, where $ψ$ is the conjugate of $Q^s$, and construct a Smarr relation based on this new phase space as $M=M(S,P,Q^s)$, while $% s=2p/(2p-1)$ and $p$ is the power parameter of the Power-Maxwell Lagrangian. We obtain the Gibbs free energy of the system and find a swallowtail behaviour in Gibbs diagrams, which is a characteristic of first-order phase transition and express the analogy between our system and van der Waals fluid-gas system. Moreover, we calculate the critical exponents and show that they are independent of the model parameters and are the same as those of Van der Waals system which is predicted by the mean field theory. Finally , we successfully explain the microscopic behavior of the black hole by using thermodynamic geometry. We observe a gap in the scalar curvature $R$ occurs between small and large black hole. The maximum amount of the gap increases as the number of dimensions increases. We finally find that character of the interaction among the internal constituents of the black hole thermodynamic system is intrinsically a strong repulsive interaction.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
The variable properties of solid solutions A 1-x B x XO 4 : Tunable photoluminescence in the case of Sr 1-x Pb x WO 4 series
Authors:
J-R Gavarri,
F. Guinneton,
M Arab,
J-C Valmalette,
S. Villain,
A. Hallaoui,
A. Taoufyq,
B. Bakiz,
A. Benlhachemi
Abstract:
Over the ten past years, various experimental studies of solid solutions A 1-x B x XO 4 (e.g. A = Sr, B = Pb, X = W) with scheelite structures have evidenced correlations between structural, vibrational modifications due to chemical substitution, and increasing photoluminescence intensities under UV or X-ray excitation. We propose a simple semi-empirical approach based on local zones with differen…
▽ More
Over the ten past years, various experimental studies of solid solutions A 1-x B x XO 4 (e.g. A = Sr, B = Pb, X = W) with scheelite structures have evidenced correlations between structural, vibrational modifications due to chemical substitution, and increasing photoluminescence intensities under UV or X-ray excitation. We propose a simple semi-empirical approach based on local zones with different compositions, allowing simulating the variations of structural, vibrational and photoluminescence characteristics, in the full composition range 0$\le$x$\le$1. The structural characteristics are cell parameters, cell distortions or crystallite size effect, Debye-Waller factors, Raman shifts characterizing vibrations and photoluminescence signals under UV or X-ray excitations. Each property is assumed to be represented by a non-linear function Y(x) depending on composition x and on local microstructural disorder. To illustrate this approach based on the coexistence of local zones with different compositions, we have fitted the Y(x) function to experimental data, which allowed us determining the significant parameters characteristic of the series with A=Sr, B=Pb and X = W. These parameters deliver a new microstructural interpretation of the increasing photoluminescence intensities observed for intermediate composition x in solid solutions. A generalization of this approach to other series of solid solutions is quite possible.
△ Less
Submitted 15 May, 2019; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Running of the Spectral index in Deformed Matter Bounce Scenarios with Hubble-rate-dependent Dark Energy
Authors:
M. Arab,
A. Khodam-Mohammadi
Abstract:
As a deformed matter bounce scenario with a dark energy component we propose a deformed one with running vacuum model (RVM) in which the dark energy density is written as a power series of $H^2$ and $\dot H$ with a constant equation of state parameter same as the cosmological constant. Our results in analytical and numerical point of views show that in some cases same as LCDM bounce scenario, alth…
▽ More
As a deformed matter bounce scenario with a dark energy component we propose a deformed one with running vacuum model (RVM) in which the dark energy density is written as a power series of $H^2$ and $\dot H$ with a constant equation of state parameter same as the cosmological constant. Our results in analytical and numerical point of views show that in some cases same as LCDM bounce scenario, although the spectral index may achieve a good consistency with observations, a positive value of running of spectral index is obtained which is not compatible with inflationary paradigm where it predicts a small negative value for $α_s$. However, by extending the power series up to $H^4$, $ρ_Λ=n_0+n_2 H^2+n_4 H^4$, and estimating a set of consistent parameters, we obtain the spectral index $n_s$, a small negative value of running $α_s$ and tensor to scalar ratio $r$, which these reval a degeneracy between deformed matter bounce scenario with RVM-DE and inflationary cosmology.
△ Less
Submitted 24 March, 2018; v1 submitted 18 July, 2017;
originally announced July 2017.
-
Cache-oblivious Matrix Multiplication for Exact Factorisation
Authors:
Fatima K. Abu Salem,
Mira Al Arab
Abstract:
We present a cache-oblivious adaptation of matrix multiplication to be incorporated in the parallel TU decomposition for rectangular matrices over finite fields, based on the Morton-hybrid space-filling curve representation. To realise this, we introduce the concepts of alignment and containment of sub-matrices under the Morton-hybrid layout. We redesign the decompositions within the recursive mat…
▽ More
We present a cache-oblivious adaptation of matrix multiplication to be incorporated in the parallel TU decomposition for rectangular matrices over finite fields, based on the Morton-hybrid space-filling curve representation. To realise this, we introduce the concepts of alignment and containment of sub-matrices under the Morton-hybrid layout. We redesign the decompositions within the recursive matrix multiplication to force the base case to avoid all jumps in address space, at the expense of extra recursive matrix multiplication (MM) calls. We show that the resulting cache oblivious adaptation has low span, and our experiments demonstrate that its sequential evaluation order demonstrates orders of magnitude improvement in run-time, despite the recursion overhead.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Comparative study of space filling curves for cache oblivious TU Decomposition
Authors:
Fatima K. Abu Salem,
Mira Al Arab
Abstract:
We examine several matrix layouts based on space-filling curves that allow for a cache-oblivious adaptation of parallel TU decomposition for rectangular matrices over finite fields. The TU algorithm of \cite{Dumas} requires index conversion routines for which the cost to encode and decode the chosen curve is significant. Using a detailed analysis of the number of bit operations required for the en…
▽ More
We examine several matrix layouts based on space-filling curves that allow for a cache-oblivious adaptation of parallel TU decomposition for rectangular matrices over finite fields. The TU algorithm of \cite{Dumas} requires index conversion routines for which the cost to encode and decode the chosen curve is significant. Using a detailed analysis of the number of bit operations required for the encoding and decoding procedures, and filtering the cost of lookup tables that represent the recursive decomposition of the Hilbert curve, we show that the Morton-hybrid order incurs the least cost for index conversion routines that are required throughout the matrix decomposition as compared to the Hilbert, Peano, or Morton orders. The motivation lies in that cache efficient parallel adaptations for which the natural sequential evaluation order demonstrates lower cache miss rate result in overall faster performance on parallel machines with private or shared caches, on GPU's, or even cloud computing platforms. We report on preliminary experiments that demonstrate how the TURBO algorithm in Morton-hybrid layout attains orders of magnitude improvement in performance as the input matrices increase in size. For example, when $N = 2^{13}$, the row major TURBO algorithm concludes within about 38.6 hours, whilst the Morton-hybrid algorithm with truncation size equal to $64$ concludes within 10.6 hours.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
Room temperature electronic template effect of pre-structured SmSi(111)-8x2 interface yielding self-aligned organic molecules
Authors:
Younes Makoudi,
Eric Duverger,
Madjid Arab,
Frederic Cherioux,
Franscisco Ample,
Gwenael Rapenne,
Xavier Bouju,
Frank Palmino
Abstract:
This work describes an innovative concept for the development of organized molecular systems thanks to the template effect of the pre-structured semi-conductive SmSi(111) interface. This substrate was selected because Sm deposition in the submonolayer range leads to a 8x2-reconstruction, which is a well-defined one-dimensional semi-metallic structure. Adsorption of aromatic molecules (1,4-di-(9-…
▽ More
This work describes an innovative concept for the development of organized molecular systems thanks to the template effect of the pre-structured semi-conductive SmSi(111) interface. This substrate was selected because Sm deposition in the submonolayer range leads to a 8x2-reconstruction, which is a well-defined one-dimensional semi-metallic structure. Adsorption of aromatic molecules (1,4-di-(9-ethynyltriptycenyl)-benzene) on SmSi(111)-8x2 and Si(111)-7x7 interfaces has been investigated by scanning tunneling microscopy (STM) at room temperature. Density functional theory (DFT) and semi-empirical (ASED+) calculations have been performed to define the nature of the molecular adsorption sites of the target molecule on SmSi as well as their self-alignment on this interface. Experimental data and theoretical results are in good agreement.
△ Less
Submitted 21 May, 2008;
originally announced May 2008.
-
Enhancement of Exciton Emission from Zno Nanocrystalline Films by Pulsed Laser Annealing
Authors:
Igor Ozerov,
Madjid Arab,
Viatcheslav I. Safarov,
Wladimir Marine,
Suzanne Giorgio,
Marc Sentis,
L. Nanai
Abstract:
Pulsed ArF laser annealing in air and in hydrogen atmosphere improves the optical properties of ZnO nanostructured films. Independently on the ambient atmosphere, laser annealing produces two major effects on the photoluminescence (PL) spectra: first, the efficiency of the exciton PL increases due to decrease of the number of non-radiative recombination centers; second, the intensity of the defe…
▽ More
Pulsed ArF laser annealing in air and in hydrogen atmosphere improves the optical properties of ZnO nanostructured films. Independently on the ambient atmosphere, laser annealing produces two major effects on the photoluminescence (PL) spectra: first, the efficiency of the exciton PL increases due to decrease of the number of non-radiative recombination centers; second, the intensity of the defect-related orange band decreases because of the removing of excessive oxygen trapped into the films during deposition. However, annealing in the ambient air also increases the intensity of the green band related to oxygen vacancies. We show that the combination of laser annealing and passivation of oxygen vacancies by hydrogen results in films free of defect-related emission and keeps intact their nanostructural character.
△ Less
Submitted 13 November, 2003;
originally announced November 2003.