Works Published in 2004
Displaying works 121 - 134 of 134 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2004 journal article
Partitions and compositions defined by inequalities
RAMANUJAN JOURNAL, 8(3), 357–381.
author keywords: integer partitions; integer compositions; enumeration
arxiv.org (repository)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2004 journal article
On the multiplicity of parts in a random composition of a large integer
SIAM JOURNAL ON DISCRETE MATHEMATICS, 18(2), 418–435.
author keywords: compositions of an integer; random compositions; geometric random variables
TL;DR:
A more careful analysis uncovers an unexpected result: $(\ln n)\P(A_n^{(m)})$ does not have a limit but instead oscillates around the value $1/m$ as $n\to\infty$.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2004 journal article
Inside JetBlue's privacy policy violations
IEEE Security & Privacy, 2(6), 18-.
Source: NC State University Libraries
Added: August 6, 2018
2004 article
Compositional static instruction cache simulation
Patil, K., Seth, K., & Mueller, F. (2004, July). ACM SIGPLAN NOTICES, Vol. 39, pp. 136–145.
author keywords: algorithms; experimentation; real-time systems; caches; scheduling; worst-case execution time
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2004 journal article
SAT-solving the coverability problem for Petri nets
FORMAL METHODS IN SYSTEM DESIGN, 24(1), 25–43.
author keywords: infinite state systems; Petri nets; coverability; partial-order methods; unfoldings
TL;DR:
The experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
13. Climate Action
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2004 journal article
Antipodal gray codes
DISCRETE MATHEMATICS, 281(1-3), 221–236.
author keywords: gray code; Hamiltonian cycle; n-cube
TL;DR:
This paper provides a recursive construction to prove existence of n antipodal Gray codes when n is a power of 2, and shows they are not possible for odd n>3 or for n=6.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2004 journal article
A study of path protection in large-scale optical networks
PHOTONIC NETWORK COMMUNICATIONS, 7(3), 267–278.
Contributors: G. Rouskas n & Y. Xin
author keywords: survivability; large-scale optical networks; topology design
TL;DR:
It is found that, using shared path protection schemes, it is possible to build cost-effective survivable networks that provide rich connectivity among client nodes with only a modest additional amount of resources over a network with no survivability properties.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2004 article
A structured experiment of test-driven development
George, B., & Williams, L. (2004, April 15). INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 46, pp. 337–342.
author keywords: software engineering; test driven development; extreme programming; agile methodologies
TL;DR:
Experimental results tend to indicate that TDD programmers produce higher quality code because they passed 18% more functional black-box test cases and took 16% more time, which supports the perception thatTDD has the potential for increasing the level of unit testing in the software industry.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2004 journal article
A framework and ontology for dynamic Web services selection
IEEE INTERNET COMPUTING, 8(5), 84–93.
Contributors: E. Maximilien* & M. Singh n
TL;DR:
This article addresses dynamic service selection via an agent framework coupled with a QoS ontology with the aim of enabling participants to collaborate to determine each other's service quality and trustworthiness.
(via Semantic Scholar)
Sources: ORCID, Web Of Science
Added: August 6, 2018
2004 chapter
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation
In Theory and Applications of Satisfiability Testing (Vol. 2919, pp. 53–68).
TL;DR:
The experimental methodology used demonstrates the effectiveness of the switching strategy and the efficiency of the new unit-propagation implementation and supports statistically significant performance evaluation between local search and other state-of-the-art DPLL-based SAT solvers.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: August 6, 2018
2004 article
Utility functions for ceteris paribus preferences
McGeachie, M., & Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217.
Contributors: M. Mcgeachie* & J. Doyle n
author keywords: qualitative decision theory; rationality; ceteris paribus preferences
TL;DR:
An algorithm is presented that compiles a set of qualitative ceteris paribus preferences into an ordinal utility function and heuristics using utility independence and constraint‐based search to obtain efficient utility functions are presented.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2004 journal article
The Kronecker product and stochastic automata networks
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 167(2), 429–447.
author keywords: stochastic automata networks; Kronecker products; Kronecker product properties; preconditioning
TL;DR:
The most useful properties of the Kronecker product are collected and cataloged and several new properties are discovered in the search for a stochastic automata network preconditioner.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2004 journal article
Scalable hierarchical locking for distributed systems
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 64(6), 708–724.
author keywords: distributed mutual exclusion; middleware services; distributed resource allocation; concurrency services; hierarchical locking; peer-to peer protocols; scalability; large-scale distributed computing; distributed agreement; distributed transactions
TL;DR:
The objective of the work is to enhance middleware services to provide scalability of synchronization and to support state replication in distributed systems, and designed and implemented a middleware protocol that is a peer-to-peer protocol for multi-mode hierarchical locking, applicable to transaction-style processing and distributed agreement.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2004 article
Prospects for preferences
Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136.
Contributors: J. Doyle n
author keywords: decision theory; preference; utility; rationality; limited rationality; reasoning; learning; preference representation; preference structure; preference change
TL;DR:
Prospects for theories and methods of preferences are examined, both in the specific sense of the preferences of the ideal rational agents considered in economics and decision theory and in the broader interplay between reasoning and rationality considered in philosophy, psychology, and artificial intelligence.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
