Academic literature on the topic 'Ws1s'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Ws1s.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Ws1s"
Fiedor, Tomáš, Lukáš Holík, Ondřej Lengál, and Tomáš Vojnar. "Nested antichains for WS1S." Acta Informatica 56, no. 3 (January 1, 2019): 205–28. http://dx.doi.org/10.1007/s00236-018-0331-z.
Full textD, Khureldavaa, Odontuya G, Tsiiregzen A, Oyuntsetseg D, Daariimaa B, and Amarsanaa B. "Comparative study of the chemical composition of submineral water from the central and east part of Mongolia." Bulletin of Institute of Chemistry and Chemical Technology, Mongolian Academy of Sciences, no. 5 (November 30, 2018): 33–40. http://dx.doi.org/10.5564/bicct.v0i5.1071.
Full textKLARLUND, NILS, ANDERS MØLLER, and MICHAEL I. SCHWARTZBACH. "MONA IMPLEMENTATION SECRETS." International Journal of Foundations of Computer Science 13, no. 04 (August 2002): 571–86. http://dx.doi.org/10.1142/s012905410200128x.
Full textLee, Dongmin, Lazaros Oreopoulos, George J. Huffman, William B. Rossow, and In-Sik Kang. "The Precipitation Characteristics of ISCCP Tropical Weather States." Journal of Climate 26, no. 3 (February 1, 2013): 772–88. http://dx.doi.org/10.1175/jcli-d-11-00718.1.
Full textHaider, Husnain, Rehan Sadiq, and Solomon Tesfamariam. "Performance indicators for small- and medium-sized water supply systems: a review." Environmental Reviews 22, no. 1 (March 2014): 1–40. http://dx.doi.org/10.1139/er-2013-0013.
Full textZanfei, Ariele, Andrea Menapace, Giuseppe Roberto Pisaturo, and Maurizio Righetti. "Calibration of Water Leakages and Valve Setting in a Real Water Supply System." Environmental Sciences Proceedings 2, no. 1 (September 3, 2020): 41. http://dx.doi.org/10.3390/environsciproc2020002041.
Full textHaziq, Mohammad Aslam, Abdul Rahman Mosameem, Esmatullah Muslim, Rahmatullah Dost, and Nazir Ahmad Qani. "Performance Benchmarking of Water Supply Systems in Kandahar City using Data Envelopment Analysis (DEA)." European Journal of Engineering Research and Science 4, no. 5 (May 19, 2019): 88–97. http://dx.doi.org/10.24018/ejers.2019.4.5.1313.
Full textKang, Hyeong-Seok, Hyunook Kim, Jaekyeong Lee, Ingyu Lee, Byoung-Youn Kwak, and Hyungjoon Im. "Optimization of pumping schedule based on water demand forecasting using a combined model of autoregressive integrated moving average and exponential smoothing." Water Supply 15, no. 1 (October 15, 2014): 188–95. http://dx.doi.org/10.2166/ws.2014.104.
Full textElfirdoussi, Selwa, Zahi Jarir, and Mohamed Quafafou. "Ranking Web Services using Web Service Popularity Score." International Journal of Information Technology and Web Engineering 9, no. 2 (April 2014): 78–89. http://dx.doi.org/10.4018/ijitwe.2014040105.
Full textMeng, Fanxue, Nan Mei, Jian Yan, Xiaoqing Guo, Patricia A. Richter, Tao Chen, and Mamata De. "Comparative potency analysis of whole smoke solutions in the bacterial reverse mutation test." Mutagenesis 36, no. 4 (June 16, 2021): 321–29. http://dx.doi.org/10.1093/mutage/geab021.
Full textDissertations / Theses on the topic "Ws1s"
Ali, Mahmood, and Kumar Ravula Sai. "Real-Time Support and Energy Efficiency In Wireless Sensor Networks." Thesis, Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-1150.
Full textWireless sensors nodes are made up of small electronic devices which are capable of sensing, computing and transmitting data from harsh physical environments like a surveillance field. These sensor nodes majorly depend on batteries for energy, which get depleted at a faster rate because of the computation and communication operations they have to perform. Communication protocols can be designed to make efficient utilization of energy resources of a sensor node and to obtain real time functionality. A set of previously reported routing and MAC (Medium Access Control) layer protocols has abilities to achieve energy efficiency and supports real-time functionality. A detailed study of these protocols has been carried out and comparison tables give an overview of the protocol’s performance on some factors like latency, scalability and energy awareness. Conclusions have been drawn using the comparison table parameters of how the protocol performs when utilized for a surveillance application and what kind of tradeoff they show.
The conclusions and tabular information drawn here are from our theoretical analysis of protocols referred from journals; there is no simulation work done in this thesis.
Doddapaneni, Krishna. "Energy aware performance evaluation of WSNs." Thesis, Middlesex University, 2014. http://eprints.mdx.ac.uk/17460/.
Full textPeng, Bo. "Energy-efficient geographic routing in realistic WSNs." Thesis, University of Leeds, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.522967.
Full textToussi, Ahora Mehdi. "Energy and QoS aware routing for WSNs." Thesis, Kingston University, 2017. http://eprints.kingston.ac.uk/41130/.
Full textFiedor, Tomáš. "A Decision Procedure for the WSkS Logic." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236065.
Full textKamsuvan, Thanisara. "Power management in Wireless Sensor Networks (WSNs)." Thesis, Brunel University, 2016. http://bura.brunel.ac.uk/handle/2438/13499.
Full textDrira, Wassim. "Secure collection and data management system for WSNs." Phd thesis, Institut National des Télécommunications, 2012. http://tel.archives-ouvertes.fr/tel-00814664.
Full textRukpakavong, Wilawan. "Energy-efficient and lifetime aware routing in WSNs." Thesis, Loughborough University, 2014. https://dspace.lboro.ac.uk/2134/14497.
Full textMaheshwari, Hemat Kumar. "Optimizing range aware localization in wireless sensor networks (WSNs)." Thesis, University of Leeds, 2011. http://etheses.whiterose.ac.uk/1743/.
Full textKhemapech, Ittipong. "PoRAP : an energy aware protocol for cyclic monitoring WSNs." Thesis, University of St Andrews, 2011. http://hdl.handle.net/10023/1899.
Full textBooks on the topic "Ws1s"
Kluger, Yoram, Federico Coccolini, Fausto Catena, and Luca Ansaloni, eds. WSES Handbook of Mass Casualties Incidents Management. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-319-92345-1.
Full textSharma, Sudhir Kumar, Bharat Bhushan, Raghvendra Kumar, Aditya Khamparia, and Narayan C. Debnath, eds. Integration of WSNs into Internet of Things. First edition. | Boca Raton, FL : CRC Press, 2021. |: CRC Press, 2021. http://dx.doi.org/10.1201/9781003107521.
Full textExpert WSS 3.0 and MOSS 2007 programming. Indianapolis, IN: Wiley, 2009.
Find full textMatthews, Joseph R. Service providers: ASPs, ISPs, MSPs, and WSPs : a Wiley tech brief. New York: John Wiley & Sons, 2002.
Find full textOlubamise, Bankole. WSIS and rest of us: Resources for participating in the emerging world information society. Lagos, Nigeria: Development Information Network, 2006.
Find full textWSS'97 (3rd Santa Barbara, Calif.). Self-stabilizing systems: 3rd Workshop, WSS'97, Santa Barbara, California, August 1997 : proceedings. Ottawa: Carleton University Press, 1997.
Find full textKleinwächter, Wolfgang. Macht und Geld im Cyberspace: Wie der Weltgipfel zur Informationsgesellschaft (WSIS) die Weichen für die Zukunft stellt. Hannover: Heise, 2004.
Find full textWorld, Summit on the Knowledge Society (1st 2008 Athens Greece). Emerging technologies and information systems for the knowledge society: First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008 : proceedings. Berlin: Springer, 2008.
Find full text1973-, Lytras Miltiadis D., ed. Emerging technologies and information systems for the knowledge society: First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008 : proceedings. Berlin: Springer, 2008.
Find full textWorld, Summit on the Knowledge Society (1st 2008 Athens Greece). Emerging technologies and information systems for the knowledge society: First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008 : proceedings. Berlin: Springer, 2008.
Find full textBook chapters on the topic "Ws1s"
Owre, Sam, and Harald Rueß. "Integrating WS1S with PVS." In Computer Aided Verification, 548–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722167_42.
Full textFiedor, Tomáš, Lukáš Holík, Ondřej Lengál, and Tomáš Vojnar. "Nested Antichains for WS1S." In Tools and Algorithms for the Construction and Analysis of Systems, 658–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46681-0_59.
Full textElgaard, Jacob, Nils Klarlund, and Anders Møller. "MONA 1.x: New techniques for WS1S and WS2S." In Computer Aided Verification, 516–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028773.
Full textFiedor, Tomáš, Lukáš Holík, Petr Janků, Ondřej Lengál, and Tomáš Vojnar. "Lazy Automata Techniques for WS1S." In Tools and Algorithms for the Construction and Analysis of Systems, 407–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54577-5_24.
Full textGlenn, James, and William Gasarch. "Implementing WS1S via finite automata." In Lecture Notes in Computer Science, 50–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63174-7_5.
Full textGlenn, James, and William Gasarch. "Implementing WS1S via finite automata: Performance issues." In Lecture Notes in Computer Science, 75–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0031382.
Full textBaukus, Kai, Saddek Bensalem, Yassine Lakhnech, and Karsten Stahl. "Abstracting WS1S Systems to Verify Parameterized Networks." In Tools and Algorithms for the Construction and Analysis of Systems, 188–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-46419-0_14.
Full textKlaedtke, Felix. "Decision Procedure for an Extension of WS1S." In Computer Science Logic, 384–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44802-0_27.
Full textFahmy, Hossam Mahmoud Ahmad. "WSNs Applications." In Signals and Communication Technology, 69–213. Singapore: Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-0412-4_3.
Full textFahmy, Hossam Mahmoud Ahmad. "WSNs Manufacturers." In Signals and Communication Technology, 495–509. Singapore: Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-0412-4_7.
Full textConference papers on the topic "Ws1s"
Himeno, M., S. Noda, R. Himeno, and K. Fukasaku. "Application of Genetic Algorithm to Prediction of Artery Geometry." In ASME/JSME 2007 5th Joint Fluids Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/fedsm2007-37241.
Full textMolony, David S., Andrew Nencka, Zhixin Li, Ming Zhao, and Don P. Giddens. "Hemodynamics of the Rat Aortic Arch." In ASME 2012 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/sbc2012-80371.
Full textKawahara, Hiroki, Akio Sahara, Yoshiaki Sone, Shingo Kawai, Mitsunori Fukutoki, Yutaka Miyamoto, Keita Yamaguchi, Kenya Suzuki, and Toshikazu Hashimoto. "First investigation and reduction of inter-WSS crosstalk in multiple-arrayed WSSs for large-scale optical node." In 2017 Opto-Electronics and Communications Conference (OECC) and Photonics Global Conference (PGC). IEEE, 2017. http://dx.doi.org/10.1109/oecc.2017.8114997.
Full text"WSNS Organization." In 2011 IEEE 8th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS). IEEE, 2011. http://dx.doi.org/10.1109/mass.2011.148.
Full textArmando, Alessandro, and Hilarie Orman. "Preface - WSCS 2012." In 2012 IEEE Security and Privacy Workshops (SPW). IEEE, 2012. http://dx.doi.org/10.1109/spw.2012.9.
Full textChou, Yu-Cheng. "A Hybrid Energy-Efficient Itinerary Planning for Mobile Agents in Wireless Sensor Networks." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-12920.
Full text"Title Page i." In IEEE International Workshop on Semantic Computing and Systems. IEEE, 2008. http://dx.doi.org/10.1109/wscs.2008.1.
Full textLee, Myung-Eun, Wan-Hyun Cho, Sun-Worl Kim, Soo-Hyung Kim, and Xin Zhao. "Intensity-Based Registration of Medical Images Using Penalized Maximum Likelihood." In 2008 IEEE International Workshop on Semantic Computing and Systems (WSCS). IEEE, 2008. http://dx.doi.org/10.1109/wscs.2008.10.
Full textLi, Kangshun, Lanlan Kang, Wensheng Zhang, and Bing Li. "Comparative Analysis of Genetic Algorithm and Ant Colony Algorithm on Solving Traveling Salesman Problem." In 2008 IEEE International Workshop on Semantic Computing and Systems (WSCS). IEEE, 2008. http://dx.doi.org/10.1109/wscs.2008.11.
Full textYang, Hua, Yanxiang He, Donghong Ji, and Dexi Liu. "A Research on Connectivity of Undirected Basic Element Complex Network of Topic-Related Documents." In 2008 IEEE International Workshop on Semantic Computing and Systems (WSCS 2008). IEEE, 2008. http://dx.doi.org/10.1109/wscs.2008.12.
Full text