Numerically Efficient Algorithm for Reliability-Based Robust Optimal Design of TEAM Problem 22ZIYAN REN; CHANHYUK PARK; KOH, Chang-Seop et al.IEEE transactions on magnetics. 2014, Vol 50, Num 2, issn 0018-9464, 7016304.1-7016304.4Conference Paper

A VMS/FORTRAN 77 program to compute the normal shock waves of refrigerant R22KOUREMENOS, D. A; KRIKKIS, R. N.Advances in engineering software (1978). 1990, Vol 12, Num 3, pp 139-150, issn 0141-1195, 12 p.Article

The next generation of geographical information systems and the context in which they will operateRHIND, D.Computers, environment and urban systems. 1992, Vol 16, Num 3, pp 261-268, issn 0198-9715Article

Cosmic ray modulation near the onset and maximum phases of solar activity cycle 22AHLUWALIA, H. S.Planetary and space science. 1992, Vol 40, Num 9, pp 1227-1234, issn 0032-0633Article

SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoningISHIZUKA, M; MATSUO, Y.Lecture notes in computer science. 1998, pp 611-625, issn 0302-9743, isbn 3-540-65271-XConference Paper

Mutation testing in UTPAICHERNIG, Bernhard K; HE JIFENG.Formal aspects of computing. 2009, Vol 21, Num 1-2, pp 33-64, issn 0934-5043, 32 p.Article

Solving stochastic programs with integer recourse by enumeration : A framework using Gröbner basis reductionsSCHULTZ, R; STOUGIE, L; VAN DER VLERK, M. H et al.Mathematical programming. 1998, Vol 83, Num 2, pp 229-252, issn 0025-5610Article

Stoffdatenberechnungsmodul mit WINDOWS-Schnittstelle in Anlehnung an ASERCOM = Calculation module for thermophysical properties with windows-interface meeting ASERCOM requirementsMEURER, C; KÖNIG, H.KI. Luft- und Kältetechnik. 1997, Vol 33, Num 6, pp 243-246, issn 0945-0459Article

Models and theories of programming strategyDAVIES, S. P.International journal of man-machine studies. 1993, Vol 39, Num 2, pp 237-267, issn 0020-7373Article

A geometric Buchberger algorithm for integer programmingTHOMAS, R. R.Mathematics of operations research. 1995, Vol 20, Num 4, pp 864-884, issn 0364-765XArticle

Considerations on updates of logic programsEITER, Thomas; FINK, Michael; SABBATINI, Giuliana et al.Lecture notes in computer science. 2000, pp 2-20, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Temporales logisches Programmieren : Künstliche Intelligenz : Wissensbasierte Systeme = Temporal logic programmingBRZOSKA, C.Informatik (Berlin, West). 1996, Vol 11, Num 2, pp 61-68, issn 0178-3564Article

Performance analysis of solar water heater combined with heat pump using refrigerant mixtureNUNTAPHAN, Atipoang; CHANSENA, Choosak; KIATSIRIROAT, Tanongkiat et al.Applied energy. 2009, Vol 86, Num 5, pp 748-756, issn 0306-2619, 9 p.Article

Cruise control using model predictive control with constraintsCOEN, T; ANTHONIS, J; DE BAERDEMAEKER, J et al.Computers and electronics in agriculture. 2008, Vol 63, Num 2, pp 227-236, issn 0168-1699, 10 p.Article

Handling inconsistency efficiently in the incremental construction of stratified belief basesGREGOIRE, E.Lecture notes in computer science. 1999, pp 168-178, issn 0302-9743, isbn 3-540-66131-XConference Paper

Harvest scheduling with area-based adjacency constraintsMCDILL, Marc E; REBAIN, Stephanie A; BRAZE, Janis et al.Forest science. 2002, Vol 48, Num 4, pp 631-642, issn 0015-749X, 12 p.Article

?-resolution and hybrid knowledge basesLEACH, Sonia M; LU, James J; MURRAY, Neil V et al.Journal of the Franklin Institute. 2001, Vol 338, Num 5, pp 583-600, issn 0016-0032Article

A case study on improving changeability of COTS-based system using aspect-oriented programming : Software Engineering and SoftwareJINGYUE LI; KVALE, Axel Anders; CONRADI, Reidar et al.Journal of information science and engineering. 2006, Vol 22, Num 2, pp 375-390, issn 1016-2364, 16 p.Article

Towards an integrated cartographic research model: suggestions and prioritiesMÜLLER, J. C.Computers, environment and urban systems. 1992, Vol 16, Num 3, pp 249-259, issn 0198-9715Article

Interval bilattices and some other simple bilatticesPILITOWSKA, Agata.Lecture notes in computer science. 2002, pp 190-196, issn 0302-9743, isbn 3-540-00315-0, 7 p.Conference Paper

The DBPL project advances in modular database programmingSCHMIDT, J. W; MATTHES, F.Information systems (Oxford). 1994, Vol 19, Num 2, pp 121-140, issn 0306-4379Article

Rule-based programming and proving: The ELAN experience outcomesKIRCHNER, Claude; KIRCHNER, Hélène.Lecture notes in computer science. 2004, pp 363-379, issn 0302-9743, isbn 3-540-24087-X, 17 p.Conference Paper

Multidisciplinary Program Development in a Changing Medical LandscapeSCHRAFF, Scott.The Laryngoscope. 2012, Vol 122, issn 0023-852X, S57-S58, SUP4Conference Paper

More on noMoReLINKE, Thomas; ANGER, Christian; KONCZAK, Kathrin et al.Lecture notes in computer science. 2002, pp 468-480, issn 0302-9743, isbn 3-540-44190-5, 13 p.Conference Paper

A rulebased planning system for robotsFROMMHERZ, B.Kernforschungszentrum Karlsruhe. 1987, Num 4316, pp 301-312, issn 0303-4003, 11 p.Conference Paper