default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "international order"
download as .bib file
@article{DBLP:journals/clsr/Marelli23,
author = {Massimo Marelli},
title = {The law and practice of international organizations' interactions
with personal data protection domestic regulation: At the crossroads
between the international and domestic legal orders},
journal = {Comput. Law Secur. Rev.},
volume = {50},
pages = {105849},
year = {2023},
url = {https://doi.org/10.1016/j.clsr.2023.105849},
doi = {10.1016/J.CLSR.2023.105849},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/Marelli23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/MatsudaFS23,
author = {Takeshi Matsuda and
Takeshi Fujimaki and
Michio Sonoda},
title = {Spam Email Clustering by Ordered Pair of Modality: 2023 15th International
Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter)},
booktitle = {15th International Congress on Advanced Applied Informatics Winter,
IIAI-AAI-Winter 2023, Bali, Indonesia, December 11-13, 2023},
pages = {290--295},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IIAI-AAI-Winter61682.2023.00060},
doi = {10.1109/IIAI-AAI-WINTER61682.2023.00060},
timestamp = {Sun, 28 Apr 2024 20:40:20 +0200},
biburl = {https://dblp.org/rec/conf/iiaiaai/MatsudaFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijet/YangLLT22,
author = {Lixia Yang and
Jiao Liu and
Chaohong Liu and
Shaoqing Tian},
title = {Quality Evaluation of Order-Based Talent Training in Internationalized
Enterprises Based on Machine Learning},
journal = {Int. J. Emerg. Technol. Learn.},
volume = {17},
number = {23},
pages = {178--191},
year = {2022},
url = {https://doi.org/10.3991/ijet.v17i23.35935},
doi = {10.3991/IJET.V17I23.35935},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijet/YangLLT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cycon/Shires21,
author = {James Shires},
editor = {Tat'{\'{a}}na Janc{\'{a}}rkov{\'{a}} and
Lauri Lindstr{\"{o}}m and
G{\'{a}}bor Visky and
Philippe Zotz},
title = {Windmills of the Mind: Higher-Order Forms of Disinformation in International
Politics},
booktitle = {13th International Conference on Cyber Conflict, CyCon 2021, Tallinn,
Estonia, May 25-28, 2021},
pages = {257--273},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/CyCon51939.2021.9468292},
doi = {10.23919/CYCON51939.2021.9468292},
timestamp = {Fri, 23 Jul 2021 17:04:05 +0200},
biburl = {https://dblp.org/rec/conf/cycon/Shires21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/Liber21b,
author = {Arkadiusz Liber},
editor = {Hamido Fujita and
H{\'{e}}ctor P{\'{e}}rez{-}Meana},
title = {Algorithmic Methods of Hidden Communication Through Buy Orders and
Sales on International Stock Exchanges},
booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques
- Proceedings of the 20th International Conference on New Trends in
Intelligent Software Methodologies, Tools and Techniques, SoMeT 202,
Cancun, Mexico, 21-23 September, 2021},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {337},
pages = {33--47},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA210006},
doi = {10.3233/FAIA210006},
timestamp = {Fri, 24 Sep 2021 11:30:21 +0200},
biburl = {https://dblp.org/rec/conf/somet/Liber21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/algos/2020,
editor = {Miguel Couceiro and
Pierre Monnin and
Amedeo Napoli},
title = {Proceedings of the First International Conference "Algebras, graphs
and ordered sets", {ALGOS} 2020, Online (originally planned in Nancy,
France), August 26-28, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2925},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2925},
urn = {urn:nbn:de:0074-2925-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/algos/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2021soqe,
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009},
urn = {urn:nbn:de:0074-3009-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2021soqe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rrnr/2018,
editor = {Agnieszka B. Malinowska and
Dorota Mozyrska and
Lukasz Sajewski},
title = {Advances in Non-Integer Order Calculus and Its Applications - Proceedings
of the 10th International Conference on Non-Integer Order Calculus
and Its Applications, {RRNR} 2018, Bia{\l}ystok, Poland, September
20-21, 2018},
series = {Lecture Notes in Electrical Engineering},
volume = {559},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-17344-9},
doi = {10.1007/978-3-030-17344-9},
isbn = {978-3-030-17343-2},
timestamp = {Tue, 18 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rrnr/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsita/Mensah19,
author = {Isaac Kofi Mensah},
title = {Factors Influencing International Students Behavioral Intention to
Order Online Food Delivery Services},
journal = {Int. J. Strateg. Inf. Technol. Appl.},
volume = {10},
number = {1},
pages = {23--39},
year = {2019},
url = {https://doi.org/10.4018/IJSITA.2019010102},
doi = {10.4018/IJSITA.2019010102},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsita/Mensah19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscires/Gosain19,
author = {Ashish Gosain},
title = {Governing Science and Technology under the International Economic
Order},
journal = {J. Sci. Res.},
volume = {8},
number = {1},
pages = {54--61},
year = {2019},
url = {https://doi.org/10.5530/jscires.8.1.8},
doi = {10.5530/JSCIRES.8.1.8},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jscires/Gosain19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/Specht19,
author = {Mariusz Specht},
title = {Method of Evaluating the Positioning System Capability for Complying
with the Minimum Accuracy Requirements for the International Hydrographic
Organization Orders},
journal = {Sensors},
volume = {19},
number = {18},
pages = {3860},
year = {2019},
url = {https://doi.org/10.3390/s19183860},
doi = {10.3390/S19183860},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/Specht19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clsw/WangW19,
author = {Xi Wang and
Zhimin Wang},
editor = {Jia{-}Fei Hong and
Yangsen Zhang and
Pengyuan Liu},
title = {Study on the Order of Vocabulary Output of International Students},
booktitle = {Chinese Lexical Semantics - 20th Workshop, {CLSW} 2019, Beijing, China,
June 28-30, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11831},
pages = {535--545},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38189-9\_55},
doi = {10.1007/978-3-030-38189-9\_55},
timestamp = {Wed, 25 Oct 2023 22:40:55 +0200},
biburl = {https://dblp.org/rec/conf/clsw/WangW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rrnr/2017,
editor = {Piotr Ostalczyk and
Dominik Sankowski and
Jacek Nowakowski},
title = {Non-Integer Order Calculus and Its Applications - 9th International
Conference on Non-Integer Order Calculus and Its Applications, {RRNR}
2017, {\L}{\'{o}}d{\'{z}}, Poland, 11-13 October 2017},
series = {Lecture Notes in Electrical Engineering},
volume = {496},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-78458-8},
doi = {10.1007/978-3-319-78458-8},
isbn = {978-3-319-78457-1},
timestamp = {Wed, 19 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rrnr/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/IzadiN18,
author = {Masoumeh Izadi and
Simranjeet Narula},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Batting Order Setup in One Day International Cricket},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {7882--7883},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11314},
doi = {10.1609/AAAI.V32I1.11314},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/IzadiN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/clsr/Ruotolo17,
author = {Gianpaolo Maria Ruotolo},
title = {Fragments of fragments. The domain name system regulation: global
law or informalization of the international legal order?},
journal = {Comput. Law Secur. Rev.},
volume = {33},
number = {2},
pages = {159--170},
year = {2017},
url = {https://doi.org/10.1016/j.clsr.2016.11.007},
doi = {10.1016/J.CLSR.2016.11.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/Ruotolo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/SobeckiK17,
author = {Andrzej Sobecki and
Marcin Kepa},
editor = {Julian Szymanski and
Yannis Velegrakis},
title = {Methodology of Selecting the Hadoop Ecosystem Configuration in Order
to Improve the Performance of a Plagiarism Detection System},
booktitle = {Semantic Keyword-Based Search on Structured Data Sources - Third International
{KEYSTONE} Conference, {IKC} 2017, Gda{\'{n}}sk, Poland, September
11-12, 2017, Revised Selected Papers and {COST} Action {IC1302} Reports},
series = {Lecture Notes in Computer Science},
volume = {10546},
pages = {56--69},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74497-1\_6},
doi = {10.1007/978-3-319-74497-1\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cost/SobeckiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2015ordring,
editor = {Kostis Kyzirakos and
Cory A. Henson and
Matthew Perry and
Dalia Varanka and
Rolf Gr{\"{u}}tter and
Jean{-}Paul Calbimonte and
Irene Celino and
Emanuele Della Valle and
Daniele Dell'Aglio and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Joint Proceedings of the 1st Joint International Workshop on Semantic
Sensor Networks and Terra Cognita {(SSN-TC} 2015) and the 4th International
Workshop on Ordering and Reasoning (OrdRing 2015) co-located with
the 14th International Semantic Web Conference {(ISWC} 2015), Bethlehem,
Pennsylvania, United States, October 11th - and - 12th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1488},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1488},
urn = {urn:nbn:de:0074-1488-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2015ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/AladagEYU14,
author = {{\c{C}}agdas Hakan Aladag and
Erol Egrioglu and
Ufuk Yolcu and
Vedide R. Uslu},
title = {A high order seasonal fuzzy time series model and application to international
tourism demand of Turkey},
journal = {J. Intell. Fuzzy Syst.},
volume = {26},
number = {1},
pages = {295--302},
year = {2014},
url = {https://doi.org/10.3233/IFS-120738},
doi = {10.3233/IFS-120738},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/AladagEYU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2014ordring,
editor = {Irene Celino and
{\'{O}}scar Corcho and
Daniele Dell'Aglio and
Emanuele Della Valle and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Proceedings of the 3rd International Workshop on Ordering and Reasoning
Co-located with the 13th International Semantic Web Conference {(ISWC}
2014), Riva del Garda, Italy, October 20th, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1303},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1303},
urn = {urn:nbn:de:0074-1303-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2014ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/libt/Laqua13,
author = {Daniel Laqua},
title = {Intellectual Exchange and the New Information Order of the Interwar
Years: The British Society for International Bibliography, 1927-1937},
journal = {Libr. Trends},
volume = {62},
number = {2},
pages = {465--477},
year = {2013},
url = {https://doi.org/10.1353/lib.2013.0047},
doi = {10.1353/LIB.2013.0047},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/libt/Laqua13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scientometrics/Prathap13,
author = {Gangan Prathap},
title = {Second order indicators for evaluating international scientific collaboration},
journal = {Scientometrics},
volume = {95},
number = {2},
pages = {563--570},
year = {2013},
url = {https://doi.org/10.1007/s11192-012-0804-8},
doi = {10.1007/S11192-012-0804-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scientometrics/Prathap13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2013ordring,
editor = {Irene Celino and
Emanuele Della Valle and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Proceedings of the 2nd International Workshop on Ordering and Reasoning,
OrdRing 2013, Co-located with the 12th International Semantic Web
Conference {(ISWC} 2013), Sydney, Australia, October 22nd, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1059},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1059},
urn = {urn:nbn:de:0074-1059-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2013ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/HardingKKMS12,
author = {John Harding and
Bart Kastermans and
Keith A. Kearnes and
J. Donald Monk and
{\'{A}}gnes Szendrei},
title = {The 3rd International Conference on Boolean Algebra, Lattice Theory,
Universal Algebra, Set Theory and Set-theoretical Topology - {BLAST}
2010},
journal = {Order},
volume = {29},
number = {2},
pages = {229--230},
year = {2012},
url = {https://doi.org/10.1007/s11083-012-9249-1},
doi = {10.1007/S11083-012-9249-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/HardingKKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/BellottiMS11,
author = {Tony Bellotti and
Roman Matousek and
Chris Stewart},
title = {A note comparing support vector machines and ordered choice models'
predictions of international banks' ratings},
journal = {Decis. Support Syst.},
volume = {51},
number = {3},
pages = {682--687},
year = {2011},
url = {https://doi.org/10.1016/j.dss.2011.03.008},
doi = {10.1016/J.DSS.2011.03.008},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/BellottiMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/RiedmannJHA11,
author = {Daniel Riedmann and
Martin Jung and
Werner O. Hackl and
Elske Ammenwerth},
title = {How to improve the delivery of medication alerts within computerized
physician order entry systems: an international Delphi study},
journal = {J. Am. Medical Informatics Assoc.},
volume = {18},
number = {6},
pages = {760--766},
year = {2011},
url = {https://doi.org/10.1136/amiajnl-2010-000006},
doi = {10.1136/AMIAJNL-2010-000006},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jamia/RiedmannJHA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/stat/Abril11b,
author = {Juan Carlos Abril},
editor = {Miodrag Lovric},
title = {Asymptotic, Higher Order},
booktitle = {International Encyclopedia of Statistical Science},
pages = {75--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-04898-2\_124},
doi = {10.1007/978-3-642-04898-2\_124},
timestamp = {Wed, 14 Nov 2018 10:51:34 +0100},
biburl = {https://dblp.org/rec/reference/stat/Abril11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/stat/David11,
author = {Herbert A. David},
editor = {Miodrag Lovric},
title = {Order Statistics},
booktitle = {International Encyclopedia of Statistical Science},
pages = {1039--1040},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-04898-2\_436},
doi = {10.1007/978-3-642-04898-2\_436},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/stat/David11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/stat/PhilippouA11a,
author = {Andreas N. Philippou and
Demetrios L. Antzoulakos},
editor = {Miodrag Lovric},
title = {Distributions of Order k},
booktitle = {International Encyclopedia of Statistical Science},
pages = {400--402},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-04898-2\_215},
doi = {10.1007/978-3-642-04898-2\_215},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/stat/PhilippouA11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/stat/Raqab11,
author = {Mohammad Z. Raqab},
editor = {Miodrag Lovric},
title = {Ordered Statistical Data: Recent Developments},
booktitle = {International Encyclopedia of Statistical Science},
pages = {1040--1043},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-04898-2\_435},
doi = {10.1007/978-3-642-04898-2\_435},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/stat/Raqab11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtip/LuOFCCFFMMT10,
author = {Peter J. Lu and
Hidekazu Oki and
Catherine A. Frey and
Gregory E. Chamitoff and
Leroy Chiao and
Edward M. Fincke and
C. Michael Foale and
Sandra H. Magnus and
William S. McArthur and
Daniel M. Tani},
title = {Orders-of-magnitude performance increases in GPU-accelerated correlation
of images from the International Space Station},
journal = {J. Real Time Image Process.},
volume = {5},
number = {3},
pages = {179--193},
year = {2010},
url = {https://doi.org/10.1007/s11554-009-0133-1},
doi = {10.1007/S11554-009-0133-1},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtip/LuOFCCFFMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/DuffusZ10,
author = {Dwight Duffus and
Nejib Zaguia},
title = {The 1st International Conference on Relations, Orders and Graphs -
{ROGICS} 2008},
journal = {Order},
volume = {27},
number = {3},
pages = {259--260},
year = {2010},
url = {https://doi.org/10.1007/s11083-010-9177-x},
doi = {10.1007/S11083-010-9177-X},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/DuffusZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/LiLCKG10,
author = {Rong{-}Rong Li and
Robert Lucke and
Michael Corson and
Daniel Korwan and
Bo{-}Cai Gao},
title = {Correction of second order light for the HICO\({}^{\mbox{TM}}\) sensor
onboard the international space satation},
booktitle = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
{IGARSS} 2010, July 25-30, 2010, Honolulu, Hawaii, USA, Proceedings},
pages = {2303--2306},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IGARSS.2010.5649184},
doi = {10.1109/IGARSS.2010.5649184},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/LiLCKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/AliAR10,
author = {Zulfiqar Ali and
Ali Arshad and
Umair Razzaq},
title = {An {FPGA} based semi-parallel architecture for higher order Moving
Target Indication {(MTI)} processing},
booktitle = {Proceedings of the 21st {IEEE} International Symposium on Rapid System
Prototyping, {RSP} 2010, Fairfax, VA, USA, 8-11 June, 2010},
pages = {1--7},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/RSP.2010.5656326},
doi = {10.1109/RSP.2010.5656326},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/AliAR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftp/2009,
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-556},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1102-3465,
editor = {Eduardo Bonelli},
title = {Proceedings 5th International Workshop on Higher-Order Rewriting,
{HOR} 2010, Edinburgh, UK, July 14, 2010},
series = {{EPTCS}},
volume = {49},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.49},
doi = {10.4204/EPTCS.49},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiams/MoeinzadehMPMKM09,
author = {Hossein Moeinzadeh and
Mehdi Mohammadi and
Hossein Pazhoumand{-}dar and
Arman Mehrbakhsh and
Navid Kheibar and
Nasser Mozayani},
editor = {David Al{-}Dabass and
Robertus Triweko and
Sani Susanto and
Ajith Abraham},
title = {Evolutionary-Reduced Ordered Binary Decision Diagram},
booktitle = {Third Asia International Conference on Modelling {\&} Simulation,
{AMS} 2009, Bandung, Bali, Indonesia, May 25-29, 2009},
pages = {142--145},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/AMS.2009.130},
doi = {10.1109/AMS.2009.130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiams/MoeinzadehMPMKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smi/LiBJ09,
author = {Zhong Li and
B. Barsky and
Xiaogang Jin},
editor = {Jun{-}Hai Yong and
Michela Spagnuolo and
Wenping Wang},
title = {An effective third-order local fitting patch and its application},
booktitle = {{IEEE} International Conference on Shape Modeling and Applications,
{SMI} 2009, Beijing, China, 26-28 June 2009},
pages = {7--14},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SMI.2009.5170157},
doi = {10.1109/SMI.2009.5170157},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/smi/LiBJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2009,
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9},
doi = {10.1007/978-3-642-03359-9},
isbn = {978-3-642-03358-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiams/KurniawanKIKM08,
author = {Tri Basuki Kurniawan and
Noor Khafifah Khalid and
Zuwairie Ibrahim and
Marzuki Khalid and
Martin Middendorf},
title = {Evaluation of Ordering Methods for {DNA} Sequence Design Based on
Ant Colony System},
booktitle = {Second Asia International Conference on Modelling and Simulation,
{AMS} 2008, Kuala Lumpur, Malaysia, May 13-15, 2008},
pages = {905--910},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AMS.2008.37},
doi = {10.1109/AMS.2008.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiams/KurniawanKIKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiams/PanWZHF08,
author = {Wei Pan and
Shouyang Wang and
Jinlong Zhang and
Guowei Hua and
Yong Fang},
title = {Fuzzy Multi-Objective Order Allocation Model for Risk Management in
a Supply Chain},
booktitle = {Second Asia International Conference on Modelling and Simulation,
{AMS} 2008, Kuala Lumpur, Malaysia, May 13-15, 2008},
pages = {771--776},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AMS.2008.38},
doi = {10.1109/AMS.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiams/PanWZHF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiams/SahibuddinSA08,
author = {Shamsul Sahibuddin and
Mohammad Sharifi and
Masarat Ayat},
title = {Combining ITIL, {COBIT} and {ISO/IEC} 27002 in Order to Design a Comprehensive
{IT} Framework in Organizations},
booktitle = {Second Asia International Conference on Modelling and Simulation,
{AMS} 2008, Kuala Lumpur, Malaysia, May 13-15, 2008},
pages = {749--753},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AMS.2008.145},
doi = {10.1109/AMS.2008.145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiams/SahibuddinSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smi/KrasnoshchekovP08,
author = {Dmitry N. Krasnoshchekov and
Valentin Polishchuk},
title = {Robust curve reconstruction with k-order alpha-shapes},
booktitle = {2008 International Conference on Shape Modeling and Applications {(SMI}
2008), June 4-6, 2008, Stony Brook, NY, {USA}},
pages = {279--280},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SMI.2008.4548006},
doi = {10.1109/SMI.2008.4548006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smi/KrasnoshchekovP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2008,
editor = {Otmane A{\"{\i}}t Mohamed and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Theorem Proving in Higher Order Logics, 21st International Conference,
TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71067-7},
doi = {10.1007/978-3-540-71067-7},
isbn = {978-3-540-71065-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CortialFGR07,
author = {Julien Cortial and
Charbel Farhat and
Leonidas J. Guibas and
M. Rajashekhar},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Compressed Sensing and Time-Parallel Reduced-Order Modeling for Structural
Health Monitoring Using a {DDDAS}},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference
Beijing, China, May 27-30, 2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4487},
pages = {1171--1179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72584-8\_153},
doi = {10.1007/978-3-540-72584-8\_153},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/CortialFGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/XuH07,
author = {Zhenli Xu and
Houde Han},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Spectral Collocation Technique for Absorbing Boundary Conditions with
Increasingly High Order Approximation},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {4490},
pages = {267--274},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72590-9\_38},
doi = {10.1007/978-3-540-72590-9\_38},
timestamp = {Tue, 08 Nov 2022 08:34:37 +0100},
biburl = {https://dblp.org/rec/conf/iccS/XuH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2007,
editor = {Klaus Schneider and
Jens Brandt},
title = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4},
doi = {10.1007/978-3-540-74591-4},
isbn = {978-3-540-74590-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/HonC06,
author = {Brenda Y. Hon and
Dickson K. W. Chiu},
title = {An Integration of Web Service and Workflow to a Wealth Management
Order Placement System: {A} Case Study of International Brokerages},
booktitle = {Proceedings of The 1st {IEEE} Asia-Pacific Services Computing Conference,
{APSCC} 2006, December 12-15, 2006, Guangzhou, China},
pages = {123--129},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/APSCC.2006.32},
doi = {10.1109/APSCC.2006.32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apscc/HonC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Gonzalez06,
author = {Luis Gonz{\'{a}}lez Abril},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {A Picture for Complex Stochastic Boolean Systems: The Intrinsic Order
Graph},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3993},
pages = {305--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758532\_42},
doi = {10.1007/11758532\_42},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/Gonzalez06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/KulikovS06,
author = {Gennady Y. Kulikov and
Sergey Konstantinovich Shindin},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {On a Family of Cheap Symmetric One-Step Methods of Order Four},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3991},
pages = {781--785},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758501\_104},
doi = {10.1007/11758501\_104},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/KulikovS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/LeshchinskiyCK06,
author = {Roman Leshchinskiy and
Manuel M. T. Chakravarty and
Gabriele Keller},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Higher Order Flattening},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3992},
pages = {920--928},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758525\_122},
doi = {10.1007/11758525\_122},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/LeshchinskiyCK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/RosaLPMG06,
author = {Juan Jos{\'{e}} Gonz{\'{a}}lez de la Rosa and
Isidro Lloret Galiana and
Carlos Garc{\'{\i}}a Puntonet and
Antonio Moreno{-}Mu{\~{n}}oz and
Juan Manuel G{\'{o}}rriz},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Third-Order Spectral Characterization of Termite's Emission Track},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3991},
pages = {316--323},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758501\_45},
doi = {10.1007/11758501\_45},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/RosaLPMG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Xia06a,
author = {Yu Xia},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {A Note on the Simplex Method for 2-Dimensional Second-Order Cone Programming},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3991},
pages = {124--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758501\_21},
doi = {10.1007/11758501\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/Xia06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZhangCC06,
author = {Liguo Zhang and
Yangzhou Chen and
Pingyuan Cui},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Stabilizing Second-Order Linear Dynamic Systems Via Hybrid Output
Feedback Controls},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3992},
pages = {478--485},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758525\_64},
doi = {10.1007/11758525\_64},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ZhangCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/StCyrT05,
author = {Amik St.{-}Cyr and
Stephen J. Thomas},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {High-Order Finite Element Methods for Parallel Atmospheric Modeling},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3514},
pages = {256--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428831\_32},
doi = {10.1007/11428831\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/StCyrT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ThomasS05,
author = {Stephen J. Thomas and
Amik St.{-}Cyr},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {On the Accuracy of High-Order Finite Elements in Curvilinear Coordinates},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3515},
pages = {822--828},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428848\_105},
doi = {10.1007/11428848\_105},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ThomasS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZhuTQ05,
author = {Qi Zhu and
Shaohua Tan and
Ying Qiao},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {A High-Order Recursive Quadratic Learning Algorithm},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3514},
pages = {90--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428831\_12},
doi = {10.1007/11428831\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ZhuTQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/DragoneL05,
author = {Silvio Dragone and
Clemens Lombriser},
title = {The Ordering of Events in a Prototyping Platform},
booktitle = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2005), 8-10 June 2005, Montreal, Canada},
pages = {211--217},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RSP.2005.51},
doi = {10.1109/RSP.2005.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/DragoneL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2005,
editor = {Joe Hurd and
Thomas F. Melham},
title = {Theorem Proving in Higher Order Logics, 18th International Conference,
TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3603},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11541868},
doi = {10.1007/11541868},
isbn = {3-540-28372-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/LiPZ04,
author = {Ying{-}Ji Li and
Hong Peng and
Qi Lun Zheng},
editor = {Hamid R. Arabnia and
Olaf Droegehorn},
title = {A Hybrid Order Markov Tree Recommendation Algorithm},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '04, Las Vegas, Nevada, USA, June 21-24, 2004, Volume 1},
pages = {73--82},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 14:31:15 +0100},
biburl = {https://dblp.org/rec/conf/ic/LiPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/BalkZ04,
author = {Igor Balk and
Sergei Zorin},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {MPI-Based Parallelized Model Order Reduction Algorithm},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {1012--1016},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_130},
doi = {10.1007/978-3-540-25944-2\_130},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/BalkZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/BungartzD04,
author = {Hans{-}Joachim Bungartz and
Stefan Dirnstorfer},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Higher Order Quadrature on Sparse Grids},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {394--401},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_52},
doi = {10.1007/978-3-540-25944-2\_52},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/BungartzD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/DApiceGM04,
author = {Ciro D'Apice and
Giuliano Gargiulo and
Rosanna Manzo},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {First Order ODEs: Mathematica and Symbolic-Numerical Methods},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {351--357},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_45},
doi = {10.1007/978-3-540-25944-2\_45},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/DApiceGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ErciyesS04,
author = {Kayhan Erciyes and
Ahmet Sahan},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {A Real-Time Total Order Multicast Protocol},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3036},
pages = {357--364},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24685-5\_45},
doi = {10.1007/978-3-540-24685-5\_45},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ErciyesS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/LucorSK04,
author = {Didier Lucor and
Chau{-}Hsing Su and
George E. Karniadakis},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Karhunen-Loeve Representation of Periodic Second-Order Autoregressive
Processes},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3038},
pages = {827--834},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24688-6\_107},
doi = {10.1007/978-3-540-24688-6\_107},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/LucorSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/MartucciP04,
author = {Silvana Martucci and
Beatrice Paternoster},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Vandermonde-Type Matrices in Two Step Collocation Methods for Special
Second Order Ordinary Differential Equations},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {418--425},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_55},
doi = {10.1007/978-3-540-25944-2\_55},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/MartucciP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZuijlenB04,
author = {Alexander van Zuijlen and
Hester Bijl},
editor = {Marian Bubak and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Implicit and Explicit Higher Order Time Integration Schemes for Fluid-Structure
Interaction Computations},
booktitle = {Computational Science - {ICCS} 2004, 4th International Conference,
Krak{\'{o}}w, Poland, June 6-9, 2004, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3039},
pages = {604--611},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25944-2\_78},
doi = {10.1007/978-3-540-25944-2\_78},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ZuijlenB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/AzeRKS04,
author = {J{\'{e}}r{\^{o}}me Az{\'{e}} and
Mathieu Roche and
Yves Kodratoff and
Mich{\`{e}}le Sebag},
editor = {Ali Okatan},
title = {Learning to Order Terms: Supervised Interestingness Measures in Terminology
Extraction},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {478--481},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Thu, 03 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijit/AzeRKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/BurneyJA04,
author = {Syed Muhammad Aqil Burney and
Tahseen Ahmed Jilani and
Cemal Ardil},
editor = {Ali Okatan},
title = {A Comparison of First and Second Order Training Algorithms for Artificial
Neural Networks},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {12--18},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Tue, 01 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijit/BurneyJA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/ReisMC04,
author = {Cec{\'{\i}}lia Reis and
Jos{\'{e}} Ant{\'{o}}nio Tenreiro Machado and
Jos{\'{e}} Boaventura Cunha},
editor = {Ali Okatan},
title = {Synthesis of Logic Circuits Using Fractional-Order Dynamic Fitness
Functions},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {77--80},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Fri, 24 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijit/ReisMC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/SahD04,
author = {Melike Sah and
Konstantin Y. Degtiarev},
editor = {Ali Okatan},
title = {Forecasting Enrollment Model Based on First-Order Fuzzy Time Series},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {375--378},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Tue, 01 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijit/SahD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/TunT04,
author = {Nwe Ni Tun and
Satoshi Tojo},
editor = {Ali Okatan},
title = {Consistent Hybrid Knowledge Representation in Order-Sorted Logic},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {349--353},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Tue, 01 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijit/TunT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2004,
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100400},
doi = {10.1007/B100400},
isbn = {3-540-23017-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CotofreiS03,
author = {Paul Cotofrei and
Kilian Stoffel},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {Higher Order Temporal Rules},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2657},
pages = {323--332},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44860-8\_33},
doi = {10.1007/3-540-44860-8\_33},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/CotofreiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Neves03,
author = {Armando G. M. Neves},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {Symbolic Computation of High-Order Exact Picard Iterates for Systems
of Linear Differential Equations with Time-Periodic Coefficients},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2657},
pages = {838--847},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44860-8\_87},
doi = {10.1007/3-540-44860-8\_87},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccS/Neves03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Ten-no03,
author = {Seiichiro Ten{-}no},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {Explicitly Correlated Second Order Perturbation Theory with Frozen
Gaussian-Type Geminals},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {2660},
pages = {152--158},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44864-0\_16},
doi = {10.1007/3-540-44864-0\_16},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/Ten-no03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smi/GumholdA03,
author = {Stefan Gumhold and
Rachida Amjoun},
title = {Higher Order Prediction for Geometry Compression},
booktitle = {2003 International Conference on Shape Modeling and Applications {(SMI}
2003), 12-16 May 2003, Seoul, Korea},
pages = {59--68, 286},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SMI.2003.1199602},
doi = {10.1109/SMI.2003.1199602},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smi/GumholdA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftp/2003,
editor = {Ingo Dahn and
Laurent Vigneron},
title = {4th International Workshop on First-Order Theorem Proving, {FTP} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/86/issue/1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2003,
editor = {David A. Basin and
Burkhart Wolff},
title = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11935},
doi = {10.1007/B11935},
isbn = {3-540-40664-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/WagnerGP02,
author = {Thomas Wagner and
Valerie Guralnik and
John Phelps},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Software Agents: Enabling Dynamic Supply Chain Management for a Build
to Order Product Line},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} 2002, Las Vegas, Nevada, USA, June 24-27, 2002},
pages = {689--696},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 23 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic/WagnerGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/BuonoE02,
author = {Nicoletta Del Buono and
Cinzia Elia},
editor = {Peter M. A. Sloot and
Chih Jeng Kenneth Tan and
Jack J. Dongarra and
Alfons G. Hoekstra},
title = {Some Remarks on Numerical Methods for Second Order Differential Equations
on the Orthogonal Matrix Group},
booktitle = {Computational Science - {ICCS} 2002, International Conference, Amsterdam,
The Netherlands, April 21-24, 2002. Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {2331},
pages = {467--475},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47789-6\_49},
doi = {10.1007/3-540-47789-6\_49},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/BuonoE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/Gonzalez02,
author = {Luis Gonz{\'{a}}lez Abril},
editor = {Peter M. A. Sloot and
Chih Jeng Kenneth Tan and
Jack J. Dongarra and
Alfons G. Hoekstra},
title = {A New Method for Ordering Binary States Probabilities in Reliability
and Risk Analysis},
booktitle = {Computational Science - {ICCS} 2002, International Conference, Amsterdam,
The Netherlands, April 21-24, 2002. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2329},
pages = {137--146},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46043-8\_13},
doi = {10.1007/3-540-46043-8\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/Gonzalez02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZhangZCZ02,
author = {Yong Zhang and
Lizhu Zhou and
Jun Chen and
Renliang Zhao},
editor = {Peter M. A. Sloot and
Chih Jeng Kenneth Tan and
Jack J. Dongarra and
Alfons G. Hoekstra},
title = {K-Order Neighbor: The Efficient Implementation Strategy for Restricting
Cascaded Update in Realm},
booktitle = {Computational Science - {ICCS} 2002, International Conference, Amsterdam,
The Netherlands, April 21-24, 2002. Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {2331},
pages = {994--1003},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47789-6\_105},
doi = {10.1007/3-540-47789-6\_105},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ZhangZCZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2002,
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6},
doi = {10.1007/3-540-45685-6},
isbn = {3-540-44039-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smi/ZhangY01,
author = {Jian J. Zhang and
Lihua You},
title = {Surface Representation Using Second, Fourth and Mixed Order Partial
Differential Equations},
booktitle = {2001 International Conference on Shape Modeling and Applications {(SMI}
2001), 7-11 May 2001, Genoa, Italy},
pages = {250--256},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/SMA.2001.923396},
doi = {10.1109/SMA.2001.923396},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smi/ZhangY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2001,
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5},
doi = {10.1007/3-540-44755-5},
isbn = {3-540-42525-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/AdamiBLMR00,
author = {Nicola Adami and
Alessandro Bugatti and
Riccardo Leonardi and
Pierangelo Migliorati and
Lorenzo A. Rossi},
title = {Multimedia Documents Description by Ordered Hierarchies: The ToCAI
Description Scheme},
booktitle = {2000 {IEEE} International Conference on Multimedia and Expo, {ICME}
2000, New York, NY, USA, July 30 - August 2, 2000},
pages = {781--784},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICME.2000.871477},
doi = {10.1109/ICME.2000.871477},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icmcs/AdamiBLMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/2000,
editor = {Alan Jeffrey},
title = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/41/issue/3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2000,
editor = {Mark D. Aagaard and
John Harrison},
title = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1},
doi = {10.1007/3-540-44659-1},
isbn = {3-540-67863-8},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyT99,
author = {Sergio Antoy and
Andrew P. Tolmach},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Typed Higher-Order Narrowing without Higher-Order Strategies},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {335--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_22},
doi = {10.1007/10705424\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MarinIS99,
author = {Mircea Marin and
Tetsuo Ida and
Taro Suzuki},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {On Reducing the Search Space of Higher-Order Lazy Narrowing},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {319--334},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_21},
doi = {10.1007/10705424\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MarinIS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MoorS99,
author = {Oege de Moor and
Ganesh Sittampalam},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Higher Order Matching for Program Transformation},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {209--224},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_14},
doi = {10.1007/10705424\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MoorS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1999,
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3},
doi = {10.1007/3-540-48256-3},
isbn = {3-540-66463-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/LangstonP98,
author = {Michael A. Langston and
Barbara C. Plaut},
title = {On algorithmic applications of the immersion order : An overview of
ongoing work presented at the Third Slovenian International Conference
on Graph Theory},
journal = {Discret. Math.},
volume = {182},
number = {1-3},
pages = {191--196},
year = {1998},
url = {https://doi.org/10.1016/S0012-365X(97)00147-7},
doi = {10.1016/S0012-365X(97)00147-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/LangstonP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgi/IsselhardBS98,
author = {Frank Isselhard and
Guido Brunnett and
Thomas Schreiber},
title = {Polyhedral approximation and First Order Segmentation of Unstructured
Point Sets},
booktitle = {Computer Graphics International Conference, {CGI} 1998, Hannover,
Germany, June 22-24, 1998},
pages = {433},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CGI.1998.694297},
doi = {10.1109/CGI.1998.694297},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgi/IsselhardBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/VillaEV98,
author = {Luis Villa and
Roger Espasa and
Mateo Valero},
editor = {Greg K. Egan and
Richard P. Brent and
Dennis Gannon},
title = {A Performance Study of Out-of-order Vector Architectures and Short
Registers},
booktitle = {Proceedings of the 12th international conference on Supercomputing,
{ICS} 1998, Melbourne, Australia, July 13-17, 1998},
pages = {37--44},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277830.277844},
doi = {10.1145/277830.277844},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/ics/VillaEV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1998,
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055125},
doi = {10.1007/BFB0055125},
isbn = {3-540-64987-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1997,
editor = {Elsa L. Gunter and
Amy P. Felty},
title = {Theorem Proving in Higher Order Logics, 10th International Conference,
TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1275},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028381},
doi = {10.1007/BFB0028381},
isbn = {3-540-63379-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/AkabaneA96,
author = {Hideo Akabane and
Masahiro Agu},
editor = {Toshio Fukuda and
Takeshi Furuhashi},
title = {Evolutionary Process of 1/f Fluctuation Generated with High Order
Correlation},
booktitle = {Proceedings of 1996 {IEEE} International Conference on Evolutionary
Computation, Nayoya University, Japan, May 20-22, 1996},
pages = {867--870},
publisher = {{IEEE}},
year = {1996},
url = {https://doi.org/10.1109/ICEC.1996.542716},
doi = {10.1109/ICEC.1996.542716},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icec/AkabaneA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/LeeK96,
author = {Chi{-}Ho Lee and
Jong{-}Hwan Kim},
editor = {Toshio Fukuda and
Takeshi Furuhashi},
title = {Evolutionary Ordered Neural Network with a Linked-List Encoding Scheme},
booktitle = {Proceedings of 1996 {IEEE} International Conference on Evolutionary
Computation, Nayoya University, Japan, May 20-22, 1996},
pages = {665--669},
publisher = {{IEEE}},
year = {1996},
url = {https://doi.org/10.1109/ICEC.1996.542680},
doi = {10.1109/ICEC.1996.542680},
timestamp = {Thu, 10 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icec/LeeK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/OnoYK96,
author = {Isao Ono and
Masayuki Yamamura and
Shigenobu Kobayashi},
editor = {Toshio Fukuda and
Takeshi Furuhashi},
title = {A Genetic Algorithm for Job-Shop Scheduling Problems Using Job-Based
Order Crossover},
booktitle = {Proceedings of 1996 {IEEE} International Conference on Evolutionary
Computation, Nayoya University, Japan, May 20-22, 1996},
pages = {547--552},
publisher = {{IEEE}},
year = {1996},
url = {https://doi.org/10.1109/ICEC.1996.542658},
doi = {10.1109/ICEC.1996.542658},
timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icec/OnoYK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/McKeeACKLOSSWWA96,
author = {Sally A. McKee and
Assaji Aluwihare and
Benjamin H. Clark and
Robert H. Klenke and
Trevor C. Landon and
Christopher W. Oliver and
Maximo H. Salinas and
Adam E. Szymkowiak and
Kenneth L. Wright and
William A. Wulf and
James H. Aylor},
editor = {Pen{-}Chung Yew},
title = {Design and Evaluation of Dynamic Access Ordering Hardware},
booktitle = {Proceedings of the 10th international conference on Supercomputing,
{ICS} 1996, Philadelphia, PA, USA, May 25-28, 1996},
pages = {125--132},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237578.237594},
doi = {10.1145/237578.237594},
timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
biburl = {https://dblp.org/rec/conf/ics/McKeeACKLOSSWWA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1995,
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61254-8},
doi = {10.1007/3-540-61254-8},
isbn = {3-540-61254-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1996,
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105392},
doi = {10.1007/BFB0105392},
isbn = {3-540-61587-3},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1995,
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5},
doi = {10.1007/3-540-60275-5},
isbn = {3-540-60275-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/CaponettoFMX94,
author = {Riccardo Caponetto and
Luigi Fortuna and
Giovanni Muscato and
Maria Gabriella Xibilia},
title = {Genetic Algorithms for Controller Order Reduction},
booktitle = {Proceedings of the First {IEEE} Conference on Evolutionary Computation,
{IEEE} World Congress on Computational Intelligence, Orlando, Florida,
USA, June 27-29, 1994},
pages = {724--729},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ICEC.1994.349967},
doi = {10.1109/ICEC.1994.349967},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icec/CaponettoFMX94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/Hinterding94,
author = {Robert Hinterding},
title = {Mapping, Order-Independent Genes and the Knapsack Problem},
booktitle = {Proceedings of the First {IEEE} Conference on Evolutionary Computation,
{IEEE} World Congress on Computational Intelligence, Orlando, Florida,
USA, June 27-29, 1994},
pages = {13--17},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ICEC.1994.350050},
doi = {10.1109/ICEC.1994.350050},
timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icec/Hinterding94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/TsutsuiFH94,
author = {Shigeyoshi Tsutsui and
Yoshiji Fujimoto and
Isao Hayashi},
title = {Extended Forking Genetic Algorithm for Order Representation {(O-FGA)}},
booktitle = {Proceedings of the First {IEEE} Conference on Evolutionary Computation,
{IEEE} World Congress on Computational Intelligence, Orlando, Florida,
USA, June 27-29, 1994},
pages = {170--175},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ICEC.1994.350021},
doi = {10.1109/ICEC.1994.350021},
timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icec/TsutsuiFH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/TsutsuiHF94,
author = {Shigeyoshi Tsutsui and
Isao Hayashi and
Yoshiji Fujimoto},
title = {Extended Forking Genetic Algorithm for Order Representation},
booktitle = {Proceedings of the First {IEEE} Conference on Evolutionary Computation,
{IEEE} World Congress on Computational Intelligence, Orlando, Florida,
USA, June 27-29, 1994},
pages = {639--644},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ICEC.1994.349984},
doi = {10.1109/ICEC.1994.349984},
timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icec/TsutsuiHF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1993,
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58233-9},
doi = {10.1007/3-540-58233-9},
isbn = {3-540-58233-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ordal/1994,
editor = {Vincent Bouchitt{\'{e}} and
Michel Morvan},
title = {Orders, Algorithms, and Applications, International Workshop {ORDAL}
'94, Lyon, France, July 4-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {831},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0019422},
doi = {10.1007/BFB0019422},
isbn = {3-540-58274-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ordal/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1993,
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57826-9},
doi = {10.1007/3-540-57826-9},
isbn = {3-540-57826-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1994,
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1},
doi = {10.1007/3-540-58450-1},
isbn = {3-540-58450-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/Keeney82,
author = {William Keeney},
title = {Peace Education as a Foundation for World Order and International
Stability},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {12},
number = {5},
pages = {722--727},
year = {1982},
url = {https://doi.org/10.1109/TSMC.1982.4308899},
doi = {10.1109/TSMC.1982.4308899},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/Keeney82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Igarashi72,
author = {Shigeru Igarashi},
editor = {Andrei P. Ershov and
Valery A. Nepomniaschy},
title = {Admissibility of fixed-point induction in first- order logic of typed
theories},
booktitle = {International Sympoisum on Theoretical Programming, Novosibirsk, Russia,
August 7-11, 1972, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5},
pages = {344--383},
publisher = {Springer},
year = {1972},
url = {https://doi.org/10.1007/3-540-06720-5\_22},
doi = {10.1007/3-540-06720-5\_22},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Igarashi72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-25 06:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
