text:
|Up a level
Derrick, John, Boiten, Eerke A. and Reeves, Steve (eds.) (2013) Proceedings 16th International Refinement Workshop, EPTCS
Butler, Michael, Hallerstede, Stefan and Walden, Marina (eds.) (2013) Proceedings of the 4th Rodin User and Developer Workshop, Turku, FI, Turku Centre for Computer Science, 41pp. (TUCS Publication Series).
Agarwal, A., Singh, A., Acharyya, A., Shafik, R.A. and Ahamed, S.R. (2013) Energy efficient and high-speed robust channel identification methodology to solve permutation indeterminacy in ICA for artifacts removal from ECG in remote healthcare At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Alateyah, Suilaiman, Crowder, Richard and Wills, Gary (2013) Factors influencing citizen intention to adopt egovernment in Saudi Arabia At 2013 International Conference on Information Society (i-Society), Canada. , pp. 250-255.
Alateyah, Suilaiman, Crowder, Richard M. and Wills, Gary B. (2013) Factors Affecting the Citizen's Intention to Adopt E-government in Saudi Arabia International Journal of Social, Human Science and Engineering, 7, (9), pp. 80-85.
Alateyah, Sulaiman, Crowder, Richard M and Wills, Gary B. (2013) An integrated model for influencing Saudi Arabian citizens to adopt E-government services. At International Conference on Cloud Computing and eGovernance., United Arab Emirates. 6 pp, pp. 38-44.
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2013) Identified Factors Affecting the Citizen's Intention to Adopt E-government in Saudi Arabia International Journal of Social, Human Science and Engineering, 7, (8), pp. 244-252.
Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements At Automated Verification of Critical Systems (AVoCS 2013).
Almutiry, Omar, Wills, Gary, Alwabel, Abdulelah, Crowder, Richard and Walters, Robert John (2013) Toward a framework for data quality in cloud-based health information system At 2013 International Conference on Information Scociety (i-society). 24 - 26 Jun 2013. , pp. 153-157.
Almutiry, Omar, Wills, Gary and Crowder, Richard (2013) Towards a framework for data quality in Electonic health records At IADIS International Conference, e-Society 2013, Portugal.
Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2013) Investigating Factors for Knowledge Sharing Using Web Technologies At i-know 2013, Austria.
Alqurashi, Ezzat, Wills, Gary and Gilbert, Lester, (2013) A viable system model for information security governance: establishing a baseline of the current information security operations system Janczewski, Lech J., Wolfe, Henry B. and Shenoi, Shujeet (eds.) In Security and Privacy Protection in Information Processing Systems. 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings. Springer., pp. 245-256. (doi:10.1007/978-3-642-39218-4_19).
Anderson, Gabrielle (2013) Behavioural properties and dynamic software update for concurrent programmes University of Southampton, Faculty of Physical Science and Engineering, Doctoral Thesis , 208pp.
Badan, Mohammad Imran bin, Bhattacharjee, Subhasish, Shafik, Rishad A., Mathew, Jimson and Pradhan, Dhiraj K. (2013) Lifetime reliability aware checkpointing mechanism: modelling and analysis At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Banach, Richard and Butler, Michael (2013) Cruise Control in Hybrid Event-B At International Colloquium on Theoretical Aspects of Computing (ICTAC).
Banach, Richard and Butler, Michael (2013) A Hybrid Event-B Study of Lane Centering At Complex Systems Design & Management (CSD&M) 2013.
Beeby, S.P., Wang, Leran, Zhu, Dibin, Weddell, Alex, Merrett, Geoff V., Stark, Bernard, Szarka, Gyorgy and Al-Hashimi, Bashir M. (2013) A comparison of power output from linear and non-linear kinetic energy harvesters using real vibration data Smart Materials and Structures, 22, (7), p. 75022. (doi:10.1088/0964-1726/22/7/075022).
Bischoff, Sascha, Hansson, Andreas and Al-Hashimi, Bashir M. (2013) Applying quality of experience to system optimisation At 23th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2013), Germany. 09 - 11 Sep 2013.
Boettcher, Matthias, Gabrielli, Giacomo, Al-Hashimi, Bashir M. and Kershaw, Danny (2013) MALEC: a multiple access low energy cache At DATE2013: Design Automation and Test Conference in Europe, France. 19 - 22 Mar 2013. 6 pp.
Butler, Michael (2013) Mastering System Analysis and Design through Abstraction and Refinement In, Engineering Dependable Software Systems. Summer School on Engineering Dependable Software Systems, Marktoberdorf, Germany, 2012 IOS Press
Butler, Michael, Colley, John, Edmunds, Andrew, Snook, Colin, Evans, Neil, Grant, Neil and Marshall, Helen (2013) Modelling and Refinement in CODA At Refine. , pp. 36-51.
Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B At Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday.
Butler, Michael, Voisin, Laurent and Muller, Thomas (2013) Tooling in DEPLOY In, Romanovsky, Alexander and Thomas, Martin (eds.) Industrial Deployment of System Engineering Methods. Springer
Chaisriya, Somjit, Gilbert, Lester and Wills, Gary B. (2013) The game challenge model At International Conferences: part of the IADIS Multi Conference MCCSIS 2013: e-Learning, Portugal. 22 - 24 Jul 2013. 4 pp.
Chang, Victor (2013) Business integration as a service: computational risk analysis for small and medium enterprises adopting SAP International Journal of Next-Generation Computing, 4, (3)
Chang, Victor (2013) The business intelligence as a service in the cloud [in special issue: Innovative Methods and Algorithms for Advanced Data-Intensive Computing; Semantics, Intelligent Processing and Services for Big Data; Advances in Data-Intensive Modelling and Simulation; Hybrid Intelligence for Growing Internet and its Applications] Future Generation Computer Systems, 37, pp. 512-534. (doi:10.1016/j.future.2013.12.028).
Chang, Victor (2013) A Case Study for Business Integration as a Service In, Trends in E-Business, E-Services, and E-Commerce: Impact of Technology on Goods, Services, and Business Transactions. IGI Global (doi:10.4018/978-1-4666-4510-3).
Chang, Victor (2013) Cloud Bioinformatics in a private cloud deployment In, Advancing Medical Practice through Technology: Applications for Healthcare Delivery, Management, and Quality. IGI Global (doi:10.4018/978-1-4666-4619-3.ch011).
Chang, Victor (2013) Cloud Computing for brain segmentation technology At IEEE CloudCom 2013. 02 - 05 Dec 2013.
Chang, Victor (2013) A proposed model to analyse risk and return for a large computing system adoption University of Southampton, Physical Science and Engineering, Doctoral Thesis , 288pp.
Chang, Victor, Walters, Robert John and Wills, Gary (2013) Cloud Storage and Bioinformatics in a private cloud deployment: Lessons for Data Intensive research In, Cloud Computing and Service Science. Springer Lecture Notes Series, Springer Book (doi:10.1007/978-3-319-04519-1_16).
Chang, Victor, Walters, Robert John and Wills, Gary (2013) The development that leads to the Cloud Computing Business Framework International Journal of Information Management, June, 33, (3), pp. 524-538. (doi:10.1016/j.ijinfomgt.2013.01.005).
Chang, Victor and Wills, Gary (2013) A University of Greenwich Case Study of Cloud Computing – Education as a Service In, E-Logistics and E-Supply Chain Management: Applications for Evolving Business. IGI Global
Chen, Taihai (2013) On the trade-off of accuracy and computational complexity for classifying normal and abnormal ECG in remote CVD monitoring systems University of Southampton 1pp. , Southampton, GB
Chen, Taihai, Mazomenos, Evangelos B., Maharatna, Koushik, Dasmahapatra, Srinandan and Niranjan, Mahesan (2013) Design of a low-power on-body ECG classifier for remote cardiovascular monitoring systems IEEE Journal of Emerging and Selected Topics in Circuits and Systems, 3, (1), pp. 75-85. (doi:10.1109/JETCAS.2013.2242772).
Chen-Wilson, Lisha (2013) eCert: a secure and user centric edocument transmission protocol: solving the digital signing practical issues University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 294pp.
Cirstea, Corina (2013) From Branching to Linear Time, Coalgebraically At Workshop on Fixed Points in Computer Science, Italy. 17 pp, pp. 11-27. (doi:10.4204/EPTCS.126).
Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof At 21th Safety Critical System Symposium.
Costante, Elisa, Paci, Federica and Zannone, Nicola (2013) Privacy-aware web service composition and ranking At 2013 IEEE International Conference on Web services (ICWS), United States. 08 Jun - 03 Jul 2013. , pp. 131-138. (doi:10.1109/ICWS.2013.27).
Dahir, Nizar, Al-Dujaily, Ra'ed, Mak, Terrence and Yakovlev, Alex (2013) Thermal optimization in network-on-chip-based 3D chip multiprocessors using dynamic programming networks [in special issue: Real-Time and Embedded Technology and Applications, Domain-Specific Multicore Computing, Cross-Layer Dependable Embedded Systems, and Application of Concurrency to System Design (ACSD'13)] ACM Transactions on Embedded Computing Systems, 13, (4s), pp. 1-25. (doi:10.1145/2584668).
Das, Saptarshi and Maharatna, Koushik (2013) Fractional dynamical model for the generation of ECG like signals from filtered coupled Van-der Pol oscillators Computer Methods and Programs in Biomedicine, 112, (3), pp. 490-507. (doi:10.1016/j.cmpb.2013.08.012). (PMID:24028797).
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2013) Evaluation of graphical control flow management approaches for Event-B modelling At Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), United Kingdom. 15 pp. (doi:10.14279/tuj.eceasst.66.891).
Dima, Sofia-Maria, Panagiotou, Christos, Mazomenos, Evangelos B., Rosengarten, James, Maharatna, Koushik, Gialelis, John, Curzen, Nick and Morgan, John (2013) On the detection of myocadial scar based on ECG/VCG analysis IEEE Transactions on Biomedical Engineering, 60, (12), pp. 3399-3409. (doi:10.1109/TBME.2013.2279998). (PMID:24001951).
Edmunds, Andrew (2013) Developments in Code Generation Tools for Event-B At 4th Rodin User and Developer Workshop.
Edmunds, Andy (2013) Code generation with tasking event-b University of Southampton 50pp. , Southampton, GB
Fadhel, Nawfal, Wills, Gary and Crowder, Richard M. (2013) Approaches to maintaining provenance throughout the additive manufacturing process At 2013 World Congress on Internet Security (WorldCIS), United Kingdom. 09 - 11 Dec 2013. , pp. 82-87. (doi:10.1109/WorldCIS.2013.6751022).
Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2013) Policy analysis for self-administrated role-based access control At TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Italy. 16 - 24 Mar 2013. 15 pp.
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration) At 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution) At Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. , pp. 616-618.
Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists At 20th Static Analysis Symposium.
Gondal, Ali (2013) Feature-oriented reuse with Event-B and Rodin University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 171pp.
Grech, Neville (2013) Preemptive type checking in dynamically typed programs University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 148pp.
Hart, Darren (2013) Direct and reflex motor effects of conventional and catch-like electrical stimulation for dropped foot correction University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 340pp.
Huang, Xiaoyu, Mathew, Jimson, Shafik, Rishad A., Bhattacharjee, Subhasis and Pradhan, Dhiraj K. (2013) A fast and effective DFT for test and diagnosis of power switches in SoCs At ACM/IEEE Conference on Design, Automation and Test in Europe, France. 18 - 22 Mar 2013. 4 pp, pp. 1089-1092. (doi:10.7873/DATE.2013.229).
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Adding value to WSN simulation through formal modelling and analysis At Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, United States. 18 - 26 May 2013.
Inverso, Omar, La Torre, Salvatore, Tomasco, Ermenegildo and Parlato, Gennaro (2013) Looking at Computations from a Different Angle University of Southampton
Jamal, Wasifa, Das, Saptarshi and Maharatna, Koushik (2013) Existence of millisecond-order stable states in time-varying phase synchronization measure in EEG signals At 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Japan. 03 - 07 Jul 2013. 4 pp, pp. 2539-2542. (doi:10.1109/EMBC.2013.6610057).
Jiang, Teng, Merrett, Geoff V. and Harris, N.R. (2013) Opportunistic direct interconnection between co-located wireless sensor networks At Sixth International Workshop on Sensor Networks, Bahamas. 30 Jul - 02 Aug 2013. 5 pp.
Jiang, Teng, Merrett, Geoff V. and Harris, N.R. (2013) Opportunistic energy trading between co-located energy-harvesting wireless sensor networks At 1st International Workshop on Energy Neutral Sensing Systems, Italy. 11 - 14 Nov 2013. (doi:10.1145/2534208.2534212).
Kazmierski, Tom J., Wang, Leran, Al-Hashimi, Bashir and Merrett, Geoff V. (2013) DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters At Design, Automation and Test in Europe (DATE 13), France. 18 - 22 Mar 2013. , p. 484. (doi:10.7873/DATE.2013.110).
La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages 20 pp.
Labunets, Katsyarina, Massacci, Fabio, Paci, Federica and Tran, Le Minh Sang (2013) An experimental comparison of two risk-based security methods At 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), United States. 10 - 11 Oct 2013. 10 pp. (doi:10.1109/ESEM.2013.29).
Lau, Sei Ping, Merrett, Geoff V. and White, Neil M. (2013) Energy-efficient street lighting through embedded adaptive intelligence At Symposium on Intelligent Transportation Systems (ICALT-ITS'2013), Tunisia. 29 - 31 May 2013. (doi:10.1109/ICAdLT.2013.6568434).
Li, L., Maunder, R.G., Al-Hashimi, B.M., Zwolinski, M. and Hanzo, L. (2013) Energy-conscious turbo decoder design: a joint signal processing and transmit energy reduction approach IEEE Transactions on Vehicular Technology, 62, (8), pp. 3627-3638.
Li, Xun, Merrett, Geoff V. and White, Neil M. (2013) Energy-efficient data acquisition for accurate signal estimation in wireless sensor networks EURASIP Journal on Wireless Communications and Networking, 2013, (230), pp. 1-15. (doi:10.1186/1687-1499-2013-230).
Maamria, Issam (2013) Towards a practically extensible Event-B methodology University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 183pp.
Maheshwari, Sidharth, Acharyya, Amit, Puddu, Paolo Emilio, Mazomenos, Evangelos B., Leekha, Gourav, Maharatna, Koushik and Schiariti, Michele (2013) An automated algorithm for online detection of fragmented QRS and identification of its various morphologies Journal of the Royal Society Interface, 10, (89), 20130761-[16pp]. (doi:10.1098/rsif.2013.0761).
Mazomenos, E.B., Biswas, D., Acharyya, A., Chen, T., Maharatna, K., Rosengarten, J., Morgan, J. and Curzen, N. (2013) A low-complexity ECG feature extraction algorithm for mobile healthcare applications IEEE Journal of Biomedical and Health Informatics, 17, (2), pp. 459-469. (doi:10.1109/TITB.2012.2231312). (PMID:23362250).
Merrett, Geoff V. (2013) New tricks with old sensors: Pervasive Technologies for Novel Applications At Sensors & their Applications XVII, Croatia. 16 - 18 Sep 2013. , p. 12002. (doi:10.1088/1742-6596/450/1/012002).
Mery, Dominique and Poppleton, Michael (2013) Formal modelling and verification of population protocols At iFM 2013: 10th International Conference on integrated Formal Methods, Finland. 10 - 14 Jun 2013. 15 pp.
Mistry, Jatin, Myers, James, Al-Hashimi, Bashir, Flynn, David, Biggs, John and Merrett, Geoff V. (2013) Active mode subclock power gating IEEE Transactions on Very Large Scale Integration (VLSI) Systems, pp. 1-11. (doi:10.1109/TVLSI.2013.2280886).
Mistry, Jatin N. (2013) Leakage power minimisation techniques for embedded processors University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 210pp.
Omana, Martin, Rossi, Daniele, Bosio, Nicolo' and Metra, Cecilia (2013) Low cost NBTI degradation detection and masking approaches IEEE Transactions on Computers, 62, (3), pp. 496-509. (doi:10.1109/TC.2011.246).
Omana, Martin, Rossi, Daniele, Fuzzi, Filippo, Metra, Cecilia, Tirumurti, Chandra and Galivanche, Rajesh (2013) Novel approach to reduce power droop during scan-based logic BIST At 18th IEEE European Test Symposium (ETS), France. 27 - 30 May 2013. , pp. 1-6. (doi:10.1109/ETS.2013.6569375).
Omana, Martin, Rossi, Daniele, Giaffreda, Daniele, Specchia, Roberto, Metra, Cecilia, Marzencki, Marcin and Kaminska, Bozena (2013) Faults affecting energy harvesting circuits of self-powered wireless sensors and their possible concurrent detection IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21, (12), pp. 2286-2294. (doi:10.1109/TVLSI.2012.2230036).
Pinpathomrat, Nakarin, Gilbert, Lester and Wills, Gary (2013) A model of e-learning adoption in higher education institutions: national culture consideration At E-LEARN 2013 - World Conference on E-Learning, United States. 21 - 24 Oct 2013.
Prodromakis, T. (2013) Two centuries of memristors In, Chen, G. and Adamatzky, A. (eds.) Chaos, CNN, Memristors and Beyond: A Festschrift for Leon Chua. London, GB, World Scientific pp. 508-517.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) Customising software products in distributed software development a model for allocating customisation requirements across organisational boundaries At International Conference on Information Society (i-Society 2013), Canada. 24 - 26 Jun 2013.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) A framework of challenges and key factors for applying agile methods for the development and customisation of software products in distributed projects International Journal of Digital Society, Special Issue, (1/1), pp. 766-773.
Recio, Alejandra, Whitelock, Denise, Gilbert, Lester, Hatzipanagos, Stylianos, Gillary, Paul, Watt, Stuart and Zhang, Pei (2013) Improving a tutor's feedback assessment tool: transforming Open Mentor following two recent deployments International Journal of e-Assessment, 3, (1), pp. 1-16.
Reddy, B.K., Sabbavarapu, S., Gupta, K., Prabhat, R., Acharyya, A., Shafik, R.A. and Mathew, J. (2013) A novel and unified digital IC design and automation methodology with reduced NRE cost and time-to-market At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Rossi, Daniele, Omana, Martin, Garrammone, Giuliano, Metra, Cecilia, Jas, Abhijit and Galivanche, Rajesh (2013) Low cost concurrent error detection strategy for the control logic of high performance microprocessor RAS improvement Journal of Electronic Testing, Theory and Applications (JETTA), 29, pp. 401-413. (doi:10.1007/s10836-013-5355-2).
Sabbavarapu, S., Reddy, B.K., Prabhat, R., Gupta, K., Acharyya, A., Shafik, R.A. and Mathew, J. (2013) A novel physical synthesis methodology in the VLSI design automation by introducing dynamic library concept At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Sarshogh, Mohammad Reza (2013) Extending Event-B with discrete timing properties University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 217pp.
Satpathy, M., Ramesh, S., Snook, Colin, Singh, N.K. and Butler, Michael (2013) A Mixed Approach to Rigorous Development of Control Designs At IEEE Multi-Conference on Systems and Control (MSC 2013).
Satpathy, Manoranjan, Snook, Colin, Arora, Silky, Ramesh, S and Butler, Michael (2013) Systematic Development of Control Designs via Formal Refinement At International Conference on Model-Driven Engineering and Software Development.
Savicks, Vitaly, Butler, Michael, Bendisposto, Jens and Colley, John (2013) Co-simulation of Event-B and Continuous Models in Rodin At 4th Rodin User and Developer Workshop.
Shafik, Rishad Ahmed, Rauwerda, Gerard, Potman, Jordy, Sunesen, Kim, Pradhan, Dhiraj K., Mathew, Jimson and Sourdis, Ioannis (2013) Software modification aided transient error tolerance for embedded systems At 16th Euromicro Conference on Digital System Design (Euromicro DSD/SEAA 2013, Spain. 04 - 06 Sep 2013. 8 pp.
Sourdis, I., Shafik, R.A., Strydis, C., Pnevmatikatos, D., Theodoropoulos, D., Pradhan, D.K. and Rauwerda, G. (2013) Towards on-demand system reliability: software implemented fault tolerance and testing At European Test Symposium (ETS), France. 27 - 31 May 2013. , in-press.
Sourdis, Ioannis, Strydis, Christos, Armato, Antonino, Bouganis, Christos-Savvas, Falsafi, Babak, Gaydadjiev, Georgi, Isaza, Sebastian, Malek, Alirad, Mariani, Riccardo, Pnevmatikatos, Dionisios N, Pradhan, Dhiraj K, Rauwerda, Gerard, Seepers, Robert, Shafik, Rishad Ahmed, Sunesen, Kim, Theodoropoulos, Dimitris, Tzilis, Stavros and Vavouras, Michail (2013) DeSyRe: on-Demand System Reliability Microprocessors and Microsystems, 37, (2013), pp. 981-1001. (doi:10.1016/j.micpro.2013.08.008).
Stallwood, James, Ranchhod, Ashok and Wills, Gary (2013) A Model for in-Simulation Assessment At International Computer Assisted Assessment (CAA), United Kingdom. 09 - 10 Jul 2013.
Sun, Luo, Mathew, Jimson, Shafik, Rishad A. and Pradhan, Dhiraj K. (2013) Low power and robust binary tree SRAM design for embedded systems At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) A conceptual model of intended learning outcomes supporting curriculum development At 32nd International Conference on Conceptual Modeling (ER 2013), Hong Kong. 11 - 13 Nov 2013. 13 pp, pp. 161-173.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) Facilitating Formative Assessment Through Learning Paths Extracted From a Logical Structure of Intended Learning Outcomes At International Computer Assisted Assessment (CAA 2013) Conference. 09 - 10 Jul 2013.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) ILO diagram: a conceptual model for curriculum development IEEE Technology and Engineering Education, 8, (3), pp. 12-19.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary B. (2013) Designing and diagraming an intended learning outcome structure: a case study from the instructors' perspective At 13th IEEE International Conference on Advanced Learning Technologies (ICALT), China. 15 - 18 Jul 2013. , pp. 189-193. (doi:10.1109/ICALT.2013.58).
Tenentes, V. and Kavousianos, X. (2013) High-quality statistical test compression with narrow ATE interface IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32, (9), pp. 1369-1382. (doi:10.1109/TCAD.2013.2256394).
Tribastone, Mirco (2013) A fluid model for layered queueing networks IEEE Transactions on Software Engineering, 39, (6), pp. 744-756. (doi:10.1109/TSE.2012.66).
Vimalathithan, R., Rossi, Daniele, Omana, Martin, Metra, Cecilia and Valarmathi, M. L. (2013) Polynomial based key distribution scheme for WPAN Malaysian Journal of Mathematical Sciences, 7, (S), pp. 59-72.
Wang, Ning, Merrett, Geoff V., Maunder, Robert G. and Rogers, Alex (2013) Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition At 2013 22nd International Conference on Computer Communications and Networks (ICCCN), Bahamas. 30 Jul - 02 Aug 2013. 6 pp, pp. 1-6. (doi:10.1109/ICCCN.2013.6614133).
Weddell, Alex S., Zhu, Dibin, Merrett, Geoff V., Beeby, Stephen P. and Al-Hashimi, Bashir M. (2013) Tunable vibration energy harvester At 1st International Workshop on Energy Neutral Sensing Systems (ENSsys 2013), Italy. 14 Nov 2013. (doi:10.1145/2534208.2534226).
Weddell, Alexander S., Magno, Michele, Merrett, Geoff V., Brunelli, Davide, Al-Hashimi, Bashir and Benini, Luca (2013) A Survey of Multi-Source Energy Harvesting Systems At Design, Automation and Test in Europe (DATE), France. 18 - 22 Mar 2013. 4 pp. (doi:10.7873/DATE.2013.190).
Wilkinson, Toby (2013) Enriched coalgebraic modal logic University of Southampton, faculty of Physical Sciences and Engineering, Doctoral Thesis , 228pp.
Wongse-ek, Woraluck, Wills, Gary and Gilbert, Lester (2013) Towards a trust model in e-learning: antecedents of a student's trust At IADIS e-Learning 2013 Conference, Czech Republic. 23 - 26 Jul 2013.
Yang, Sheng (2013) Error resilient techniques for storage elements of low power design University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 193pp.
Yang, Sheng, Khursheed, Saqib, Al-Hashimi, Bashir M., Flynn, David and Merrett, Geoff V. (2013) Improved state integrity of flip-flops for voltage scaled retention under PVT variation IEEE Transactions on Circuits and Systems I Regular Papers, 60, (11), pp. 1-9. (doi:10.1109/TCSI.2013.2252640).
Yang, Y., Mathew, J., Shafik, R.A. and Pradhan, D.K. (2013) Verilog-A based effective complementary resistive switch model for simulations and analysis IEEE Embedded Systems Letters
Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B At IEEE International Workshop on Formal Methods Integration.
Zhao, Yi (2013) Design and validation of online fault tolerance architecture for TSV-based 3D-IC University of Southampton 19pp. , Southampton, GB
Zhong, Shida (2013) Fault modelling and accelerated simulation of integrated circuits manufacturing defects under process variation University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 200pp.
Contact ePrints Soton: email@example.com
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.


