synthesis

This Research Infrastructure Improvement Track-2 Focused EPSCoR Collaboration (RII Track-2 FEC) award is a collaboration among three institutions in LA and KY -- Louisiana State University Agricultural Center, Louisiana State University A&M College, and the University of Kentucky. The research is focused on lignin chemistry - lignin is a class of complex organic polymers found in plants, particularly wood.

biblio

Modularization of Formal Specifications or Efficient Synthesis of Reactive Systems

Submitted by grigby1 on Thu, 08/23/2018 - 11:49am

biblio

On Data Driven Parametric Backchannel Synthesis for Expressing Attentiveness in Conversational Agents

Submitted by K_Hooper on Wed, 10/18/2017 - 10:11am

biblio

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Submitted by grigby1 on Tue, 09/05/2017 - 1:25pm

biblio

Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis

Submitted by grigby1 on Wed, 05/17/2017 - 1:48pm

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Synthesis of Acoustic Wave Multiport Functions by using Coupling Matrix Methodologies

IEEE Open Journal of Control Systems (OJCS) - Call for Papers!

Modeling the Structures of Threats to Information Security Risks based on a Fuzzy Approach

Robust Digital Signature to Protect IP Core against Fraudulent Ownership and Cloning

Symbolic and Numerical Techniques for Verification and Synthesis of CPS

Assembling Successful Structures Lignin Beads for Sustainability of Food, Energy, and Water Systems

Modularization of Formal Specifications or Efficient Synthesis of Reactive Systems

On Data Driven Parametric Backchannel Synthesis for Expressing Attentiveness in Conversational Agents

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis