Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Introduction to the HOL System."
@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} }
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.