text:
By Professor Ibrahim Al-Marashi
The contents revealed in October 2010 from an archive of secrets US military documents from Iraq are astonishing, but civilian deaths, the use of torture, and Iranian involvement in Iraq have already been covered by journalists, many of whom lost their lives in that country to make such news public. Rather it is the process of how these documents became public that heralds a new age in the flow of information.
One of the aspects of globalization is the technological revolution in communications which obliterates time and space, and aggravates the ability of the state to control information within its border or globally. Julian Assange, the Australian founder of the independent organization WikiLeaks, used Sweden as a base, in addition to a network of servers around the world to instantaneously release these documents to a global audience. In this case, the American superpower was unable to prevent this super-empowered Australian from releasing the documents. Nevertheless, the globalization of intelligence does not mean that the state is irrelevant. Assange lived in Sweden due to its broad press freedoms but was denied a residence permit and has joined the ranks of global nomads.
I have personally experienced this phenomenon of the globalization of intelligence. When the academic Glen Rangwala of Cambridge University noticed that a British intelligence dossier he found off the Internet was similar to an article that I had written on Iraq that was also published on the Internet, he was able to send me an email from the UK which I read in California in the early morning. A couple of seconds later, I was able to respond that I had no role in the drafting of the UK intelligence dossier. An announcement on Rangwala's website, and a couple of further emails led to the story breaking on London's Channel 4 news, becoming headlines in countries ranging from South Africa to India. All of this happened within 24 hours. Read more…

