Sentence examples for which formalize from inspiring English sources

We identify the shortcomings of this work-flow, and propose a more rigorous and automated methodology based on monitoring correctness of simulated mixed signal designs with respect to Signal Temporal Logic (STL) assertions, which formalize the requirements from the design specification.

The user interface offers a selection of semantic rules, which formalize the possible interactions between the DNA species with varying levels of detail.

To integrate this information across different domains and databases and to communicate the data to the research community, phenotype ontologies were developed which formalize the meaning of terms used to characterize phenotypes (Gkoutos et al., 2004b; Robinson et al., 2008; Smith et al., 2004).

Recent benchmarks and challenges have highlighted the good performance of methods which formalize the GRN inference problem as a regression and feature selection problem, namely, identifying a small set of TF whose expression levels are sufficient to predict the expression level of each TG of interest.

Shortly after that, he got the HUD-1 statement, which formalizes the closing costs.

In 1939 the area was annexed by the Soviet Union, which formalized the annexation in 1945.

Nicolas Sarkozy, which formalized the thaw in bilateral relations between the two countries.

Today's decision, which formalized the Catholic Church's somewhat ad hoc presence in Russia, reinforced that suspicion among Orthodox officials.

Fernando Ferrer won the endorsement of the Bronx Democratic Party yesterday, which formalized the support of his longtime political base.

The Tal Law, which formalized army exemptions for ultra-Orthodox Jews engaged in Torah study, is set to expire this summer.

Mr. Teitelbaum all but said that the appointment, which formalized a role that Mr. Quinn had already been playing, signaled that Mr. Giuliani was in the race to stay.