Xpnet: A graphical interface to proof nets with an efficient proof checker

Author(s):  
Jawahar Chirimar ◽  
Carl A. Gunter ◽  
Myra VanInwegen
Author(s):  
Sagar Pathane ◽  
Uttam Patil ◽  
Nandini Sidnal

The agricultural commodity prices have a volatile nature which may increase or decrease inconsistently causing an adverse effect on the economy. The work carried out here for predicting prices of agricultural commodities is useful for the farmers because of which they can sow appropriate crop depending on its future price. Agriculture products have seasonal rates, these rates are spread over the entire year. If these rates are known/alerted to the farmers in advance, then it will be promising on ROI (Return on Investments). It requires that the rates of the agricultural products updated into the dataset of each state and each crop, in this application five crops are considered. The predictions are done based on neural networks Neuroph framework in java platform and also the previous years data. The results are produced on mobile application using android. Web based interface is also provided for displaying processed commodity rates in graphical interface. Agricultural experts can follow these graphs and predict market rates which can be informed to the farmers. The results will be provided based on the location of the users of this application.


Author(s):  
Oumaima Bounou ◽  
Abdellah El Barkany ◽  
Ahmed El Biyaali

Maintenance management is an orderly procedure to address the planning, organization, monitoring and evaluation of maintenance activities and associated costs. The maintenance management allows to have an efficient tool either to the management of the preventive or curative activity, an optimization of the production tool, and finally a follow-up of the costs and the performances. A good maintenance management system can help prevent problems and damages to the operating and storage environment, extend the life of assets, and reduce operating costs.In this paper, we will first present our model on the joint management of spare parts and maintenance. We will do a simulation study of our model, presented in the first section of this paper. The results of this study are presented in the second section through the presentation of the influence of certain parameters of the model on the operation of the system under consideration. This study carried out on the graphical interface of Matlab, which is one of the performance evaluation techniques. It allows to visualize the variations and anomalies which can be reached in the system considered as an overcoming of the repair of the machines by the unforeseen breakdowns.


Author(s):  
Lucas B. Tribuzy ◽  
Yasmim P. Torres ◽  
Rafael S. Furtado ◽  
Luiz C. S. Garcia Junior ◽  
Newton P. Bitar ◽  
...  

2014 ◽  
Vol 26 (5) ◽  
pp. 789-828 ◽  
Author(s):  
WILLEM HEIJLTJES ◽  
LUTZ STRAßBURGER
Keyword(s):  

In this paper, it is proved that Girard's proof nets for multiplicative linear logic characterize free semi-star-autonomous categories.


2010 ◽  
Vol 411 (22-24) ◽  
pp. 2223-2238 ◽  
Author(s):  
Kohei Honda ◽  
Olivier Laurent
Keyword(s):  

2004 ◽  
Vol 44 (2) ◽  
pp. 167-193 ◽  
Author(s):  
Roberto Maieli ◽  
Quintijn Puite
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document