Works Published in 2007
Displaying works 41 - 60 of 168 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2007 journal article
Shape derivatives without taking the shape derivative
PAMM, 7(1), 1061005–1061006.
Source: Crossref
Added: February 24, 2020
2007 journal article
An immersed interface method for the Navier-Stokes equations on irregular domains
PAMM, 7(1), 1025401–1025402.
Sources: Crossref, NC State University Libraries
Added: February 24, 2020
2007 journal article
Simulation of Fusion Plasmas: Current Status and Future Direction
Plasma Science and Technology, 9(3), 312–387.
citeseerx.ist.psu.edu (repository)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy
(OpenAlex)
11. Sustainable Cities and Communities
(Web of Science)
Source: Crossref
Added: February 24, 2020
2007 chapter
Automation of Network-Based Scientific Workflows
In IFIP The International Federation for Information Processing (pp. 35–61).
TL;DR:
The issues associated with practical automation of scientific processes and workflows are discussed and an information technology framework that supports scientific workflows is the Ptolemy II based environment called Kepler.
(via Semantic Scholar)
Source: Crossref
Added: February 24, 2020
2007 journal article
Some software aspects of DAE simulation & optimization software
Some software aspects of DAE simulation & optimization software. PAMM, 7(1), 1023103–1023104.
TL;DR:
An important aspect of this research has been working toward helping the idea of DAEs achieve its promise in modeling and simulation by both pushing the software to handle more general problems and to also allow for less user expertise.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: February 10, 2020
2007 article
Problems and techniques: Introduction
SIAM Review, Vol. 49. http://www.scopus.com/inward/record.url?eid=2-s2.0-37249005235&partnerID=MN8TOARS
Source: ORCID
Added: January 17, 2020
2007 article
Problems and techniques
SIAM Review, Vol. 49. http://www.scopus.com/inward/record.url?eid=2-s2.0-34249999151&partnerID=MN8TOARS
Source: ORCID
Added: January 17, 2020
2007 journal article
Problems and Techniques
SIAM Review, 49(1), 33–34.
Source: ORCID
Added: January 17, 2020
2007 article
Problems and Techniques
Ipsen, I. (2007, January). SIAM Review, Vol. 49, pp. 209–209.
Source: ORCID
Added: January 17, 2020
2007 conference paper
Computer optimization of electron gun designs
2007 Joint 32nd International Conference on Infrared and Millimeter Waves and the 15th International Conference on Terahertz Electronics. Presented at the 2007 Joint 32nd International Conference on Infrared and Millimeter Waves and the 15th International Conference on Terahertz Electronics (IRMMW-THz).
Event: 2007 Joint 32nd International Conference on Infrared and Millimeter Waves and the 15th International Conference on Terahertz Electronics (IRMMW-THz)
Sources: Crossref, NC State University Libraries
Added: January 5, 2020
2007 journal article
Subset selection for parameter estimation in an HIV model
PAMM, 7(1), 1121501–1121502.
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(OpenAlex)
Sources: Crossref, NC State University Libraries
Added: January 5, 2020
2007 monograph
Cardiovascular and Respiratory Systems
TL;DR:
The cardiovascular system under an ergometric workload and the nonlinear feedback law are studied, which shows clear patterns in the response of the immune system to changes in pressure.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: January 3, 2020
2007 conference paper
Representing and reasoning about commitments in business processes
Proceedings of the National Conference on Artificial Intelligence, 2, 1328–1333. http://www.scopus.com/inward/record.url?eid=2-s2.0-36349027545&partnerID=MN8TOARS
Contributors: N. Desai, A. Chopra & M. Singh
Source: ORCID
Added: December 10, 2019
2007 conference paper
Toward verification of commitment protocols and their compositions
Proceedings of the International Conference on Autonomous Agents, 144–146.
Contributors: N. Desai n, Z. Cheng n, A. Chopra n & M. Singh n
TL;DR:
This paper outlines an approach for verifying the correctness of commitment protocols and their compositions that exploits the well-known software engineering technique of model checking.
(via Semantic Scholar)
Source: ORCID
Added: December 10, 2019
2007 journal article
Governance of cross-organizational service agreements: A policy-based approach
IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS. https://publons.com/publon/21294458/
Contributors: Y. Udupi & M. Singh
Source: ORCID
Added: December 10, 2019
2007 journal article
Formalizing Communication Protocols for Multiagent Systems
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. https://publons.com/publon/21294460/
Contributors: M. Singh
Source: ORCID
Added: December 10, 2019
2007 journal article
Formal Trust Model for Multiagent Systems
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. https://publons.com/publon/21294461/
Contributors: Y. Wang & M. Singh
Source: ORCID
Added: December 10, 2019
2007 conference paper
Governance of cross-organizational service agreements: A policy-based approach
Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007, 36–43.
Contributors: Y. Udupi n & M. Singh n
TL;DR:
This paper provides an initial formalization and discusses the compliance and completeness of behaviors produced from specified policies, and provides a novel architecture supporting policy monitoring, governance, and enactment.
(via Semantic Scholar)
Source: ORCID
Added: December 10, 2019
2007 conference paper
Engineering foreign exchange processes via commitment protocols
Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007, 514–521.
Contributors: N. Desai n, A. Chopra n, M. Arrott*, B. Spechte & M. Singh n
TL;DR:
This paper validates a formal, protocol-based approach by specifying foreign exchange processes as standardized by the TWIST consortium by formalizing a small, core set of foreign exchange interaction protocols on which the desired processes can be based.
(via Semantic Scholar)
Source: ORCID
Added: December 10, 2019
2007 journal article
Logic-Based Agent Verification
Journal of Applied Logic, 5(2), 193–195.
Contributors: M. Fisher *, M. Singh n , D. Spears* & M. Wooldridge *
TL;DR:
This special issue of the Journal of Applied Logic contains six papers on state-of-the-art research on the topic of assuring the trustworthiness of multi-agent systems, and a new multiagent system (MAS) protocol language for multi- agent dialogues that is based on process calculus.
(via Semantic Scholar)
Source: ORCID
Added: December 10, 2019
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.
