This paper investigates market innovation that takes place at the intersection of previously weakly connected markets. Based on a longitudinal study development digital therapeutics market, we delineate concept combinatorial as process is characterized by deliberate synthesis subprocesses from two (or more) existing We develop conceptualization related to five (configuring exchange agents, qual...

Abstract Catalyst deactivation caused by the aggregation of active metal species in reaction process poses great challenges for practical applications supported catalysts solid-liquid catalysis. Herein, we develop a hypercrosslinked polymer integrated with N-heterocyclic carbene (NHC) as bifunctional support to stabilize palladium heterogeneous C-C bond formations. This catalyst exhibits excell...

Deeds is a learning environment for digital electronics, providing tools and resources to supports teachers and students. The Deeds three simulators cover combinational and sequential logic networks, finite state machine design, microcomputer interfacing and programming at assembly level. They are integrated together, allowing the design of state-of-the art digital systems, composed of standard...

In previous studies clock control has been inserted after design to improve the testability of a sequential circuit. In this paper we propose a two-clock control scheme that is included as a part of the logic synthesis of a finite state machine (fsm). The scheme has low area overhead and competes well with scan methods in its ability to initialize and observe circuit states. The states of the m...

Similarity and Frequency in Phonology Stefan Frisch This thesis focuses upon parallels between phonology and phonological processing. I study phonological speech errors and a phonotactic dissimilarity constraint, demonstrating they have analogous similarity and frequency effects. In addition, I show that abstract phonological constraints are influenced by the phonological encoding of lexical it...

This paper introduces a new logic transformation that integrates retiming with algebraic and Boolean transformations at the technology-independent level. It ooers an additional degree of freedom in sequential network optimization resulting from implicit retiming across logic blocks and fanout stems. The application of this transformation to sequential network synthesis results in the optimizati...

Undergraduated students in computer science at the University of Brest are learning bases of digital circuits by developing their own functional and structural models. The approach is object oriented to aggregate diierent abstraction levels in one single structure. This paper presents how simple combinatorial and sequential circuit can be functionally modelized and how complex circuits can hier...

The combination of catalytic methods provides multiple advantages in organic synthesis, allowing access to diverse molecules a straightforward manner. Merging metal and enzyme catalysis is currently receiving great attention due the possibility assemble C−C coupling, olefin metathesis, hydration other reactions with exquisite stereospecificity displayed by enzymes. Thus, this minireview organiz...

This paper reports on the progress made in developing techniques for the verification of an Occam to FPGA compiler. Communicating Sequential Processes (CSP) has been used to model the circuits generated by our compiler. This CSP has then been subjected to tests for deadlock and livelock freedom using the Failures-Divergence Refinement tool (FDR, [6]). In addition, FDR has been used to prove tha...