scholarly journals Web-Based Tool for Algebraic Modeling and Mathematical Optimization

Mathematics ◽  
2021 ◽  
Vol 9 (21) ◽  
pp. 2751
Author(s):  
Vaidas Jusevičius ◽  
Remigijus Paulavičius

In this article, we present a new open-source tool for algebraic modeling and mathematical optimization. We begin by distilling the main gaps within the existing algebraic modeling languages and tools (varying performance, limited cross-compatibility, complex syntax, and different solver, feature, and problem type support). Later, we propose a state-of-the-art web-based tool (WebAML and Optimization System) for algebraic modeling languages and mathematical optimization. The tool does not require specific algebraic language knowledge, allows solving problems using different solvers, and utilizes the best characteristics of existing algebraic modeling languages. We also provide clear extension points and ideas on how we could further improve such a tool.

2014 ◽  
Vol 12 (1) ◽  
pp. 35-52 ◽  
Author(s):  
Mariana Curado Malta ◽  
Ana Alice Baptista ◽  
Cristina Parente

This paper presents the state of the art on interoperability developments for the social and solidarity economy (SSE) community web based information systems (WIS); it also presents a framework of interoperability for the SSE' WIS and the developments made in a research-in-progress PhD project in the last 3 years. A search on the bibliographic databases showed that so far there are no papers on interoperability initiatives on the SSE, so it was necessary to have other sources of information: a preliminary analysis of the WIS that support SSE activities; and interviews with the representatives of some of the world's most important SSE organisations. The study showed that the WIS are still not interoperable yet. In order to become interoperable a group of the SSE community has been developing a Dublin Corre Application Profile to be used by the SSE community as reference and binding to describe their resources. This paper also describes this on-going process.


2009 ◽  
Vol 31 (2) ◽  
pp. 291-321 ◽  
Author(s):  
Laurent Dekydtspotter

This article presents evidence that supports the claim that second language (L2) grammars arise in a domain-specific, informationally encapsulated module with contents provided by Universal Grammar and enriched by native language knowledge, as entertained by Schwartz (1986, 1987, 1999) contra Bley-Vroman (1990). I consider state-of-the-art evidence representative of a body of research on the poverty of the stimulus (POS) that argues for the domain-specificity of L2 representations, with a main focus on interpretation. Then I examine interpretive evidence relevant to the role of informational encapsulation and compositionality in SLA. I seek to demonstrate that the acquisition of syntax-linked interpretive properties where the POS is severe provides opportunities for a type of fingerprinting of mental organization that can inform a variety of epistemologically relevant questions.


Processes ◽  
2018 ◽  
Vol 6 (8) ◽  
pp. 106 ◽  
Author(s):  
Logan Beal ◽  
Daniel Hill ◽  
R. Martin ◽  
John Hedengren

This paper introduces GEKKO as an optimization suite for Python. GEKKO specializes in dynamic optimization problems for mixed-integer, nonlinear, and differential algebraic equations (DAE) problems. By blending the approaches of typical algebraic modeling languages (AML) and optimal control packages, GEKKO greatly facilitates the development and application of tools such as nonlinear model predicative control (NMPC), real-time optimization (RTO), moving horizon estimation (MHE), and dynamic simulation. GEKKO is an object-oriented Python library that offers model construction, analysis tools, and visualization of simulation and optimization. In a single package, GEKKO provides model reduction, an object-oriented library for data reconciliation/model predictive control, and integrated problem construction/solution/visualization. This paper introduces the GEKKO Optimization Suite, presents GEKKO’s approach and unique place among AMLs and optimal control packages, and cites several examples of problems that are enabled by the GEKKO library.


2015 ◽  
Vol 42 (6Part41) ◽  
pp. 3704-3704 ◽  
Author(s):  
B Ungun ◽  
M Folkerts ◽  
K Bush ◽  
S Boyd ◽  
L Xing

2017 ◽  
Vol 28 (5) ◽  
pp. 655-685 ◽  
Author(s):  
Christen Rose-Anderssen ◽  
James Baldwin ◽  
Keith Ridgway

Purpose The purpose of this paper is to critically evaluate the state of the art of applications of organisational systematics and manufacturing cladistics in terms of strengths and weaknesses and introduce new generic cladistic and hierarchical classifications of discrete manufacturing systems. These classifications are the basis for a practical web-based expert system and diagnostic benchmarking tool. Design/methodology/approach There were two stages for the research methods, with eight re-iterative steps: one for theory building, using secondary and observational data, producing conceptual classifications; the second stage for theory testing and theory development, using quantitative data from 153 companies and 510 manufacturing systems, producing the final factual cladogram. Evolutionary relationships between 53 candidate manufacturing systems, using 13 characters with 84 states, are hypothesised and presented diagrammatically. The manufacturing systems are also organised in a hierarchical classification with 13 genera, 6 families and 3 orders under one class of discrete manufacturing. Findings This work addressed several weaknesses of current manufacturing cladistic classifications which include the lack of an explicit out-group comparison, limited conceptual cladogram development, limited use of characters and that previous classifications are specific to sectors. In order to correct these limitations, the paper first expands on previous work by producing a more generic manufacturing system classification. Second, it describes a novel web-based expert system for the practical application of the discrete manufacturing system. Practical implications The classifications form the basis for a practical web-based expert system and diagnostic benchmarking tool, but also have a novel use in an educational context as it simplifies and relationally organises extant manufacturing system knowledge. Originality/value The research employed a novel re-iterative methodology for both theory building, using observational data, producing the conceptual classification, and through theory testing developing the final factual cladogram that forms the basis for the practical web-based expert system and diagnostic tool.


2001 ◽  
Vol 2001 (8) ◽  
pp. 343-352
Author(s):  
John Petito ◽  
Howard Fessel ◽  
David Harris ◽  
Richard Cardazone ◽  
Ertan Akbas ◽  
...  

2013 ◽  
Vol 21 (1) ◽  
pp. 3-47 ◽  
Author(s):  
IDAN SZPEKTOR ◽  
HRISTO TANEV ◽  
IDO DAGAN ◽  
BONAVENTURA COPPOLA ◽  
MILEN KOUYLEKOV

AbstractEntailment recognition is a primary generic task in natural language inference, whose focus is to detect whether the meaning of one expression can be inferred from the meaning of the other. Accordingly, many NLP applications would benefit from high coverage knowledgebases of paraphrases and entailment rules. To this end, learning such knowledgebases from the Web is especially appealing due to its huge size as well as its highly heterogeneous content, allowing for a more scalable rule extraction of various domains. However, the scalability of state-of-the-art entailment rule acquisition approaches from the Web is still limited. We present a fully unsupervised learning algorithm for Web-based extraction of entailment relations. We focus on increased scalability and generality with respect to prior work, with the potential of a large-scale Web-based knowledgebase. Our algorithm takes as its input a lexical–syntactic template and searches the Web for syntactic templates that participate in an entailment relation with the input template. Experiments show promising results, achieving performance similar to a state-of-the-art unsupervised algorithm, operating over an offline corpus, but with the benefit of learning rules for different domains with no additional effort.


Sign in / Sign up

Export Citation Format

Share Document