College of Engineering
Displaying works 41 - 60 of 153 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
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.
2003 conference paper
Implicit filtering and nonlinear least squares problems
In E. W. Sachs & R. Tichatschke (Eds.), System Modeling and Optimization XX (pp. 71–90). Dordrecht: Kluwer Academic Publishers.
Ed(s): E. Sachs & R. Tichatschke
Event: at Dordrecht
2003 report
Implicit filtering and nonlinear least squares problems
In E. W. Sachs & R. Tichatschke (Eds.), System Modeling and Optimization XX (No. CRSC-TR01-17; pp. 71–90). Dordrecht: Kluwer Academic Publishers.
Ed(s): E. Sachs & R. Tichatschke
Event: at Dordrecht
2003 article
Electronic Supplement to ``{O}ptimal Design for Problems Involving Flow and Transport Phenomena in Saturated Subsurface Systems''
2003 journal article
Auxiliary signal design for robust active failure detection: the general cost case
Proc. Safeprocess 2003, 259–264.
2003 conference paper
Minimizing WIP for job shop problems while satisfying due dates
Proceedings of the 2003 Industrial Engineering Research Conference.
2003 chapter
Fuzzy Data Envelopment Analysis: A Credibility Approach
In J. L. Verdegay (Ed.), Fuzzy Sets Based Heuristics for Optimization (pp. 141–158).
Ed(s): J. Verdegay
2003 conference paper
Factory scheduling: implementing a simulation-based scheduling system for a two-plant operation
Proceedings of the 35th conference on Winter simulation: driving innovation, 1440–1448.
Event: Winter Simulation Conference