Search results for "Manchester"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Christopher P. Burton	Replicating the Manchester Baby: Motives, Methods, and Messages from the Past.	IEEE Ann. Hist. Comput.	2005	DBLP DOI BibTeX RDF	Manchester University, Small-Scale Experimental Machine, Manchester Baby computer, FC Williams, T Kilburn, GC Tootill, replica computer, cathode ray tube storage, CRT memory, first stored program, Mark 1 computer, Computer Conservation Society
58	David Anderson	Patrick Blackett: Physicist, Radical, and Chief Architect of the Manchester Computing Phenomenon.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Blackett, Baby, Manchester, SSEM, Kilburn, Newman, Williams
58	Yee-Loo Foo, Hiroyuki Morikawa	On the Use of Manchester Violation Test in Detecting Collision.	ICOIN	2007	DBLP DOI BibTeX RDF	Wireless radio, service/device discovery, concurrent transmissions, collision detection and resolution, Manchester coding and violation, capture effect
58	A. P. Wim Böhm, John R. Gurd	Iterative Instructions in the Manchester Dataflow Computer.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Manchester Dataflow Computer, iterative instructions, program execution times, function unit array, hardware speedup curves, fine-grain instructions, parallel programming, parallel architectures, iterative methods, parallel machines, tokens, instruction sets, instruction sets, hardware configuration
49	John R. Gurd, David F. Snelling	Manchester data-flow: a progress report.	ICS	1992	DBLP DOI BibTeX RDF
43	Lalit M. Patnaik, R. Govindarajan, N. S. Ramadoss	Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	Computer graphics algorithms, Manchester data: flow computer, performance evaluation, discrete event simulation, data flow computers
39	Jitendra Nath Roy, Jayanta Kumar Rakshit	Manchester code generation scheme using micro-ring resonator based all optical switch.	CSNDSP	2014	DBLP DOI BibTeX RDF
39	Tobias Olsson	Book Reviews: Mark J. Lacy and Peter Wilkin (edS), GlObal POliticS in the InfOrmatiOn Age. MancheSter: MancheSter UniverSity PreSS, 2005. x+208pp. ISBN 0 - 7190 - 6794 - 4, £55 (hbk).	New Media Soc.	2007	DBLP DOI BibTeX RDF
39	Dave Carter	Turning The Digital Divide Into a Digital Dividend - Some Experiences from Manchester, UK.	Organizational Dynamics of Technology-Based Innovation	2007	DBLP DOI BibTeX RDF
39	Sheila Anderson	Evan Mawdsley and Thomas Munck, Computing for Historians: an Introductory Guide. Manchester University Press, Manchester, 1993. xvi + 231 pp. ISBN 0- 7190-3548-1 (pb). £10.99 (pb).	Hist. Comput.	1995	DBLP DOI BibTeX RDF
39	Kenneth J. Gilhooly	Artificial intelligence and cognitive sciences by J Demongeot, T Herve, V Rialle and C Roche (eds.), Manchester University Press, Manchester, 1988, pp 407, £39.50.	Knowl. Eng. Rev.	1991	DBLP DOI BibTeX RDF
39	Harold L. Somers, Mary McGee Wood (eds.)	EACL 1989, 4th Conference of the European Chapter of the Association for Computational Linguistics, April 10-12, 1989, University of Manchester, Institute of Science and Technology, Manchester, England	EACL	1989	DBLP BibTeX RDF
39	Patrick Saint-Dizier	Programming in Logic with Constraints for Natural Language Processing.	EACL	1989	DBLP BibTeX RDF
39	Steve Whittaker 0001, Phil Stenton	User studies and the design of Natural Language Systems.	EACL	1989	DBLP BibTeX RDF
39	Marc Moens, Jonathan Calder, Ewan Klein, Mike Reape, Henk Zeevat	Expressing generalizations in unification-based grammar formalisms.	EACL	1989	DBLP BibTeX RDF
39	Masako Kume, Gayle K. Sato, Kei Yoshimoto	A Descriptive Framework for Translating Speaker's Meaning.	EACL	1989	DBLP BibTeX RDF
39	Erik-Jan van der Linden	Lambek Theorem Proving And Feature Unification.	EACL	1989	DBLP BibTeX RDF
39	Michael Gerlach, Helmut Horacek	Dialog Control in a Natural Language System.	EACL	1989	DBLP BibTeX RDF
39	Nils Dahlbäck, Arne Jönsson	Empirical Studies Of Discourse Representations For Natural Language Interfaces.	EACL	1989	DBLP BibTeX RDF
39	Gertjan van Noord, Joke Dorrepaal, Doug Arnold, Steven Krauwer, Louisa Sadler, Louis des Tombe	An Approach To Sentence-Level Anaphora In Machine Translation.	EACL	1989	DBLP BibTeX RDF
39	C. J. Rupp	Situation Semantics And Machine Translation.	EACL	1989	DBLP BibTeX RDF
39	Mark Hepple, Glyn Morrill	Parsing And Derivational Equivalence.	EACL	1989	DBLP BibTeX RDF
39	Mats Wirén	Interactive Incremental Chart Parsing.	EACL	1989	DBLP BibTeX RDF
39	Joan L. G. Baart	Focus And Accent In A Dutch Text-To-Speech System.	EACL	1989	DBLP BibTeX RDF
39	Roger Evans, Gerald Gazdar	Inference in DATR.	EACL	1989	DBLP BibTeX RDF
39	Carola Eschenbach, Christopher Habel, Michael Herweg, Klaus Rehkämper	Remarks On Plural Anaphora.	EACL	1989	DBLP BibTeX RDF
39	Cléo Jullien, Jean-Charles Marty	Plan Revision In Person-Machine Dialogue.	EACL	1989	DBLP BibTeX RDF
39	Jan Odijk	The Organization Of The Rosetta Grammars.	EACL	1989	DBLP BibTeX RDF
39	Kurt Eberle, Walter Kasper	Tenses As Anaphora.	EACL	1989	DBLP BibTeX RDF
39	Graeme D. Ritchie	On The Generative Power Of Two-Level Morphological Rules.	EACL	1989	DBLP BibTeX RDF
39	Yusoff Zaharin	On Formalisms And Analysis, Generation And Synthesis In Machine Translation.	EACL	1989	DBLP BibTeX RDF
39	Lyn Pemberton	A Modular Approach To Story Generation.	EACL	1989	DBLP BibTeX RDF
39	Rod L. Johnson, Mike Rosner	A rich environment for experimentation with unification grammars.	EACL	1989	DBLP BibTeX RDF
39	Jürgen Kunze	A Formal Representation Of Propositions And Temporal Adverbials.	EACL	1989	DBLP BibTeX RDF
39	David M. Carter	Lexical Acquisition In The Core Language Engine.	EACL	1989	DBLP BibTeX RDF
39	Mark T. Maybury	Enhancing Explanation Coherence With Rhetorical Strategies.	EACL	1989	DBLP BibTeX RDF
39	Gabriel G. Bès, Claire Gardent	French Order Without Order.	EACL	1989	DBLP BibTeX RDF
39	Ronald M. Kaplan, Klaus Netter, Jürgen Wedekind, Annie Zaenen	Translation By Structural Correspondences.	EACL	1989	DBLP BibTeX RDF
39	Anne Abeillé, Yves Schabes	Parsing Idioms in Lexicalized TAGs.	EACL	1989	DBLP BibTeX RDF
39	Jonathan Calder	Paradigmatic Morphology.	EACL	1989	DBLP BibTeX RDF
39	Allan Ramsay	Extended Graph Unification.	EACL	1989	DBLP BibTeX RDF
39	John A. Bateman, Robert T. Kasper, Jörg Schütz, Erich H. Steiner	A New View On The Process Of Translation.	EACL	1989	DBLP BibTeX RDF
39	Hiroaki Kitano, Hideto Tomabechi, Lori S. Levin	Ambiguity Resolution in the DMTRANS PLUS.	EACL	1989	DBLP BibTeX RDF
39	Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai	JPSG Parser on Constraint Logic Programming.	EACL	1989	DBLP BibTeX RDF
39	Lance A. Ramshaw	A Metaplan Model For Problem-Solving Discourse.	EACL	1989	DBLP BibTeX RDF
39	Mike Reape	A logical treatment of semi-free word order and bounded discontinuous constituency.	EACL	1989	DBLP BibTeX RDF
39	Dan Tufis	It Would Be Much Easier If WENT Were GOED.	EACL	1989	DBLP BibTeX RDF
39	Ulrich Heid, Sybille Raab	Collocations in Multilingual Generation.	EACL	1989	DBLP BibTeX RDF
39	Lita Taylor, Claire Grover, Ted Briscoe	The Syntactic Regularity Of English Noun Phrases.	EACL	1989	DBLP BibTeX RDF
39	Fiammetta Namer	Subject Erasing And Pronominalization In Italian Text Generation.	EACL	1989	DBLP BibTeX RDF
39	Gosse Bouma	Efficient Processing Of Flexible Categorial Grammar.	EACL	1989	DBLP BibTeX RDF
39	Jan Tore Lønning	Computational Semantics Of Mass Terms.	EACL	1989	DBLP BibTeX RDF
39	Danilo Fum, Paolo Giangrandi, Carlo Tasso	Tense Generation In An Intelligent Tutor For Foreign Language Teaching: Some Issues In The Design Of The Verb Expert.	EACL	1989	DBLP BibTeX RDF
39	Jonathan Calder, Mike Reape, Henk Zeevat	An Algorithm For Generation In Unification Categorial Grammar.	EACL	1989	DBLP BibTeX RDF
38	David Anderson 0001, Janet Delve	Biographies.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Patrick Blackett, Tom Kilburn, Manchester Baby, Max Newman, SSEM, Frederic Calland Williams, Jacquard, perforated-cylinder, Babbage, punched-card, Vaucanson, automata, android
38	David Anderson	Max Newman: Topologist, Codebreaker, and Pioneer of Computing.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Newman, Baby, Manchester, SSEM, Kilburn, Williams, Blackett
38	Huansheng Ning, Yu Cong, Zhi-Qiang Xu, Tao Hong 0004, Jingcheng Zhao, Yan Zhang 0002	Performance Evaluation of RFID Anti-Collision Algorithm with FPGA Implementation.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF	anti-collision algorithm, Manchester coder/decoder, FPGA, RFID
38	Hans Lindkvist, Per Andersson	Dynamic CMOS circuit techniques for delay and power reduction in parallel adders .	ARVLSI	1995	DBLP DOI BibTeX RDF	dynamic CMOS circuit techniques, delay reduction, parallel adders, high-speed adders, Manchester-carry chains, clock/data precharged dynamic logic blocks, carry calculation trees, parallel processing, VLSI, delays, logic design, digital arithmetic, power consumption, adders, CMOS logic circuits, power reduction, carry logic
34	Baomin Qi, William McGilligan	An Investigation into E-Commerce Adoption Profile for Small and Medium-Sized Enterprises in Bury, Greater Manchester, UK.	EC-Web	2007	DBLP DOI BibTeX RDF	e-adoption for SMEs, regional business in the UK, E-commerce
34	Michele Angelaccio, Andrea D'Ambrogio, Berta Buttarazzi	COPS - Collaborative Peer-to-Peer Information Systems Workshop Report.	WETICE	2006	DBLP DOI BibTeX RDF
34	Alois Ferscha, Clemens Holzmann, Michael H. Leitner	WETICE 2006 TICE Workshop -- Final Report.	WETICE	2006	DBLP DOI BibTeX RDF
34	Hwang-Cherng Chow, I-Chyn Wey	A 3.3 V 1 GHz low-latency pipelined Booth multiplier with new Manchester carry-pass adder.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
34	Henrik Eriksson, Per Larsson-Edefors, Atila Alvandpour	A 2.8 ns 30 uW/MHz area-efficient 32-b Manchester carry-bypass adder.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
34	Ramón Beivide, Chris R. Jesshope, Antonio Robles, Cruz Izu	Topic 12: Routing and Communication in Interconnection Networks.	Euro-Par	2001	DBLP DOI BibTeX RDF
34	Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle	Topic 04: Compilers for High Performance.	Euro-Par	2001	DBLP DOI BibTeX RDF
34	Mark Baker, John Brooke, Kenneth A. Hawick, Rajkumar Buyya	Topic 16: Cluster Computing.	Euro-Par	2001	DBLP DOI BibTeX RDF
34	Harald Kosch, Pedro R. Falcone Sampaio, Abdelkader Hameurlain, Lionel Brunie	Topic 05: Parallel and Distributed Databases, Data Mining and Knowledge Discovery.	Euro-Par	2001	DBLP DOI BibTeX RDF
34	Roland N. Ibbett	The University of Manchester MU5 Project.	IEEE Ann. Hist. Comput.	1999	DBLP DOI BibTeX RDF
34	Yasuhiro Inagami, John F. Foley	The specification of a new Manchester Dataflow machine.	ICS	1989	DBLP DOI BibTeX RDF
30	I-Chyn Wey, You-Gang Chen, An-Yeu Wu	Design and Analysis of Isolated Noise-Tolerant (INT) Technique in Dynamic CMOS Circuits.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
30	Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt	On Implementing Logic Programming Languages on a Dataflow Architecture.	ESOP	1988	DBLP DOI BibTeX RDF
25	Bowen Yi, Lei Wang 0059, Ian R. Manchester	Attitude Estimation From Vector Measurements: Necessary and Sufficient Conditions and Convergent Observer Design.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
25	Max Revay, Ruigang Wang, Ian R. Manchester	Recurrent Equilibrium Networks: Flexible Dynamic Models With Guaranteed Stability and Robustness.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
25	Simon Le Cleac'h, Taylor A. Howell, Shuo Yang, Chi-Yen Lee, John Z. Zhang, Arun L. Bishop, Mac Schwager, Zachary Manchester	Fast Contact-Implicit Model Predictive Control.	IEEE Trans. Robotics	2024	DBLP DOI BibTeX RDF
25	Dongjun Wu, Bowen Yi, Ian R. Manchester	Control contraction metrics on Lie groups.	CoRR	2024	DBLP DOI BibTeX RDF
25	Fletcher Fan, Bowen Yi, David C. Rye, Guodong Shi, Ian R. Manchester	Learning Stable Koopman Embeddings for Identification and Control.	CoRR	2024	DBLP DOI BibTeX RDF
25	Ruigang Wang, Krishnamurthy Dvijotham, Ian R. Manchester	Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks.	CoRR	2024	DBLP DOI BibTeX RDF
25	Sam Schoedel, Khai Nguyen, Elakhya Nedumaran, Brian Plancher, Zachary Manchester	Code Generation for Conic Model-Predictive Control on Microcontrollers with TinyMPC.	CoRR	2024	DBLP DOI BibTeX RDF
25	Ruigang Wang, Nicholas Barbara, Max Revay, Ian R. Manchester	Learning Over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
25	Simon Le Cleac'h, Mac Schwager, Zachary Manchester, Vikas Sindhwani, Pete Florence, Sumeet Singh	Single-Level Differentiable Contact Simulation.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
25	John Z. Zhang, Shuo Yang, Gengshan Yang, Arun L. Bishop, Swaminathan Gurumurthy, Deva Ramanan, Zachary Manchester	SLoMo: A General System for Legged Robot Motion Imitation From Casual Videos.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
25	Simon Le Cleac'h, Hong-Xing Yu, Michelle Guo, Taylor A. Howell, Ruohan Gao, Jiajun Wu 0001, Zachary Manchester, Mac Schwager	Differentiable Physics Simulation of Dynamics-Augmented Neural Objects.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
25	Lei Wang, Ian R. Manchester, Jochen Trumpf, Guodong Shi	Differential initial-value privacy and observability of linear dynamical systems.	Autom.	2023	DBLP DOI BibTeX RDF
25	Zac Manchester, Avi Loeb	Space: The Ultimate Computational Edge.	IEEE Pervasive Comput.	2023	DBLP DOI BibTeX RDF
25	Ruigang Wang, Ian R. Manchester	Direct Parameterization of Lipschitz-Bounded Deep Networks.	CoRR	2023	DBLP DOI BibTeX RDF
25	Jeong Hun Lee, Mike Yan Michelis, Robert K. Katzschmann, Zachary Manchester	Aquarium: A Fully Differentiable Fluid-Structure Interaction Solver for Robotics Applications.	CoRR	2023	DBLP DOI BibTeX RDF
25	Jan Brüdigam, Stefan Sosnowski, Zachary Manchester, Sandra Hirche	Variational Integrators and Graph-Based Solvers for Multibody Dynamics in Maximal Coordinates.	CoRR	2023	DBLP DOI BibTeX RDF
25	Daniele Martinelli, Clara Lucía Galimberti, Ian R. Manchester, Luca Furieri, Giancarlo Ferrari-Trecate	Unconstrained Parametrization of Dissipative and Contracting Neural Ordinary Differential Equations.	CoRR	2023	DBLP DOI BibTeX RDF
25	Bowen Yi, Ian R. Manchester	On IMU preintegration: A nonlinear observer viewpoint and its application.	CoRR	2023	DBLP DOI BibTeX RDF
25	Anoushka Alavilli, Khai Nguyen, Sam Schoedel, Brian Plancher, Zachary Manchester	TinyMPC: Model-Predictive Control on Resource-Constrained Microcontrollers.	CoRR	2023	DBLP DOI BibTeX RDF
25	John Z. Zhang, Shuo Yang, Gengshan Yang, Arun L. Bishop, Deva Ramanan, Zachary Manchester	SLoMo: A General System for Legged Robot Motion Imitation from Casual Videos.	CoRR	2023	DBLP DOI BibTeX RDF
25	Kevin Tracy, Zachary Manchester, Ajinkya Jain, Keegan Go, Stefan Schaal, Tom Erez, Yuval Tassa	Efficient Online Learning of Contact Force Models for Connector Insertion.	CoRR	2023	DBLP DOI BibTeX RDF
25	Gustavo Candela, Nele Gabriëls, Sally Chambers, Thuy-An Pham, Sarah Ames, Neil Fitzgerald, Katrine Hofmann, Victor Harbo, Abigail Potter, Meghan Ferriter, Eileen Manchester, Alba Irollo, Ellen Van Keer, Mahendra Mahey, Olga Holownia, Milena Dobreva	A Checklist to Publish Collections as Data in GLAM Institutions.	CoRR	2023	DBLP DOI BibTeX RDF
25	Bowen Yi, Chi Jin, Lei Wang, Guodong Shi, Viorela Ila, Ian R. Manchester	PEBO-SLAM: Observer design for visual inertial SLAM with convergence guarantees.	CoRR	2023	DBLP DOI BibTeX RDF
25	Arun L. Bishop, John Z. Zhang, Swaminathan Gurumurthy, Kevin Tracy, Zachary Manchester	ReLU-QP: A GPU-Accelerated Quadratic Programming Solver for Model-Predictive Control.	CoRR	2023	DBLP DOI BibTeX RDF
25	Vera L. J. Somers, Ian R. Manchester	Sparse Resource Allocation for Spreading Processes on Temporal-Switching Networks.	CoRR	2023	DBLP DOI BibTeX RDF
25	Giusy Falcone, Jacob B. Willis, Zachary Manchester	Propulsion-Free Cross-Track Control of a LEO Small-Satellite Constellation with Differential Drag.	CoRR	2023	DBLP DOI BibTeX RDF
25	Nicholas H. Barbara, Ruigang Wang, Ian R. Manchester	Learning Over All Contracting and Lipschitz Closed-Loops for Partially-Observed Nonlinear Systems.	CoRR	2023	DBLP DOI BibTeX RDF
25	Nicholas H. Barbara, Max Revay, Ruigang Wang, Jing Cheng, Ian R. Manchester	RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness.	CoRR	2023	DBLP DOI BibTeX RDF
25	Mohamad Qadri, Zachary Manchester, Michael Kaess	Learning Covariances for Estimation with Constrained Bilevel Optimization.	CoRR	2023	DBLP DOI BibTeX RDF