Princeton Institute for Computational Science and Engineering

Research Output 1975 2020

Filter
Chapter
2018

Post-silicon fault localization with satisfiability solvers

Malik, S., Sep 1 2018, Post-Silicon Validation and Debug. Springer International Publishing, p. 255-273 19 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Propositional SAT solving

Malik, S., May 18 2018, Handbook of Model Checking. Springer International Publishing, p. 247-275 29 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Satisfiability Problem
Model checking
Computational complexity
Model Checking
Proof Complexity
2017

Data and workflow management for exascale global adjoint tomography

Smith, J. A. & Tromp, J., Jan 1 2017, Exascale Scientific Applications: Scalability and Performance Portability. CRC Press, p. 279-306 28 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

seismic wave
tomography
seismic tomography
seismic source
wave propagation

Fast timing for collider detectors

Tully, C. G., Apr 1 2017, The Future of High Energy Physics: Some Aspects. World Scientific Publishing Co. Pte Ltd, p. 255-260 6 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

radiation counters
apexes
time measurement
physics
detectors
3 Citations (Scopus)

Social influence: The puzzling nature of success in cultural markets

Salganik, M. J., Jan 1 2017, The Oxford Handbook of Analytical Sociology. Oxford University Press, p. 315-341 27 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

song
movies
market
self-fulfilling prophecy
experiment

Verifying security properties in modern SOCs using instruction-level abstractions

Malik, S., Jan 1 2017, Hardware IP Security and Trust. Springer International Publishing, p. 287-323 37 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Firmware
Computer hardware
Hardware
Specification languages
Particle accelerators
2016
4 Citations (Scopus)

Experimental Characterization of Interfaces of Relevance to Organic Electronics

Kahn, A., Aug 1 2016, Basic Concepts. World Scientific Publishing Co. Pte Ltd, Vol. 1. p. 159-191 33 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Electronic equipment
Semiconducting organic compounds
Electronic properties
Organic polymers
Electron spectroscopy

Navier stokes equations: A quick reminder and a few remarks

Constantin, P., Jan 1 2016, Open Problems in Mathematics. Springer International Publishing, p. 259-271 13 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Euler Equations
Navier-Stokes Equations
2 Citations (Scopus)

Origins of the dog: Genetic insights into dog domestication

Vonholdt, B. M., Dec 8 2016, The Domestic Dog: Its Evolution, Behavior and Interactions with People: Second Edition. Cambridge University Press, p. 22-41 20 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

2015

Bayesian inference for latent stepping and ramping models of spike train data

Pillow, J. W., Jan 1 2015, Advanced State Space Methods for Neural and Clinical Data. Cambridge University Press, p. 160-185 26 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Decision making
Brain
Neurons
Animals
State space methods
1 Citation (Scopus)

Cognitive Control (Executive Function): Role of Prefrontal Cortex

Cohen, J. D., Mar 26 2015, International Encyclopedia of the Social & Behavioral Sciences: Second Edition. Elsevier Inc., p. 33-37 5 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

brain
ability
problem-solving behavior
social behavior
neural network
12 Citations (Scopus)

Probing strong-field gravity through numerical simulations

Pretorius, F., Jan 1 2015, General Relativity and Gravitation: A Centennial Perspective. Cambridge University Press, p. 361-411 51 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

gravitation
relativity
simulation
luminosity
physics
9 Citations (Scopus)

Self-Diffusion of Water and Ions in Clay Barriers

Bourg, I. C., 2015, Developments in Clay Science. Elsevier B.V., p. 189-226 38 p. (Developments in Clay Science; vol. 6).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Ions
clay
ion
Water
Clay minerals
1 Citation (Scopus)

Strategies in adjoint tomography

Tromp, J., Sep 15 2015, Handbook of Geomathematics: Second Edition. Springer Berlin Heidelberg, p. 1943-2001 59 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Tomography
tomography
adjoint method
Adjoint Method
eigenvalue
2 Citations (Scopus)

Theory and Obeservations - Forward Modeling and Synthetic Seismograms, 3D Numerical Methods

Tromp, J., Jan 1 2015, Deep Earth Seismology. Elsevier Inc., Vol. 1. p. 231-251 21 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

synthetic seismogram
forward modeling
numerical method
seismology
inverse problem

The valuation of clean spread options: Linking electricity, emissions and fuels

Carmona, R., Jan 1 2015, Commodities. CRC Press, p. 645-666 22 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Electricity
Valuation
Linking
Greenhouse Gases
Natural Gas

Tropical Meteorology & Climate: Hadley Circulation

Vecchi, G. A., Jan 1 2015, Encyclopedia of Atmospheric Sciences: Second Edition. Elsevier Inc., p. 113-120 8 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

tropical meteorology
climate
climate forcing
Hadley cell
air
2014
41 Citations (Scopus)

A survey of commodity markets and structural models for electricity prices

Carmona, R. A., Jan 1 2014, Quantitative Energy Finance: Modeling, Pricing, and Hedging in Energy and Commodity Markets. Springer New York, p. 41-83 43 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Structural model
Electricity price
Forward price
Spot price
Market model

