Filters








97,759 Hits in 5.6 sec

Implementation of parameterized observational specifications [chapter]

Rolf Hennicker
1989 Lecture Notes in Computer Science  
Based on the theory of parameterized observational specifications an implementation relation is defined which formalizes the intuitive idea that an implementation is correct if it produces correct observable  ...  To be useful in practice proof theoretic criteria for parameterized observational implementations are given which are based on the notion of observable parameter context.  ...  Acknowledgements I would like to thank Martin Wirsing who supported this work by many ideas and valuable inspirations and Manfred Broy for many fruitful discussions.  ... 
doi:10.1007/3-540-50939-9_139 fatcat:szzhoytbqjh2fiio6ismwnsw74

Functorial theory of a parameterized specifications in a general specification framework

Hartmut Ehrig, Martin Große-Rhode
1994 Theoretical Computer Science  
Ehrig, H and M. GroBe-Rhode, Functorial theory of parameterized specifications in a general specification framework, Theoretical Computer Science 135 (1994) 22 l-266.  ...  F s3 pushouts (the parameter passing diagrams on the specification and model level respectively) and h3 is the unique specification morphism s.t. the bottom and right squares commute.  ...  A refinement or R-implementation consists of a pair of specitication morphisms between the parameter and body specifications respectively.  ... 
doi:10.1016/0304-3975(94)90110-4 fatcat:enbtbyncqnatdl3rr5ehgnisvq

Site specific parameterizations of longwave radiation

Giuseppe Formetta, Marialaura Bancheri, Olaf David, Riccardo Rigon
2016 Hydrology and Earth System Sciences Discussions  
The site-specific parameter calibration improves SM performances compared to their literature formulations.  ...  Most of the SMs, when executed with parameters derived from the multiple regressions, give enhanced performances compared to the corresponding literature formulation.  ...  In general, for all-sky conditions we observe a deterioration of KGE and RMSE values with 198 respect to the clear-sky optimized case, with a decrease in KGE values up to a maximum of 25% for model 10.199  ... 
doi:10.5194/hess-2016-227 fatcat:x6qsgdtfwbcg5acr5rzgx266gi

Performance of site-specific parameterizations of longwave radiation

Giuseppe Formetta, Marialaura Bancheri, Olaf David, Riccardo Rigon
2016 Hydrology and Earth System Sciences  
The site-specific parameter calibration improves SM performances compared to their literature formulations.  ...  Most of the SMs, when executed with parameters derived from the multiple regressions, give enhanced performances compared to the corresponding literature formulation.  ...  The authors are grateful to the AmeriFlux research community for providing the high-quality public datasets. In particular, we want to thank the principal investigators of each site: Shirley  ... 
doi:10.5194/hess-20-4641-2016 fatcat:zmdeyycxpjfsveuq6whhwirvxq

From Demonstrations to Task-Space Specifications: Using Causal Analysis to Extract Rule Parameterization from Demonstrations [article]

Daniel Angelov, Yordan Hristov, Subramanian Ramamoorthy
2020 arXiv   pre-print
We use these models to differentiate between user types and to find cases with overlapping solutions.  ...  We further parameterize these specifications through constraint optimization in order to find a safety envelope under which motion planning can be performed.  ...  It is passed along with the trajectory parameterization Z θ , Z θ ∈ R 2 through a 3-layer fully connected classifier network that checks the validity of the trajectory Cs(z) with respect to the spec. s  ... 
arXiv:2006.11300v1 fatcat:4vlc3rmdkbf3vebdanxg4hmqta

Patient-specific Parameterization of Left-ventricular Model of Cardiac Electrophysiology using Electrocardiographic Recordings

Karli Gillette, Anton Prassl, Jason Bayer, Edward Vigmond, Aurel Neic, Gernot Plank
2017 2017 Computing in Cardiology Conference (CinC)  
Specifically, we focused on the parameterization of the depolarization phase during sinus activation to reproduce QRS morphology.  ...  However, current clinical EP models are typically not patient-specific as they mostly rely on generic data or are computationally not efficient enough to fit with clinical time scales.  ...  Acknowledgements This research was supported by the Grant F3210-N18 from the Austrian Science Fund, and the European Commission Grant CardioProof 611232.  ... 
doi:10.22489/cinc.2017.229-112 dblp:conf/cinc/GillettePBVNP17 fatcat:ej5fcvvyrvch5eow4h4ptcl55a

From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations

Daniel Angelov, Yordan Hristov, Subramanian Ramamoorthy
2020 Autonomous Agents and Multi-Agent Systems  
We use these models to differentiate between user types and to find cases with overlapping solutions.  ...  We further parameterize these specifications through constraint optimization in order to find a safety envelope under which motion planning can be performed.  ...  It is passed along with the trajectory parameterization Z θ , Z θ ∈ R 2 through a 3-layer fully connected classifier network that checks the validity of the trajectory Cs(z) with respect to the spec. s  ... 
doi:10.1007/s10458-020-09471-w fatcat:zdyefvpwnfbvfi3vh6e6ltzxdu

Evaluating the Influence of Plant-Specific Physiological Parameterizations on the Partitioning of Land Surface Energy Fluxes

