Decision support systems : experiences and expectations : proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support Systems--Experiences and Expectations, Fontainebleau, France, 30 June-3 July, 1992

Introduction to statistical pattern recognition

Models and methods in multiple criteria decision making

Finite element methods for viscous incompressible flows : a guide to theory, practice, and algorithms

Discrete optimization

Pursuit-evasion differential games

Analytical planning : the organization of systems

Systems engineering in public administration : proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Lüneburg, Germany, 3-5 March 1993

Software engineering education : proceedings of the IFIP WG3.4/SEARCC SRIG on Education and Training Working Conference, Hong Kong, 28 September-2 October 1993

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993

Introduction to interval computations

Elementary linear programming with applications

Decision support in public administration : proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, the Netherlands, 13-14 May 1993

Interoperable database systems (DS-5) : proceedings of theIFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992

Introduction to numerical computations

Crystal symmetries : Shubnikov Centennial papers

Spectral techniques and fault detection

A new approach to scientific computation

Introduction to dynamic programming

Numerical methods for partial differential equations

Operating systems

Symbolic logic and mechanical theorem proving

Iterative solution of large linear systems

Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information Development Process, Como, Italy, 1-3 September, 1993

Curves and surfaces for computer aided geometric design : a practical guide

Report of a workshop on the scope and nature of computational thinking

Summary of discussions at a planning meeting on cyber-security and the insider threat to classified information

Geotargeted alerts and warnings : report of a workshop on current knowledge and research gaps

Machine Learning Based User Modeling for Enterprise Security and Privacy Risk Mitigation

Algorithms and Theory for Variational Inference in Two-Level Non-conjugate Models

Incremental and Memory-Limited Probabilistic Generative Models of Early Word Learning

Structure-Aware Approaches for Deciphering Sequence-Specific Protein-DNA Interactions

Interaction-Driven Spatial Agent-Based Models at Multiple Levels of Biological Organization

Unchaining the Blockchain Network Layer

Identifying and Addressing Structural Inequalities in the Representativeness of Geographic Technologies

Order-Preserving Embeddings: A Geometric Approach

Subgraph Counting and Vertex Coloring in Large Graphs

On Multi-Armed Bandits Theory and Applications

Knowledge Discovery for Health Informatics from Structured and Textual Data

Complexity in Coevolution and Deep Learning

Radiative Transfer Using Path Integrals for Multiple Scattering in Participating Media

Behavior-Based Cognitive Trait Modeling via Node-Link Diagram Interactions

An Efficient Algorithm for Relationship Inference

Real-Time Image Editing and iOS Application with Convolutional Networks

Learning Perceptual Similarity from Crowds and Machines

Customizing Indoor Wireless Coverage via 3D-Fabricated

Afterimage: Collecting and Replaying Geospatial Memory

Enabling Human Support of Robot Swarms

Provable and Practical Algorithms for Non-Convex Problems in Machine Learning

Speech Synthesis for Text-Based Editing of Audio Narration

On Consistent and Efficient Graph Data Management

Problem Solving Markov Models and Recursive Pedagogy

A Study of Facial Expression Recognition Technologies on Deaf Adults and Their Children

Skip Regex: Parsing without Deciding

Sentiment, Belief and Opinion Detection Using Neural Networks

Fairness, Learning and Efficiency in Markets with Budgeted Agents

Learning Conditional Models for Visual Perception

Combining Reasoning and Learning For Multi-Stage Inference in Computational Sustainability and Scientific Discovery

Complex Neural Networks for Audio

Secure Short-Range Communications

Privacy Infrastructure for Content and Communications

Resource Management for Advanced Data Analytics at Large Scale

Wide-Area Software-Defined Storage

Applications of Numerical Optimization in Graphics and Games

Applying Differential Privacy with Sparse Vector Technique

Computational Methods to Advance Directed Evolution of Enzymes and Metabolomics Data Analysis

Property Testing of Boolean Functions

Toward Automated Sketching Collaborators: An Analogical Route

Personal Photo Enhancement

Exact and Approximate Algorithms for Some Combinatorial Problems

The Gender Generator: Towards a Machine-Empathy Interface for the Evocation of Gender Dysphoria Symptoms

Discovering and Exploiting Structure for Gaussian Processes

Joint-Stochastic Spectral Inference for Robust Co-Occurrence Modeling and Latent Topic Analysis

Capabilities of Robotics Applications in Clinical Rehabilitation and Behavioral Control

Contributions to Machine Learning in Biomedical Informatics

Toward Controllable and Robust Surface Reconstruction From Spatial Curves

Network-Based Pathway Enrichment Analysis for Biological Inference of High-Throughput Gene Expression Data

Hardware Specialization for Transaction Processing

Scheduling Irregular Workloads on GPUs

System for Serving Deep Neural Networks Efficiently

Automatic Generation of Procedural Knowledge Using Program Synthesis

Optimizing Distributed Systems Using Machine Learning

Model-Based Self-Supervision for Fine-Grained Image Understanding