Filters








266 Hits in 3.5 sec

Varieties of Static Analyzers: A Comparison with ASTREE

Patrick COUSOT, Radhia COUSOT, Jerome FERET, Antoine MINE, Laurent MAUBORGNE, David MONNIAUX, Xavier RIVAL
2007 First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)  
it with a variety of other program analysis tools.  ...  We discuss the characteristic properties of ASTRÉE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous controlcommand C programs, and compare  ...  The CBMC user manual [10] provides such an example for a binary search. This was also the main example of [13] (handled by hand at the time!)  ... 
doi:10.1109/tase.2007.55 dblp:conf/tase/CousotCFMMMR07 fatcat:zhcoey3swrggpnk2l5y4xlbwhu

Formal development process of safety-critical embedded human machine interface systems

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno daAusbourg, Yamine Ait-Ameur
2017 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)  
This formal development process is illustrated on a simple use casepart of the display component of an alert management system used in a three-wheeled robot.  ...  This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 19465 To link to this article : Abstract-This paper presents a formal development process for safety-critical  ...  S3 provides automatic analysis tools to help the search of lemmas.  ... 
doi:10.1109/tase.2017.8285636 dblp:conf/tase/GeDJdA17 fatcat:53m327zpgvdxngfefr4f32jlg4

2019 Index IEEE Transactions on Automation Science and Engineering Vol. 16

2019 IEEE Transactions on Automation Science and Engineering  
., +, TASE Jan. 2019 392-405 Production engineering computing A Survey of Automated Threaded Fastening.  ...  ., +, TASE Jan. 2019 261-277 Patient care A History Embedded Accelerated Failure Time Model to Estimate Nursing Home Length of Stay.  ... 
doi:10.1109/tase.2019.2947106 fatcat:5qne2aprm5cjzk7wcyg4volf6u

10: Marketing Plans for Faculty Development: Student and Faculty Development Center Collaboration for Mutual Benefit

Victoria Mundy Bhavsar, Steven J. Skinner
2008 To Improve the Academy  
Engaging students, ourultimate clients, in setting priorities forourcenter was a powerfullearning experience for both usand them.  ...  The site was hard to navigate, had no search engine, and few images. Most of the content was in large text blocks unsuitable for on-screen reading.  ...  Having the marketing plan to display was a positive factor in their employment searches. These two students also reported that their team worked well together.  ... 
doi:10.3998/tia.17063888.0026.014 fatcat:t76m47so2ralbhktytdllq7t2y

Knowledge-Based Automation for Smart Manufacturing Systems

Birgit Vogel-Heuser, Feng Ju, Cesare Fantuzzi, Yan Lu, Dieter Hess
2021 IEEE Transactions on Automation Science and Engineering  
user's situation awareness.  ...  cuckoo search algorithm (KCSA).  ... 
doi:10.1109/tase.2020.3044620 fatcat:aezo6ha6rnck3aegm3ftwooe7m

Noise-Aware Video Saliency Prediction [article]

Ekta Prashnani, Orazio Gallo, Joohwan Kim, Josef Spjut, Pradeep Sen, Iuri Frosio
2021 arXiv   pre-print
We propose a noise-aware training (NAT) paradigm that quantifies and accounts for the uncertainty arising from frame-specific gaze data inaccuracy.  ...  This issue is particularly pressing when a limited number of observers are available.  ...  The CSC is supported by the California NanoSystems Institute and the Materials Research Science and Engineering Center (MRSEC; NSF DMR 1720256).  ... 
arXiv:2104.08038v2 fatcat:zyriqrx6q5hk3gx244wwkropnm

When time meets information retrieval: Past proposals, current plans and future trends

Bilel Moulahi, Lynda Tamine, Sadok Ben Yahia
2016 Journal of information science  
In this article, we intend to provide a scrutinizing overview of time-aware information retrieval models.  ...  With the advent of Web search and the large amount of data published on the Web sphere, a tremendous amount of documents become strongly time-dependent.  ...  A Time-Aware Search Engine (TASE) has also been proposed for that purpose.  ... 
doi:10.1177/0165551515607277 fatcat:c7zu437drreq5dqlbka646qnby

Achievements in the use of Renewable Energy in Turkey's Special Environmental Protection Areas (SEPA) Renewable Energy in SEPA's

