Result 1 to 20 of 90 total
A systematic approach to canonicity in the classical sequent calculus. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 183-197, electronic only (2012).
1
Dynamics of a two prey one predator fishery with low predator density. (English)
Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of artificial intelligence. 7th international conference, ICIC 2011, Zhengzhou, China, August 11‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25943-2/pbk). Lecture Notes in Computer Science 6839. Lecture Notes in Artificial Intelligence, 129-137 (2012).
2
The focused calculus of structures. (English)
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12‒15, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPICS ‒ Leibniz International Proceedings in Informatics 12, 159-173, electronic only (2011).
3
Selecting informative rules with parallel genetic algorithm in classification problem. (English)
Appl. Math. Comput. 218, No. 7, 3247-3264 (2011).
4
MIL: a data discretisation approach. (English)
Int. J. Data Min. Model. Manag. 3, No. 3, 303-318 (2011).
5
An optimal shipment strategy for imperfect items in a stock-out situation (English)
Mathematical and Computer Modelling 54, No. 9-10, 2528-2543 (2011).
6
An imperfect production process for time varying demand with inflation and time value of money - an EMQ model (English)
Expert Syst. Appl. 38, No. 11, 13543-13548 (2011).
7
An EOQ model for a deteriorating item with time dependent quadratic demand under permissible delay in payment (English)
Applied Mathematics and Computation 218, No. 1, 1-9 (2011).
8
Optimal price and lot size determination for a perishable product under conditions of finite production, partial backordering and lost Sale (English)
Applied Mathematics and Computation 217, No. 13, 6047-6053 (2011).
9
Selecting informative rules with parallel genetic algorithm in classification problem (English)
Applied Mathematics and Computation 218, No. 7, 3247-3264 (2011).
10
MIL: a data discretisation approach (English)
IJDMMM 3, No. 3, 303-318 (2011).
11
The focused calculus of structures (English)
CSL, 159-173 (2011).
12
Multi-objective evolutionary algorithms to solve coverage and lifetime optimization problem in wireless sensor networks. (English)
Panigrahi, Bijaya Ketan (ed.) et al., Swarm, evolutionary, and memetic computing. First international conference on swarm, evolutionary, and memetic computing, SEMCCO 2010, Chennai, India, December 16‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17562-6/pbk). Lecture Notes in Computer Science 6466, 514-522 (2010).
13
Magically constraining the inverse method using dynamic polarity assignment. (English)
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 202-216 (2010).
14
Verifying safety properties with the TLA$^{ + }$ proof system. (English)
Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 142-148 (2010).
15
Optimal reliability, production lot size and safety stock in an imperfect production system. (English)
Int. J. Math. Oper. Res. 2, No. 4, 467-490 (2010).
16
Classical and intuitionistic subexponential logics are equally expressive. (English)
Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 185-199 (2010).
17
The TLA$^{ + }$ proof system: Building a heterogeneous verification platform. (English)
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 44 (2010).
18
Classical and intuitionistic subexponential logics are equally expressive. (English)
Comput. Res. Repos. 2010, Article No. 1006.3134 (2010).
19
An EMQ model in an imperfect production process. (English)
Int. J. Syst. Sci. 41, No. 6, 635-646 (2010).
20
Result 1 to 20 of 90 total
Start
Contact
Print
General Help
