Filters








63 Hits in 10.7 sec

Heuristic safety analysis of access control models

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2013 Proceedings of the 18th ACM symposium on Access control models and technologies - SACMAT '13  
The paper motivates a heuristics-based approach to model analysis, describes in detail a heuristic model safety analysis algorithm, and discusses its computational complexity.  ...  Model-based security engineering uses formal security models for specifying and analyzing access control systems.  ...  Or, in terms of model abstractions, given an access control matrix (ACM), is it ever possible that a specific right is written into a specific matrix cell?  ... 
doi:10.1145/2462410.2462413 dblp:conf/sacmat/AmthorKP13 fatcat:3rz7sdpglvf55kb6gwrkezpfwu

OPEN ONTOLOGY-BASED INTEGRATION PLATFORM FOR MODELING AND SIMULATION IN ENGINEERING

TOMMI KARHELA, ANTTI VILLBERG, HANNU NIEMISTÖ
2012 Advances in Complex Systems  
Modeling and simulation tools are separate and are not an integrated part of the other engineering information management in the company networks.  ...  In this article we introduce an integration solution for modeling and simulation based on the semantic data modeling approach.  ...  Acknowledgments Simantics has been developed in several national and EU-projects.  ... 
doi:10.1142/s1793962312500043 fatcat:qw3foskwmbatddx4rt32dnhbxm

Identifying Potential Mosquito Breeding Grounds: Assessing the Efficiency of UAV Technology in Public Health

Jared Schenkel, Paul Taele, Daniel Goldberg, Jennifer Horney, Tracy Hammond
2020 Robotics  
our selected metrics of: timeliness, sensitivity, and specificity.  ...  Human ecology has played an essential role in the spread of mosquito-borne diseases.  ...  This work is supported by NSF SBE: 1560106 REU Site: Cyber-Health GIS-Multidisciplinary Research Experiences in Spatial Dynamics of Health Project.  ... 
doi:10.3390/robotics9040091 fatcat:njzsvzbmyvaybpqlqwxe4vbjkq

A Reference Model, Design Approach, and Development Illustration toward Hierarchical Real-Time System Control for Coal Mining Operations1 1This work is sponsored by the U. S. Bureau of Mines under Interagency Agreement (J0189027) [chapter]

Hui-Min Huang, Richard Quintero, James S. Albus
1991 Control and Dynamic Systems  
Real-Time Planning vs.  ...  A more specific description is given later in this section. (b) Figures 8 and 9, in combination, represent a control hierarchy for coal mining automation.  ...  This work is by no means complete; many enhancements to this generic model and the task decomposition methodology will be considered in the future.  ... 
doi:10.1016/b978-0-12-012746-7.50011-0 fatcat:kheer2j6qnfijpbndzxlokphyq

Augmenting Geostatistics with Matrix Factorization: A Case Study for House Price Estimation

Aisha Sikder, Andreas Züfle
2020 ISPRS International Journal of Geo-Information  
In doing so, we address the problem of modeling and predicting spatially autocorrelated data for recommender engines using real estate housing prices by integrating spatial statistics.  ...  We show experimentally, that latent house price patterns learned using SVD are able to improve house price predictions of ordinary kriging in areas where house prices fluctuate locally.  ...  cells in Figure 5 .  ... 
doi:10.3390/ijgi9050288 fatcat:gkrqfi5vbzbazcvnzdkufphjy4

Abstracts

2014 Journal of Thoracic Oncology  
Conclusions: Systematic determination of EGFR m. and ALK t. in a public center is feasible offering an acceptable time to result and with good performance.  ...  Moreover, ALK and MET mRNA evaluation by real-time PCR (qPCR) and biochemistry assay by Western Blotting (WB) for downstream activation pathways involving p-MAPK, p-AKT, p-SRC and p-FAK were also carried  ...  Antibody production in smokers might indicate the chronic inflammatory state that potentiates the development of tumor specific immune response.  ... 
doi:10.1097/jto.0000000000000131 fatcat:q4acxaqedndzjjtpcekgjdzwh4

Sliding bifurcations in resonant inverters

Enrique Ponce, Luis Benadero, Abdelali El Aroudi, Luis Martinez-Salamero
2017 2017 14th International Multi-Conference on Systems, Signals & Devices (SSD)  
Products are created in an automated way at the request of the customers and tailored to the customers specific needs.  ...  Simulation and real time experimental results show that PID-PID and Backstepping-PID combination had achieved a satisfactory performance.  ... 
doi:10.1109/ssd.2017.8167001 dblp:conf/IEEEssd/PonceBAM17 fatcat:6lbol63imjffhezjv6yc6cnheu

Comprehensive Review of Deep Reinforcement Learning Methods and Applications in Economics