subset: commoncrawl


text:
Im having trouble getting USB Loader GX to recognize my games on my HDD. WiiFlow seems to recognize them pretty well so it must be my directory. (USB\Wfbs\Gamename\GameID.wbfs). Anyone know what the problem might be?
Edit: I found the problem, im not aloud to put them into another folder with the GameName. Kind of sucks because I like to be organized. =/


text: RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 22882 LA English T1 Plato and Platonism; a series of lectures. A1 Pater, Walter,, PB Greenwood Press PP New York YR 1969 SN 083711151X 9780837111513 AB This important new series, under the editorship of a preeminent American scholar, revivifies some of the most influential classics of nineteenth-century literary thought. Forerunners of our aesthetic sensibility, these volumes are a great voice from the last century calling us to ourselves.


text:
Embree Dentistry
Posts for: November, 2011
A number of factors can lead to dental caries (tooth decay). To find out if you are at high risk, ask yourself these questions.
Is plaque visible in my mouth?
Dental plaque is a whitish film of bacteria that collects on your teeth. If it is clearly visible, it means that there is a lot of it. Among the bacteria in the plaque are those that produce tooth decay, particularly in an acidic environment. (A normal mouth is neutral, measured on the pH scale, midway between the extreme acidic and basic ends of the scale.)
Do I have a dry mouth?
Saliva protects your teeth against decay by neutralizing an acidic environment and adding minerals back to the outer surface of enamel of your teeth, so reduced saliva is a high risk for caries. Many medications can cause dry mouth as a side effect.
Do I eat a lot of snacks, particularly unhealthy ones?
Frequently eating sugars, refined carbohydrates, and acidic foods promotes the growth of decay-producing bacteria. The more frequently you eat, the longer your teeth are bathed in sugars and acids. Acidic foods not only promote bacterial growth, they also directly cause erosion of the tooth's hard surface by softening and dissolving the minerals in the enamel.
Do I wear retainers, orthodontic appliances, bite guards or night guards?
These appliances are recommended for various conditions, but they tend to restrict the flow of saliva over your teeth, cutting down on the benefits of saliva mentioned above.
Do my teeth have deep pits and fissures?
The shape of your teeth is determined by your heredity. If your teeth grew in with deep grooves (fissures) and pits in them, you are at higher risk for bacterial growth and resulting decay.
Do I have conditions that expose my teeth to acids?
If you have bulimia (a psychological condition in which individuals induce vomiting), or GERD (Gastro-Esophageal Reflux Disease), your teeth may be frequently exposed to stomach acids that can cause severe erosion to your teeth.
Do I already have cavities?
Visible cavities can range from those only visible with laser technology or x-ray examination to those a dentist can see with a naked eye. If you already have small cavities, you are at high risk for developing more.
Do I have white spots on my teeth?
White spots are often the first sign of decay in a tooth's enamel. At this point, the condition is often reversible with fluorides.
Have I had a cavity within the last three years?
Recent cavities point to a high risk of more cavities in the future, unless conditions in your mouth have significantly changed.
If you have any of these indications of high risk, contact us today and ask us for suggestions for changing the conditions in your mouth. You can also learn more by reading the Dear Doctor magazine article "Tooth Decay."
Dental crowns are excellent tools that we use to restore functionality, color and/or beauty to teeth and your smile. And while many people may have heard of them, often times there are many questions surrounding the process, costs and their maintenance. This is why we have put together this list of some of the questions we are commonly asked on this subject. Our goal is to provide you with straightforward answers so that you have a clearer understanding of the treatment and are comfortable making the decision to go forward with these excellent tooth restorations should they ever be required.
What Is A Crown?
A dental crown is a tooth-shaped "cap" or cover that a dentist places over a tooth that is badly damaged from trauma or decay in order to restore its color, strength, size and functionality. They are also used for cosmetic reasons to improve discolored or misshapen teeth.
Why Can The Cost Of Crowns Vary?
The reason the cost of a crown can vary greatly, even from dentist to dentist is quite simple. The most beautiful crowns require the artistry and years of experience of a team of dental professionals; your dentist and the laboratory technicians that handcraft crowns. To meet higher expectations of some individuals requires more experience, artistry and skill. And great art just tends to cost more. A customized temporary crown may even be used as a preview to see what a final crown will look like. Another critical factor is the choice of materials used. For example, while all porcelain crowns are made from high-quality ceramic (glass) material, they are not equal. It is therefore more expensive in terms of time, skill and expertise to produce the most natural looking results.
How Long Will A Crown Last?
Most dentists expect a crown to last at least 7-10 years with normal wear and proper maintenance. However, depending on the materials used and location of the tooth, they can last upwards of 50 years or more. For example, a gold crown has the longest lifespan because gold is such a durable material that has little to no negative impact on surrounding teeth. On the other hand, porcelain produces a completely natural look but can cause wear to adjacent teeth.
What Materials Are Most Often Used For Crowns?
The three most common materials used to make crowns are as follows:
- Gold
- Porcelain-Fused-to Metal (PFM)
- All porcelain
To learn more on this topic, read the Dear Doctor article, "Porcelain Crowns & Veneers." You can also contact us to discuss your questions or to schedule a consultation.
Welcome to the Blog of Sandra Embree Dentistry!
Whether you are an existing patient or searching for a dentist in the Ann Arbor area, we're excited you are here. With the dental industry advancing, we recognize the importance of keeping our patients and visitors up to date with all of the new and exciting things taking place in our practice.
As we move forward with our blog, we hope to promote dental awareness as a vital part of your healthy lifestyle. Here you will find a variety of articles and topics including dental news, advancements in dental technology and treatment, practical dental health advice and updates from Dr. Embree and her staff.
We hope you find our blog to be helpful, engaging and informational to ensure your best dental health.
As always, feel free to contact us with any dental questions or concerns.
--Dr. Sandra Embree


