A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
Sensor Management Problems of Nuclear Detection
[chapter]
2011
Springer Series in Reliability Engineering
Preserved Fulltext
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
2014
Computational Management Science
Preserved Fulltext
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.
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
2020
International Finance Discussion Paper
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering - C3S2E '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2021
Measurement (London)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
-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
2008
Proceedings of the IEEE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
bioRxiv
pre-print
Preserved Fulltext
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.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2010
ACM Transactions on Autonomous and Adaptive Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 43rd Hawaii International Conference on System Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Energy and Buildings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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