Mauro Sulis, Matthias Langensiepen, Prabhakar Shrestha, Anke Schickling, Clemens Simmer, Stefan J. Kollet
2015 Journal of Hydrometeorology  
Comparison with observations and a simulation utilizing the generic crop type shows clear improvements when using the crop-specific physiological characteristics of the plant.  ...  Finally, to evaluate the effects of the crop-specific parameterizations on the ABL dynamics, a series of semi-idealized land-atmosphere coupled simulations is performed by hypothesizing three cropland  ...  These diagrams also reveal a lower dynamic range and higher values of C p u (especially early in the morning) reproduced by the simulations (generic and specific crop parameterizations) with respect to  ... 
doi:10.1175/jhm-d-14-0153.1 fatcat:mmdawodr65eljbbmnluytjdaee

Parameterized specification, configuration and execution of data-intensive scientific workflows

Vijay S. Kumar, Tahsin Kurc, Varun Ratnakar, Jihie Kim, Gaurang Mehta, Karan Vahi, Yoonju Lee Nelson, P. Sadayappan, Ewa Deelman, Yolanda Gil, Mary Hall, Joel Saltz
2010 Cluster Computing  
While some performance parameters such as grouping of workflow components and their mapping to machines do not affect the accuracy of the analysis, others may dictate trading the output quality of individual  ...  components (and of the whole workflow) for performance.  ...  Ohio Board of Regents BRTTC #BRTT02-0003 and AGMT TECH-04049 and NIH grants #R24 HL085343, #R01 LM009239, and #79077CBS10.  ... 
doi:10.1007/s10586-010-0133-8 pmid:22623878 pmcid:PMC3356923 fatcat:otnq42fe2nf7rge64b4j3cvaw4

EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth

Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit K. Jha
2014 2014 IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS)  
We describe the formal syntax of EpiSpec and demonstrate its use by describing various spatio-temporal properties related to disease evolution, and propose the use of statistical model checking as an algorithmic  ...  In this paper, we present a new spatiotemporal specification language, EpiSpec, for describing detailed properties of agent-based computational epidemiological models.  ...  These include evaluation metrics like the Akaike's Information Criterion (AIC) and the Bayesian Information Criterion (BIC), that compute the degree of fit of a model with respect to a given set of observations  ... 
doi:10.1109/iccabs.2014.6863924 dblp:conf/iccabs/HussainRPJ14 fatcat:jglgpmijvvb5xknfa7m4gfehve

Parameterization of disorder predictors for large-scale applications requiring high specificity by using an extended benchmark dataset

Fernanda L Sirota, Hong-Sain Ooi, Tobias Gattermayer, Georg Schneider, Frank Eisenhaber, Sebastian Maurer-Stroh
2010 BMC Genomics  
Conclusions: This work identifies parameter settings and thresholds for a selection of disorder predictors to produce comparable results at a desired level of specificity over a newly derived benchmark  ...  Algorithms designed to predict protein disorder play an important role in structural and functional genomics, as disordered regions have been reported to participate in important cellular processes.  ...  Acknowledgements The authors acknowledge Birgit Eisenhaber for fruitful discussions and are grateful to A*STAR for funding this project.  ... 
doi:10.1186/1471-2164-11-s1-s15 pmid:20158872 pmcid:PMC2822529 fatcat:iwfjz7x6bjeo3ia5zei2xwrcgm

Compatibility of parameter passing and implementation of parameterized data types

H. Ehrig, H.-J. Kreowski
1983 Theoretical Computer Science  
The basis for this paper are the concepts of parameterization and implementation of abstract data types which have been developed in the theory of algebraic specifications with initial algebra semantics  ...  In our main result we show that parameter passing commutes with implementation.  ...  Algebraic specifications with loose semantics are studied in [8, 27] . Corresponding parameterized implementation concepts are studied in ;2X] and [24] respectively.  ... 
doi:10.1016/0304-3975(82)90121-9 fatcat:oylia5ztdnfe5nyyznlzui3w5u

Parameterized Synthesis

Swen Jacobs, Roderick Bloem, Cormac Flanagan
2014 Logical Methods in Computer Science  
We extend the approach to parameterized synthesis in token-passing networks with arbitrary topologies, and show applicability on a simple case study.  ...  Parameterized specifications arise naturally in a synthesis setting, but thus far it was unclear how to detect realizability and how to perform synthesis in a parameterized setting.  ...  Many thanks to Leonardo de Moura for his help with little known features of Z3.  ... 
doi:10.2168/lmcs-10(1:12)2014 fatcat:mlp2626knraqba4ixxd3rcbwrm

Parameterized Synthesis [chapter]

Swen Jacobs, Roderick Bloem
2012 Lecture Notes in Computer Science  
A specification ϕ is realizable with respect to an architecture A if such implementations exist.  ...  To- gether with the parameterized specification from Section 1, we will use it in Section 6 to synthesize process implementations for a parameterized arbiter. Isomorphic and Parameterized Synthesis.  ... 
doi:10.1007/978-3-642-28756-5_25 fatcat:jlo3za3fvzgt7nlkfn7v4avxoy

Unit tests reloaded: parameterized unit testing with symbolic execution

N. Tillmann, W. Schulte
2006 IEEE Software  
Parameterized unit tests describe behavior more concisely than traditional unit tests; in fact, parameterized unit tests can serve as specifications.  ...  Unit tests are popular, but it is an art to write them in a way that specifies a program's behavior well and it is laborious to write enough of them to have confidence in the correctness of an implementation  ...  Acknowledgements Our parameterized unit testing tools would not exist without the symbolic execution framework XRT, which was co-developed with Wolfgang Grieskamp.  ... 
doi:10.1109/ms.2006.117 fatcat:z6rogiq5ynfkbfnvqgujkfa5ry
« Previous Showing results 1 — 15 out of 97,759 results