text:
Get a free shipping quote.
Cowboy Rio Reco is an excellent all-around horse. We have used him for trail rides, playdays, drill team, parades, and casual jumping. His previous owners used him in jumping and English events. He has also worked cattle a little bit--enough to show he does have some cow sense and isn't spooked. Cowboy has excellent manners, both from the ground and in the saddle. Western or English. He competed in 4H Drill and Precision Riding events at local and state levels, and performed at other local rodeo events.... (read more)
Avoid Scams and Fraud - Potential areas of fraud: wire transfer, moneygrams, money orders, cashier checks, shipping, escrow, "transaction protection", "guarantee". Check out the Buyer Safety section for more info.


text:
Wednesday, May 27, 2009 | 4:56 p.m.
It only takes a few seconds to change the lives of a family forever. Unfortunately, that is all the time needed for a child to drown. Here are some astonishing facts about drowning:
- The vast majority of drowning deaths occur in the family pool.
- Typically, the child was last seen in a "safe" area far from the pool.
- The most common downing victim is a two-year-old male.
- These tragedies often occur while one or both parents are home.
- Drowning is "the silent killer" because there is often no cry for help and very little sound from splashing.
Consider the following safety tips and lessen the chance of this disaster happening to your family.
- Never leave a child unsupervised near any body of water.
- Install a fence separating your pool from the house and play yard.
- Designated an adult to supervise children around any water, especially at social gatherings.
- Never consider children to be "water safe" despite swimming skills, swimming lessons or experience.
- Floaties, swimmies, or other inflatable toys are not life jackets and should never be substituted for adult supervision.
- Keep toys, tricycles, and other playthings away from the pool or spa.
- Assure a clear view from the house to the pool or spa.
- Always completely remove the cover before using the pool or spa. Children can become trapped under the cover.
Remember, these tips don't just apply to pools, lakes or oceans. Any space with water can be dangerous, including washing machines, toilets and storm drains.
Bill Wilson, a firefighter-paramedic for the Boulder City Fire Department, can be reached at 293-9228.