The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We formulate a mathematical programming problem for allocating capital budget between the organizational and physical capitals of the firm and solve it to obtain an analytically tractable and easy to implement decision rule for the optimal allocation of the capital budget. The model we develop depicts interconnections of these capitals and their constituent variables in the context of the firm's valuation...
It is shown that virtual laboratory complexes identical to real physical stands may provide an alternative in laboratory workshop for students of technical specialties of higher educational establishments. The basic requirements for virtual complexes are formulated and graphic programming medium LabVIEW is proposed as a platform for their creation. An example of a virtual laboratory complex for the...
The existing software release planning models aim to find a subset of software requirements with the highest value on the assumption that the value of a selected subset of requirements equals to the Accumulated Value (AV) of that subset. This assumption however, does not hold due to the Value-related Dependencies among software requirements. To address this, we have formulated an integer programming...
Stack Overflow is one of the most popular question-and-answer sites for programmers. However, there are a great number of duplicate questions that are expected to be detected automatically in a short time. In this paper, we introduce two approaches to improve the detection accuracy: splitting body into different types of data and using word-embedding to treat word ambiguities that are not contained...
Communication becomes core and one of the most important roles in many business practices, indeed audit as a service product is no exception to communication needs. This research is conducted to examine whether auditor's ability and willingness to communicate with client and professionalism in work as variable independent have significant impact on client responses in collaborating and supporting...
A well defined testing strategy is essential for any software development project. Testing efforts need to be carefully planed and executed in order to ensure effectiveness. Programming failures can represent a high risk for business. In order to mitigate such risk, companies have been increasingly investing more resources on software testing.
Identification of an adequate invariant is valuable for reasoning about the correctness of code involving a loop, informally or formally. Almost every modern system for automated verification demands that programmers annotate their code with assertions, such as invariants to facilitate automation. But many learners struggle to grasp how to arrive at an assertion that remains an invariant and is sufficiently...
This project is mainly focusing on the development and performances analysis of the Remotely Amphibian Vehicle (RAV). This innovation mends to assist human in aquatic operation as well as aerial activity. However, this is still a very recent groundwork with numbers of limitation and challenge. Challenges like transition in medium has limited and affected the performance of the vehicle in terms of...
The content order of geometric components in the mathematics curriculum and the teaching process in a geometry class are said to be in contrast with the existing level of geometric thinking among secondary school students in Malaysia. Van Hiele (1986) proposed that directions should be given at the same level as the students' ability and therefore recommended phases of learning geometry in order to...
Partial shading, which directly affects the payback period and efficiency, cannot be avoided completely in domestic integrated photovoltaic (PV) arrays. Up-to-date economic analysis under partially shaded conditions is not reported in detailed in the literature. In this paper a techno-economic analysis was carried out to demonstrate how the selection of a PV module effects the power extraction and...
Discovering categorical (taxonomic) terms in text classification is an important and complex problem. Development of a good text classifier depends on the method of identification and generation of proper taxonomic terms. Software bug indicates improper behavior of the functionalities given during the requirements. These bugs are tracked with the help of bug tracking systems (BTS) where the bug information...
Agent-based modeling is a paradigm that simulates the simultaneous operations and interactions of multiple agents, in an attempt to re-create and predict the appearance of complex phenomena. Its key advantages are that a) it provides the most natural way to model real-world systems and b) it has much more modeling power than traditional mathematical methods such as differential equations as the latter...
interpretation-based value analysis is a classical approach for verifying programs with floating-point computations. However, state-of-the-art tools compute an over-approximation of the variable values that can be very coarse. Constraint solvers have recently been used to significantly refine the approximations computed by such tools. In this paper, we introduce a hybrid approach that combines abstract...
BOINC is a well-known middleware application for distributing projects over a volunteer grid. Most popular BOINC projects are designed for a specific research problem. Lacking is a general-purpose project that allows researchers, with no experience with the BOINC API and little means of hosting a server, to dispatch their own parallel computations to the volunteer grid. This paper describes a BOINC...
This paper presents the simulation software of capture and analysis of data for parameter identification of robot kinematic models developed for learning the discipline and the practical sessions under the activity for courses for master and postgraduate students adapted to the EHEA. After the content of the theoretical sessions, the software will be used for practical sessions, from a constructivist...
The importance of analysis and design of shafts is well-described in most Machine Design textbooks. Shafts are subjected to both combined and variable loading, resulting in fatigue-mode stress and deflection; to further complicate the calculations, many shafts are of a stepped or tapered cross-sectional area. A thorough review of the textbooks available and the wider body of mechanical engineering...
This paper proposes the use of an optimization algorithm based on ant colonies for the development of competitive agents in the game environment in real time, specifically for the Ms. Pac-Man video game. Furthermore, a genetic algorithm is implemented to optimize the parameters of the artificial ants. The best agent obtained through experimentation will be sent to the competition of Ms. Pac-Man1 organized...
Worldwide, higher education instructors are exploring ways of enhancing classroom learning experiences with their Tablet PC-equipped students. To collect real-time formative assessment, instructors pose an open-format question to the class and the students utilize the digital ink of Tablet PCs to respond with answers in the form of handwriting, diagrams, graphs, equations, proofs, etc. Instructors...
Unsupervised data exploration techniques are used for extracting relational and structural information from massifs of data. In this paper we explore a collection of ACM transactions and IEEE conferences related by the subject of high performance distributed computing - with a scientific computing flavor - in order to understand how they relate to each other. The interpreted result is proved reasonable...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.