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
.
Filters
An Analytical and Experimental Comparison of CSP Extensions and Tools
[chapter]
2012
Lecture Notes in Computer Science
Our comparison can be used to guide users to choose the appropriate CSP extension and verification tool based on the system characteristics. PAT (Process Analysis Toolkit) [23] for CSP#. ...
We believe that the comparison is useful for the following reasons. Firstly, our comparison may guide users to select an appropriate modeling language. ...
Acknowledgment The authors would like to thank Bill Roscoe for the review and suggestions on benchmarks for FDR, Michael Leuschel for the help on using ProB, and Augusto Sampaio, Alexandre Mota and Tarciana ...
doi:10.1007/978-3-642-34281-3_27
fatcat:plle7hcumfc6pogznq5h7p3anq
Comprehensive Review on Chiral Stationary Phases in Single-Column Simultaneous Chiral–Achiral HPLC Separation Methods
2024
Molecules
This review provides an exhaustive overview of reported HPLC methods in this domain, with a focus on four major CSP types: cyclodextrin-, glycopeptide antibiotic-, protein-, and polysaccharide-based CSPs ...
This article delves into the diverse applications of CSPs, encompassing various chromatographic modes such as normal phase (NP), reverse phase (RP), and polar organic (PO). ...
An interdisciplinary process based on a comparison of the estimated and experimental chiroptical properties identified the separated enantiomers' absolute configuration. ...
doi:10.3390/molecules29061346
pmid:38542982
pmcid:PMC10975973
fatcat:rbn74hxvuvbvlmpwljrhzdogw4
Event and Strategy Analytics
2015
2015 International Symposium on Theoretical Aspects of Software Engineering
Applying model checking to decision making is relative new and has an excellent potential to be compliment to data analytics and other Artificial Intelligent (AI) or Operational Research (OR) based decision ...
Our last 8 years research has focused on the development of PAT (Process Analysis Toolkit) [18] which supports modelling languages that combine the expressiveness of event, state, time and probability ...
Thiagarajan and many others for insightful discussions on these topics. ...
doi:10.1109/tase.2015.28
dblp:conf/tase/Dong0LL0S15
fatcat:lbfc3zselbg5rehwwqmq4hmxae
D1.1 - Inventory of Methods and Tools
2023
Zenodo
This deliverable forms part of Task 1.1, which aims to create a comprehensive inventory of existing methods and tools used in the design and implementation of Member State CSPs. ...
The Inventory of Methods and Tools (D1.1) is a foundational piece of the Tools4CAP support action. ...
Various typologies of experimental tools were developed in the experimental economics literature. ...
doi:10.5281/zenodo.10210533
fatcat:j7v5eiv26zeklkwpaozqsbey3y
Towards an Efficient Federated Cloud Service Selection to Support Workflow Big Data Requirements
2018
Advances in Science, Technology and Engineering Systems
Cloud Computing is considered nowadays an attractive solution to serve the Big Data storage, processing, and analytics needs. ...
We develop a set of experimental scenarios to evaluate our 3-phase selection schemes while verifying key properties such as scalability and selection accuracy. ...
We conducted extensive experimentation to evaluate different properties of our 3-phase selection scheme. ...
doi:10.25046/aj030529
fatcat:72evpy5x5jbuvpe2c4m52lcgsa
Table of Contents
2014
Energy Procedia
Wang CSP and PV solar tracker optimization tool H. Zlatanov, G. ...
Palomo
Study of thermocline tank performance in dynamic processes and stand-by periods with an analytical function
R. Bayón, E. Rivas, E. ...
Probabilistic analysis of power tower systems to achieve SunShot goals ...
doi:10.1016/j.egypro.2014.03.002
fatcat:f53fv4tao5d73ady42mystsm7a
BCILAB: a platform for brain–computer interface development
2013
Journal of Neural Engineering
the existing spectrum of tools for real-time BCI experimentation, deployment, and use. ...
method variants, an easily extensible framework for the rapid prototyping of new methods, and a highly automated framework for systematic testing and evaluation of new implementations. ...
BCILAB builds on other open-source tools, including EEGLAB [40] and various machine learning and signal processing toolkits. ...
doi:10.1088/1741-2560/10/5/056014
pmid:23985960
fatcat:uu6n4bmq3nflhkdfgrvuyihdle
A Bibliometric Analysis and Benchmark of Machine Learning and AutoML in Crash Severity Prediction: The Case Study of Three Colombian Cities
2021
Sensors
The literature reports numerous contributions regarding survey papers, experimental comparisons of various techniques, and the design of new methods at the point where crash severity prediction (CSP) and ...
Thus, this paper introduces a bibliometric analysis and experimental benchmark of ML and automated machine learning (AutoML) as a suitable approach to automatically address the MSP in CSP. ...
• An extensive experimental framework of state-of-the-art ML approaches for CSP. ...
doi:10.3390/s21248401
pmid:34960494
pmcid:PMC8708527
fatcat:luyq6542wzhgxeyvjpko5xydvy
Optimizing the Extraction of Anti-tumor Polysaccharides from the Fruit of Capparis spionosa L. by Response Surface Methodology
2012
Molecules
In this study, an experiment was designed to investigate the optimization of the extraction of anti-tumor polysaccharides from the fruit of Capparis spionosa L. ...
(CSPS) by response surface methodology (RSM). Four independent variables (extraction temperature, extraction time, ratio of water to sample and extraction cycles) were explored. ...
Acknowledgments This work was supported financially by National Natural Science Foundation, China (30902013) and Natural Science Foundation for Young Scientists of Heilongjiang Province, China (QC2010020 ...
doi:10.3390/molecules17067323
pmid:22699566
pmcid:PMC6268063
fatcat:gk3sxr7mfraprih5yurtzj46iq
Can computed crystal energy landscapes help understand pharmaceutical solids?
2016
Chemical Communications
The authors' collaboration was funded by Eli Lilly and Company through the Lilly Research Awards Program, and the development of the computational infrastructure through the EPSRC EP/K039229/1 and EP/F03573X ...
Acknowledgements The Cambridge Crystallographic Data Centre is thanked for its sponsorship and organisation of the Blind Tests. ...
This requires looking at the structures to see similarities between them using various tools such as hydrogen bonding graph sets46 and other structure comparison tools.47,48 A summary of the output of ...
doi:10.1039/c6cc00721j
pmid:27067116
pmcid:PMC5486446
fatcat:7tziox32i5g25o3yuqsz2umcmm
FASTCloud: A framework of assessment and selection for trustworthy cloud service based on QoS
[article]
2021
arXiv
pre-print
The experimental result of a case study with an open-source dataset shows that the trust model is efficient in cloud service trust assessment and the FASTCloud can effectively help PCCs select a trustworthy ...
The advantage of the proposed trust level assessment method in time complexity is demonstrated by the performance analysis and comparison. ...
Performance Analysis and Comparison In this section, the time complexity of TAM is analysed and compared with the traditional analytic hierarchy (AHP)-based cloud service assessment or ranking methods. ...
arXiv:2011.01871v2
fatcat:ce5d3moglfb5bpgtvjnjugk2g4
Structural assessment under uncertain parameters via interval analysis
2008
Journal of Computational and Applied Mathematics
system of a long-term monitoring project in order to achieve such an objective. ...
An algorithm is being developed for using such methodology with the obtained data. ...
They would like to thank AdI -Innovation Agency for the financial support, through the POSI program, of the SMARTE research project, to the partners INESC and BRISA for their special contribution, and ...
doi:10.1016/j.cam.2007.04.047
fatcat:vf6rcuzcevcwzdq52aqdjethce
Engineering Cyclodextrin Clicked Chiral Stationary Phase for High-Efficiency Enantiomer Separation
2015
Scientific Reports
Chromatographic techniques employing chiral stationary phases (CSPs) have been developed as powerful tools for the chiral analysis and preparation of pure enantiomers, most of which are of biological and ...
Comparison study and molecular simulations suggest the improved enantioselectivity was attributed to higher interactions energy difference between the complexes of enantiomers and CSPs with phenylcarbamated ...
Comparison with CCN-CSP and CCP-CSP 12,20,21 , CCC3M4-CSP afforded much higher resolution for aryl alcohols. ...
doi:10.1038/srep11523
pmid:26235204
pmcid:PMC4530664
fatcat:xomuux5jvvh3nlwi4rmopebi6u
Optimal Resource Allocation and Reservation using DAR in Large Scale Applications
2018
International journal of advanced networking and applications
In the former case, it requires huge amount of resources such as memory or hardware to store, process and other kinds of big data analytics. ...
Our experimental study shows that our technique is giving the best result by selecting the optimal selection of data center along with resource reservation and its effective utilization. ...
In this section we illustrated some of the extensively used CSPs and its offered computer services, key cloud tools, pricing, pros and cons and are listed in Table 1 . ...
doi:10.35444/ijana.2018.100212
fatcat:qxi5wh3lxbcpdcjgzioxv3dmvu
Introducing the CSP Analyzer: A novel Machine Learning-based application for automated analysis of two-dimensional NMR spectra in NMR fragment-based screening
2020
Computational and Structural Biotechnology Journal
However, to the best of our knowledge, an efficient automated tool for the assessment and binning of multiple spectra for ligand binding has not yet been described. ...
Computational tools are available that simplify the tracking of CSPs in 2D NMR spectra. ...
These tools allow the analysis of 2D NMR titration experiments by tracking of CSP. ...
doi:10.1016/j.csbj.2020.02.015
pmid:32257044
pmcid:PMC7096735
fatcat:wfgeagqhkfan3hh3ye7wf7xfim
« Previous
Showing results 1 — 15 out of 2,875 results