College of Engineering
Displaying works 41 - 60 of 160 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2003 conference paper
Peer-to-peer computing for information systems
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2530, 15–20. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144433600&partnerID=MN8TOARS
2003 conference paper
Engineering Commitment-Based Multiagent Systems: A Temporal Logic Approach
Proceedings of the International Conference on Autonomous Agents, 2, 891–898. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142292521&partnerID=MN8TOARS
2003 conference paper
Emergent Properties of Referral Systems
Proceedings of the Interantional Conference on Autonomous Agents, 2, 592–599. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142293029&partnerID=MN8TOARS
2003 journal article
Dynamic communities in referral networks
Web Intelligence and Agent Systems, 1(2), 105–116. http://www.scopus.com/inward/record.url?eid=2-s2.0-2942625505&partnerID=MN8TOARS
2003 conference paper
Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition
Proceedings of the Interantional Conference on Autonomous Agents, 2, 907–914. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142268242&partnerID=MN8TOARS
2003 conference paper
Detecting Deception in Reputation Management
Proceedings of the Interantional Conference on Autonomous Agents, 2, 73–80. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142293052&partnerID=MN8TOARS
2003 conference paper
Ladders of Success: An Empirical Approach to Trust
Proceedings of the Interantional Conference on Autonomous Agents, 2, 1168–1169. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142280376&partnerID=MN8TOARS
2003 conference paper
Incentive mechanisms for peer-to-peer systems
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2872, 77–88. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144440546&partnerID=MN8TOARS
2003 conference paper
Commitments and Causality for Multiagent Design
Proceedings of the Interantional Conference on Autonomous Agents, 2, 749–756. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142280922&partnerID=MN8TOARS
2003 conference paper
Agent communication languages: Rethinking the principles
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2650, 37–50. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144466430&partnerID=MN8TOARS
2003 journal article
A community-based approach for selecting service providers
ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES. https://publons.com/publon/21294494/
2003 conference paper
An agent-based approach for trustworthy service location
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2530, 45–56. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144447427&partnerID=MN8TOARS
2003 conference paper
A Community-Based Approach for Selecting Service Providers
Proceedings of the International Conference on Web Services, 177–183. http://www.scopus.com/inward/record.url?eid=2-s2.0-1642355971&partnerID=MN8TOARS
2003 article
SATbed User Documentation
https://people.engr.ncsu.edu/mfms/Publications/2003-SATbed-home-guide.pdf
2003 conference paper
SATbed: A Configurable Environment for Reliable Performance Experiments with SAT Instance Classes and Algorithms
Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing, 5–8.
Event: Citeseer
2003 conference paper
QingTing: a fast SAT solver using local search and efficient unit propagation
Sixth International Conference on Theory and Applications of Satisfiability Testing, 1.
2003 conference paper
A local search SAT solver using an effective switching strategy and an efficient unit propagation
International Conference on Theory and Applications of Satisfiability Testing, 53–68.
Event: Springer, Berlin, Heidelberg
2003 conference paper
Numerical Tools for the Study of Instabilities within the Positive-Differential-Resistance Regions of Tunnelling Devices
Proceedings of 2003 3nd IEEE Conference on Nanotechnology, San Francisco, CA, August 12--14, 2003, (CRSC-TR03-23), 390–393. IEEE.
Event: North Carolina State University, Center for Research in Scientific Computation
2003 book
Solving Nonlinear Equations with Newton's Method
Philadelphia: SIAM.
Event: at Philadelphia
2003 journal article
Globally Convergent Algorithms for Nonsmooth Nonlinear Equations in Computational Fluid Dynamics
J. Comp. Appl. Math., 152, 69–81.