Search results for "Otter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
188	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
89	Simon Colton, Sophie Huczynska	The Homer System.	CADE	2003	DBLP DOI BibTeX RDF
53	Swaha Miller, David A. Plaisted	The Space Efficiency of OSHL.	TABLEAUX	2005	DBLP DOI BibTeX RDF
53	William McCune, Olga Shumsky	System Description: IVY.	CADE	2000	DBLP DOI BibTeX RDF
45	Christophe Bourely, Ricardo Caferra, Nicolas Peltier	A Method for Building Models Automatically. Experiments with an Extension of OTTER.	CADE	1994	DBLP DOI BibTeX RDF
36	Simon Colton	The HR Program for Theorem Generation.	CADE	2002	DBLP DOI BibTeX RDF
36	Simon Colton	Making Conjectures about Maple Functions.	AISC	2002	DBLP DOI BibTeX RDF
36	Larry Wos	Appendix: Conjectures Concerning Proof, Design, and Verification.	TPHOLs	2000	DBLP DOI BibTeX RDF
36	Maria Paola Bonacina, Jieh Hsiang	Distributed Deduction by Clause-Diffusion: The Aquarius Prover.	DISCO	1993	DBLP DOI BibTeX RDF
36	William McCune, Larry Wos	Experiments in Automated Deduction with Condensed Detachment.	CADE	1992	DBLP DOI BibTeX RDF
29	Bradley Potteiger, Tom Dignan, Amber Mills, Ed Pavelka, Caleb P. Frey, Ben Nathan, Milki Dagne, Violet Garibaldi, Ben Otter	Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous Vehicles.	ICAA	2023	DBLP DOI BibTeX RDF
29	Ross D. Williams, Sicco den Otter, Jenna Marie Reps, Peter R. Rijnbeek	The DELPHI Library: Improving Model Validation, Transparency and Dissemination Through a Centralised Library of Prediction Models.	MIE	2023	DBLP DOI BibTeX RDF
29	Tobias Zeimetz, Maurice Büsching, Fabian Birringer, Christoph Otter, Daniel Zeiler, Ralf Schenkel	Evaluation toolkit for API and RDF alignment.	OM@ISWC	2023	DBLP BibTeX RDF
29	Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis	Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.	Requir. Eng.	2022	DBLP DOI BibTeX RDF
29	Thijs Otter	DooML: A new Database & Object-Oriented Modeling Language for database-driven web application design and development.	CoRR	2022	DBLP DOI BibTeX RDF
29	Renata Turkes, Guido Montúfar, Nina Otter	On the effectiveness of persistent homology.	CoRR	2022	DBLP DOI BibTeX RDF
29	Antonios Georgiadis, Varun Babbar, Fran Silavong, Sean J. Moran, Robert Otter	ST-FL: Style Transfer Preprocessing in Federated Learning for COVID-19 Segmentation.	CoRR	2022	DBLP DOI BibTeX RDF
29	S. B. Swart, A. R. den Otter, C. J. C. Lamoth	Singular Spectrum Analysis as a data-driven approach to the analysis of motor adaptation time series.	Biomed. Signal Process. Control.	2022	DBLP DOI BibTeX RDF
29	Calogero Brancatelli, Adrian Fritzsche, Roman Inderst, Thomas Otter	Measuring Income and Wealth Effects on Private-Label Demand with Matched Administrative Data.	Mark. Sci.	2022	DBLP DOI BibTeX RDF
29	Jos Goudsmit, Ruby T. A. Otter, Inge Stoter, Berry van Holland, Stephan van der Zwaard, Johan de Jong, Steven Vos	Co-Operative Design of a Coach Dashboard for Training Monitoring and Feedback.	Sensors	2022	DBLP DOI BibTeX RDF
29	Renata Turkes, Guido F. Montúfar, Nina Otter	On the Effectiveness of Persistent Homology.	NeurIPS	2022	DBLP BibTeX RDF
29	Fran Silavong, Sean J. Moran, Antonios Georgiadis, Rohan Saphal, Robert Otter	Senatus - A Fast and Accurate Code-to-Code Recommendation Engine.	MSR	2022	DBLP DOI BibTeX RDF
29	Cristian Bodnar, Fabrizio Frasca, Nina Otter, Yu Guang Wang 0001, Pietro Liò, Guido Montúfar, Michael M. Bronstein	Weisfeiler and Lehman Go Cellular: CW Networks.	CoRR	2021	DBLP BibTeX RDF
29	Cristian Bodnar, Fabrizio Frasca, Yu Guang Wang 0001, Nina Otter, Guido Montúfar, Pietro Liò, Michael M. Bronstein	Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks.	CoRR	2021	DBLP BibTeX RDF
29	Fran Silavong, Sean J. Moran, Antonios Georgiadis, Rohan Saphal, Robert Otter	DeSkew-LSH based Code-to-Code Recommendation Engine.	CoRR	2021	DBLP BibTeX RDF
29	Daniel W. Otter, Julian R. Medina, Jugal K. Kalita	A Survey of the Usages of Deep Learning for Natural Language Processing.	IEEE Trans. Neural Networks Learn. Syst.	2021	DBLP DOI BibTeX RDF
29	Cristian Bodnar, Fabrizio Frasca, Nina Otter, Yuguang Wang 0001, Pietro Liò, Guido F. Montúfar, Michael M. Bronstein	Weisfeiler and Lehman Go Cellular: CW Networks.	NeurIPS	2021	DBLP BibTeX RDF
29	Cristian Bodnar, Fabrizio Frasca, Yuguang Wang 0001, Nina Otter, Guido F. Montúfar, Pietro Lió, Michael M. Bronstein	Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks.	ICML	2021	DBLP BibTeX RDF
29	Thomas Weinhart, Luca Orefice, Mitchel Post, Marnix P. van Schrojenstein Lantman, Irana F. C. Denissen, Deepak R. Tunuguntla, Jonathan Tsang, Hongyang Cheng, Mohamad Yousef Shaheen, Hao Shi, Paolo Rapino, Elena Grannonio, Nunzio Losacco, Joao Barbosa, Lu Jing, Juan E. Alvarez Naranjo, Sudeshna Roy 0002, Wouter K. den Otter, Anthony R. Thornton	Fast, flexible particle simulations - An introduction to MercuryDPM.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
29	Guido Montúfar, Nina Otter, Yuguang Wang 0001	Can neural networks learn persistent homology features?	CoRR	2020	DBLP BibTeX RDF
29	Nina Otter, Mason A. Porter	A unified framework for equivalences in social networks.	CoRR	2020	DBLP BibTeX RDF
29	Tetyana Kosyakova, Thomas Otter, Sanjog Misra, Christian Neuerburg	Exact MCMC for Choices from Menus - Measuring Substitution and Complementarity Among Menu Items.	Mark. Sci.	2020	DBLP DOI BibTeX RDF
29	Oliver Hinz, Thomas Otter, Bernd Skiera	Estimating Network Effects in Two-Sided Markets.	J. Manag. Inf. Syst.	2020	DBLP DOI BibTeX RDF
29	Jonathan Brembeck, Johann Bals, Daniel Baumgartner, Tobias Bellmann, Caspar Bieri, Tilman Bünte, Jonas Mirwald, Andreas Pfeiffer, Ricardo Pinto de Castro, Martin Otter, Julian Ruggaber, Christina Schreppel, Jakub Tobolár, Johannes Ultsch, Christoph Winter	Recent Research on Automotive Control at DLR Institute of System Dynamics and Control - An Overview.	MED	2020	DBLP DOI BibTeX RDF
29	Agnieszka Lemanska, Sara Faithfull, Harshana Liyanage, Sophie Otter, Marina Romanchikova, Julian Sherlock, Nadia A. S. Smith, Spencer Angus Thomas, Simon de Lusignan	Primary Care Prostate Cancer Case Ascertainment.	MIE	2020	DBLP DOI BibTeX RDF
29	Jingye Sun, Attique Dawood, William J. Otter, Nick M. Ridler, Stepan Lucyszyn	Microwave Characterization of Low-Loss FDM 3-D Printed ABS With Dielectric-Filled Metal-Pipe Rectangular Waveguide Spectroscopy.	IEEE Access	2019	DBLP DOI BibTeX RDF
29	Bahaa Al-Juboori, Jiafeng Zhou, Yi Huang 0001, Muaad Naser Hussein, Ahmed Al-Tahmeesschi, William J. Otter, Dirk Klugmann, Stepan Lucyszyn	Lightweight and Low-Loss 3-D Printed Millimeter-Wave Bandpass Filter Based on Gap-Waveguide.	IEEE Access	2019	DBLP DOI BibTeX RDF
29	Sang-Hee Shin, Diyar F. Alyasiri, Mario D'Auria, William J. Otter, Connor W. Myant, Daniel Stokes, Zhengrong Tian, Nick M. Ridler, Stepan Lucyszyn	Polymer-Based 3-D Printed Ku-Band Steerable Phased-Array Antenna Subsystem.	IEEE Access	2019	DBLP DOI BibTeX RDF
29	Heather A. Harrington, Nina Otter, Hal Schenck, Ulrike Tillmann	Stratifying Multiparameter Persistent Homology.	SIAM J. Appl. Algebra Geom.	2019	DBLP DOI BibTeX RDF
29	Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet	Multi-Mode DAE Models - Challenges, Theory and Implementation.	Computing and Software Science	2019	DBLP DOI BibTeX RDF
29	Andrea Neumayr, Martin Otter	Collision handling with elastic response calculation and zero-crossing functions.	EOOLT	2019	DBLP DOI BibTeX RDF
29	Christof Weinhardt, Esther Mengelkamp, Wilhelm Cramer, Sarah Hambridge, Alexander Hobert, Enrique Kremers, Wolfgang Otter, Pierre Pinson, Verena Tiefenbeck, Michel Zade	How far along are Local Energy Markets in the DACH+ Region?: A Comparative Market Engineering Approach.	e-Energy	2019	DBLP DOI BibTeX RDF
29	Florian M. Schönleitner, Lukas Otter, Stefan K. Ehrlich, Gordon Cheng	A comparative study on adaptive subject-independent classification models for zero-calibration error-potential decoding.	CBS	2019	DBLP DOI BibTeX RDF
29	Andrea Neumayr, Martin Otter	Algorithms for Component-Based 3D Modeling.	Modelica	2019	DBLP DOI BibTeX RDF
29	Martin Otter, Hilding Elmqvist, Dirk Zimmer, Christopher R. Laughman	Thermodynamic Property and Fluid Modeling with Modern Programming Language Construct.	Modelica	2019	DBLP DOI BibTeX RDF
29	Daniel W. Otter, Julian R. Medina, Jugal K. Kalita	A Survey of the Usages of Deep Learning in Natural Language Processing.	CoRR	2018	DBLP BibTeX RDF
29	William J. Otter, Stepan Lucyszyn	Hybrid 3-D-Printing Technology for Tunable THz Applications.	Proc. IEEE	2017	DBLP DOI BibTeX RDF
29	Nina Otter, Mason A. Porter, Ulrike Tillmann, Peter Grindrod, Heather A. Harrington	A roadmap for the computation of persistent homology.	EPJ Data Sci.	2017	DBLP DOI BibTeX RDF
29	Dirk Landmann, Carl Johan Lagerkvist, Verena Otter	Determinants of Smallholder Farmers' Intention to Use Smartphones - Evidence from Rural India.	GIL Jahrestagung	2017	DBLP BibTeX RDF
29	Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet	Structural Analysis of Multi-Mode DAE Systems.	HSCC	2017	DBLP DOI BibTeX RDF
29	Andrea Neumayr, Martin Otter	Collision handling with variable-step integrators.	EOOLT	2017	DBLP DOI BibTeX RDF
29	Rüdiger Franke, Sven Erik Mattsson, Martin Otter, Karl Wernersson, Hans Olsson, Lennart Ochel, Torsten Blochwitz	Discrete-time models for control applications with FMI.	Modelica	2017	DBLP DOI BibTeX RDF
29	Hans Olsson, Sven Erik Mattsson, Martin Otter, Andreas Pfeiffer, Christoff Bürger, Dan Henriksson	Model-based Embedded Control using Rosenbrock Integration Methods.	Modelica	2017	DBLP DOI BibTeX RDF
29	Hilding Elmqvist, Toivo Henningsson, Martin Otter	Innovations for Future Modelica.	Modelica	2017	DBLP DOI BibTeX RDF
29	Martin Otter, Hilding Elmqvist	Transformation of Differential Algebraic Array Equations to Index One Form.	Modelica	2017	DBLP DOI BibTeX RDF
29	Hilding Elmqvist, Toivo Henningsson, Martin Otter	Systems Modeling and Programming in a Unified Environment Based on Julia.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
29	Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson	On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.	ISSE	2016	DBLP DOI BibTeX RDF
29	Martin Otter	Multi-domain Modeling and Simulation.	Encyclopedia of Systems and Control	2015	DBLP DOI BibTeX RDF
29	Nina Otter, Mason A. Porter, Ulrike Tillmann, Peter Grindrod, Heather A. Harrington	A roadmap for the computation of persistent homology.	CoRR	2015	DBLP BibTeX RDF
29	Jürgen Fleischer, M. Otter, F. Beuke	Method to compensate production related deviations for the assembly of space-frame-structures.	Prod. Eng.	2014	DBLP DOI BibTeX RDF
29	Verena Otter, Ludwig Theuvsen	ICT and farm productivity: Evidence from the Chilean agricultural export sector. (PDF / PS)	GIL Jahrestagung	2014	DBLP BibTeX RDF
29	Ryan R. Otter, Scott J. Seipel, Tim Graeff, Becky Alexander, Carol Boraiko, Joey Gray, Karen Petersen, Kim Sadler	Comparing student and faculty perceptions of online and traditional courses.	Internet High. Educ.	2013	DBLP DOI BibTeX RDF
29	Michael Sielemann, Francesco Casella, Martin Otter	Robustness of declarative modeling languages: Improvements via probability-one homotopy.	Simul. Model. Pract. Theory	2013	DBLP DOI BibTeX RDF
29	Joachim Büschken, Thomas Otter, Greg M. Allenby	The Dimensionality of Customer Satisfaction Survey Responses and Implications for Driver Analysis.	Mark. Sci.	2013	DBLP DOI BibTeX RDF
29	Stephan Wachtel, Thomas Otter	Successive Sample Selection and Its Relevance for Management Decisions.	Mark. Sci.	2013	DBLP DOI BibTeX RDF
29	Henk Jan Pels, Jeroen van Beek, Ad den Otter	Systems Engineering as a First Step to Effective Use of BIM.	PLM	2013	DBLP DOI BibTeX RDF
29	Verena Otter, Ludwig Theuvsen	The Use of Mobile phones for the Exchange of Information in the Chilean Agribusiness.	GI-Jahrestagung	2013	DBLP BibTeX RDF
29	Jan P. A. M. Jacobs, Pieter W. Otter, Ard H. J. den Reijer	Information, data dimension and factor structure.	J. Multivar. Anal.	2012	DBLP DOI BibTeX RDF
29	Johan de Vries, Ruud Hoogeveen, Robert H. M. Voors, Quintus Kleipool, J. Pepijn Veefkind, Ilse Aben, Ralph Snel, Nick van der Valk, Huib Visser, Gerard Otter	Technology evolution of the TROPOMI instrument.	IGARSS	2012	DBLP DOI BibTeX RDF
29	Thomas Otter, Timothy J. Gilbride, Greg M. Allenby	Testing Models of Strategic Behavior Characterized by Conditional Likelihoods.	Mark. Sci.	2011	DBLP DOI BibTeX RDF
29	Tobias Bellmann, Martin Otter, Gerd Hirzinger	The DLR Robot Motion Simulator Part II: Optimization based path-planning.	ICRA	2011	DBLP DOI BibTeX RDF
29	Carsten Orwat, Oliver Raabe, Erik Buchmann, Arun Anandasivam, Johann Christoph Freytag, Natali Helberger, Kei Ishii, Bernd Lutterbeck, Dirk Neumann 0001, Thomas Otter	Software als Institution und ihre Gestaltbarkeit.	Inform. Spektrum	2010	DBLP DOI BibTeX RDF
29	Marcel Fölsch, Susanne Otter-Nacke	Mehr Präzision bei der Grunddüngung.	GIL Jahrestagung	2010	DBLP BibTeX RDF
29	Tim Andersen, Richard Newman, Tim Otter	Shape Homeostasis in Virtual Embryos.	Artif. Life	2009	DBLP DOI BibTeX RDF
29	Martin Otter, Sven Erik Mattsson, Hilding Elmqvist	Multidomain Modeling with Modelica.	Handbook of Dynamic System Modeling	2007	DBLP DOI BibTeX RDF
29	Thomas Otter	Data protection law: The Cinderella of the software industry?	Comput. Law Secur. Rev.	2007	DBLP DOI BibTeX RDF
29	Clare Narrod, Joachim Otter, Dirk Pfeiffer	Using Risk Analysis to Capture the Spatial Spread of Avian Influenza, Evaluating the Cost-Effectiveness of Alternative Control Strategies, and Assessing the Impact on the Poor.	EnviroInfo (2)	2007	DBLP BibTeX RDF
29	M. Zunckel, A. Koosailee, Gregory Yarwood, G. Maure, K. Venjonoka, A. M. van Tienhoven, L. Otter	Modelled surface ozone over southern Africa during the Cross Border Air Pollution Impact Assessment Project.	Environ. Model. Softw.	2006	DBLP DOI BibTeX RDF
29	Tim Andersen, Richard Newman, Tim Otter	Development of Virtual Embryos with Emergent Self-Repair.	AAAI Fall Symposium: Developmental Systems	2006	DBLP BibTeX RDF
29	Gerd Hirzinger, Johann Bals, Martin Otter, Johannes Stelter	The DLR-KUKA success story: robotics research improves industrial robots.	IEEE Robotics Autom. Mag.	2005	DBLP DOI BibTeX RDF
29	Tim Otter	Genotype, phenotype and ontogeny.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	ontogeny, genotype, phenotype
29	Henriëtte S. Otter, Anne van der Veen, Huib J. de Vriend	ABLOoM: Location Behaviour, Spatial Patterns, and Agent-based Modelling.	J. Artif. Soc. Soc. Simul.	2001	DBLP BibTeX RDF
29	Michael Thümmel, Martin Otter, Johann Bals	Control of robots with elastic joints based on automatic generation of inverse dynamics models.	IROS	2001	DBLP DOI BibTeX RDF
29	Robert Höpler, Martin Otter	A versatile C++ toolbox for model based, real time control systems of robotic manipulators.	IROS	2001	DBLP DOI BibTeX RDF
29	Malcolm Otter, H. Johnson	Lost in hyperspace: metrics and mental models.	Interact. Comput.	2000	DBLP DOI BibTeX RDF
29	Gerd Hirzinger, Max Fischer, Bernhard Brunner, Ralf Koeppe, Martin Otter, Markus Grebenstein, Ingo Schäfer	Advances in Robotics: The DLR Experience.	Int. J. Robotics Res.	1999	DBLP DOI BibTeX RDF
29	Günter Schreiber, Martin Otter, Gerd Hirzinger	Solving the singularity problem of non-redundant manipulators by constraint optimization.	IROS	1999	DBLP DOI BibTeX RDF
29	Hilding Elmqvist, Sven Erik Mattsson, Martin Otter	Simulation Using Modelica.	ESM	1998	DBLP BibTeX RDF
29	Paul J. Rankin, Clive van Heerden, J. Mama, Lira Nikolovska, R. den Otter, J. Rutgers	Star cursors in content space: abstractions of people and places.	SIGGRAPH Abstracts and Applications	1998	DBLP DOI BibTeX RDF
29	Enrico Vassallo, Manfred Otter	Interference and Sharing Considerations between the Space Operations/Space Research Service and New Applications of the Fixed Service Near 2 GHz.	Int. J. Satell. Commun. Netw.	1997	DBLP DOI BibTeX RDF
29	Martin Otter, Hilding Elmqvist	The DSblock Model Interface for Exchanging Model Components.	EUROSIM	1995	DBLP BibTeX RDF
29	Martin Otter	Objektorientierte Modellierung mechatronischer Systeme am Beispiel geregelter Roboter.		1995	RDF
29	Georg Grübel, Reinhard Finsterwalder, H.-D. Joos, Alexander Lewald, M. Otter	ANDECS: A Computation Environment for Robot-Dynamics Design Automation.	ICRA	1994	DBLP DOI BibTeX RDF
29	Jacob Engwerda, Pieter W. Otter	On the choice of weighting matrices in the minimum variance controller.	Autom.	1989	DBLP DOI BibTeX RDF
29	Stefan Türk, Martin Otter	Das DFVLR Modell Nr. 1 des Industrieroboters Manutec r3.	Robotersysteme	1987	DBLP BibTeX RDF
29	Elna L. Otter, Ronald C. Devries	A Method of Examining Orchard Codes for Minimum Hamming Distance Five.	IEEE Trans. Commun.	1986	DBLP DOI BibTeX RDF
29	Pieter W. Otter	Identification and estimation of discrete state-vector models with stochastic inputs.	Autom.	1981	DBLP DOI BibTeX RDF
29	Wolfgang Otter	Methoden zur Optimierung von CDL-Programmen.		1981	RDF
29	Hans-Jörg Jäkel, Hans Loeper, Wolfgang Otter	Ein Algorithmus zur Behandlung der Modusäquivalenz in einer unter Untersprache von ALGOL 68.	J. Inf. Process. Cybern.	1978	DBLP BibTeX RDF
29	Wolfgang Otter	Table Search Procedure Theory.	J. Inf. Process. Cybern.	1975	DBLP BibTeX RDF