|
|
|
Dragan Pamucar, Nikola Kne?evic, Dragana Macura, Boban Ðorovic
Research Question: The paper explores the problem of defining the number of required employees and their skills, as well as optimizing the work time. Motivation: Motivation for this paper arises from the fact that an organizational structure of business ...
ver más
|
|
|
|
|
|
|
Yunia Reyes González, Alfonso Claro Arceo, Natalia Martínez Sánchez, Antonio Hernández Domínguez
Pág. 82 - 96
Solving a problem leads to a process of identification and selection of the appropriate route for it solution. This process is called Decision Making, where a decision is choosing one among several alternatives. The basis of the decision-making process i...
ver más
|
|
|
|
|
|
|
Dipayan Mazumder, Mithun Datta, Alexander C. Bodoh and Ashiq A. Sakib
The increasing demand for high-speed, energy-efficient, and miniaturized electronics has led to significant challenges and compromises in the domain of conventional clock-based digital designs, most notably reduced circuit reliability, particularly in mi...
ver más
|
|
|
|
|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
|
Giacomo Bergami
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora...
ver más
|
|
|
|
|
|
|
Robin Fonk, Tobias Graf, Sven Paeßler, Christiane Bauer, Josef Kallo and Caroline Willich
Hybrid electric aircraft with a powertrain based on fuel cells and batteries can reduce climate-active emissions in aviation. In a direct hybrid powertrain, the fuel cell and the battery are connected in parallel, without a DC/DC converter balancing thei...
ver más
|
|
|
|
|
|
|
Christos Tzimopoulos, Kyriakos Papadopoulos, Nikiforos Samarinas, Basil Papadopoulos and Christos Evangelides
In this work, a novel fuzzy FEM (Finite Elements Method) numerical solution describing the recession flow in unconfined aquifers is proposed. In general, recession flow and drainage problems can be described by the nonlinear Boussinesq equation, while th...
ver más
|
|
|
|
|
|
|
Mihai Crengani?, Radu-Eugen Breaz, Sever-Gabriel Racz, Claudia-Emilia Gîrjob, Cristina-Maria Biri?, Adrian Maro?an and Alexandru Bârsan
This scientific paper presents the development and validation process of a dynamic model in Simulink used for decision-making regarding the locomotion and driving type of autonomous omnidirectional mobile platforms. Unlike traditional approaches relying ...
ver más
|
|
|
|
|
|
|
Jianying Wei, Yuming Liu, Xiaochun Lu, Yu Feng and Yadi Wang
Tunnel construction projects are a classic type of repetitive project, and hold a crucial position in the construction industry. The linear scheduling method (LSM) has been in the spotlight in scheduling optimization for repetitive construction projects ...
ver más
|
|
|
|
|
|
|
Mehmet Sen, Muciz Özcan and Yasin Ramazan Eker
Electric vehicles (EVs), which are environmentally friendly, have been used to minimize the global warming caused by fossil fuels used in vehicles and increasing fuel prices due to the decrease in fossil resources. Considering that the energy used in EVs...
ver más
|
|
|
|