Search Constraints
Search Results
Select an image to start the slideshow
Sales Training and Swaption Pricing under New Regulatory Environment
1 of 27
Information Sharing at Bank of America
2 of 27
Privacy in Online Social Networks
3 of 27
BNP Paribas: Equity Smart Order Router
4 of 27
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
5 of 27
Generating Universal Models for Geometric Theories
6 of 27
Data Generation, Distribution & Management
7 of 27
Formal Verification of Boolean Unification Algorithms with Coq
8 of 27
Core Finding for Relational Structures
9 of 27
Theory assistant
10 of 27
Timing diagram to Buchi automation translation
11 of 27
Global Credit Products Technology SPV Reporting Tool
12 of 27
Build and Release Optimization of the Structured Credit Desktop
13 of 27
Towards a Transition System Semantics for Alloy
14 of 27
Translating Alloy to SMT-LIB
15 of 27
Wall Street Project
16 of 27
BNP Paribas: Systems Analysis and Concept Development
17 of 27
Modeling and Analyzing Security Requirements for Java
18 of 27
Risk Reporting Techniques
19 of 27
Interactive Model Finding with Hominy
20 of 27
X2S
21 of 27
Live score synchronization II
22 of 27
Theory Assistant 2
23 of 27
Normalization for metadata
24 of 27
A Natural Language Interface Using First Order Logic
25 of 27
Model checking for role-based access control
26 of 27
A Tactic For Setoid Congruence
27 of 27