Filters








110 Hits in 9.1 sec

Provably trustworthy systems

Gerwin Klein, June Andronick, Gabriele Keller, Daniel Matichuk, Toby Murray, Liam O'Connor
2017 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
Currently such applications are hampered in what they can achieve by the low complexity that can be certified with high confidence.  ...  A factor of five is not an unachievable goal for effort reduction.  ...  for the proof estimation work, and co-led the verification part of the code/proof co-generation project; Liam O'Connor designed the Cogent programming language and type system in the code/proof cogeneration  ... 
doi:10.1098/rsta.2015.0404 pmid:28871053 fatcat:cqrp6q4u7bhw3jgrw5sbbyt5zy

Influence of Internet of Things (IoT) In Association of Data Mining Towards the Development Smart Cities-A Review Analysis

E. B. Priyanka, Department of Mechatronics Engineering, Kongu Engineering College, Perundurai, India, S. Thangavel
2020 Journal of Engineering Science and Technology Review  
In Industry, smart monitoring and distributed control of entire architecture are hold up with the renovated technology of the Internet of Things (IoT).  ...  Hence this paper enumerates the detailed configurations and features of IoT application involved in the modern communication platform towards the development of smart cities by incorporating data mining  ...  The processing and analysis are done in the same phase with the frame rate of high and low alternatively to balance the data field of the handshaking path of utilization criteria [62] .  ... 
doi:10.25103/jestr.134.01 fatcat:imzbikzp6batpnfg43fqskhhhe

Analysis of the Safety Resilience Implementation in the Maritime Industry at Public and Private Companies (A Case Study in Indonesia)

Zulkifli Djunaidi, Annisa Ayu Tantia, Mufti Wirawan
2021 Safety  
(1) Background: The resilience concept shows performance improvement in four potential aspects consisting of the ability to respond, provide anticipatory action, control things that occur internally and  ...  The sampling technique is purposive sampling. (3) Results: The level of implementation of safety resilience at the public company was 75.1%, while the private company was 70.2%.  ...  Conflicts of Interest: The authors declare no conflict of interest. Safety 2021, 7, 56  ... 
doi:10.3390/safety7030056 fatcat:bnj7crtvw5bobdjukwsl4r72pm

A Container Orchestration Development That Optimizes the Etherpad Collaborative Editing Tool through a Novel Management System

Freddy Tapia, Miguel Ángel Mora, Walter Fuertes, Jorge Edison Lascano, Theofilos Toulkeridis
2020 Electronics  
Our results indicate both the correct operation in the automation of containers' creation for new users who register in the system and quantifiable improvement in performance.  ...  The use of collaborative tools has notably increased recently. It is common to see distinct users that need to work simultaneously on shared documents.  ...  Funding: The funding of this research is provided by the Mobility Regulation of the Universidad de las Fuerzas Armadas ESPE, from Sangolquí, Ecuador.  ... 
doi:10.3390/electronics9050828 fatcat:hrttp5nf6rbe7nbqh5iad4v7km

The Civl Verifier [article]

Bernhard Kragl, Shaz Qadeer
2021
Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement, which views the task of verifying a program as a sequence of program simplification steps  ...  Civl verifies a layered concurrent program that compactly expresses all the programs in this sequence and the supporting invariants.  ...  Thus, atomic actions in Civl are used to model both low-level execution primitives and high-level summary specifications.  ... 
doi:10.34727/2021/isbn.978-3-85448-046-4_23 fatcat:3cv3hvtevjat3ggddscz47pzge

Wide-Field InfraRed Survey Telescope-Astrophysics Focused Telescope Assets WFIRST-AFTA Final Report [article]

D. Spergel, N. Gehrels, J. Breckinridge, M. Donahue, A. Dressler, B. S. Gaudi, T. Greene, O. Guyon, C. Hirata, J. Kalirai, N. J. Kasdin, W. Moos, S. Perlmutter (+33 others)
2013 arXiv   pre-print
As conceived by the decadal survey, WFIRST would carry out a dark energy science program, a microlensing program to determine the demographics of exoplanets, and a general observing program utilizing its  ...  implementation of WFIRST using one of the 2.4-m, Hubble-quality mirror assemblies recently made available to NASA.  ...  Guest Observer Program The guest observer (GO) science program of WFIRST-2.4 will have high impact over a broad range of modern astrophysics.  ... 
arXiv:1305.5422v2 fatcat:5ff6uobmbneejlk3t52a5wfcr4

The Association of Significant Tornadoes with a Baroclinic Boundary on 2 June 1995

Erik N. Rasmussen, Scott Richardson, Jerry M. Straka, Paul M. Markowski, David O. Blanchard
2000 Monthly Weather Review  
Surface conditions, vertical vorticity, and horizontal vorticity near this boundary are documented using conventional and special observations from the VORTEX field program.  ...  On 2 June 1995, the large-scale environment of eastern New Mexico and western Texas was generally favorable for the occurrence of supercells because of the presence of strong deep shear and storm-relative  ...  We are grateful for the encouragement and grant support of Dr. Stephen Nelson of the National Science Foundation. Partial support for this  ... 
doi:10.1175/1520-0493(2000)128<0174:taostw>2.0.co;2 fatcat:t56txoiryvg2rdxsmnwukrdcbu

