103 Hits in 6.7 sec

Sensor Management Problems of Nuclear Detection [chapter]

Tamra Carpenter, Jerry Cheng, Fred Roberts, Minge Xie
2011 Springer Series in Reliability Engineering  
In so doing, it touches on four themes that have emerged as the areas of greatest emphasis in the project: 1) methods to exploit data from radiation sensors and shipping manifests for classification and  ...  This article describes a variety of approaches to sensor management in a multi-institution project on nuclear detection, which is based at Rutgers University and supported by the US Department of Homeland  ...  Acknowledgements: We thank the members of our nuclear detection and port security project teams, especially those whose work is represented in this paper: James Abello, Saket Anand, Tsvetan Asamov, Endre  ... 
doi:10.1007/978-0-85729-470-8_11 fatcat:a4f2ku7iqzdozmwia7vf6s3pha

A leader-followers model of power transmission capacity expansion in a market driven environment

Paolo Pisciella, Marida Bertocchi, Maria Teresa Vespucci
2014 Computational Management Science  
We introduce a model for analyzing the upgrade of the national transmission grid that explicitly accounts for responses given by the power producers in terms of generation unit expansion.  ...  The lower level models the reactions of both power producers, who take a decision on new facilities and power output, and Market Operator, which strikes a new balance between demand and supply, providing  ...  The use of binary variables representing power producers' investment decisions in a bi-level programming framework applied to the management of power transmission expansion problems; 2.  ... 
doi:10.1007/s10287-014-0223-9 fatcat:togprh3tkbhtzbbl627naqg6de

Monetary Policy Expectations, Fund Managers, and Fund Returns: Evidence from China

Board of Governors of the Federal Reserve System (U.S.), John Ammer, John Rogers, Gang Wang, Yang Yu, Board of Governors of the Federal Reserve Syatem (U.S.), Board of Governors of the Federal Reserve Syatem (U.S.), Shanghai University of Finance and Economics, Shanghai University of Finance and Economics
2020 International Finance Discussion Paper  
Our results highlight the role of foreign real estate capital flows in both stimulating the real economy and inducing gentrification in local economies.  ...  Exploiting the quasi-random temporal and spatial variation of real estate capital inflows from China, we find that foreign Chinese housing purchases have a positive and significant effect on local housing  ...  The two key sets of outcome variables in the analysis are ZIP-code-level house prices and employment.  ... 
doi:10.17016/ifdp.2020.1286 fatcat:isx62k55sbgu7boqr2pguodxwm

A survey of formal methods in self-adaptive systems

Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, Tanvir Ahmad
2012 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering - C3S2E '12  
A relevant part of the studies use formal methods at runtime, but the use is limited to modeling and analysis.  ...  To the best of our knowledge, no systematic study has been performed on the use of formal methods in self-adaptive systems.  ...  The main use of these methods is for modeling and analysis. There is plenty of room for research on exploiting the use of formal methods for other activities of self-adaptation.  ... 
doi:10.1145/2347583.2347592 dblp:conf/c3s2e/WeynsIIA12 fatcat:x6mazx5kyzerto6phclghf7rpy

Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing [chapter]

Maximiliano Cristiá, Pablo Rodríguez Monetti
2009 Lecture Notes in Computer Science  
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT).  ...  The paper also discusses problems and challenges that have appeared during the development of the tool, and introduces real case studies and an analysis of the results obtained so far.  ...  This tool uses B models -which are similar to Z models- [28] and is based on the symbolic animation of formal specifications and two test generation strategies: analysis of cause-effect and analysis  ... 
doi:10.1007/978-3-642-10373-5_9 fatcat:l4opz4borbdv5go7zu6vvgep7e

Characterization of DC series arc faults in PV systems based on current low frequency spectral analysis

Giovanni Artale, Giuseppe Caravello, Antonio Cataliotti, Valentina Cosentino, Dario Di Cara, Salvatore Guaiana, Nicola Panzavecchia, Giovanni Tinè
2021 Measurement (London)  
The aim of the study is to identify some relevant characteristics of arcing current, which can be obtained by means of low frequency spectral analysis of current signal.  ...  This work presents an experimental study focused on the characterization of series arc faults in direct current (DC) photovoltaic (PV) systems.  ...  Acknowledgment The research received the financial support of the European Union in the following grants: -PO FESR Sicilia 2014-2020, Action 1.1.5, Project n. 08000PA90246, Project title: "Smart grids  ... 
doi:10.1016/j.measurement.2021.109770 fatcat:garvkmzmwrbgxiwdelmmwckeg4

Tool support for the Test Template Framework

Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss, Pablo Rodríguez Monetti
2012 Software testing, verification & reliability  
-can be expressed in the same notation of the model, i.e. the Z formal notation.  ...  To keep the example manageable, only one of these operations will be formalized. 2.1.1. Basic Types. As expressed in the previous section, each savings account is identified by an account number.  ...  Richard Power from the NLG group at The Open University helped in finding financial support; and Eva Banik from the NLG Group at The Open University provided helpful comments on earlier versions of 7.  ... 
doi:10.1002/stvr.1477 fatcat:6gb5br5ywrd5zhtgy77ny7xxny