Comparative gene expression between two yeast species

Troyanskaya, O. G., Jan 1 2014, Investigations in Yeast Functional Genomics and Molecular Biology. Apple Academic Press, p. 311-338 28 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Gene expression
Yeast
Conservation
Yeasts
Binding Sites
2 Citations (Scopus)

How limited systematicity emerges: A computational cognitive neuroscience approach

Cohen, J. D., Jan 1 2014, The Architecture of Cognition: Rethinking Fodor and Pylyshyn's Systematicity Challenge. MIT Press, p. 191-226 36 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Reduction of resolution refutations and interpolants via subsumption

Malik, S., Jan 1 2014, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Proceedings. Yahav, E. (ed.). Springer Verlag, p. 188-203 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8855).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Interpolation
Networks (circuits)
2013

4π Detectors

Tully, C., Jan 1 2013, 100 Years of Subatomic Physics. World Scientific Publishing Co., p. 289-310 22 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Complex fluids and lagrangian particles

Constantin, P., 2013, Topics in Mathematical Fluid Mechanics: Cetraro, Italy 2010, Editors: Hugo Beirao da Veiga, Franco Flandoli. Springer Verlag, p. 1-21 21 p. (Lecture Notes in Mathematics; vol. 2073).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Complex Fluids
Degree of freedom
Particulate Matter
Newtonian Fluid
Configuration Space
564 Citations (Scopus)

Near-term climate change: Projections and predictability

Vecchi, G., Jan 1 2013, Climate Change 2013 the Physical Science Basis: Working Group I Contribution to the Fifth Assessment Report of the Intergovernmental Panel on Climate Change. Cambridge University Press, Vol. 9781107057999. p. 953-1028 76 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

climate change
prediction
climate
temperature
climate prediction

The nleural basis of economic decision making in the ultimatum game

Cohen, J. D., Jan 1 2013, Social Neuroscience: Key Readings. Taylor and Francis, p. 215-222 8 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Decision Making
Economics
Emotions
Brain
Prefrontal Cortex
40 Citations (Scopus)

The Spectral-Element Method in Seismology

Tromp, J., Mar 19 2013, Seismic Earth: Array Analysis of Broadband Seismograms. wiley, p. 205-227 23 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

seismology
distributed memory
formulations
parallel computers
seismograms
2012
7 Citations (Scopus)

Final state of gregory–laflamme instability

Pretorius, F., Jan 1 2012, Black Holes in Higher Dimensions. Cambridge University Press, Vol. 9781107013452. p. 44-68 25 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

strings
horizon
fractals
naked singularities
Einstein equations

For The Law, Neuroscience Changes Nothing and Everything

Cohen, J., Nov 21 2012, Oxford Handbook of Neuroethics. Oxford University Press

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Punishment
Neurosciences
Functional Neuroimaging
Social Welfare
Social Justice

Tangent models as a mathematical framework for dynamic calibration

Carmona, R. A., Jan 1 2012, Finance at fields. World Scientific Publishing Co., p. 151-180 30 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Tangent line
Calibration
Market Model
Arbitrage
Model
2010
22 Citations (Scopus)

Cyanobactins - ubiquitous cyanobacterial ribosomal peptide metabolites

Abou Donia, M. S., Mar 1 2010, Comprehensive Natural Products II: Chemistry and Biology. Elsevier Ltd, Vol. 2. p. 539-558 20 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Lock-on to a high-lift state with oscillatory forcing in a three-dimensional wake flow

Rowley, C. W., Apr 16 2010, Active Flow Control II: Papers Contributed to the Conference "Active Flow Control II 2010", Berlin, Germany, May 26-28, 2010. King, R. (ed.). p. 81-93 13 p. (Notes on Numerical Fluid Mechanics and Multidisciplinary Design; vol. 108).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Flow control
Momentum
Low aspect ratio wings
Flow fields
Vortex flow
2 Citations (Scopus)

Properties of liquids made from modified water models

Debenedetti, P. G., Jan 1 2010, Water and Life: The Unique Properties of H2O. CRC Press, p. 89-99 11 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

liquid
Water
Liquids
Chemical Phenomena
Physical Phenomena

Structural simulation for architecture exploration

August, D. I., Dec 1 2010, Processor and System-on-Chip Simulation. Springer US, p. 85-104 20 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Simulators
Application programming interfaces (API)
Interoperability
Interfaces (computer)
Software engineering

The physics of decision making: Stochastic differential equations as models for neural dynamics and evidence accumulation in cortical circuits

Cohen, J. D., Jan 1 2010, XVIth International Congress on Mathematical Physics. World Scientific Publishing Co., p. 123-142 20 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

decision making
Stochastic Equations
differential equations
Decision Making
Physics
2009
2 Citations (Scopus)

Birdsong Learning

Seung, H. S., Jan 1 2009, Encyclopedia of Neuroscience. Elsevier Ltd, p. 227-239 13 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Music
Learning
Songbirds
Neural Networks (Computer)
Neurons
35 Citations (Scopus)

