A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
RT-Level Route-and-Place Design Methodology for Interconnect Optimization in DSM Regime
[chapter]
2000
IFIP Advances in Information and Communication Technology
As the interconnect dominates in DSM regime, we propose a novel routeand-place design methodology at RT-Ievel which strongly ties to physical design tasks. ...
Unlike conventional place-and-route, our methodology prioritizes interconnect over devices. ...
Acknowledgments We are thankful to Meenakshi Kaul and Ranga Vemuri at the University of Cincinnati for providing us with their clique partitioning implementation and the synthesis benchmarks. ...
doi:10.1007/978-0-387-35498-9_38
fatcat:g47dmkwybzhk3gcbxrq7wwrn2i
Computation and communication refinement for multiprocessor SoC design
2006
ACM Transactions on Design Automation of Electronic Systems
Consequently, formal and disciplined system-level design methodologies are in great demand for future multiprocessor design. ...
Complementary techniques for system validation, including formal methods and system-level design tools, are therefore crucial in the design of complex embedded systems. ...
ACKNOWLEDGMENTS The authors would like to thank all current and previous members of System Level Design Group (SLD) at Carnegie Mellon University. ...
doi:10.1145/1142980.1142983
fatcat:mqdulmqw5ngmljor6imi5c3z5i
Steering supply chains from a complex systems perspective
2022
European Journal of Management Studies
steering rather than controlling these systems toward desired outcomes.Design/methodology/approachThe research study was designed as both exploratory and explanatory. ...
In parallel with data collection, data were analyzed and synthesized.FindingsThe main finding is the introduction of an inductive framework for steering supply chains from a complex systems perspective ...
According to Kavilal et al. (2018) and also Piya et al. (2019) , interpretive structural modeling (ISM) is a methodology designed for identifying interdependence among specific items in a complex system ...
doi:10.1108/ejms-04-2021-0030
fatcat:xsc4bmuihrh4pagr7xhcynvdku
Reliability Assessment
[chapter]
2005
IC Component Sockets
The PAR on the Ontario-Michigan J5D interconnection near Windsor will be operated to assist in the management of local system congestion and for the optimization of power transfers. ...
For business customers -small and medium power users: Empower program for buildings optimization; Empower program for industrial systems; Efficient products program; Traffic light optimization ...
The loss of generation (between 1,000 and 2,000 MW in the Eastern Interconnection or Western Interconnection and between 500 MW and 1,000 MW in the Texas or Québec Interconnections). i. ...
doi:10.1002/0471648272.ch11
fatcat:xonokb2m7jeqbcyzje2mbhfxku
Deliverable 3.1 - Diagnostic methods for Mediterranean farmed fish
2020
Zenodo
factors involved in the development of a disease and in fish health management. ...
of farmed fish still represent relevant limiting factors for sustainable production. ...
for Mediterranean farmed fish" and in the forthcoming D3.5 "New vaccines" and D.3.6 "Methodology for assessing welfare in MMFF". ...
doi:10.5281/zenodo.4550648
fatcat:vc3ypsdtvrho5e7bjtj7ysjgcy
ramses-rt: radiation hydrodynamics in the cosmological context
2013
Monthly notices of the Royal Astronomical Society
As it is built directly into RAMSES, the RT takes natural advantage of the refinement and parallelization strategies already in place. ...
The multi-group radiative transfer (RT) is performed on the AMR grid with a first-order Godunov method using the M1 closure for the Eddington tensor, and is coupled to the hydrodynamics via non-equilibrium ...
To first answer for the ATON implementation, it is optimized for a different regime than RAMSES-RT. ...
doi:10.1093/mnras/stt1722
fatcat:g7vxutzuvvbp5fzqqz2oipt3nu
30th Annual Computational Neuroscience Meeting: CNS*2021–Meeting Abstracts
2021
Journal of Computational Neuroscience
Currently, most functional models of neural activity are based on firing rates, while the most relevant signals for inter-neuron communication are spikes. ...
One of the goals of neuroscience is to understand the computational principles that describe the formation of behaviorally relevant signals in the brain, as well as how these computations are realized ...
O14 On the role of arkypallidal and prototypical neurons for neural synchronization in the basal ganglia
Acknowledgements
This work was supported by NIH-NIBIB (R01-EB027584). ...
doi:10.1007/s10827-021-00801-9
pmid:34931275
pmcid:PMC8687879
fatcat:evpmmfpaivgpxdqpive5xdgmwu
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
[article]
2018
arXiv
pre-print
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors ...
In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges ...
The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document. ...
arXiv:1811.06740v1
fatcat:4bxx5tvfpzez3jidsj22flibv4
A survey of challenges for runtime verification from advanced application domains (beyond software)
2019
Formal methods in system design
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors ...
In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges ...
The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document, and the anonymous reviewers for the constructive corrections ...
doi:10.1007/s10703-019-00337-w
fatcat:6vu5odqyjjbkvf255bsxcchane
Advances in Polyhydroxyalkanoate (PHA) Production, Volume 2
2020
Bioengineering
Moreover, novel second-generation lignocellulose feedstocks for PHA production from agriculture to be used in biorefinery concepts, new approaches for fine-tuning the composition of PHA co- and terpolyesters ...
During the two years that have passed since the first volume of "Advances in Polyhydroxyalkanoate (PHA) production" was published, the progress in PHA-related research was indeed tremendous, calling for ...
The funding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results. ...
doi:10.3390/bioengineering7010024
pmid:32143303
fatcat:hb7zkxzyjjfrvirlvmt2rf56jy
Investments in liberalised power markets
2008
International Journal of Electrical Power & Energy Systems
.): The Risø International Energy Conference took place 23 -25 May 2005 and the aim of the conference was to present and discuss new developments and trends in energy technologies which may make major ...
contributions to sustainable energy developments in the coming decades. ...
Obstacles for biofuel promotion are dealt in detail and a viable model for India is proposed. ...
doi:10.1016/j.ijepes.2007.06.029
fatcat:vsx7p75yoff5rpllf4qpgp24r4
An overview of MATISSE-v2.0
2010
Optics in Atmospheric Propagation and Adaptive Systems XIII
The symposium, like our other conferences and activities, would not be possible without the dedicated contribution of our participants and members. ...
SPIE would like to express its deepest appreciation to the symposium chairs, conference chairs, Programme committees, and session chairs who have so generously given of their time and advice to make this ...
Acknowledgement: Thanks to Total E&P Norge AS for funding this study, thanks to NOFO for letting us participate in the exercise, and thanks to KSAT, InfoTerra and The Norwegian Meteorological Institute ...
doi:10.1117/12.868183
fatcat:5anlqspzzzcftfufaxvlr45zve
Impact-Ev. Report 3. Impact Evaluation Of Fp6 (Last Call) And Fp7 Ssh Research Projects
2015
Zenodo
Lisbon strategy, or now the Junker's Agenda for Jobs, Growth, Fairness and Democratic Change, as the result of implementing research results.2 IMPACT-EV is particularly interested in exploring the social ...
In this report, we present an impact assessment of a total of 439 SSH projects funded under FP6 (last call) and FP7 SSH in four domains: scientific, political, social and the promotion of the European ...
This argument formed the basis for a methodological and theoretical exploration of a multi-sensorial design approach in architecture. ...
doi:10.5281/zenodo.1041949
fatcat:53rudddyy5h2faxc3ldzey2y7i
Psychosomatic Assessment and Integrative Care: 22nd World Congress on Psychosomatic Medicine Lisboa, September 12–14, 2013
2013
Psychotherapy and Psychosomatics
All examinations took place in the morning. The patients were compared with healthy controls matched for age and gender. ...
The purpose of this study was to clarify the judgment for the cooperation with medical institutions and the multiple routes establishing the cooperation, and as a result examine the criteria for the decision ...
We compared expression levels of those miRNAs to those of water avoidance stress group using real-time RT-PCR. We present several chronic starvation stress specific miRNAs and putative target mRNAs. ...
doi:10.1159/000354142
pmid:24052068
fatcat:bu3zzfnxk5fltoue7e37wtcjeq
EMG-based Simultaneous and Proportional Estimation of Wrist Kinematics and its Application in Intuitive Myoelectric Control for Unilateral transradial Amputees
2011
Frontiers in Computational Neuroscience
Leonid Odessky for technical assistance in conducting the experiments. ...
References Bingmer, M., Schiemann, J., Roeper, J., and Schneider, G. Measuring burstiness and regularity in oscillatory spike trains. J. Neurosci. Meth., in press. Braun, W. J., and Kulperger, R. ...
input regime used for fitting and would not generalize well to different input regimes. ...
doi:10.3389/conf.fncom.2011.53.00081
fatcat:nkq5wesfpbcjnikbxqh3v3gtqi
« Previous
Showing results 1 — 15 out of 81 results