Verifying concurrent programs: Refinement, synchronization, sequentialization

Bernhard Kragl, Thomas Henzinger
2020
A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once.  ...  Synchronization simplifies the verification of asynchronous programs by introducing the fiction, for proof purposes [...]  ...  We allow explicit control over low-level details at the potential cost of increased verification effort.  ... 
doi:10.15479/at:ista:8332 fatcat:tyek3rj4bbckdnwojkkxo5eoly

Detection of Landmines Using Nuclear Quadrupole Resonance (NQR): Signal Processing to Aid Classification [chapter]

S. D. Somasundaram, K. Althoefer, J. A. S. Smith, L. D. Seneviratne
2006 Climbing and Walking Robots  
It does not concern itself with low-level issues such as path planning, collision avoidance, etc. but rather concentrates on resource handling, constraint solving and schedule verification.  ...  The main goal of this study was the calculation of the torsion efforts which are going to take place in the joints.in order to select the motors.  ...  The locomotion of a legged robot presents not only the problem of optimizing the maximum speed, but also the problem of obtaining a precise speed response for all the range of possible speeds.  ... 
doi:10.1007/3-540-26415-9_100 dblp:conf/clawar/SomasundaramASS05 fatcat:4vu25zlx65dszgbcxkusxozfve

Tracking Shifts in Strategic Culture: Analyzing Counterinsurgency as a Rise of a Strategic Subculture

Tomáš Karásek
2016 Obrana a Strategie  
Although described sequentially, these tasks are normally performed concurrently.  ...  Concurrently, they emphasize training HN forces to perform essential defense functions. These are the central tasks of foreign internal defense, a core SOF task.  ...  effort, 2-1-2-57, 3-15, 4-21, 5-53, 5-116, 6-21, B-18 achieving, 2-13 applying, 2-44 coordinating mechanisms, 2-44 coordination, 2-15 integration and, 2-13-2-14 maintaining, 2-43 principle of, 1-121  ... 
doi:10.3849/1802-7199.16.2016.1.108-128 fatcat:rtffbtx3kzcb5fyas5ts22oq4i

Final Program, The International Neuropsychological Society, Federation of Spanish Societies of Neuropsychology, Spanish Neuropsychological Society, Spanish Psychiatry Society Joint Mid-Year Meeting, July 4-7, 2007 Bilbao, Spain

2007 Journal of the International Neuropsychological Society  
Results: The analysis of variance (ANOVA) showed statistically significant differences between groups on the 15OT total performance  ...  However, more complex tests are required to detect visual agnosic signs in those patients that perform correctly on simple visual tests.  ...  to a high state worry condition or a low state worry condition in a 2 (trait anxiety: low versus high) by 2 (state worry: low versus high) between-subjects design.  ... 
doi:10.1017/s1355617707071408 fatcat:ecyaxaxu6jf4pkcc3wdaxqiirm

The Anatomy of Hope

Jerome Groopman
2004 The Permanente Journal  
Acknowledgment Dave St Pierre, MHROD, consulted with the author on organization of the Vohs Award application content. References Acknowledgments Michael  ...  The cost of an entire smoking cessation program may be justified even if only a low percentage of program participants achieve abstinence.  ...  Mr Armada was recently appointed as the new Chairman of the AHA of Los Angeles County.  ... 
doi:10.7812/tpp/04-012 fatcat:w25wwo57gne5fb22batndoea64

Arms control after Iraq: normative and operational challenges

2007 ChoiceReviews  
dissemination of knowledge related to the pressing global problems of human survival, development, and welfare.  ...  The United Nations University Press is the publishing arm of the United Nations University.  ...  Acknowledgements This chapter was written when I was executive director of the Verification Research, Training and Information Centre (VERTIC) in London.  ... 
doi:10.5860/choice.45-0522 fatcat:ncb5pajrxrgqtnkc7poep7b6qy

Basque Conference on Cyber Physical Systems and Artificial Intelligence

Manuel Graña
2022 Zenodo  
This entry contains the proceedings of the Basque Conference on Cyber Physical Systems and Artificial Intelligence  ...  Acknowledgement The authors acknowledge the financial support of the European Union's Horizon 2020 Researchand Innovation Program under the Marie Skłodowska -Curie Grant Agreement No 777720 (H2020-MSCA-RISE  ...  Acknowledgements This work has been financed by the Mercedes-Benz Vitoria plant through the PIFG19/29 PhD program.  ... 
doi:10.5281/zenodo.7010718 fatcat:a4gzrvtkybdbpmycqmjkvryco4

Basque Conference on Cyber Physical Systems and Artificial Intelligence

Manuel Graña
2022 Zenodo  
This entry contains the proceedings of the Basque Conference on Cyber Physical Systems and Artificial Intelligence  ...  Acknowledgement The authors acknowledge the financial support of the European Union's Horizon 2020 Researchand Innovation Program under the Marie Skłodowska -Curie Grant Agreement No 777720 (H2020-MSCA-RISE  ...  Acknowledgements This work has been financed by the Mercedes-Benz Vitoria plant through the PIFG19/29 PhD program.  ... 
doi:10.5281/zenodo.7039276 fatcat:dyorjakurnaxxgvgoojcbpyd5a
« Previous Showing results 1 — 15 out of 110 results