|
|
|
|
|
Pedro Afonso Fernandes
Space syntax is a set of theories and techniques for analysing urban settlements and buildings. Here, we propose a new approach to perform syntactic analyses that requires only the declaration in a computer program of the connections between axial lines ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Damiano Azzolini, Fabrizio Riguzzi and Evelina Lamma
In Bitcoin, if a miner is able to solve a computationally hard problem called proof of work, it will receive an amount of bitcoin as a reward which is the sum of the fees for the transactions included in a block plus an amount inversely proportional to t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Safdar Ali, DoHyeun Kim
In the last couple of years, energy management in the building environment has been a topic of interest to the research community. A number of renowned methods exist in the literature for energy management in buildings, but the trade-off between occupant...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jorge Fandinno, David Pearce, Concepción Vidal and Stefan Woltran
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alfonso Ortega, Julian Fierrez, Aythami Morales, Zilong Wang, Marina de la Cruz, César Luis Alonso and Tony Ribeiro
Machine learning methods are growing in relevance for biometrics and personal information processing in domains such as forensics, e-health, recruitment, and e-learning. In these domains, white-box (human-readable) explanations of systems built on machin...
ver más
|
|
|
|
|
|
|
|
|
|
|
Md. Mostafizer Rahman, Yutaka Watanobe and Keita Nakamura
The rate of software development has increased dramatically. Conventional compilers cannot assess and detect all source code errors. Software may thus contain errors, negatively affecting end-users. It is also difficult to assess and detect source code l...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nikolay Sydorov,Nika Sydorova,Evgeny Sydorov,Olha Cholyshkina,Ilona Batsurovska
Pág. 41 - 51
An ontology-driven approach to applying styles in software engineering is developed in the study. The essence of the approach is to use ontology not only to represent styles but also to control the use of styles when creating and maintaining software. Fo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti and Andrea Omicini
In the era of Big Data and IoT, successful systems have to be designed to discover, store, process, learn, analyse, and predict from a massive amount of data?in short, they have to behave intelligently. Despite the success of non-symbolic techniques such...
ver más
|
|
|
|
|
|
|
|
|
|
|
Raciel Yera Toledo, Yailé Caballero Mota and Luis Martínez
Programming online judges (POJs) are an emerging application scenario in e-learning recommendation areas. Specifically, they are e-learning tools usually used in programming practices for the automatic evaluation of source code developed by students when...
ver más
|
|
|
|
|
|
|
|
|
|
|
Francisco Miguel García-Olmedo, Jesús García-Miranda and Pedro González-Rodelas
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ?distributi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mohamed Y. Abdel-Kader, Ahmed M. Ebid, Kennedy C. Onyelowe, Ibrahim M. Mahdi and Ibrahim Abdel-Rasheed
Infrastructure projects are usually complicated, expensive, long-term mega projects; accordingly, they are the type of projects that most need optimization in the design, construction and operation stages. A great deal of earlier research was carried out...
ver más
|
|
|
|
|
|
|
|
|
|
|
Luminita Pistol,Radu BUCEA-MANEA-TONIS
Pág. 58 - 62
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filt...
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
|
|
|
|
|
|
|
|
|
|
|
François Pinet
Data warehouses have demonstrated their applicability in numerous application fields such as agriculture, the environment and health. This paper proposes a general framework for defining a data warehouse and its aggregations using logic programming. The ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mario A. Leiva, Alejandro J. García, Paulo Shakarian and Gerardo I. Simari
Decision support tools are key components of intelligent sociotechnical systems, and their successful implementation faces a variety of challenges, including the multiplicity of information sources, heterogeneous format, and constant changes. Handling su...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ruslan Vafin,Rashit Nasyrov,Rustem Zulkarneev
Pág. 21 - 28
Currently, one of the promising areas in medicine is personalized medicine, which allows selecting the optimal treatment for each individual patient. Within the framework of the national program "Digital Economy of the Russian Federation", artificial int...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ruslan Vafin,Rashit Nasyrov,Rustem Zulkarneev
Pág. 21 - 28
Currently, one of the promising areas in medicine is personalized medicine, which allows selecting the optimal treatment for each individual patient. Within the framework of the national program "Digital Economy of the Russian Federation", artificial int...
ver más
|
|
|
|
|
|
|
|
|
|
|
Abdel-Rahman Hedar, Amira A. Allam and Alaa Fahim
Generating practical methods for simulation-based optimization has attracted a great deal of attention recently. In this paper, the estimation of distribution algorithms are used to solve nonlinear continuous optimization problems that contain noise. One...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nuray Gedik
In coastal engineering, empirical formulas grounded on experimental works regarding the stability of breakwaters have been developed. In recent years, soft computing tools such as artificial neural networks and fuzzy models have started to be employed to...
ver más
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|