Search results for "Cambridge"

Hits ?▲	Authors	Title	Venue	Year	Link
27	Luc Segoufin	M. Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Cambridge University Press, Cambridge, 2017, x + 544 pp.	Bull. Symb. Log.	2017	DBLP DOI BibTeX RDF
27	Lloyd Humberstone	James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99.	Stud Logica	2016	DBLP DOI BibTeX RDF
27	Helena Francke	Review of: Eve, Martin Paul. Open access in the humanities: contexts, controversies and the future. Cambridge: Cambridge University Press, 2014.	Inf. Res.	2015	DBLP BibTeX RDF
27	T. D. Wilson 0001	Review of: Douglas, Yellowlees. The reader's brain: how neuroscience can make you a better writer. Cambridge: Cambridge University Press, 2015.	Inf. Res.	2015	DBLP BibTeX RDF
27	Sam Abujudeh	Cancer Research UK Cambridge Institute: University of Cambridge, United Kingdom.	XRDS	2015	DBLP DOI BibTeX RDF
27	Jeremy Avigad	Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
27	Thomas D. Wilson 0001	Review of: Billig, Michael. Learn to write badly: how to succeed in the social sciences. Cambridge: Cambridge University Press, 2013.	Inf. Res.	2013	DBLP BibTeX RDF
27	Thomas D. Wilson 0001	Review of: Morris, Sally, Barnas, Ed, LaFrenier, Douglas & Reich, Margaret. The handbook of journal publishing. Cambridge: Cambridge University Press, 2013.	Inf. Res.	2013	DBLP BibTeX RDF
27	Miles Efron	Search User Interfaces. Marti A. Hearst. Cambridge, UK: Cambridge University Press, 2009. 404 pp. $55.00. (ISBN 978-0-521-11379-3) Interactive Information Seeking, Behaviour and Retrieval. Ian Ruthven and Diane Kelly (Eds.). London: Facet Publishing, 2011. 296 pp. $89.95. (ISBN 978-1-85604-707-4).	J. Assoc. Inf. Sci. Technol.	2012	DBLP DOI BibTeX RDF
27	Ines Lindner	Annick Laruelle and Federico Valenciano: Voting and collective decision-making - Cambridge University Press, Cambridge, 2008.	Soc. Choice Welf.	2012	DBLP DOI BibTeX RDF
27	Andrea C. Schalley	Chu-Ren Huang, Nicoletta Calzolari, Aldo Gangemi, Alessandro Lenci, Alessandro Oltramari, and Laurent Prévot (eds.): Ontology and the Lexicon: a natural language processing perspective. (Studies in Natural Language Processing.) - Cambridge University Press, Cambridge, 2010, xx+339 pp, ISBN 9780521886598, UK £60.00, US $105.00.	Lang. Resour. Evaluation	2012	DBLP DOI BibTeX RDF
27	Chris Biemann	Graph-Based Natural Language Processing and Information Retrieval Rada Mihalcea and Dragomir Radev (University of North Texas and University of Michigan) Cambridge, UK: Cambridge University Press, 2011, viii+192 pp; hardbound, ISBN 978-0-521-89613-9, $65.00.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
27	Robin Cooper	Computational Semantics with Functional Programming Jan van Eijck* and Christina Unger‡ (*CWI, Amsterdam and Utrecht University; ‡University of Bielefeld) Cambridge: Cambridge University Press, 2010, xv+405 pp; hardbound, ISBN 978-0-521-76030-0, $99.00; paperbound, ISBN 978-0-521-75760-7, $40.00.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
27	Panos Rondogiannis	Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
27	Pamela Green	2008 Benjamin Franklin medal in life science is Presented to Victor Ambros, Ph.D. (University of Massachusetts Medical School, Worcester, Massachusetts), Gary Ruvkun, Ph.D. (Harvard Medical School, Massachusetts General Hospital, Boston, Massachusetts) and David Baulcombe, Ph.D., FRS (University of Cambridge, Cambridge, UK).	J. Frankl. Inst.	2011	DBLP DOI BibTeX RDF
27	Alexander Mawyer	Review article: The game's afoot, Watson: Culture and crisis in play: Mary Flanagan, Critical Play: Radical Game Design. Cambridge, MA: The MIT Press, 2009, 353 pp. ISBN 9780262062688, $29.95 (hbk) Larissa Hjorth and Dean Chan (eds), Gaming Cultures and Place in Asia-Pacific. New York: Routledge, 2009, 297 pp. ISBN 9780415996273, $126 (hbk) Anikó Imre, Identity Games: Globalization and the Transformation of Media Cultures in the New Europe. Cambridge, MA: The MIT Press, 2009, 257 pp. ISBN 9780262090452, $35 (hbk).	New Media Soc.	2011	DBLP DOI BibTeX RDF
27	Matthew Richey	Review: Elementary Probability for Applications. Cambridge University Press, Cambridge, 2009, ix + 243 pp., ISBN 978-0-521-86756-6, $52.98. by Rick Durrett.	Am. Math. Mon.	2011	DBLP DOI BibTeX RDF
27	Alan F. Blackwell	Lucy A. Suchman. Human-Machine Reconfigurations: Plans and Situated Actions, 2nd ed. Cambridge, U.K.: Cambridge University Press, 2006. ISBN-10 052167588X, ISBN-13 978-0521675888 326 pages.	Nat. Lang. Eng.	2011	DBLP DOI BibTeX RDF
27	David Al-Dabass, Alessandra Orsoni, Richard J. Cant, Ajith Abraham (eds.)	Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 30 March - 1 April 2011	UKSim	2011	DBLP BibTeX RDF
27	Borut Zupancic, Anton Sodja	Advanced Multi-Domain Modelling: Advantages and Dangers.	UKSim	2011	DBLP DOI BibTeX RDF
27		Gender Classification Based on Human Radiation Wave Analysis.	UKSim	2011	DBLP DOI BibTeX RDF
27	Zunairah Hj Murat, Ros Shilawani S. AbdulKadir, Roshakimah Mohd Isa, Mohd Nasir Taib	The Effects of Mobile Phone Usage on Human Brainwave Using EEG.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ziad Osman	Iris Recognition Using Phase Congruency.	UKSim	2011	DBLP DOI BibTeX RDF
27	Khalid Al Mutib, Ebrahim Mattar	Neuro-fuzzy Controlled Autonomous Mobile Robotics System.	UKSim	2011	DBLP DOI BibTeX RDF
27	Uzair Ansari, Saqib Alam, Syed Minhaj un Nabi Jafri	Modeling and Control of Three Phase BLDC Motor Using PID with Genetic Algorithm.	UKSim	2011	DBLP DOI BibTeX RDF
27	Anima Majumder, Laxmidhar Behera, Venkatesh K. Subramanian	Automatic and Robust Detection of Facial Features in Frontal Face Images.	UKSim	2011	DBLP DOI BibTeX RDF
27	Lawal Bello, Panos Bakalis, Samuel J. Manam, Titus I. Eneh, Kwashie Amartei Anang	Power Control and Performance Comparison of AODV and DSR Ad Hoc Routing Protocols.	UKSim	2011	DBLP DOI BibTeX RDF
27	Rozita Jailani, Mohammad Osman Tokhi, Samad Gharooni, Mahmoud Joghtaei	Finite State Control of FES-Assisted Walking with Spring Brake Orthosis.	UKSim	2011	DBLP DOI BibTeX RDF
27	Awani N. Gaidhane, Manish Pankaj Khorgade	FPGA Implementation of Serial Peripheral Interface of FlexRay Controller.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ashwak M. Al-Abiachi, Faudziah Ahmad, Ku Ruhana	A Competitive Study of Cryptography Techniques over Block Cipher.	UKSim	2011	DBLP DOI BibTeX RDF
27	M. Saadeq Rafieee, Somayeh Jafari, Hesamoddin Shahriari Ahmadi, Masumeh Jafari	Considerations to Spoken Language Recognition for Text-to-Speech Applications.	UKSim	2011	DBLP DOI BibTeX RDF
27	Arijit Sinharay, Arpan Pal 0001, Brojeshwar Bhowmick	A Kalman Filter Based Approach to De-noise the Stereo Vision Based Pedestrian Position Estimation.	UKSim	2011	DBLP DOI BibTeX RDF
27	Esko Juuso	Intelligent Trend Indices in Detecting Changes of Operating Conditions.	UKSim	2011	DBLP DOI BibTeX RDF
27	Amin Mohammadbagheri, Mahdi Yaghoobi	A New Approach to Control a Driven Pendulum with PID Method.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ebrahim Mattar	Dexterous Robotics Hands: ANN Based Artificial Muscles Control.	UKSim	2011	DBLP DOI BibTeX RDF
27	Abolfazl Hajisami, Alireza Rahmati, Massoud Babaie-Zadeh	Watermarking Based on Independent Component Analysis in Spatial Domain.	UKSim	2011	DBLP DOI BibTeX RDF
27	Gautam A. Shah, Tejmal S. Rathore	An Analog Architecture for the Radix-4 DHT.	UKSim	2011	DBLP DOI BibTeX RDF
27	Martin J. Tunnicliffe, Mehri Hosseinpour	Visual Feature Extraction for Classification of Packet-Sequence Dispersion Signatures and Identification of Bottleneck Parameters.	UKSim	2011	DBLP DOI BibTeX RDF
27	Hiroshi Furukawa	A Learning Method to Support User's Understanding about Complex Systems Based on Functional Models: An Empirical Study on Youg and Elderly Users of Mobile Phones.	UKSim	2011	DBLP DOI BibTeX RDF
27	Kamran Rezaie, Ayyub Ansarinejad, Abdorrahman Haeri, Amin Nazari Shirkouhi, Salman Nazari Shirkouhi	Evaluating the Business Intelligence Systems Performance Criteria Using Group Fuzzy AHP Approach.	UKSim	2011	DBLP DOI BibTeX RDF
27	Mike Krey, Bettina Harriehausen, Matthias Knoll	Approach to the Classification of Information Technology Governance, Risk and Compliance Frameworks.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ana Rosselló-Busquet, José Soler, Lars Dittmann	A Novel Home Energy Management System Architecture.	UKSim	2011	DBLP DOI BibTeX RDF
27	Gregorio Romero, M. Luisa Martínez, Jesús Félez, Gillian Pearce, Neal D. Perkinson	Applicability of the GP Device to the Circle of Willis Arteries by Using a Mathematical Model.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ahmad Naebi, Farhad Khalegi, Farhood Hosseinpour, Ali Ghaleban Zanjanab, Hamed Khoshravan, Aghil Esmaeili Kelishomi, Bahram Rahmatdoustbeilankouh	A New Flowchart and Programming Technique Using Bond Graph for Mechatronic Systems.	UKSim	2011	DBLP DOI BibTeX RDF
27	Mohammed Anbar, Ahmed Manasrah	An Investigation Towards Worms Detection Approaches over Network.	UKSim	2011	DBLP DOI BibTeX RDF
27	Sakirulai O. Isiaq, Taha Osman, Evtim Peytchev	Managing Contextual Information in Semantically-Driven Temporal Information Systems.	UKSim	2011	DBLP DOI BibTeX RDF
27	Stanislav Böhm, Marek Behalek	Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications.	UKSim	2011	DBLP DOI BibTeX RDF
27	Pedro Sá Silva, António Trigo, João Varajão	Simulation Technology for Enhanced Learning: VAT Simulator for Portuguese Accounting Students.	UKSim	2011	DBLP DOI BibTeX RDF
27	Nor Hazwani Zain, Juhaizad Bin Ahmad, Yasmin Ashaari, E. Shaffie, N. K. Mustaffa	Modelling of Lateral Movement in Soft Soil Using Hardening Soil Model.	UKSim	2011	DBLP DOI BibTeX RDF
27	Philip Sallis	Keynote 1: Food for the World - GeoComputation Meeting the Challenge.	UKSim	2011	DBLP DOI BibTeX RDF
27	Salvatore F. Pileggi, Carlos Fernández-Llatas, Teresa Meneu	Evaluating Mobility Impact on Wireless Sensor Network.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ondrej Pilik	VR and Data Collection for Facility Management in SME's: Fast and Easy Way for Mapping Real Company.	UKSim	2011	DBLP DOI BibTeX RDF
27	Jia Sun, Hao Meng, Ari Paasio	Design Techniques and Considerations for a 1.2V 10bit CMOS Pipeline ADC.	UKSim	2011	DBLP DOI BibTeX RDF
27	Mahfuzah Mustafa, Mohd Nasir Taib, Zunairah Hj Murat, Norizam Sulaiman, Siti Armiza Mohd Aris	The Analysis of EEG Spectrogram Image for Brainwave Balancing Application Using ANN.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ravi Rastogi, Nitin 0001, Durg Singh Chauhan	3-Disjoint Paths Fault-tolerant Omega Multi-stage Interconnection Network with Reachable Sets and Coloring Scheme.	UKSim	2011	DBLP DOI BibTeX RDF
27	Stephan Bergemann, Eileen Kuehn, Jens Reinhardt 0001, Jürgen Sieck	Position and Context Based Information Systems in Culture and Creative Industries.	UKSim	2011	DBLP DOI BibTeX RDF
27	Mohd. Hasbullah Omar, Suhaidi Hassan, Angela Amphawan, Shahrudin Awang Nor	SVD-Based Signal Detector for Cognitive Radio Networks.	UKSim	2011	DBLP DOI BibTeX RDF
27	Siti Salwa Salleh, Noor Aznimah Abdul Aziz, Daud Mohamad, Megawati Omar	Combining Mahalanobis and Jaccard to Improve Shape Similarity Measurement in Sketch Recognition.	UKSim	2011	DBLP DOI BibTeX RDF
27	Michael T. Todinov	Minimizing the Lost Flow Due to Component Failures for Complex Repairable Flow Networks.	UKSim	2011	DBLP DOI BibTeX RDF
27	Maurizio Naldi, Antonio Pavignani, Antonio Grillo, Alessandro Lentini, Giuseppe F. Italiano	A Model for the Dynamics of Bidders in the Simulation of Keyword Auctions.	UKSim	2011	DBLP DOI BibTeX RDF
27	Victor Govindaswamy, William L. Blackstone, G. Balasekara	Survey of Recent Position Based Routing Mobile Ad-hoc Network Protocols.	UKSim	2011	DBLP DOI BibTeX RDF
27	Aya Fusano, Hiroshi Sato, Akira Namatame	Multi-Agent Based Combat Simulation from OODA and Network Perspective.	UKSim	2011	DBLP DOI BibTeX RDF
27	Kamran Rezaie, Abdorrahman Haeri, Mohsen Sadegh Amalnik, Ayyub Ansarinejad	Using Augmented DEA to Calculate Efficiency Scores of Organizational Resources.	UKSim	2011	DBLP DOI BibTeX RDF
27	María Rodríguez Villagrá, Antonio Carretero, Joaquín Maroto, Luisa Martinez Muneta	Managing Industrial Simulator Visual Databases Using Geographic Information Systems.	UKSim	2011	DBLP DOI BibTeX RDF
27	Peyman Arebi, Navid Gonbadipoor	A Genetic Algorithm for Query Optimization in Database Grid by Dynamic Cost Estimation.	UKSim	2011	DBLP DOI BibTeX RDF
27	José Alano Peres de Abreu, João Viana da Fonseca Neto, Roberto Célio Limão de Oliveira	Ballistic Rockets Tracking: Kalman versus αβγ Filters.	UKSim	2011	DBLP DOI BibTeX RDF
27	Bagher Jamali, Mohammad Ali Ghayyem, Hooshang Jazayeri-Rad, Mehdi Shahbazian	Online Implementation of Local Linear Neuro-fuzzy Technique on Partially Simulated Reaction Process.	UKSim	2011	DBLP DOI BibTeX RDF
27	Seyed Hamed Seyedi, Abolghasem Sayadiyan, Hassan Aghaeinia, Ali Daneshkhah	A Blind Image-Adaptive Data Hiding Method in Wavelet Domain with Robustness against Compression.	UKSim	2011	DBLP DOI BibTeX RDF
27	Meenakshi Gupta, Laxmidhar Behera, Venkatesh K. Subramanian	A Novel Approach of Human Motion Tracking with the Mobile Robotic Platform.	UKSim	2011	DBLP DOI BibTeX RDF
27	Eser Gemikonakli, Orhan Gemikonakli, Enver Ever, Glenford E. Mapp	Impacts of Buffering of Voice Calls in Integrated Voice and Data Services.	UKSim	2011	DBLP DOI BibTeX RDF
27	Mahdi Moshfegh, Alireza Rahmati, Abolfazl Hajisami	Optimized Decision Feedback Equalizer and Comparison with MLSE Algorithm for GSM Channel.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ahmed Ghneimat, John Mellor, Ping Jiang	Adaptive, Cluster Based, Sensor Network Routing Protocol.	UKSim	2011	DBLP DOI BibTeX RDF
27	Samad S. Kolahi, Shaneel Narayan, Du D. T. Nguyen, Yonathan Sunarto	Performance Monitoring of Various Network Traffic Generators.	UKSim	2011	DBLP DOI BibTeX RDF
27	Vasilis N. Tsoulkas, Athanasios A. Pantelous, Leonidas Dritsas, Christos Papachristos	Hybrid Satellite-Terrestrial Architecture for Control Systems Education.	UKSim	2011	DBLP DOI BibTeX RDF
27	Javier Torres, Gregorio Romero, Jesús Félez, Javier Gómez-Elvira	Analysis and 2D Simulation of a Hexapod Robot Leg for Remote Exploration.	UKSim	2011	DBLP DOI BibTeX RDF
27	Glenn L. Jenkins, Michael E. Dacey	Self-Organizing Maps for Anatomical Joint Constraint Modelling.	UKSim	2011	DBLP DOI BibTeX RDF
27	M. Asif-Ul-Hoque, Md Sabbir Ahsan, Bijoy Mohajan	Measurement of Blood Pressure Using Photoplethysmography.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ahmad Ali Tabassam, Farhan Azmat Ali, Sumit Kalsait, Muhammad Uzair Suleman	Building Software-Defined Radios in MATLAB Simulink - A Step Towards Cognitive Radios.	UKSim	2011	DBLP DOI BibTeX RDF
27	Leonidas Dritsas, Anastasios Zagorianos, Athanasios A. Pantelous, Vasilis N. Tsoulkas	Assessment of Linear Set-Point Controllers for a Direct Drive Nonlinear Pendulum.	UKSim	2011	DBLP DOI BibTeX RDF
27	Eliza Consuela Isbasoiu	Grid Architecture and Technology Applied in Physics.	UKSim	2011	DBLP DOI BibTeX RDF
27	Richard N. Zobel	Modelling of High-Level Structures and Communications Associated with Thought Processes and Related Tasks.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ana Rosselló-Busquet, Lukasz Brewka, José Soler, Lars Dittmann	OWL Ontologies and SWRL Rules Applied to Energy Management.	UKSim	2011	DBLP DOI BibTeX RDF
27	Vladimir Cech, Jiri Jevicky	The Catalogue of Stereo-Pairs Images as a Simulation Development Tool.	UKSim	2011	DBLP DOI BibTeX RDF
27	Richard J. Cant, Caroline S. Langensiepen, Jacob Purcell	Fictional Simulation, Automatic Extraction of Key Scenes from Novels.	UKSim	2011	DBLP DOI BibTeX RDF
27	Touraj Banirostam, Mehdi N. Fesharaki	Immune System Simulation with Biological Agent Based on Capra Cognitive Framework.	UKSim	2011	DBLP DOI BibTeX RDF
27	Andreas Schramm, Hermann Lanfer, Juergen Petzoldt	A Hard- and Software Co-simulation Model of a Matrix Converter.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ismail Saad, Nurmin Bolong, P. Divya, Kenneth Tze Kin Teo	Performance Design and Simulation Analysis of Vertical Double Gate MOSFET (VDGM).	UKSim	2011	DBLP DOI BibTeX RDF
27	Jerzy Tchórzewski, Emil Chyzy	Sistemic Evolutionary Algorithm for Designing the Development of the Electrical Power System.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ray Jinzhu Chen, Kevin Scott Reschke, Muchenxuan Tong	Simulation & Analysis of a Mean Response Time Upper-bound for Homogeneous Fork/Join Queues.	UKSim	2011	DBLP DOI BibTeX RDF
27	Aldona Maka, Rafal Cupek, Marcin Wierzchanowski	Agent-based Modeling for Warehouse Logistics Systems.	UKSim	2011	DBLP DOI BibTeX RDF
27	Norizam Sulaiman, Mohd Nasir Taib, Sahrim Lias, Zunairah Hj Murat, Siti Armiza Mohd Aris, Noor Hayatee Abdul Hamid	EEG-based Stress Features Using Spectral Centroids Technique and k-Nearest Neighbor Classifier.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ahmed Belkhirat, Abdelkader Belkhir, Abdelghani Bouras	A New Similarity Measure for the Profiles Management.	UKSim	2011	DBLP DOI BibTeX RDF
27	Sawsan M. Mahmoud, Mohammad Javad Akhlaghinia, Ahmad Lotfi, Caroline S. Langensiepen	Trend Modelling of Elderly Lifestyle within an Occupancy Simulator.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ashwak M. Al-Abiachi, Faudziah Ahmad, Ku Ruhana	A Conceptual Design of Novel Modern Random Key-Stream Generator for High Immunity Correlation Attack.	UKSim	2011	DBLP DOI BibTeX RDF
27	Hamza Hamza, Steve Counsell	Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption.	UKSim	2011	DBLP DOI BibTeX RDF
27	Christiensen D. C. Arandilla, Anastacia B. Alvarez, Christian Raymund K. Roque	Static Noise Margin of 6T SRAM Cell in 90-nm CMOS.	UKSim	2011	DBLP DOI BibTeX RDF
27	Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo	Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer.	UKSim	2011	DBLP DOI BibTeX RDF
27	Ravinder Bahl, Chandra Mauli Sharma, Manoj Kumar Malik	Comparative Study and Analysis of Different Types of Buffering in Go-Back-2 Network in NS2.	UKSim	2011	DBLP DOI BibTeX RDF
27	Nouman Naim Hasan, Adeel Arif, Usman Pervez, Muhammad Hassam, Syed Shabeeh Ul Husnain	Micro-controller Based On-Board Diagnostic (OBD) System for Non-OBD Vehicles.	UKSim	2011	DBLP DOI BibTeX RDF
27	Irum Kazmi, Syed Fahim Yousaf Bukhari	PeerSim: An Efficient & Scalable Testbed for Heterogeneous Cluster-based P2P Network Protocols.	UKSim	2011	DBLP DOI BibTeX RDF