Search dblp for Publications

export results for "Introduction to the HOL System."

 download as .bib file

@inproceedings{DBLP:conf/hicss/HolfordHS24,
  author       = {W. David Holford and
                  Pierre Hadaya and
                  Stefan Smolnik},
  editor       = {Tung X. Bui},
  title        = {Introduction to the Minitrack on Design and Appropriation of Knowledge,
                  Chatbot and Other {AI} Systems},
  booktitle    = {57th Hawaii International Conference on System Sciences, {HICSS} 2024,
                  Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January
                  3-6, 2024},
  pages        = {5184},
  publisher    = {ScholarSpace},
  year         = {2024},
  url          = {https://hdl.handle.net/10125/107006},
  timestamp    = {Thu, 04 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/HolfordHS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SmolnikHH23,
  author       = {Stefan Smolnik and
                  Pierre Hadaya and
                  W. David Holford},
  editor       = {Tung X. Bui},
  title        = {Introduction to the Minitrack on Design and Appropriation of Knowledge
                  and {AI} Systems},
  booktitle    = {56th Hawaii International Conference on System Sciences, {HICSS} 2023,
                  Maui, Hawaii, USA, January 3-6, 2023},
  pages        = {4554--4555},
  publisher    = {ScholarSpace},
  year         = {2023},
  url          = {https://hdl.handle.net/10125/103187},
  timestamp    = {Thu, 16 Feb 2023 16:52:47 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/SmolnikHH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/WursterFBDJKORP22,
  author       = {Florian Wurster and
                  Garret F{\"{u}}tterer and
                  Marina Beckmann and
                  Kerstin Dittmer and
                  Julia Jaschke and
                  Juliane K{\"{o}}berlein{-}Neu and
                  Mi{-}Ran Okumu and
                  Carsten Rusniok and
                  Holger Pfaff and
                  Ute Karbach},
  title        = {The Analyzation of Change in Documentation due to the Introduction
                  of Electronic Patient Records in Hospitals - {A} Systematic Review},
  journal      = {J. Medical Syst.},
  volume       = {46},
  number       = {8},
  pages        = {54},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10916-022-01840-0},
  doi          = {10.1007/S10916-022-01840-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jms/WursterFBDJKORP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/5gwf/NikolopoulouMBK22,
  author       = {Vassiliki Nikolopoulou and
                  Dan Mandoc and
                  Farid Bazizi and
                  Michael Kl{\"{o}}cker and
                  S{\'{e}}bastien Tardif and
                  Bernd Holfeld and
                  Guillaume Jornod and
                  Nazih Salhab and
                  Marion Berbineau and
                  Stefanos Gogos},
  title        = {5GRAIL paves the way to the Future Railway Mobile Communication System
                  Introduction},
  booktitle    = {2022 {IEEE} Future Networks World Forum, {FNWF} 2022, Montreal, QC,
                  Canada, October 10-14, 2022},
  pages        = {53--57},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/FNWF55208.2022.00018},
  doi          = {10.1109/FNWF55208.2022.00018},
  timestamp    = {Fri, 10 Mar 2023 11:36:39 +0100},
  biburl       = {https://dblp.org/rec/conf/5gwf/NikolopoulouMBK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SmolnikHH22,
  author       = {Stefan Smolnik and
                  Pierre Hadaya and
                  W. David Holford},
  title        = {Introduction to the Minitrack on Design and Appropriation of Knowledge
                  and {AI} Systems},
  booktitle    = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
                  Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
  pages        = {1},
  publisher    = {ScholarSpace},
  year         = {2022},
  url          = {http://hdl.handle.net/10125/79966},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/SmolnikHH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HadayaHS21,
  author       = {Pierre Hadaya and
                  W. David Holford and
                  Stefan Smolnik},
  title        = {Introduction to the Minitrack on Design and Appropriation of Knowledge
                  and {AI} Systems},
  booktitle    = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
                  Kauai, Hawaii, USA, January 5, 2021},
  pages        = {1},
  publisher    = {ScholarSpace},
  year         = {2021},
  url          = {https://hdl.handle.net/10125/71210},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/HadayaHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HadayaSH20,
  author       = {Pierre Hadaya and
                  Stefan Smolnik and
                  W. David Holford},
  title        = {Introduction to the Minitrack on Design and Appropriation of Knowledge
                  and {AI} Systems},
  booktitle    = {53rd Hawaii International Conference on System Sciences, {HICSS} 2020,
                  Maui, Hawaii, USA, January 7-10, 2020},
  pages        = {1},
  publisher    = {ScholarSpace},
  year         = {2020},
  url          = {https://hdl.handle.net/10125/64314},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/HadayaSH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FeldererOR19,
  author       = {Michael Felderer and
                  Helena Holmstr{\"{o}}m Olsson and
                  Rick Rabiser},
  title        = {Introduction to the special issue on quality engineering and management
                  of software-intensive systems},
  journal      = {J. Syst. Softw.},
  volume       = {149},
  pages        = {533--534},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jss.2018.12.019},
  doi          = {10.1016/J.JSS.2018.12.019},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/FeldererOR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/MakarowBRSGB18,
  author       = {Artemi Makarow and
                  Jan Braun and
                  Christoph R{\"{o}}smann and
                  Georg Schoppel and
                  Ingo Glowatzky and
                  Torsten Bertram},
  title        = {Introduction of Model Predictive Control for the System Optimization
                  of a Proportional Directional Control Valve},
  booktitle    = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2018,
                  Copenhagen, Denmark, August 21-24, 2018},
  pages        = {921--926},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CCTA.2018.8511392},
  doi          = {10.1109/CCTA.2018.8511392},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccta/MakarowBRSGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SmolnikHH18,
  author       = {Stefan Smolnik and
                  Pierre Hadaya and
                  W. David Holford},
  editor       = {Tung Bui},
  title        = {Introduction to the Minitrack on Creation and Appropriation of Knowledge
                  Systems},
  booktitle    = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,
                  Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},
  pages        = {1},
  publisher    = {ScholarSpace / {AIS} Electronic Library (AISeL)},
  year         = {2018},
  url          = {https://hdl.handle.net/10125/50396},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/SmolnikHH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cais/HollandR03,
  author       = {Christopher P. Holland and
                  Pieter M. A. Ribbers},
  title        = {Introduction to International Examples of Large Scale Systems: Theory
                  and Practice},
  journal      = {Commun. Assoc. Inf. Syst.},
  volume       = {11},
  pages        = {19},
  year         = {2003},
  url          = {https://doi.org/10.17705/1cais.01119},
  doi          = {10.17705/1CAIS.01119},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cais/HollandR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HollandC98,
  author       = {Christopher P. Holland and
                  William G. Chismar},
  title        = {Introduction to the Minitrack on Information Systems in Global Business},
  booktitle    = {Thirty-First Annual Hawaii International Conference on System Sciences,
                  Kohala Coast, Hawaii, USA, January 6-9, 1998},
  pages        = {559--561},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HICSS.1998.654816},
  doi          = {10.1109/HICSS.1998.654816},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/HollandC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/Andrew93b,
  author       = {Alex M. Andrew},
  title        = {\emph{Neural Networks: Advances And Applications} edited by E. Gelenbe
                  North-Holland, Amsterdam, 1992, ix + 222 pp., distributed in {USA}
                  and Canada by Elsevier Science Publishing Co., New York (Hardcover
                  {\textdollar}108; paperback {\textsterling}24.95).\emph{An Introduction
                  To The Modeling Of Neural Networks}, by P. Peretto. Collection Alea-Saclay:
                  Monographs and Texts in Statistical No 2, Cambridge University Press,
                  1992, xviii + 473 pp., ({\textsterling}60.00, Hardback); {\textsterling}24.95,
                  Paperback)\emph{Neural Networks For Systems And Control}, edited by
                  K. Warwick, Irwin {G.W.} and Hunt {K.J.} {IEE} Control Engineering
                  Series no 46, Peter Peregrinus, London, on behalf of Institution of
                  Electrical Engineers, London, 1992, xiii + 260pp., (Hardcover, {\textsterling}39.00)},
  journal      = {Robotica},
  volume       = {11},
  number       = {6},
  pages        = {586},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0263574700019512},
  doi          = {10.1017/S0263574700019512},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/robotica/Andrew93b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gordon91,
  author       = {Michael J. C. Gordon},
  editor       = {Myla Archer and
                  Jeffrey J. Joyce and
                  Karl N. Levitt and
                  Phillip J. Windley},
  title        = {Introduction to the {HOL} System},
  booktitle    = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
                  Proving System and its Applications, August 1991, Davis, California,
                  {USA}},
  pages        = {2--3},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  timestamp    = {Wed, 17 Apr 2002 08:13:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Gordon91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069218,
  author       = {Bruce E. Briley},
  title        = {An introduction to fiber optics system design},
  publisher    = {North-Holland},
  year         = {1990},
  isbn         = {978-0-444-88708-5},
  timestamp    = {Tue, 03 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0069218.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics