Sciweavers

4126 search results - page 229 / 826
» Modelling Electronic Organizations
Sort
View
CL
2000
Springer
15 years 11 months ago
Modelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
Francisco Azevedo, Pedro Barahona
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CDC
2009
IEEE
171views Control Systems» more  CDC 2009»
15 years 10 months ago
A control oriented model of a Common-Rail System for Gasoline Direct Injection engine
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...
Alessandro di Gaeta, Giovanni Fiengo, Angelo Palla...
147
Voted
JCC
2008
138views more  JCC 2008»
15 years 6 months ago
Circular dichroism enhancement in large DNA aggregates simulated by a generalized oscillator model
Abstract: An increased circular dichroism (CD) signal of large molecular aggregates formed upon DNA condensation was observed a long time ago, and is often referred to as w-CD. The...
Valery Andrushchenko, Petr Bour
FGCS
2011
123views more  FGCS 2011»
15 years 1 months ago
Mapping attribution metadata to the Open Provenance Model
A description of a data item’s provenance can be provided in different forms, and which form is best depends on the intended use of that description. Because of this, differen...
Simon Miles