Search results for "thesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz	Some techniques for minimizing and optimizing the rule base of an expert system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
49	Udi Boker, Nachum Dershowitz	The Church-Turing Thesis over Arbitrary Domains.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Dina Q. Goldin, Peter Wegner	The Church-Turing Thesis: Breaking the Myth.	CiE	2005	DBLP DOI BibTeX RDF
47	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms: Correction and extension.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
47	Heinrich Wansing, Yaroslav Shramko	Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.	Stud Logica	2008	DBLP DOI BibTeX RDF	Suszko’s Thesis, inferential many-valuedness, bivaluations, algebraic values, logical truth values, many-valued logic
47	R. Gregory Taylor	Motivating the Church-Turing thesis in the twenty-first century.	ITiCSE	1998	DBLP DOI BibTeX RDF	Church-Turing thesis, Markov algorithm, vector machine, Turing machine, computability theory, register machine
45	Yuri Gurevich	Sequential abstract-state machines capture sequential algorithms.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	Turing's thesis, sequential ASM thesis, specification, abstract-state machine, executable specification, sequential algorithm
41	Tanveer J. Siddiqui	Intelligent techniques for effective information retrieval: (a conceptual graph based approach).	SIGIR Forum	2006	DBLP DOI BibTeX RDF
41	Qingshan Li	Dynamic Model Design Recovery and Architecture Abstraction of Object Oriented Software.	CSMR	2005	DBLP DOI BibTeX RDF	Reverse Engineering, Object Orientation, Program Comprehension, Design Recovery, Architecture Abstraction
41	A. D. Parks	The Quality of Service Satisfiability Thesis: Resource and Performance Prediction for Multi-Processor Systems and Random Schedules.	IPDPS	2005	DBLP DOI BibTeX RDF
39	Richard Bradley	Adams Conditionals and Non-Monotonic Probabilities.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	axiomatic probability theory, Adams' Thesis, Conditionals, non-monotonic logic
39	Janice G. El-Bayoumi, Lisa Charlong	The University of New Brunswick's pilot for an electronic theses and dissertation program.	SIGUCCS	2003	DBLP DOI BibTeX RDF	ETD, digital dissertations, thesis, electronic publishing, dissertation
38	Marc Giusti	A Gröbner free alternative to solving and a geometric analogue to Cook's thesis.	ISSAC	2009	DBLP DOI BibTeX RDF	cook's thesis, solving, algorithms, polynomial
33	Katrien Ramaekers	A simulation optimisation approach for inventory management decision support based on incomplete information.	4OR	2009	DBLP DOI BibTeX RDF	Mathematical Subject Classification (2000) 90B05, 68U20
33	Pieter Van Gorp	Model-Driven Development of Model Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
33	Linda S. Moonen	Algorithms for some graph theoretical optimization problems.	4OR	2006	DBLP DOI BibTeX RDF	MSC classification 05C85
33	Lotfi A. Zadeh	Generalized Theory of Uncertainty (GTU) - Principal Concepts and Ideas.	SMPS	2006	DBLP DOI BibTeX RDF
33	Fethi Jarray	Solving problems of discrete tomography.	4OR	2005	DBLP DOI BibTeX RDF	workforce scheduling, image reconstruction, polynomial time algorithm, maximum flow, Discrete tomography
33	Frédéric Hallot	Multilingual Semantic Web Services.	OTM Workshops	2005	DBLP DOI BibTeX RDF
33	Roel Leus	The generation of stable project plans.	4OR	2004	DBLP DOI BibTeX RDF	multi-project organisations, robustness, uncertainty, Project scheduling
33	Kenneth Sörensen	A framework for robust and flexible optimisation using metaheuristics.	4OR	2003	DBLP DOI BibTeX RDF	supply chain design, Robustness, flexibility, metaheuristics
33	G. Octo Barnett	History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
32	Christopher Cole, Joseph J. Ekstrom, C. Richard G. Helps	Collecting IT scholarship: the IT-thesis project.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	information technology research
32	Frithjof Dau, Joachim Hereth Correia	Two Instances of Peirce's Reduction Thesis.	ICFCA	2006	DBLP DOI BibTeX RDF
32	Saul Kripke	From the Church-Turing Thesis to the First-Order Algorithm Theorem.	LICS	2000	DBLP DOI BibTeX RDF
32	John Rigby, Barbara Jones	Bringing the doctoral thesis by published papers to the Social Sciences and the Humanities: A quantitative easing? A small study of doctoral thesis submission rules and practice in two disciplines in the UK.	Scientometrics	2020	DBLP DOI BibTeX RDF
32	Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002	A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
32	Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002	A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis.	CoRR	2015	DBLP BibTeX RDF
32	Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski	Learnability Thesis Does Not Entail Church's Thesis.	CiE	2014	DBLP DOI BibTeX RDF
32	Gilles Dowek	The physical Church thesis as an explanation of the Galileo thesis.	Nat. Comput.	2012	DBLP DOI BibTeX RDF
31	Josep Maria Font	Taking Degrees of Truth Seriously.	Stud Logica	2009	DBLP DOI BibTeX RDF	Suszko’s Thesis, logical values, truth degrees, logics preserving degrees of truth, semantics, many-valued logic, abstract algebraic logic, truth values
31	Grzegorz Malinowski	Beyond Three Inferential Values.	Stud Logica	2009	DBLP DOI BibTeX RDF	consequence operation, q-consequence, many-valuedness, logical value, inferential value, logical two-valuedness, Suszko’s Thesis, logical n-valuedness, structurality
31	Arnon Avron	Multi-valued Semantics: Why and How.	Stud Logica	2009	DBLP DOI BibTeX RDF	Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices
31	Hajnal Andréka, István Németi, Péter Németi	General relativistic hypercomputing and foundation of mathematics.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Relativistic computation, Hypercomputation, Church-Thuring barrier, General relativity theory, Kerr-Newman spacetimes, Church Thesis, Blue-shift problem, Evaporation of black holes, Supertasks, Malament-Hogarth spacetime, Hilbert programme, Foundations of mathematics, Black holes, Cosmology
31	Giangiacomo Gerla	Multi-valued Logics, Effectiveness and Domains.	CiE	2007	DBLP DOI BibTeX RDF	Fuzzy grammar, Fuzzy Turing Machine, Church Thesis, Fuzzy logic, Computability, Multi-valued logic, Domain theory
31	Rafael H. Bordini, Álvaro F. Moreira	Proving BDI Properties of Agent-Oriented Programming Languages.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	asymmetry thesis principles, distributed artificial intelligence, structural operational semantics, agent-oriented programming, BDI logics
25	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
25	Francesca Vocaturo	Optimization via simulation for logistic systems planning and control.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 68W10, 90C59
25	Vinícius Medina Kern, Osmar Possamai, Paulo Mauricio Selig, Roberto Carlos dos Santos Pacheco, Gilberto Corrêa de Souza, Sandro Rautenberg, Renata Tavares da Silva Lemos	Growing a Peer Review Culture among Graduate Students.	WCCE	2009	DBLP DOI BibTeX RDF	Assessment, Culture, Research, Higher Education, Knowledge Society
25	Junfeng Fan, Lejla Batina, Ingrid Verbauwhede	Light-weight implementation options for curve-based cryptography: HECC is also ready for RFID.	ICITST	2009	DBLP DOI BibTeX RDF
25	Cédric Bentz	Exact and approximate resolution of integral multiflow and multicut problems: algorithms and complexity.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification 05C85, 90C27, 68Q17
25	Renaud Sirdey	Models and algorithms for the reconfiguration of distributed wireless switching systems.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification (2000) 68M20, 68M14, 90C57, 90C59
25	Nabil Absi	Models and methods for capacitated lot-sizing problems.	4OR	2008	DBLP DOI BibTeX RDF	MSC classification 90B30, 90C27, 90C57, 90C59, 90C11, 90C39
25	Bruno Escoffier	Polynomial approximation: a structural and operational study.	4OR	2007	DBLP DOI BibTeX RDF	MSC classification 68Q17, 68Q25, 05C15, 68W25
25	Sofie Van Volsem	A method for determining cost-efficient inspection strategies in multistage production systems.	4OR	2007	DBLP DOI BibTeX RDF	MSC Classification 90B25, 90B30
25	Robert N. Boute	Impact of replenishment rules with endogenous lead times on supply chain performance.	4OR	2007	DBLP DOI BibTeX RDF	MSC classification 90B05, 60J20, 90B30
25	Nava Tintarev	Explanations of recommendations.	RecSys	2007	DBLP DOI BibTeX RDF	recommender systems, explanations
25	Hyunah Kang, Mijin Kim	A Study of Walking Motion for Game Character with a Player's Emotional Factors Applied.	SERA	2007	DBLP DOI BibTeX RDF
25	Frédéric Gardi	Mutual exclusion scheduling with interval graphs or related classes: Complexity and algorithms.	4OR	2006	DBLP DOI BibTeX RDF	Mutual exclusion scheduling, workforce planning, graph classes, graph coloring, interval graphs
25	Hassene Aissi	Approximation and resolution of min-max and min-max regret versions of combinatorial optimization problems.	4OR	2006	DBLP DOI BibTeX RDF	Min-max regret, Complexity, Combinatorial optimization, Approximation, Data association, Robustness analysis, Min-max
25	Peter Muhlberger	Should e-government design for citizen participation?: stealth democracy and deliberation.	DG.O	2006	DBLP DOI BibTeX RDF	democratic deliberation, human agency, political apathy, political discussion, stealth democracy, online deliberation, political participation
25	Pietro Belotti	Multicommodity network design with survivability constraints: Some models and algorithms.	4OR	2005	DBLP DOI BibTeX RDF	Multi-commodity network flow, network design, branch-and-cut
25	Liz Stillwaggon	Toward Genuine Continuity of Life and Mind.	ECAL	2005	DBLP DOI BibTeX RDF
25	Olivier Spanjaard	Non-classical preference models in combinatorial problems: Models and algorithms for graphs.	4OR	2004	DBLP DOI BibTeX RDF	combinatorial optimization, graphs, heuristic search, preference modelling, Decision aiding
25	Benoît Colson	Trust-region algorithms for derivative-free optimization and nonlinear bilevel programming.	4OR	2004	DBLP DOI BibTeX RDF	software, bilevel programming, Trust-region methods, multivariate interpolation, derivative-free optimization
25	Songsak Channarukul	Adaptations of multimodal content in dialog systems targeting heterogeneous devices.	ICMI	2004	DBLP DOI BibTeX RDF	device-centered adaptation, user-centered adaptation, dialog system, multimodal output
25	Roberto Montemanni	Upper and lower bounds for the fixed spectrum frequency assignment problem.	4OR	2003	DBLP DOI BibTeX RDF	Radio frequency assignment, fixed spectrum, lower bounds, upper bounds
25	Ian Horrocks 0001, Peter F. Patel-Schneider	Three theses of representation in the semantic web.	WWW	2003	DBLP DOI BibTeX RDF	semantic web, representation, model-theoretic semantics
25	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
25	Umesh V. Vazirani	Fourier Transforms and Quantum Computation.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
24	Vincent Larivière, Alesia A. Zuccala, Éric Archambault	The declining scientific impact of theses: Implications for electronic thesis and dissertation repositories and graduate studies.	Scientometrics	2008	DBLP DOI BibTeX RDF
24	Gualtiero Piccinini	Computationalism, The Church-Turing Thesis, and the Church-Turing Fallacy.	Synth.	2007	DBLP DOI BibTeX RDF
24	Tibor Bosse, Alexei Sharpanskykh, Jan Treur	On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.	DALT	2007	DBLP DOI BibTeX RDF
24	Helen Armstrong, Louise Yngström	Resubmit my Information Security Thesis? - You must be joking!	World Conference on Information Security Education	2007	DBLP DOI BibTeX RDF	Higher degrees by research, research supervision, examination of higher degrees by research, information security education
24	Andrew Chi-Chih Yao	Classical physics and the Church-Turing Thesis.	J. ACM	2003	DBLP DOI BibTeX RDF
24	Wolfgang Reisig	Towards an ASM Thesis for Unconventional Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
22	Wilfried Sieg	On mind & Turing's machines.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine
22	Robert I. Soare	Computability and Incomputability.	CiE	2007	DBLP DOI BibTeX RDF	Turing a-machine, Church-Turing Thesis, Kurt Gödel, Turing o-machine, computable approximations, effectively continuous functions on reals, computability in analysis, strong reducibilities reexamined, computability, Alan Turing
22	Greg Hanek, Anita Schwartz, Kathy Fletcher	IT in the ETD puzzle: making the pieces fit.	SIGUCCS	2006	DBLP DOI BibTeX RDF	electronic dissertation, thesis, training, support, change management, PDF, dissertation
22	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, abstract state machine
22	Jean-Yves Béziau	What Is Many-Valued Logic?	ISMVL	1997	DBLP DOI BibTeX RDF	Suszko's Thesis, Multiple-Valued Logic, Matrix Theory
16	Michael Massimi	Thanatosensitively designed technologies for bereavement support.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	bereavement, dying, thanatosensitive design, ubiquitous computing, domestic technologies, death
16	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
16	Adailton Magalhães Lima	Risk assessment on distributed software projects.	ICSE (2)	2010	DBLP DOI BibTeX RDF	stochastic models, risk assessment, global software development
16	Valentina Cacchiani	Models and algorithms for combinatorial optimization problems arising in railway applications.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 90C57, 90C90, 90C10, 90C59
16	Emanuele Manni	Topics in real-time fleet management.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 90C40, 90C27
16	Enrico Malaguti	The Vertex Coloring Problem and its generalizations.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 05C15, 05C85
16	Ornella Pisacane	Agent scheduling in a multiskill call center.	4OR	2009	DBLP DOI BibTeX RDF	MSC Classification (2000) 37M05, 74P99, 47N10
16	Valeria Leggieri	Multicast problems in telecommunication networks.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90C27, 90C11
16	Patrick Meyer	Progressive methods in multiple criteria decision analysis.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 05C20, 90B50
16	Stefano Moretti 0001	Game Theory applied to gene expression analysis.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 91A12, 91A80, 62P10, 92D10
16	Pedro Salcedo Lagos, M. Angélica Pinninghoff Junemann, Ricardo Contreras Arriagada	Knowledge-Based Systems: A Tool for Distance Education.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	Academic Performance, Neural Networks, Prediction
16	Tom Dinkelaker	Versatile language semantics with reflective embedding.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	embedded domain-specific languages, aspect-oriented programming, meta-object protocols
16	Sergio Sánchez García, Ana Gómez Oliva	Solving Identity Management and Interoperability Problems at Pan-European Level.	OTM Workshops	2009	DBLP DOI BibTeX RDF	eIdentity, identity delegation, interoperability, identity federation
16	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
16	Kelly E. Caine	Supporting privacy by preventing misclosure.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	misclosure, privacy, ubiquitous computing, error, aging, older adult, technology acceptance, disclosure
16	Julia Schreiber	Bridging the gap between useful and aesthetic maps in car navigation systems.	Mobile HCI	2009	DBLP DOI BibTeX RDF	aesthetics, automotive, cognitive load, digital map, map function, map design
16	Nkechi Nnadi	Applying relevant set correlation clustering to multi-criteria recommender systems.	RecSys	2009	DBLP DOI BibTeX RDF	multi-criteria recommender system, relevant set correlation, clustering
16	K. Subramani 0001, Kiran Yellajyosula	On the Design and Implementation of a Shared Memory Dispatcher for Partially Clairvoyant Schedulers.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Partially clairvoyant dispatcher, Loss of dispatchability, Safety interval, Shared-memory, Real-time scheduling
16	Sana Belmokhtar	Optimization of modular machining lines.	4OR	2008	DBLP DOI BibTeX RDF	MSC classification (2000) 90C27, 90C90, 90C10, 90C05, 90C35
16	Yasmín Á. Ríos-Solís	Scheduling with earliness-tardiness penalties and parallel machines.	4OR	2008	DBLP DOI BibTeX RDF	MSC classification (2000) 90B35, 90C27, 90C59, 90C20, 90C39
16	Marie-Christine Plateau	Quadratic convex reformulations for quadratic 0-1 programming.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification (2000) 90C09, 90C22, 90C20
16	Odile Bellenguez-Morineau	Methods to solve multi-skill project scheduling problem.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification 90B30, 90C57, 90C59
16	Dmitri E. Kvasov	Multidimensional Lipschitz global optimization based on efficient diagonal partitions.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification (2000) 65K05, 90C26, 90C56
16	Mourad Boudia	Coordination of production planning and distribution.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification 90B05, 90B06, 90B30
16	Karim Labadi	A new stochastic Petri net model and its applications to logistics systems.	4OR	2008	DBLP DOI BibTeX RDF	MSC classification (2000) 68Q85, 90B05, 90B06, 93E03
16	Birger Raa	New models and algorithms for the cyclic inventory routing problem.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification 90B06
16	Hans Rott	A New Psychologism in Logic? Reflections from the Point of View of Belief Revision.	Stud Logica	2008	DBLP DOI BibTeX RDF	doxastic states, logic, Psychologism, belief revision, normativity, belief change
16	Damien Woods, J. Paul Gibson	Lower bounds on the computational power of an optical model of computation.	Nat. Comput.	2008	DBLP DOI BibTeX RDF
16	Peter Bastian, Markus Blatt, Andreas Dedner, Christian Engwer, Robert Klöfkorn, Mario Ohlberger, Oliver Sander	A generic grid interface for parallel and adaptive scientific computing. Part I: abstract framework.	Computing	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65N30, 65Y05, 52C99