A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Filters
Varieties of Static Analyzers: A Comparison with ASTREE
2007
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Preserved Fulltext
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
2017
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
., +, 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
2008
To Improve the Academy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Transactions on Automation Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
user's situation awareness. ...
cuckoo search algorithm (KCSA). ...
doi:10.1109/tase.2020.3044620
fatcat:aezo6ha6rnck3aegm3ftwooe7m
Noise-Aware Video Saliency Prediction
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2016
Journal of information science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Multidisciplinary Engineering Science and Technology (JMEST)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Police Science and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2008
IEEE robotics & automation magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1954
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2021
IEEE Transactions on Automation Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Health Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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?
1994
Journal of Science Education and Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
°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?
2016
Modern Economy
Preserved Fulltext
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.
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