Search results for "atoms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Yehuda Afek, Omer Ben-Shalom, Anat Bremler-Barr	On the structure and application of BGP policy atoms.	Internet Measurement Workshop	2002	DBLP DOI BibTeX RDF	policy routing, routing protocols, BGP
77	Joshua L. Payne, Margaret J. Eppstein	A hybrid genetic algorithm with pattern search for finding heavy atoms in protein crystals.	GECCO	2005	DBLP DOI BibTeX RDF	crystallographic phasing, heavy atom method, isomorphous replacement, phase problem, genetic algorithms, pattern search, hybrid evolutionary algorithms, crystallography
61	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
59	Hon Fung Li, Eslam Al Maghayreh	Using synchronized atoms to check distributed programs.	ICPADS	2007	DBLP DOI BibTeX RDF
57	Joonghyun Ryu, Rhohun Park, Deok-Soo Kim	Connolly Surface on an Atomic Structure via Voronoi Diagram of Atoms.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	Connolly/molecular surface, Voronoi diagram of atoms, protein, ?-shape, blending surface
53	Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen	Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.	LPNMR	2007	DBLP DOI BibTeX RDF
53	Mounira Belmesk	An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
51	Jeongyeon Seo, Donguk Kim 0001, Cheol-Hyung Cho, Deok-Soo Kim	A beta-Shape from the Voronoi Diagram of Atoms for Protein Structure Analysis.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Voronoi diagram of spheres, ?-shape, ?-shape, ?-complex, ?-complex
50	Joonghyun Ryu, Rhohun Park, Jeongyeon Seo, Chong-Min Kim, Hyun-Chan Lee, Deok-Soo Kim	Real-Time Triangulation of Molecular Surfaces.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	a protein, a molecular surface, a Voronoi diagram of atoms, ?-shape
50	John S. Conery, Warner L. Peticolas, Thomas Rush III, Kesavan Shanmugam, Jose Dominguez	A parallel algorithm for calculating the potential energy in DNA.	HICSS (5)	1995	DBLP DOI BibTeX RDF	bioelectric phenomena, potential energy, Dreiding force field, seven-term equation, bonded atoms, electrostatic interactions, nonbonded terms, MasPar MP-I, SGI workstation, long polymeric structure, deoxyribonucleic acid, parallel algorithms, parallel algorithm, execution time, DNA, DNA, biology computing, sequential program, molecule, molecular biophysics, data-parallel algorithm
44	Chandrajit L. Bajaj, Rezaul Alam Chowdhury, Muhibur Rasheed	A dynamic data structure for flexible molecular maintenance and informatics.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	de novo drug design, computer aided design, shape modeling, protein folding, molecular docking, interactive software
44	Ivana Tosic, Pascal Frossard	Geometry-Based Distributed Scene Representation With Omnidirectional Vision Sensors.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
44	Ivana Tosic, Pascal Frossard	Wyner-Ziv Coding of Multi-View Omnidirectional Imageswith Overcomplete Decompositions.	ICIP (3)	2007	DBLP DOI BibTeX RDF
44	Christine Wei Wu	Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs.	CP	2004	DBLP DOI BibTeX RDF
44	Vishwani D. Agrawal, Srimat T. Chakradhar	Performance estimation in a massively parallel system.	SC	1990	DBLP DOI BibTeX RDF
44	Jim Gray 0001	A View of Database System Performance Measures.	SIGMETRICS	1987	DBLP DOI BibTeX RDF
42	Abdul Adeel Mohammed, Rashid Minhas, Q. M. Jonathan Wu, Maher A. Sid-Ahmed	Fingerprint image compression standard based on wave atoms decomposition and self organizing feature map.	EIT	2009	DBLP DOI BibTeX RDF
42	Pierre Leveau, Emmanuel Vincent 0001, Gaël Richard, Laurent Daudet	Instrument-Specific Harmonic Atoms for Mid-Level Music Representation.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
42	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
42	V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski	Logic Programs With Monotone Cardinality Atoms.	LPNMR	2004	DBLP DOI BibTeX RDF
42	Roberto Tonelli, Leon O. Chua, Franco Meloni	Mapping atoms to nonlinear Chua's circuits.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
42	Marek Chrobak, Christoph Dürr	Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms.	MFCS	1998	DBLP DOI BibTeX RDF
41	Thomas Lindgren	Atom garbage collection.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	memory management, atoms, incremental garbage collection
41	Andrea Capotorti, Barbara Vantaggi	A general interpretation of conditioning and its implication on coherence.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Conditional event algebra, coherent conditional probability assessments, conditional atoms, MV-algebras
41	Vishwani D. Agrawal, Srimat T. Chakradhar	Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	synchronized iterative algorithms, performanceevaluation technique, fixed probability, periodic instances, computational activity, binomial random variable, multiprocessorsystem, maximum order-statistic, theoretical performance, logicsimulation, production VLSI chips, performance evaluation, parallel algorithms, parallel processing, synchronizations, iterative methods, statistics, statistical model, atoms, random variables, computational effort, parallelmachines
39	Yumiko Mori	Atoms of Bonding: Communication Components Bridging Children Worldwide (Invited Talk).	IWIC	2007	DBLP DOI BibTeX RDF	atoms of bonding, simultaneous activity, CMC, Pictogram, intercultural communication
35	Frédéric Giroire, Jaideep Chandrashekar, Nina Taft, Eve M. Schooler, Dina Papagiannaki	Exploiting Temporal Persistence to Detect Covert Botnet Channels.	RAID	2009	DBLP DOI BibTeX RDF
35	Bob L. Sturm, John J. Shynk, Laurent Daudet, Curtis Roads	Dark Energy in Sparse Atomic Estimations.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
35	Emilia Oikarinen, Tomi Janhunen	A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
35	Fangkai Yang, Xiaoping Chen	Integrating Rules and Description Logics with Circumscription for the Semantic Web.	RuleML	2007	DBLP DOI BibTeX RDF
35	Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami	Detecting Atomicity Errors in Message Passing Programs.	PDCAT	2007	DBLP DOI BibTeX RDF
35	Ivana Tosic, Pascal Frossard, Pierre Vandergheynst	Progressive Coding of 3-D Objects Based on Overcomplete Decompositions.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
35	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
35	Hossein M. Sheini, Karem A. Sakallah	From Propositional Satisfiability to Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
35	John McCarthy 0001	Challenges to Machine Learning: Relations Between Reality and Appearance.	ILP	2006	DBLP DOI BibTeX RDF
35	Adel Rahmoune, Pierre Vandergheynst, Pascal Frossard	The M-term pursuit for image representation and progressive compression.	ICIP (1)	2005	DBLP DOI BibTeX RDF
35	Pierre Garrigues, Avideh Zakhor	Atom Position Coding in a Matching Pursuit Based Video Coder.	VLBV	2005	DBLP DOI BibTeX RDF
35	Tomi Janhunen, Emilia Oikarinen	Capturing Parallel Circumscription with Disjunctive Logic Programs.	JELIA	2004	DBLP DOI BibTeX RDF
35	Hans-Joachim Klein 0001	Retrieval of Isomorphic Substructures in Crystallographic Databases.	SSDBM	2004	DBLP DOI BibTeX RDF
35	Mariusz Milik, Sándor Szalma, Krzysztof A. Olszewski	FAUST: An Algorithm for Extracting Functionally Relevant Templates from Protein Structures.	WABI	2002	DBLP DOI BibTeX RDF
35	Dietmar Seipel	An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.	LPAR	1994	DBLP DOI BibTeX RDF
33	Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu	Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms.	TAMC	2009	DBLP DOI BibTeX RDF
33	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
33	Mark Bickford	Unguessable Atoms: A Logical Foundation for Security.	VSTTE	2008	DBLP DOI BibTeX RDF
33	Hon Fung Li, Eslam Al Maghayreh	Checking Distributed Programs with Partially Ordered Atoms.	APSEC	2007	DBLP DOI BibTeX RDF
33	Deok-Soo Kim, Cheol-Hyung Cho, Youngsong Cho, Chung In Won, Donguk Kim 0001	Pocket Recognition on a Protein Using Euclidean Voronoi Diagram of Atoms.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
33	Deok-Soo Kim, Donguk Kim 0001, Youngsong Cho, Joonghyun Ryu, Cheol-Hyung Cho, Joon Young Park, Hyun-Chan Lee	Visualization and Analysis of Protein Structures Using Euclidean Voronoi Diagram of Atoms.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
33	Hiroshi Ishii 0001	Tangible bits: designing the seamless interface between people, bits, and atoms.	IUI	2003	DBLP DOI BibTeX RDF
32	Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano	A fast computation method for time scale signal denoising.	Signal Image Video Process.	2009	DBLP DOI BibTeX RDF	Image and signal denoising, Time frequency atoms, Time scale trajectories, Modulus maxima representation, Wavelet transform
32	Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano	A Fast Scheme for Multiscale Signal Denoising.	ICIAR	2008	DBLP DOI BibTeX RDF	Image and signal denoising, time frequency atoms, time scale trajectories, modulus maxima representation, wavelet transform
32	Amr M. Radi, Salah Yaseen El-Bakry	Genetic programming approach for positron collisions with alkali-metal atom.	GECCO	2007	DBLP DOI BibTeX RDF	alkali-metal atoms and total collisional cross sections, positron collisions, genetic programming
32	Bertrand T. David, Olivier Champalle, Guillaume Masserey, René Chalon	From Task Model to Wearable Computer Configuration.	TAMODIA	2007	DBLP DOI BibTeX RDF	interaction tasks, interaction atoms, wearable computer peripherals, configuration process, interaction techniques, task model
32	Deok-Soo Kim, Bohyung Lee, Chung In Won, Donguk Kim 0001, Joonghyun Ryu, Youngsong Cho, Chong-Min Kim, Sunghoon Lee, Jonghwa Bhak	Multi-Resolution Protein Model.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	a protein, a Voronoi diagram of atoms, drug design
32	Vítezslav Svejdar	The decision problem of provability logic with only one atom.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Provability logic, Propositional atoms, Non-classical logics, Kripke models, Polynomial-space
32	Boris A. Romov	Hyperclones on a Finite Set.	ISMVL	1997	DBLP DOI BibTeX RDF	hyperclones, composition-closed sets, multivalued operations, dual atomic, dual atoms, maximal hyperclones, multivalued logic, finite set
31	Osita Sunday Nnyigide, Tochukwu Olunna Nnyigide, Sun-Gu Lee, Kyu Hyun	Protein Repair and Analysis Server: A Web Server to Repair PDB Structures, Add Missing Heavy Atoms and Hydrogen Atoms, and Assign Secondary Structures by Amide Interactions.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
31	Zikri Altun, Erdi Ata Bleda, Carl Trindle	Atoms in Highly Symmetric Environments: H in Rhodium and Cobalt Cages, H in an Octahedral Hole in MgO, and Metal Atoms Ca-Zn in C20 Fullerenes.	Symmetry	2021	DBLP DOI BibTeX RDF
31	Tomás Rondik, Pavel Mautner	Clustering of Gabor Atoms Describing Event-Related Potentials - Solution for ERP Detection Algorithm based on Matching Pursuit when ERP Waveform is Approximated by Two or More Gabor Atoms.	HEALTHINF	2013	DBLP BibTeX RDF
31	Francesc Illas, L. Roset, J. M. Ricart, J. Rubio	Basis-Modified hydrogen atoms as embedding atoms in ab initio chemisorption cluster model calculations on Si surfaces.	J. Comput. Chem.	1993	DBLP DOI BibTeX RDF
31	Gerta Rücker, Christoph Rücker	Computer perception of constitutional (topological) symmetry: TOPSYM, a fast algorithm for partitioning atoms and pairwise relations among atoms into equivalence classes.	J. Chem. Inf. Comput. Sci.	1990	DBLP DOI BibTeX RDF
26	Ivana Tosic, Pascal Frossard	Distributed multi-view image coding with learned dictionaries.	MobiMedia	2009	DBLP DOI BibTeX RDF	multi-view images, distributed source coding, sparse approximations
26	Haytham Yaghi, Hamid Krim	Probabilistic graph matching by canonical decomposition.	ICIP	2008	DBLP DOI BibTeX RDF
26	Murdoch James Gabbay, Martin Hofmann 0001	Nominal Renaming Sets.	LPAR	2008	DBLP DOI BibTeX RDF	Nominal renaming sets, nominal sets, abstract syntax with binding
26	Emilia Oikarinen, Tomi Janhunen	Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.	AIMSA	2008	DBLP DOI BibTeX RDF	Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
26	Namgook Cho, Yu Shiu, C.-C. Jay Kuo	Efficient music representation with content adaptive dictionaries.	ISCAS	2008	DBLP DOI BibTeX RDF
26	Vittoria Bruni, Domenico Vitulano	Image Denoising Using Similarities in the Time-Scale Plane.	ACIVS	2008	DBLP DOI BibTeX RDF
26	Ming Zhu, Weidong Jin, Laizhao Hu	Radar emitter signal recognition based on atomic decomposition.	IJCNN	2008	DBLP DOI BibTeX RDF
26	Sudip Seal, Michael Moody, Anna Ceguerra, Simon P. Ringer, Krishna Rajan, Srinivas Aluru	Tracking Nanostructural Evolution in Alloys: Large-Scale Analysis of Atom Probe Tomography Data on Blue Gene/L.	ICPP	2008	DBLP DOI BibTeX RDF
26	Donguk Kim 0001, Changhee Lee, Youngsong Cho, Deok-Soo Kim	Manifoldization of pi-Shapes by Topology Operators.	GMP	2008	DBLP DOI BibTeX RDF	manifoldization, non-manifold, ?-shapes, ?-complex
26	Ove Daae Lampe, Ivan Viola, Nathalie Reuter, Helwig Hauser	Two-Level Approach to Efficient Visualization of Protein Dynamics.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	protein dynamics, hardware acceleration, Molecular visualization
26	Wolfgang Mühlbauer, Steve Uhlig, Bingjie Fu, Mickael Meulle, Olaf Maennel	In search for an appropriate granularity to model routing policies.	SIGCOMM	2007	DBLP DOI BibTeX RDF	BGP, inter-domain routing, routing policies
26	Flavia Moser, Rong Ge 0002, Martin Ester	Joint cluster analysis of attribute and relationship data withouta-priori specification of the number of clusters.	KDD	2007	DBLP DOI BibTeX RDF	graph-structured data, hotspot analysis, joint cluster analysis, clustering, algorithms, community identification
26	Sergio Greco, Cristian Molinaro	Querying and Repairing Inconsistent Databases Under Three-Valued Semantics.	ICLP	2007	DBLP DOI BibTeX RDF
26	Gexiang Zhang, Haina Rong	Improved Quantum-Inspired Genetic Algorithm Based Time-Frequency Analysis of Radar Emitter Signals.	RSKT	2007	DBLP DOI BibTeX RDF	Quantum-inspired genetic algorithm, time-frequency atom decomposition, radar emitter signal, feature analysis
26	Giorgi Japaridze	Propositional computability logic II.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	interactive algorithms, linear logic, game semantics, Computability logic, computational resources
26	Hossein M. Sheini, Karem A. Sakallah	Ario: A Linear Integer Arithmetic Logic Solver.	FMCAD	2006	DBLP DOI BibTeX RDF
26	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits	dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.	Web Intelligence	2006	DBLP DOI BibTeX RDF
26	Guodong Zhou	A Chunking Strategy Towards Unknown Word Detection in Chinese Word Segmentation.	IJCNLP	2005	DBLP DOI BibTeX RDF
26	Lengning Liu, Miroslaw Truszczynski	Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.	LPNMR	2005	DBLP DOI BibTeX RDF
26	Emilia Oikarinen, Tomi Janhunen	circ2dlp - Translating Circumscription into Disjunctive Logic Programming.	LPNMR	2005	DBLP DOI BibTeX RDF
26	Andreas Brandstädt, Van Bang Le, Suhail Mahfud	New Applications of Clique Separator Decomposition for the Maximum Weight Stable Set Problem.	FCT	2005	DBLP DOI BibTeX RDF
26	Alexey V. Anikeenko, Marina L. Gavrilova, Nikolai N. Medvedev	A Novel Delaunay Simplex Technique for Detection of Crystalline Nuclei in Dense Packings of Spheres.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
26	Peter A. Flach, Nicolas Lachiche	Naive Bayesian Classification of Structured Data.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	first-order features, knowledge representation, inductive logic programming, bayesian classifier, structured data
26	V. Wiktor Marek, Jeffrey B. Remmel	Set Constraints in Logic Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
26	Peter J. Nürnberg, Uffe Kock Wiil, David L. Hicks	Rethinking structural computing infrastructures.	Hypertext	2004	DBLP DOI BibTeX RDF	EAD, structural atom, infrastructure, structural computing
26	Alf Gerisch, Anna T. Lawniczak, R. Arief Budiman, Henryk Fuks, Harry E. Ruda	Surface Roughening in Homoepitaxial Growth: A Lattice Gas Cellular Automaton Model.	ACRI	2004	DBLP DOI BibTeX RDF
26	Natsuhiko Futamura, Srinivas Aluru, Desh Ranjan, Bhanu Hariharan	Efficient Parallel Algorithms for Solvent Accessible Surface Area of Proteins.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	accessible surface area, parallel algorithm, Monte Carlo, Computational biology, protein folding
26	Alexander F. Sax, Thomas Krüger	Methodological Problems in the Calculations on Amorphous Hydrogenated Silicon, a-Si: H.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
26	Yann Loyer, Umberto Straccia	Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.	JELIA	2002	DBLP DOI BibTeX RDF
26	Adelino R. Ferreira da Silva	A Pursuit Architecture for Signal Analysis.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
26	Lee Naish	A Three-Valued Semantic for Horn Clause Programs.	ACSC	2000	DBLP DOI BibTeX RDF
26	Takahide Sakata, Hideyuki Takahashi, Tetsu Sekine, Toshiya Ogiwara	Investigation of Ga Contamination Due to Analysis by Dual Beam FIB.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	FIB, Gallium contamination, Silicon wafer, Ion milling, TRXRF, XPS, WDX, ICP-MS, AES
26	Kumar Rajan, Narsingh Deo	A Parallel Algorithm for Bound-Smoothing.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
26	Paolo Frasconi	An Introduction to Learning Structured Information.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
26	Grant Pogosyan, Akihiro Nozaki	Join-Irreducible Clones of Multiple-Valued Logic Algebra.	ISMVL	1995	DBLP DOI BibTeX RDF	join-irreducible clones, multiple valued logic algebra, synthetic means, lattice elements, join irreducible elements, unary functions, constructive criteria, graph theoretical property, one variable function, k valued logic, graph theory, set theory, multivalued logic, group theory, monoids, join operation, generating system
26	Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli	A Decision Algorithm for Full Propositional Temporal Logic.	CAV	1993	DBLP DOI BibTeX RDF	satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
26	Maurizio Gabbrielli, Giorgio Levi, Daniele Turi	A Two Steps Semantics for Logic Programs with Negation.	LPAR	1992	DBLP DOI BibTeX RDF
26	Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002	MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.	CADE	1992	DBLP DOI BibTeX RDF
26	Kanchana Kanchanasut, Peter J. Stuckey	Eliminating Negation from Normal Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
24	Cliff B. Jones, Ken G. Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.	ABZ	2008	DBLP DOI BibTeX RDF