Top PDF Clima social escolar, desde la percepción de estudiantes y profesores del séptimo año de educación básica de los centros educativos María Eugenia Durán y centro educativo Canadiense de la ciudad de Santo Domingo, provincia de Santo Domingo de los Tsáchila
Resource-oriented Programming Based on Linear Logic
... between linear logic and type theory - a phenomenon of Curry-Howard correspondence [5], we are able to consider types as propositions and proofs as ...within linear logical ...intuitionistic ...
A LINEAR PROGRAMMING METHOD TO ENHANCE RESOURCE UTILIZATION CASE OF ETHIOPIAN APPAREL SECTOR
... company. Based on this study, the company can significantly increase its profitability and global competitiveness by producing only two types of products (Men's s/s Basic T- shirt, 8774; Short pant, 128315) ...
Aspect-Oriented Programming for Javascript Using the LARA Language
... Aspect-oriented programming is a programming paradigm that is based on the idea we can specify certain concerns (properties or areas of interest) of a system separately from the ...
Adding dependent types to class-based mutable objects
... A vast number of tools provide static program verifiers for object-oriented languages relying on various external theorem provers to discharge verification conditions. Boo- gie [Barnett et al., 2006] is one ...
MATHEMATICAL PROGRAMMING ELEMENTS: ITS APPLICATION TO THE OPTIMUM POWER FLOW PROBLEM
... and, on the other hand, the tentative to expand has faced problems with environmental, social charac- teristics and also financial crisis that has reduced investments in this ...
João Manuel Gomes Moura
... Our mapping allows generating answer sets capturing errors and justifications for (intended) models. As expected, they are exponential. One direction to explore is to obtain prime implicants by optimising these models ...
Application of Fuzzy Mathematical Approach for Cell Formation and Layout Design with Uncertain Condition
... Obviously, the above problem cannot be solved by any standard linear programming method, because it is nonlinear. However, it can be solved if μ is pre- determined. That is, for each specified value of μ , ...
A Comparison Among Simple Algorithms for Linear Programming
... This work presents a comparison between a family of simple algorithms for linear programming and the optimal pair adjustment algorithm. This family originated from the generalization of the idea presented ...
AIMMS Modeling Guide - Linear Programming Tricks
... Information in this document is subject to change without notice and does not represent a commitment on the part of Paragon Decision Technology B.V. The software described in this document is furnished under a ...
Greeks and Trojans Together
... In the Agentcities project [1], FIPA ACL [5] is used as the agent communication language; FIPA SL [6] and KIF [8] may be used as message content languages; and DAML+OIL [11] is used to represent ontologies. These choices ...
en 0104 530X gp 0104 530X842 16
... DC. On the other hand, in the second approach, here called “Arc-based”, the structure of cost of transportation between plants, DCs and customers is represented by arcs that connect each of these players, ...
Genetic terrain programming: an aesthetic approach to terrain generation
... control on the outcome of terrains' features. Fractal techniques are based on the self-similarity ...predominantly based on fractal algorithms ...control on the resulting terrain ...
Research on Distributed Software Testing Platform Based on Cloud Resource
... test. Based on the basis of local testing, centralized software testing framework usually is only for certain type or structure of software testing, which is characterized as higher testing cost and lower ...
Valuable, rare, inimitable resources and organization (VRIO) resources or valuable, rare, inimitable resources (VRI) capabilities: what leads to competitive advantage?
... The resource-based view (RBV) argues that valuable, rare, inimitable resources and organization (VRIO) lead to competitive advantage. Dynamic capabilities (DC) are a comparatively new field and the related ...
Query Optimization Architecture for Data Grid Environment
... a linear programming optimization problem (LPP) is formulated based on the cost ...the linear programming optimization ...model based on mobile agents to the ...
An exploration study to detect important factors influencing customer relationship management on reducing unhappy clients
... UK based hotel groups had exploited the medium of ...groups based in the UK were failing to take advantage of the many opportunities identified through the secondary ...
Performance Analysis of Call Admission Control in WCDMA Systems with Mobility based Interference Margin Reservation
... and resource reservation schemes based on the mobility of the users in WCDMA cellular ...predicted based on a realistic mobility ...cells based on the distance between the ...
Comment-based Keyword Programming
... keyword programming and present the idea of comment-based keyword programming, which provides a tool to create executable code fragment from a single line comment input by the user ...keyword ...
STEGANALYSIS ALGORITHM FOR PNG IMAGES BASED ON FUZZY LOGIC TECHNIQUE
... Most efforts focus on partially automating the processes of digital forensics to save time and resources. According to [36], computational intelligence has a strong chance of being applied successfully to a ...
OBJECT-ORIENTED CHANGE DETECTION BASED ON MULTI-SCALE APPROACH
... built on the assumption that neighbouring pixels are relatively independent to each other while in high resolution images, several adjacent pixels combine together to make up a significant geographical ...ones. ...