Chapter 23 Cyanobactin Ribosomally Synthesized Peptides-A Case of Deep Metagenome Mining

Abou Donia, M. S., Apr 16 2009, Complex Enzymes in Microbial Natural Product Biosynthesis, Part A: Overview Articles and Peptides. Hopwood, D. (ed.). A ed. p. 575-596 22 p. (Methods in Enzymology; vol. 458, no. A).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Metagenome
Biological Products
Cyanobacteria
Animals
Metagenomics
1 Citation (Scopus)

Computational analysis of the yeast proteome: Understanding and exploiting functional specificity in genomic data

Troyanskaya, O. G., Dec 1 2009, Yeast Functional Genomics and Proteomics: Methods and Protocols. Stagljar, I. (ed.). p. 273-293 21 p. (Methods in Molecular Biology; vol. 548).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Proteome
Yeasts
Biodiversity
Information Systems
167 Citations (Scopus)

Conflict-driven clause learning SAT solvers

Malik, S., Jan 1 2009, Handbook of Satisfiability. 1 ed. IOS Press, p. 131-153 23 p. (Frontiers in Artificial Intelligence and Applications; vol. 185, no. 1).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Data structures
8 Citations (Scopus)

The Role of Prefrontal Cortex in Normal and Disordered Cognitive Control: A Cognitive Neuroscience Perspective

Cohen, J. D., May 1 2009, Principles of Frontal Lobe Function. Oxford University Press

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Prefrontal Cortex
Task Performance and Analysis
Automatic Data Processing
Neuroimaging
Young Adult
2008
3 Citations (Scopus)

Applications to weather derivatives and energy contracts

Carmona, R., Dec 29 2008, Indifference Pricing: Theory and Applications. Princeton University Press, p. 241-264 24 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Boolean Satisfiability. Creating Solvers Optimized for Specific Problem Instances.

Martonosi, M. R. & Malik, S., Dec 1 2008, Reconfigurable Computing. Elsevier Inc., p. 613-636 24 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Automatic test pattern generation
Hardware
Theorem proving
Computer science
Field programmable gate arrays (FPGA)
1 Citation (Scopus)

From markovian to partially observable models

Carmona, R., Dec 29 2008, Indifference Pricing: Theory and Applications. Princeton University Press, p. 147-180 34 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

MADL-An ADL Based on a Formal and Flexible Concurrency Model1

Malik, S., Dec 1 2008, Processor Description Languages. Elsevier Inc., p. 217-245 29 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Simulators
Microprocessor chips
Productivity
Semantics
215 Citations (Scopus)

Neuroeconomics

Cohen, J. D., Apr 9 2008, Annual Review of Psychology. Fiske, S., Schacter, D. & Sternberg, R. (eds.). p. 647-672 26 p. (Annual Review of Psychology; vol. 59).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Economics
Psychology
Decision Making
Economic Models
Research
2007
6 Citations (Scopus)

HJM: A unified approach to dynamic models for fixed income, credit and equity markets

Carmona, R. A., Jan 1 2007, Paris-Princeton Lectures on Mathematical Finance 2004. Springer Verlag, p. 1-50 50 p. (Lecture Notes in Mathematics; vol. 1919).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Market Model
Equity
Dynamic Model
Consistency Conditions
Arbitrage
9 Citations (Scopus)

Methods based on probability distributions and histograms

Panagiotopoulos, A., Dec 1 2007, Free Energy Calculations: Theory and Applications in Chemistry and Biology. p. 77-118 42 p. (Springer Series in Chemical Physics; vol. 86).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Methods for examining phase equilibria

Panagiotopoulos, A. Z., Dec 1 2007, Free Energy Calculations: Theory and Applications in Chemistry and Biology. p. 353-387 35 p. (Springer Series in Chemical Physics; vol. 86).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

134 Citations (Scopus)

Statistical models for neural encoding, decoding, and optimal stimulus design

Pillow, J., Oct 8 2007, Computational Neuroscience: Theoretical Insights into Brain Function. Cisek, P., Drew, T. & Kalaska, J. (eds.). p. 493-507 15 p. (Progress in Brain Research; vol. 165).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Statistical Models
Neurons
Statistical Data Interpretation
Population
History
28 Citations (Scopus)

The locus coeruleus and regulation of behavioral flexibility and attention: Clinical implications

Aston-Jones, G. & Cohen, J., Jan 1 2007, Brain Norepinephrine: Neurobiology and Therapeutics. Cambridge University Press, p. 196-235 40 p.

Rutgers, The State University, Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

Locus Coeruleus
Task Performance and Analysis
Neurons
Arousal
Haplorhini
3 Citations (Scopus)

Theory and Observations - Forward Modeling and Synthetic Seismograms: 3-D Numerical Methods

Tromp, J., Dec 1 2007, Treatise on Geophysics. Elsevier, Vol. 1. p. 191-217 27 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingChapter

synthetic seismogram
forward modeling
numerical method
seismic wave
wave propagation