Kılıç Başak, Taşeli
2016 Journal of Multidisciplinary Engineering Science and Technology (JMEST)   unpublished
New locations suitable for wind farms like Saros SEPA are being searched. Solar energy usage in direct heating has been used for a long time in the SEPAs.  ...  A radical solution to problem faced in the Dalyan Channels is to use alternative energy generating technologies instead of diesel engines.  ... 
fatcat:ib4en3ooqzhhrjvurbklqjqdjm

Police Crime and Less-Than-Lethal Coercive Force: A Description of the Criminal Misuse of TASERs

Philip Matthew Stinson, Bradford W. Reyns, John Liederbach
2012 International Journal of Police Science and Management  
Data on these cases are presented in terms of: a) the arrested officer, b) victim characteristics, and c) the situational context of these events.  ...  This study explores and describes the nature and character of cases that involve the criminal misuse of TASERs by police officers through a content analysis of newspaper articles.  ...  We used the Google News search engine in conjunction with the Google Alerts tool to locate news articles using 48 different search terms.  ... 
doi:10.1350/ijps.2012.14.1.237 fatcat:as3sgsupvrdj5muvemcsuovr7e

Here comes RAS 2.0 [President's Message]

Bruno Siciliano
2008 IEEE robotics & automation magazine  
A fter the productive IEEE Robotics and Automation Society (RAS) meetings at the 4th IEEE Conference on Automation Science and Engineering (CASE) in Washington, DC, last August, I am writing this column  ...  It is also technically cospon- sored by the IEEE Engineering in Medicine and Biology Society.  ... 
doi:10.1109/mra.2008.930646 fatcat:rodkscxyvzet7hikxmeremtmwa

Science and National Security

L. A. DuBridge
1954 Science  
In some pa- tients with cancer of the prostate the acid phospha- tase level is increased.  ...  Are we as a nation doing all right? I am convinced that the answers are in the negative. But I am also aware that there have been important forward steps during the postwar years.  ... 
doi:10.1126/science.120.3131.1081 pmid:17793511 fatcat:iuqgre2qyreqxc33pw2jlvj664

Control Techniques for Safe, Ergonomic, and Efficient Human-Robot Collaboration in the Digital Industry: A Survey

Silvia Proia, Raffaele Carli, Graziana Cavone, Mariagrazia Dotoli
2021 IEEE Transactions on Automation Science and Engineering  
Robotics [145] and other times graph search, timed [123] and stochastic Petri –a pioneer in the field of collaborative robotic solutions Nets [99] are implemented in robotics  ...  A spiral search motion is performed to align, tion algorithm (see Fig. 7).  ... 
doi:10.1109/tase.2021.3131011 fatcat:w7zm7vlqfnhzheanevg6x3toxm

Clinical pathway modelling: a literature review

Emma Aspland, Daniel Gartner, Paul Harper
2019 Health Systems  
A structured search identified 175 papers included in the taxonomy and analysed in this review.  ...  This literature review proposes a taxonomy of problems related to clinical pathways and explores the intersection between Information Systems (IS), Operational Research (OR) and industrial engineering.  ...  Search Engines No.  ... 
doi:10.1080/20476965.2019.1652547 pmid:33758656 pmcid:PMC7946019 fatcat:lm27fk2tk5hnnjlopyw6fac3pq

Looming crisis in graduate science education: Where are America's top science students?

M. J. Bozack, J. D. Perez
1994 Journal of Science Education and Technology  
°Graduate Record Exam Locator Service (1992) is a data base that allows an institution to search for students; however, it does not search by GRE score, but by GPA and other information that a student  ...  The best time for a campus visit is in February or early March after initial offers are made and before other institutions require responses.  ... 
doi:10.1007/bf01575816 fatcat:4zkkaswdyffcxd75tk5qqq7kgu

Can Financial Education Extend the Border of Bounded Rationality?

Doron Greenberg, Ze'ev Shtudiner
2016 Modern Economy  
The experiment included two treatments that differ in regard to the timing factor.  ...  When choosing a particular alternative from a number of financial assets, risk is an important feature.  ...  in the Faculty of Engineering in their fourth or fifth semester of studies (a total of 235 participants).  ... 
doi:10.4236/me.2016.72012 fatcat:qeyidrnvjfdhxn2sdikac65prm
« Previous Showing results 1 — 15 out of 266 results