Amir Mosavi, Yaser Faghan, Pedram Ghamisi, Puhong Duan, Sina Faizollahzadeh Ardabili, Ely Salwana, Shahab S. Band
2020 Zenodo  
In this paper, we initially consider a brief review of DL, RL, and deep RL methods in diverse applications in economics, providing an in-depth insight into the state-of-the-art.  ...  DRL is characterized by scalability with the potential to be applied to high-dimensional problems in conjunction with noisy and nonlinear patterns of economic data.  ...  An interesting work relied on employing deep learning methods such as AE and RBM to mimic irregularity from regular patterns by rebuilding regular transactions in real-time [84] .  ... 
doi:10.5281/zenodo.4039087 fatcat:erkugcu3tzgvdeplgkuuah7ac4

Local Organizing Committees

2006 2006 13th IEEE International Conference on Electronics, Circuits and Systems  
New research could be developed in this area, expanding the limits of the paper that deals with one specific operation and with one specific decision.  ...  ACKNOWLEDGMENTS The author is grateful to Maria Inês Faé, professor from Federal University of Espírito Santo and great friend, who encouraged him to write about the subject and deepen in researching about  ...  to implement an environmentally optimized design and production for new components.  ... 
doi:10.1109/icecs.2006.379662 fatcat:556xl3dm5vdfpodzwjmf5qqu6m

Local Organizing Committees

2008 Artificial Organs  
New research could be developed in this area, expanding the limits of the paper that deals with one specific operation and with one specific decision.  ...  ACKNOWLEDGMENTS The author is grateful to Maria Inês Faé, professor from Federal University of Espírito Santo and great friend, who encouraged him to write about the subject and deepen in researching about  ...  to implement an environmentally optimized design and production for new components.  ... 
doi:10.1111/j.1525-1594.1989.tb01538.x fatcat:w67547wxlvbfjlnramoglkz6ba

Local Organizing Committees [chapter]

2005 Proceedings of the Twentieth International Cryogenic Engineering Conference (ICEC20)  
New research could be developed in this area, expanding the limits of the paper that deals with one specific operation and with one specific decision.  ...  ACKNOWLEDGMENTS The author is grateful to Maria Inês Faé, professor from Federal University of Espírito Santo and great friend, who encouraged him to write about the subject and deepen in researching about  ...  to implement an environmentally optimized design and production for new components.  ... 
doi:10.1016/b978-008044559-5/50002-8 fatcat:hgtll22pt5duvguzik5qx6fxwm

Population balance models: a useful complementary modelling framework for future WWTP modelling

Ingmar Nopens, Elena Torfs, Joel Ducoste, Peter A. Vanrolleghem, Krist V. Gernaey
2014 Water Science and Technology  
Target Participants This workshop should draw the attention of experts in membrane bioreactor technology both from practice and academia, with or without specific modelling expertise, as well as general  ...  ASM, ADM, CFD, control, energy) who want to learn about the specificities of MBR modelling.  ...  ACKNOWLEDGEMENT The authors express special thanks to WWTP operators, in particular Helle Frodahl, and to Xin Yang and Lubomira Kovalova for providing additional details on their study.  ... 
doi:10.2166/wst.2014.500 pmid:25633937 fatcat:ip7mxtcnlbbkbfduikwzzfpuuy

D3.18 Fourth periodic report on JRP

WP3
2022 Zenodo  
This method will be further validated using real-time PCR detection and expanded using an extended sample size.  ...  to develop specific surveillance components for FBD based on "secondary data" in tasks 3.2 and 3.3.  ...  use of real time PCR.  ... 
doi:10.5281/zenodo.6488954 fatcat:4ft7tb3wenbineukevwf3fdhia

Abstract of Conferences

2019 Medicine & Health  
To provide visibility and monitor an input of QC data in real time 4. To have an organize data storage of QC results Key Measures for Improvement: Number of forms that have been filled in a day.  ...  Hence, these studies represent a proof of concept for biological and therapeutic potential of natural products onto specific cells utilizing the in vitro culture system.  ... 
doi:10.17576/mh.2019.s1401 fatcat:qtm5gcbzejerxhloaabed2xh54

Influence of group cohesion on the behavioral treatment of smoking

Bruce D. Etringer, Vickie R. Gregory, Harry A. Lando
1984 Journal of Consulting and Clinical Psychology  
It may be that the structure formalizes some interaction patterns, thus reducing anxiety and legitimizing group interaction.  ...  The carbon monoxide combines with the hemoglobin in the red blood cells to form carboxyhemoglobin. Basically, this decreases the ability of the blood to carry oxygen.  ...  It takes a long time for new members to get to know each other in this group. 110. The therapist sets an example for neatness and orderliness. 111.  ... 
doi:10.1037/0022-006x.52.6.1080 fatcat:omdcggpd2jdgldiidxjandadca
« Previous Showing results 1 — 15 out of 63 results