81 Hits in 7.4 sec

RT-Level Route-and-Place Design Methodology for Interconnect Optimization in DSM Regime [chapter]

Ananth Durbha, Srinivas Katkoori
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

Radu Marculescu, Umit Y. Ogras, Nicholas H. Zamora
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

Maisam Abbasi, Liz Varga
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

Marialetizia Fioravanti, Sara Ciulli, Daniela Florio, Andrea Gustinelli, Monica Caffara, Enrico Volpe, Natalija Topić Popović, Ivančica Strunjak-Perović, Rozelindra Čož-Rakovac, Marisa Manzano, Ariadna Sitjà-Bobadilla, Oswaldo Palenzuela (+2 others)
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

J. Rosdahl, J. Blaizot, D. Aubert, T. Stranex, R. Teyssier
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]

César Sánchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yliés Falcone and Adrian Francalanza and Sran Krstić and Joa̋o M. Lourenço and Dejan Nickovic and Gordon J. Pace and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss
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)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace (+4 others)
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

Martin Koller
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

Stine Grenaa Jensen, Peter Meibom
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

Luc Labarre, Karine Caillault, Sandrine Fauqueux, Claire Malherbe, Antoine Roblin, Bernard Rosier, Pierre Simoneau, Karin Stein, John D. Gonglewski
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

Ramón Flecha, Marta Soler, Esther Oliver, Lídia Puigvert, Teresa Sordé, Andràs Schubert, Sàndor Soòs, Judith Mosoni-Fried, Kubra Canhilal, Benedetto Lepori, Dragana Avramov, Paul Holm (+5 others)
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

Farina Dario
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