New Imaging Technologies to Enhance the Molecular Sensitivity of Positron Emission Tomography

C.S. Levin
2008 Proceedings of the IEEE  
disorders and guide the discovery and development of new treatments.  ...  ABSTRACT | Positron emission tomography (PET) is used in the clinic and in vivo small animal research to study certain molecular processes associated with diseases such as cancer, heart disease, and neurological  ...  Farrell, for help with designing, developing, and studying the thin PSAPD detectors used in this paper; from the University of California San Diego Center for Astrophysics and Space Research, in particular  ... 
doi:10.1109/jproc.2007.913504 fatcat:y3foc3nfsneevdk2ki3ggbsozi

FlyClockbase: Importance of Biological Model Curation for Analyzing Variability in the Circadian Clock of Drosophila melanogaster by Integrating Time Series from 25 Years of Research [article]

Katherine S. Scheuer, Bret Hanlon, Jerdon W. Dresel, Erik D. Nolan, John C. Davis, Laurence Loewe
2017 bioRxiv   pre-print
We aim to simplify the preservation of more raw data and relevant annotations from experiments in order to multiply the long-term value of wet-lab datasets for modelers interested in meta-analyses, parameter  ...  Our study demonstrates how biological model curation enhances the understanding of circadian clocks.  ...  of actual models implemented 29 in one of the formalisms described above.  ... 
doi:10.1101/099192 fatcat:446gqznfofdo3pyuzgvst7bolm

Quantum Probability Estimation for Randomness with Quantum Side Information [article]

Emanuel Knill, Yanbao Zhang, Honghao Fu
2020 arXiv   pre-print
The bounds are valid for relevant models of sequences of experimental trials without requiring independent and identical or stationary behavior.  ...  QPE is implemented by constructing model-dependent quantum estimation factors (QEFs), which yield statistical confidence upper bounds on data-conditional normalized Rényi powers.  ...  This work includes contributions of the National Institute of Standards and Technology, which are not subject to U.S. copyright.  ... 
arXiv:1806.04553v3 fatcat:i5lpgdfqgbc2poaycx4cahtjli

The MACODO organization model for context-driven dynamic agent organizations

Danny Weyns, Robrecht Haesevoets, Alexander Helleboogh
2010 ACM Transactions on Autonomous and Adaptive Systems  
The organization model is formally described to specify the semantics of the abstractions, and ensure its type safety.  ...  In the model, the life-cycle management of dynamic organizations is separated from the agents: organizations are first-class citizens, and their dynamics are governed by laws.  ...  Formal Methods for Organizations Formal models are generally recognized as valuable artifacts within the design and development of agent organizations, supporting formal analysis and facilitating development  ... 
doi:10.1145/1867713.1867717 fatcat:dsmjeiwwwnaftckvyquf4ayk5e

Ten commandments revisited

Jonathan P. Bowen, Michael G. Hinchey
2005 Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05  
The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses.  ...  Ten years ago, our 1995 paper Ten Commandments of Formal Methods [5] suggested some guidelines to help ensure the success of a formal methods project.  ...  We would like to acknowledge the contributions of the formal methods community as a whole, and thank the community for providing us with material on which to base the original commandments.  ... 
doi:10.1145/1081180.1081183 fatcat:55enuoxeabaojdjjrk7l7wxu6a

Fine-Grained Inspection for Higher-Assurance Software Security in Open Source

J. P. McDermott
2010 2010 43rd Hawaii International Conference on System Sciences  
This paper reports our experiences in using a finegrained software inspection tool to increase productivity in both software security evidence construction and internals re-engineering, for a higher-assurance  ...  The formal security policy model uses the Circus formalism [18] .  ...  The interface and internal design specifications are being constructed in the Z formalism, using Standard Z [19] and the Community Z Tools (CZT) framework [20] .  ... 
doi:10.1109/hicss.2010.211 dblp:conf/hicss/McDermott10 fatcat:crx3fnanwvdmjkkm3kgbqip4re

Quantification of environmental and economic impacts for main categories of building labeling schemes

Erkki Seinre, Jarek Kurnitski, Hendrik Voll
2014 Energy and Buildings  
FaculTy oF civil enGineerinG chair oF heaTinG and venTilaTion chair of heating and ventilation mainly focuses on the research in hvac systems, indoor climate of the buildings, energy efficient and sustainable  ...  Brain research Group The research activity is continuously aimed to development of algorithms for detection of characteristic changes in the brain electroencephalographyc (eeG) signal related to the mental  ...  disorders and the effect of external physical stressor.  ... 
doi:10.1016/j.enbuild.2013.11.048 fatcat:ckgxbn7mtrh47gf4xsdaaio5jm

Executable formal specifications of complex distributed systems with CoreASM

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2014 Science of Computer Programming  
Formal specifications play a crucial role in the design of reliable, complex software systems.  ...  Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be  ...  We are grateful to the three anonymous reviewers for their constructive and valuable feedback helping us to improve the final version of this paper.  ... 
doi:10.1016/j.scico.2012.02.001 fatcat:ox62qyqnwbbgbnoozb4ivrkyre
« Previous Showing results 1 — 15 out of 103 results