Search results for "computational problems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Artiom Alhazov, Ion Petre, Vladimir Rogojin	Solutions to computational problems through gene assembly.	Natural Computing	2008	DBLP DOI BibTeX RDF	Stichotrichous, Gene assembly, Intramolecular model, Ciliate-based computing, DNA computing, Hamiltonian path problem, Ciliates
2	Emmanuel Bresson, Jean Monnerat, Damien Vergnaud	Separation Results on the "One-More" Computational Problems.	CT-RSA	2008	DBLP DOI BibTeX RDF	“One-more” problems, Random self-reducible problems, Algebraic algorithms, Black-box reductions
2	Artiom Alhazov, Ion Petre, Vladimir Rogojin	Solutions to Computational Problems Through Gene Assembly.	DNA	2007	DBLP DOI BibTeX RDF
2	Charalampos Bratsas, Evangelos Kaimakamis, Vassilis Koutkias, Panagiotis D. Bamidis, Nicos Maglaveras	An Ontology-Based Approach to Constructing Medical Computational Problems for Use in Electronic Medical Education.	CBMS	2007	DBLP DOI BibTeX RDF
2	Shirley Moore, A. Jerry Baker, Jack Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
2	Shirley Moore, A. Jerry Baker, Jack Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
2	Alexander Kleymenov, D. Petunin, Alexander Semenov, I. Vazhev	A Model of Cooperative Solvers for Computational Problems.	PPAM	2001	DBLP BibTeX RDF
2	Juhani Karhumäki	Combinatorial and Computational Problems on Finite Sets of Words.	MCU	2001	DBLP DOI BibTeX RDF
2	Oded Goldreich, Shafi Goldwasser, Shai Halevi	Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem.	CRYPTO	1997	DBLP DOI BibTeX RDF	Public-key Encryption Schemes, Computational Problems in Lattices
2	Richard J. Lipton	DNA computations can have global memory. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	global memory, parallel algorithms, parallel computations, DNA computations, DNA, computational problems
2	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
2	Martín Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra	On Generating Solved Instances of Computational Problems.	CRYPTO	1988	DBLP DOI BibTeX RDF
1	Oded Goldreich, Salil P. Vadhan	On the complexity of computational problems regarding distributions (a survey).	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Oded Goldreich, Salil P. Vadhan	On the Complexity of Computational Problems Regarding Distributions.	Studies in Complexity and Cryptography	2011	DBLP DOI BibTeX RDF
1	Maciej Paszynski, David Pardo, Anna Paszynska	Parallel multi-frontal solver for p adaptive finite element modeling of multi-physics computational problems.	J. Comput. Science	2010	DBLP DOI BibTeX RDF
1	Arkadi Nemirovski, Shmuel Onn, Uriel G. Rothblum	Accuracy Certificates for Computational Problems with Convex Structure.	Math. Oper. Res.	2010	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Jens K. Mueller	The complexity of rooted phylogeny problems.	ICDT	2010	DBLP DOI BibTeX RDF	?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
1	Gösta Grahne, Adrian Onet	Data correspondence, exchange and repair.	ICDT	2010	DBLP DOI BibTeX RDF
1	Jonathan Cohen, Michael Garland	Solving Computational Problems with GPU Computing.	Computing in Science and Engineering	2009	DBLP DOI BibTeX RDF
1	Baris Sertkaya	Some Computational Problems Related to Pseudo-intents.	ICFCA	2009	DBLP DOI BibTeX RDF
1	Luis von Ahn	Human computation.	CIVR	2009	DBLP DOI BibTeX RDF	information systems, human computation, collaborative computing
1	Luis von Ahn	Human computation.	DAC	2009	DBLP DOI BibTeX RDF	world wide web, online games, human computation, CAPTCHAs, games with a purpose, distributed knowledge acquisition, image labeling
1	Katherine A. Yelick	Ten ways to waste a parallel computer.	ISCA	2009	DBLP DOI BibTeX RDF	parallel computer, energy
1	Ali Dasdan, Chris Drome, Santanu Kolay, Micah Alpern, Alice Han, Tom Chi, Jamie Hoover, Ivan Davtchev, Sharad Verma	Thumbs-Up: a game for playing to rank search results.	KDD Workshop on Human Computation	2009	DBLP DOI BibTeX RDF	search engine, relevance, online games, human computation, rank aggregation, games with a purpose
1	Shaili Jain, David C. Parkes	The role of game theory in human computation systems.	KDD Workshop on Human Computation	2009	DBLP DOI BibTeX RDF
1	Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo	XML with incomplete information: models, properties, and query answering.	PODS	2009	DBLP DOI BibTeX RDF	consistency, xml, incomplete information, membership, query answering, certain answers
1	Alexandr Andoni, Piotr Indyk, Robert Krauthgamer	Overcoming the l1 non-embeddability barrier: algorithms for product metrics.	SODA	2009	DBLP DOI BibTeX RDF
1	David Gamarnik, Dmitriy Katz	Sequential cavity method for computing limits of the log-partition function for lattice models.	SODA	2009	DBLP DOI BibTeX RDF
1	Allan Sly	Reconstruction for the Potts model.	STOC	2009	DBLP DOI BibTeX RDF	reconstruction, Potts model
1	Ali Dasdan, Chris Drome, Santanu Kolay	Thumbs-up: a game for playing to rank search results.	WWW	2009	DBLP DOI BibTeX RDF	search engine, relevance, online games, human computation, rank aggregation, games with a purpose
1	Constantinos Daskalakis, Paul W. Goldberg, Christos H. Papadimitriou	The complexity of computing a Nash equilibrium.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Mihaela Malita, Gheorghe Stefan	Integral Parallel Architecture & Berkeley's Motifs.	ASAP	2009	DBLP DOI BibTeX RDF
1	Kaiqi Xiong	Multiple priority customer service guarantees in cluster computing.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Carla P. Gomes	Challenges for Constraint Reasoning and Optimization in Computational Sustainability.	CP	2009	DBLP DOI BibTeX RDF
1	Hélène Fargier, Nic Wilson	Local Computation Schemes with Partially Ordered Preferences.	ECSQARU	2009	DBLP DOI BibTeX RDF	Soft CSP, Valuation networks/algebra, Dynamical programming
1	Piotr Kosiuczenko	On the Implementation of @pre.	FASE	2009	DBLP DOI BibTeX RDF
1	César Andrés, Carlos Molinero, Manuel Núñez	A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.	ICCS	2009	DBLP DOI BibTeX RDF
1	Andrés Cencerrado, Miquel A. Senar, Ana Cortés	Support for Urgent Computing Based on Resource Virtualization.	ICCS	2009	DBLP DOI BibTeX RDF
1	Esra Erdem	PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Albert Atserias	Four Subareas of the Theory of Constraints, and Their Links.	MFCS	2009	DBLP DOI BibTeX RDF
1	Felix Brandt, Markus Brill, Felix A. Fischer, Paul Harrenstein	On the Complexity of Iterated Weak Dominance in Constant-Sum Games.	SAGT	2009	DBLP DOI BibTeX RDF
1	Peter Jeavons	Presenting Constraints.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Chris Peikert	Some Recent Progress in Lattice-Based Cryptography.	TCC	2009	DBLP DOI BibTeX RDF
1	Michael R. Fellows, Daniel Lokshtanov, Neeldhara Misra, Matthias Mnich, Frances A. Rosamond, Saket Saurabh	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Max-leaf, Well-quasiordering, Bandwidth, Kernelization, Parameterized complexity
1	François Le Gall	Exponential Separation of Quantum and Classical Online Space Complexity.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Online space complexity, Quantum computation, Communication complexity
1	Hamid Reza Naji	Solving Complex Computational Problems Using Multiagents Implemented in Hardware.	Computing in Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Selim G. Akl	Unconventional Computational Problems with Consequences to Universality.	IJUC	2008	DBLP BibTeX RDF
1	Tamar Barzuza, Jacques S. Beckmann, Ron Shamir, Itsik Pe'er	Computational Problems in Perfect Phylogeny Haplotyping: Typing without Calling the Allele.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	XOR-genotypes, Graph Realization, Haplotypes, Perfect Phylogeny
1	Limsoon Wong	Guilt by association as a search principle.	SIGIR	2008	DBLP DOI BibTeX RDF	search principle
1	Alexandr Andoni, Piotr Indyk, Robert Krauthgamer	Earth mover distance over high-dimensional spaces.	SODA	2008	DBLP DOI BibTeX RDF
1	Luis von Ahn, Laura Dabbish	Designing games with a purpose.	Commun. ACM	2008	DBLP DOI BibTeX RDF
1	Ninghui Li, Qihua Wang	Beyond separation of duty: An algebra for specifying high-level security policies.	J. ACM	2008	DBLP DOI BibTeX RDF	Access control, separation of duty, policy design
1	Jin-yi Cai	Holographic algorithms: guest column.	SIGACT News	2008	DBLP DOI BibTeX RDF
1	Eric Allender, Michal Koucký	Amplifying Lower Bounds by Means of Self-Reducibility.	IEEE Conference on Computational Complexity	2008	DBLP DOI BibTeX RDF	self-reducibility, lower bounds, circuit complexity
1	Ping Guo, Haiyan Zhang	Arithmetic Operation in Single Membrane.	CSSE	2008	DBLP DOI BibTeX RDF
1	Luca Trevisan	Average-case Complexity.	FOCS	2008	DBLP DOI BibTeX RDF
1	Chi-Chang Chang	Entropy-Based Defuzzification Method with Expert's Epistemic Uncertainty for Deteriorating Repairable Systems.	ICMLA	2008	DBLP DOI BibTeX RDF
1	Yunong Zhang, Zhan Li, Ke Chen 0004, Binghuang Cai	Common Nature of Learning Exemplified by BP and Hopfield Neural Networks for Solving Online a System of Linear Equations.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Permanand Mohan	A teacher for every learner: Rising to the challenge with computational intelligence.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Lucas A. Wilson	Distributed, heterogeneous resource management using artificial immune systems.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Hsin-Min Lu, Daniel Zeng, Hsinchun Chen	Bioterrorism event detection based on the Markov switching model: A simulated anthrax outbreak study.	ISI	2008	DBLP DOI BibTeX RDF
1	Peter H. Beckman	Looking toward Exascale Computing.	PDCAT	2008	DBLP DOI BibTeX RDF
1	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.	QEST	2008	DBLP DOI BibTeX RDF
1	Jiming Liu	Autonomy-Oriented Computing for Web Intelligence and Brain Informatics.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Gérard Biau, Luc Devroye, Gábor Lugosi	On the Performance of Clustering in Hilbert Spaces.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä	Strategies for Solving SAT in Grids by Randomized Search.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Juryon Paik, Junghyun Nam, Jaegak Hwang, Ung-Mo Kim	Mining Maximal Frequent Subtrees with Lists-Based Pattern-Growth Method.	APWeb	2008	DBLP DOI BibTeX RDF
1	Juraj Hromkovic, Georg Schnitger	On the Hardness of Determining Small NFA's and of Proving Lower Bounds on Their Sizes.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
1	Geppino Pucci, Coromoto León, Ioannis Caragiannis, Kieran T. Herley	Topic 12: Theory and Algorithms for Parallel Computation.	Euro-Par	2008	DBLP DOI BibTeX RDF
1	Przemyslaw Pretki, Andrzej Obuchowicz	Robustness of Isotropic Stable Mutations in a General Search Space.	ICAISC	2008	DBLP DOI BibTeX RDF
1	Pierre-André Mudry, Julien Ruffin, Michel Ganguin, Gianluca Tempesti	A Hardware-Software Design Framework for Distributed Cellular Computing.	ICES	2008	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Liudmila Burtseva, Svetlana Cojocaru, Yurii Rogozhin	Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
1	Tibor Jager, Jörg Schwenk	On the Equivalence of Generic Group Models.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Aaron D. Sterling	A Limit to the Power of Multiple Nucleation in Self-assembly.	DISC	2008	DBLP DOI BibTeX RDF	multiple nucleation, locally checkable labeling, self-assembly
1	Alberto Ochoa, Saúl González, Arnulfo Castro, Nahitt Padilla, Rosario Baltazar	Implementing Data Mining to Improve a Game Board Based on Cultural Algorithms.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Modeling of Societies, Data Mining, Cultural Algorithms
1	Eugene Eberbach	The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Qihua Wang, Ninghui Li	Direct static enforcement of high-level security policies.	ASIACCS	2007	DBLP DOI BibTeX RDF
1	Simon Harding, Julian Francis Miller, Wolfgang Banzhaf	Self-modifying cartesian genetic programming.	GECCO	2007	DBLP DOI BibTeX RDF	self modification, genetic programming, evolution, developmental systems
1	Michael D. Kane, John A. Springer	Integrating bioinformatics, distributed data management, and distributed computing for applied training in high performance computing.	SIGITE Conference	2007	DBLP DOI BibTeX RDF
1	Graham Cormode, Minos N. Garofalakis	Sketching probabilistic data streams.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	data streams, uncertain data
1	Rafail Ostrovsky, Yuval Rabani	Low distortion embeddings for edit distance.	J. ACM	2007	DBLP DOI BibTeX RDF	Pattern matching, sketching, communication complexity, edit distance, dimension reduction, nearest neighbor search, metric embeddings, Levenshtein distance, computations on discrete structures
1	Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri	On mutually exclusive roles and separation-of-duty.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	computational complexity, verification, constraints, Role-based access control, separation-of-duty
1	Deqing Zou, Hai Jin, Xueguang Chen, Zongfen Han	Grid Security Interoperation between CGSP and VEGA.	FGCN	2007	DBLP DOI BibTeX RDF
1	Yawen Chen, Hong Shen	Wavelength Assignment for Directional Hypercube Communications on a Class of WDM Optical Networks.	ICPP	2007	DBLP DOI BibTeX RDF
1	Ulrich Langer, Walter Zulehner, Huidong Yang, Markus Baumgartner	GStokes: A Grid-enabled Solver for the 3D Stokes/Navier-Stokes System on Hybrid Meshes.	ISPDC	2007	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Global predicate monitoring applied for control of parallel irregular computations.	PDP	2007	DBLP DOI BibTeX RDF
1	Son N. Nguyen, Maria E. Orlowska	A Partition-Based Approach for Sequential Patterns Mining.	RIVF	2007	DBLP DOI BibTeX RDF
1	Ildiko Marton Kinga, Colesa Adrian	GLinda - Grid-Based Distributed Linda System.	SYNASC	2007	DBLP DOI BibTeX RDF
1	Alexandre Ceasar Tavares Vidal, Sergio Takeo Kofuji	Enhancing Grid Usage through Semantic Metadata.	WETICE	2007	DBLP DOI BibTeX RDF
1	Suk Joo Bae, Seong-Joon Kim, Way Kuo, Paul H. Kvam	Statistical Models for Hot Electron Degradation in Nano-Scaled MOSFET Devices.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito	Similarity-Guided Clause Generalization.	AI*IA	2007	DBLP DOI BibTeX RDF
1	Francis L. W. Ratnieks	Biomimicry: Further Insights from Ant Colonies?.	BIOWIRE	2007	DBLP DOI BibTeX RDF	Pharaoh’s ant, Monomorium pharaonis, honey bee, Apis mellifera, Ant colony optimization, complex adaptive systems, social insects
1	Valentin Irtegov, Tatyana Titorenko	On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems.	CASC	2007	DBLP DOI BibTeX RDF
1	Michael R. Fellows, Frances A. Rosamond	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.	CiE	2007	DBLP DOI BibTeX RDF
1	Enrique Fernández-Blanco, Julian Dorado, Juan R. Rabuñal, Marcos Gestal, Nieves Pedreira	A Computational Morphogenesis Approach to Simple Structure Development.	ECAL	2007	DBLP DOI BibTeX RDF
1	Enrico Franconi	Conceptual Schemas and Ontologies for Database Access: Myths and Challenges.	ER	2007	DBLP DOI BibTeX RDF
1	Qihua Wang, Ninghui Li	Satisfiability and Resiliency in Workflow Systems.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Johan Kwisthout	The Computational Complexity of Monotonicity in Probabilistic Networks.	FCT	2007	DBLP DOI BibTeX RDF
1	Luca Trevisan	Fun with Sub-linear Time Algorithms.	FUN	2007	DBLP DOI BibTeX RDF
1	Don Jyh-Fu Jeng, Rohani Binti Abu Bakar, Junzo Watada	DNA Computing Approach to Management Engineering.	KES	2007	DBLP DOI BibTeX RDF	management engineering, logistic planning, optimization, forecasting, DNA computing