Academic literature on the topic 'Automated'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automated.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Automated"
Ito, Sho, Go Ueno, and Masaki Yamamoto. "DeepCentering: fully automated crystal centering using deep learning for macromolecular crystallography." Journal of Synchrotron Radiation 26, no. 4 (June 3, 2019): 1361–66. http://dx.doi.org/10.1107/s160057751900434x.
Full textNdungi, Rebeccah, and Shofwatul Uyun. "A Review of Automated Reasoning and Its Applications in the 21st Century." Indonesian Journal of Computer Science 12, no. 2 (April 30, 2023): 483–91. http://dx.doi.org/10.33022/ijcs.v12i2.3175.
Full textKarhula, Henri, and Mike Nicolai. "Towards Automated Synthesis of Automatic Automated Transmission Designs." International Journal of Automotive Engineering 9, no. 4 (2018): 244–51. http://dx.doi.org/10.20485/jsaeijae.9.4_244.
Full textShkil, Alexander, Dariia Rakhlis, Inna Filippenko, and Valentyn Korniienko. "Design and self-diagnostics of cyberphysical control devices on SOC platform." Innovative Technologies and Scientific Solutions for Industries, no. 4(26) (December 27, 2023): 122–32. http://dx.doi.org/10.30837/itssi.2023.26.122.
Full textBoumaza, Amel, and Ramdane Maamri. "Mapping OWL-S Process Model to Timed Automata." Journal of Information Technology Research 11, no. 1 (January 2018): 29–48. http://dx.doi.org/10.4018/jitr.2018010103.
Full textLiberman, Yakov, and Olga Lukashuk. "On developing an automatic control system for the dump conveyor of a wheel excavator." MATEC Web of Conferences 329 (2020): 01004. http://dx.doi.org/10.1051/matecconf/202032901004.
Full textMatlakhov, Vitaliy, Viktor Khandozhko, and Aleksey Ageenko. "Automating the stand of the level and temperature control system of the tank farms." Automation and modeling in design and management 2023, no. 1 (March 28, 2023): 4–11. http://dx.doi.org/10.30987/2658-6436-2023-1-4-11.
Full textZubrzycki, Jarosław, Antoni Świć, and Victor Taranenko. "Mathematical Model of the Hole Drilling Process and Typical Automated Process of Designing Hole Drilling Operations." Applied Mechanics and Materials 282 (January 2013): 221–29. http://dx.doi.org/10.4028/www.scientific.net/amm.282.221.
Full textGurskiy, A. A., A. E. Goncharenko, and S. M. Dubna. "AUTOMATIC SYNTHESIS OF PETRI NETS AT TUNING UP OF THE COORDINATING AUTOMATIC CONTROL SYSTEMS." ELECTRICAL AND COMPUTER SYSTEMS 33, no. 108 (November 30, 2020): 34–44. http://dx.doi.org/10.15276/eltecs.32.108.2020.4.
Full textBurckhardt, Irene. "Zu einer schnelleren und besseren individualisierten Diagnostik." BIOspektrum 25, no. 6 (October 2019): 620–23. http://dx.doi.org/10.1007/s12268-019-0204-1.
Full textDissertations / Theses on the topic "Automated"
Danelia, David, and Allendes Nanitza Gonzalez. "Automatic Whiteboard Eraser : A systematic and automated process." Thesis, KTH, Skolan för industriell teknik och management (ITM), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264388.
Full textWhiteboard är ett verktyg som används i flera olika fastigheter runt om i världen. Att ta bort bläcket från whiteboarden kan dock vara onödigt tidskrävande och distraherande. Syftet med projektet var därför att automatisera processen med några begränsningar. Två begränsningar var att prototypen skulle väga lite och vara tillräckligt liten för att vara handhållen. En annan begränsning var att den skulle fungera korrekt på en magnetisk yta. För att konceptualisera syftet byggdes en prototyp med en iterativ process och därefter programmerades den för att få en systematisk rörelse. Den utnyttjade kontinuerliga servomotorer, IR-sensorer och ett 3-axligt gyroskop i kombination med 3D-printade komponenter. Den slutgiltiga prototypen visade sig fungera korrekt men kan förbättras eftersom dess raderingsegenskaper inte fungerar som man kunde ha förväntat sig från en färdig prototyp.
Saberi, Atefeh. "Automatic outlier detection in automated water quality measurement stations." Master's thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/25908.
Full textWater quality monitoring stations are used to measure water quality at high frequency. For effective data management, the quality of the data must be evaluated. In a previously developed univariate method both outliers and faults were detected in the data measured by these stations by using exponential smoothing models that give one-step ahead forecasts and their confidence intervals. In the present study, the outlier detection step of the univariate method is improved by identifying an auto-regressive moving average model for a moving window of data and forecasting one-step ahead. The turbidity data measured at the inlet of a municipal treatment plant in Denmark is used as case study to compare the performance of the use of the two models. The results show that the forecasts made by the new model are more accurate. Also, inclusion of the new forecasting model in the univariate method shows satisfactory performance for detecting outliers and faults in the case study data.
Ansin, Rasmus, and Didrik Lundberg. "Automated Inference of Excitable Cell Models as Hybrid Automata." Thesis, KTH, Skolan för teknikvetenskap (SCI), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154065.
Full textI denna uppsats undersöker vi från en experimentell synvinkel möjligheter och begränsningar i den nya inlärningsalgoritmen HYCGE för hybridautomater. Som ett exempel på en praktisk tillämpning, studerar vi algoritmens förmåga att lära sig aktionspotentialens beteende i retbara celler, specifikt Hodgkin-Huxleymodellen av en bläckfisks jätteaxon, Luo-Rudymodellen av en ventrikulärcell i marsvin, och Entchevas modell av en ventrikulär cell i nyfödd råtta .Giltigheten och noggrannheten hos algoritmen visualiseras även genom grafiskamedel.
Khan, Yaser Mohammad. "Automated cameraman." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61163.
Full textCataloged from PDF version of thesis.
Includes bibliographical references.
Advances in surveillance technology has yielded cameras that can detect and follow motion robustly. We applied some of the concepts learnt from these technologies to classrooms in an effort to come up with a system that would automate the process of capturing oneself on video without needing to resort to specialized hardware or any particular limitation. We investigate and implement several image differencing schemes to detect and follow motion of a simulated lecturer, and propose possible future directions for this project.
by Yaser Mohammad Khan.
M.Eng.
Suta, Adin, and Karl-Filip Selander. "Automated Greenhouse." Thesis, KTH, Maskinkonstruktion (Inst.), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-226686.
Full textAtt odla plantor görs i regel med jord som odlingsmedium,men som alternativ kan man använda ett hydroponiskt systemmed vatten som odlingsmedium istället för jord. I dennaavhandling, har ett hydroponiskt system byggts medsyfte att hitta lämpliga konstanter och looptid till en PIDkontroller för att neutralisera pH:t i en näringsvätska utanatt medföra en giftig miljö för växterna. En Arduino unomikrokontroller har använts för att sätta på och stänga aven vattenpump, syrepump och ljus i bestämda tidsintervall.En pH-sensor användes för att mäta pH-nivåerna i envattentank, utdatan från pH-sensorn blev indatan för PIDkontrollern.Beroende på utdatan från PID-kontrollern såöppnas två servo motorer ventiler för att antingen släppaut en basisk eller en sur lösning till vattentanken. Resultatenfrån testerna visar att det är möjligt att hitta fungerandekonstanter och looptid för en PID-kontroller för attframgångsrikt neutralisera pH:t i vattnet utan att förgiftadet.
Kim, Bumsik. "Modeling Automated Vehicles and Connected Automated Vehicles on Highways." Diss., Virginia Tech, 2021. http://hdl.handle.net/10919/103012.
Full textDoctor of Philosophy
The deployment of Automated Vehicles (AV) is starting to become widespread throughout transportation, resulting in the recognition and awareness by legislative leaders of the potential impact on transportation operations. To assist transportation operators in making the needed preparations for these vehicles, an in-depth study regarding the impact of AV and Connected Automated Vehicles (CAV) is needed. In this research, the impact of AV and CAV on the highway setting is studied. This study addresses car-following models that are currently used for simulating AV and CAV. Diverse car-following models, such as the Intelligent Driver Model (IDM), the IDM with traffic adaptive driving Strategy (SIDM), the Improved IDM (IIDM), the IIDM with Constant-Acceleration Heuristic (CAH), and the MIcroscopic model for Simulation of Intelligent Cruise control (MIXIC) were examined with the state-of-the-art vehicle trajectory data. The Highway Drone dataset (HighD) were analyzed through the implementation of genetic algorithm to gain more insight about the trajectories of these vehicles. In 2020, there is no commercially available gully automated vehicle available to the public, although many companies are conducting in field testing. This research generated AV trajectories based on the actual vehicle trajectories from the High-D dataset and adjusts those trajectories to account for ideal AV operations. The analysis from the fitted trajectory data shows that the calibrated IIDM with CAH provides a best fit on AV behavior. Next, the AV and CAV were modeled in microscopic perspective to show the impact of these vehicles on a corridor. The traffic simulation software, VISSIM, modified by implementing an external driver model to govern the interactions between Legacy Vehicles (LV), AV, and CAV on a basic and merging highway segment as well as a model of the Interstate 95 corridor south of Richmond, Virginia. From the analysis, this research revealed that the AV and CAV could increase highway capacity significantly. Even with a small portion of AV or CAV, the roadway capacity increased. On I-95, CAV performed better than AV because of Cooperative Adaptive Cruise Control (CACC) and platooning due to CAV's ability to coordinate movement through communication; however, in weaving segments, CAV underperformed AV. This result indicates that the CAV algorithms would need to be flexible in order to maintain flow in areas with weaving sections. Lastly, diverse operational conditions, such as different heavy vehicle market penetration and different aggressiveness were examined to support traffic operators transition to the introduction of AV and CAV. Based on the analysis, the study concludes that the different aggressiveness could mitigate congestion in all cases if the proper aggressiveness level is selected considering the current traffic condition. Overall, the dissertation provides guidance to researchers, traffic operators, and lawmakers to model, simulate, and evaluate AV and CAV on highways.
Lindgren, Max, and Max Thiel. "Automatic Color Mixer : A method for automated color recognition and replication." Thesis, KTH, Maskinkonstruktion (Inst.), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-226684.
Full textFärg har genom historien varit ett effektivt sätt att signaleranågot till sin omgivning. Till exempel har färger påblad hos blommor och växter fungerat som växters sätt attkommunisera med sin omgivning. Antingen för att lockatill sig insekter f¨or att sprida sitt DNA eller för att signaleragiftighet. Djur har använt sig av färger för att imponerapå det andra könet och därigenom kunna föra sittDNA vidare. Man skulle kunna argumentera för att färghar haft en viktig roll i evolutionen. För människan är deti dagsläget inte riktigt lika viktigt evolutionärt, men viktenav och användningen av färg har en stor betydelse i dagenssamhälle. Numera finns det färgaffärer som tillhandahållermaskiner som kan låta kunden själv välja precis vilken färgden vill ha och med hjälp av maskinerna blanda upp denna.Syftet med detta projekt är att konstruera en mekatroniskkonstruktion som kan ta indata i form av färgval frånen användare. Genom användandet av reglerteknik låtermaskinen först blanda färgen en första gång och sedan kompenseraför eventuella fel precis som en människa skulle. Föratt uppnå detta används en färgsensor som läser av färgensom RGB och sedan översätter detta till färgmodellen HSVsom används för att bestämma blandningens volymproportioner.För att testa systemet läts en sensor läsa av ett färgkortoch beräkna hur mycket av vardera primärfärg att hälla iblandningen. Den blandade färgen applicerades senare påett papper och läts torka innan avläsning. Skillnaden i nyansefter första beredningen noterades och systemet fortsatteatt korrigera eventuella fel tills ett bra resultat erhölls.Resultatet av alla tester var att det tog högst tre blandningarför att komma inom 0,8% från referensnyansen. Ihälften av testerna erhölls bra resultat redan efter den initiellablandningen.
Kwon, Hyun Sik. "Development of Automated Design Tools for Automotive Automatic Transmission Gear System." The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1370019857.
Full textTaboada, Martín O. "Automated target cascade." [S.l.] : [s.n.], 2006. http://opus.kobv.de/tuberlin/volltexte/2006/1435.
Full textSvensson, Jacob, and Anders Hansén. "Automated Telephony Testing." Thesis, Linköping University, Department of Electrical Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12444.
Full textTesting is a crucial part when developing electronics. One way to lower the costs and increase the efficiency is to avoid human interaction. This can be done with automated testing. The purpose with this thesis is to look into the possibility of automating telephony and facsimile tests with "off the shelf components" such as modems and standard computers. The proposed solution was put together and the needed software was developed, using Java. When testing electronics it is of most importance that the hardware and software carrying out the tests are reliable. To be able to ensure this, the software has been thoroughly tested, and the different error sources discussed. The biggest cause to the problems found was that the modems weren’t reliable. A general work around is presented, implemented and tested.
Books on the topic "Automated"
Rachel, Subrin, ed. Automated guided vehicles and automated manufacturing. Dearborn, Mich: Society of Manufacturing Engineers, Publications Development Dept., Marketing Division, 1987.
Find full textBlanchette, Jasmin, Laura Kovács, and Dirk Pattinson, eds. Automated Reasoning. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6.
Full textWatzenig, Daniel, and Martin Horn, eds. Automated Driving. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-31895-0.
Full textGalmiche, Didier, Stephan Schulz, and Roberto Sebastiani, eds. Automated Reasoning. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6.
Full textGardner, LB, ed. Automated Manufacturing. 100 Barr Harbor Drive, PO Box C700, West Conshohocken, PA 19428-2959: ASTM International, 1985. http://dx.doi.org/10.1520/stp862-eb.
Full textGramlich, Bernhard, Dale Miller, and Uli Sattler, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3.
Full textPeltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51054-1.
Full textPeltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9.
Full textBoyer, Robert S., ed. Automated Reasoning. Dordrecht: Springer Netherlands, 1991. http://dx.doi.org/10.1007/978-94-011-3488-0.
Full textGoré, Rajeev, Alexander Leitsch, and Tobias Nipkow, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5.
Full textBook chapters on the topic "Automated"
Schack-Nielsen, Anders, and Carsten Schürmann. "Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus." In Automated Reasoning, 1–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_1.
Full textvan Benthem, Johan. "Logic between Expressivity and Complexity." In Automated Reasoning, 122–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_10.
Full textAyad, Ali, and Claude Marché. "Multi-Prover Verification of Floating-Point Programs." In Automated Reasoning, 127–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_11.
Full textChaudhuri, Kaustuv, Damien Doligez, Leslie Lamport, and Stephan Merz. "Verifying Safety Properties with the TLA + Proof System." In Automated Reasoning, 142–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_12.
Full textPiskac, Ruzica, and Viktor Kuncak. "MUNCH - Automated Reasoner for Sets and Multisets." In Automated Reasoning, 149–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_13.
Full textSherman, Elena, Brady J. Garvin, and Matthew B. Dwyer. "A Slice-Based Decision Procedure for Type-Based Partial Orders." In Automated Reasoning, 156–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_14.
Full textSofronie-Stokkermans, Viorica. "Hierarchical Reasoning for the Verification of Parametric Systems." In Automated Reasoning, 171–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_15.
Full textHoder, Kryštof, Laura Kovács, and Andrei Voronkov. "Interpolation and Symbol Elimination in Vampire." In Automated Reasoning, 188–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_16.
Full textKorovin, Konstantin, and Christoph Sticksel. "iProver-Eq: An Instantiation-Based Theorem Prover with Equality." In Automated Reasoning, 196–202. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_17.
Full textde Nivelle, Hans. "Classical Logic with Partial Functions." In Automated Reasoning, 203–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_18.
Full textConference papers on the topic "Automated"
Guyton, David L. "Automated Refraction." In Ophthalmic and Visual Optics. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/ovo.1991.thc1.
Full textCho, Myoung-Ock, Hyo Mi Chang, Yeon Gyu Yu, Hwataik Han, and Jung Kyung Kim. "Selective and Automated Detection of Airborne Asbestos Fibers Using Chrysotile-Adhesive Protein and High-Throughput Microscopy (HTM)." In ASME 2011 International Mechanical Engineering Congress and Exposition. ASMEDC, 2011. http://dx.doi.org/10.1115/imece2011-63721.
Full textGulardo, Robert E. "Automated Storage and Retrieval Systems and the Citrus Industry." In ASME 1986 Citrus Engineering Conference. American Society of Mechanical Engineers, 1986. http://dx.doi.org/10.1115/cec1986-3203.
Full textXing, Xiaoqian, and Katsuhisa Maruyama. "Automatic Software Merging using Automated Program Repair." In 2019 IEEE 1st International Workshop on Intelligent Bug Fixing (IBF). IEEE, 2019. http://dx.doi.org/10.1109/ibf.2019.8665493.
Full textINAGAWA, Hiroyuki, Seiyuu OOYA, Tomoyuki OZAWA, and Touru KATO. "12 Present situation of Automated Guided Vehicle." In Small Engine Technology Conference & Exposition. 10-2 Gobancho, Chiyoda-ku, Tokyo, Japan: Society of Automotive Engineers of Japan, 2002. http://dx.doi.org/10.4271/2002-32-1781.
Full textAtchison, Bryan Wade. "Automated Well Control: From Automated Detection to Automated Shut-In." In SPE/IADC Middle East Drilling Technology Conference and Exhibition. SPE, 2021. http://dx.doi.org/10.2118/202091-ms.
Full textFong, Stanley, Ali Ashasi-Sorkhabi, Guru Prakash, Sriram Narasimhan, and Mike Riseborough. "Automated Condition-Based Monitoring of Automated People Movers." In 16th International Conference on Automated People Movers and Automated Transit Systems. Reston, VA: American Society of Civil Engineers, 2018. http://dx.doi.org/10.1061/9780784481318.007.
Full textHonarpardaz, Mohammadali, Mehdi Tarkian, Xiaolong Feng, Daniel Sirkett, and Johan Ölvander. "Generic Automated Finger Design." In ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-60514.
Full textZhang, Yu, Yaling Zeng, Chongbin Li, Jing Huang, and Liu Yang. "Assessing Drivers’ Trust in Automated Driving Systems: An Integrated Study." In 13th International Conference on Applied Human Factors and Ergonomics (AHFE 2022). AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1002465.
Full text"Drilling Material Stacks: Can it be both automated and affordable?" In Default for White Papers. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2017. http://dx.doi.org/10.4271/sn-0001.
Full textReports on the topic "Automated"
Hartwig, Geroge, and Lisa Marvel. Automated Steganography. Fort Belvoir, VA: Defense Technical Information Center, January 2002. http://dx.doi.org/10.21236/ada397615.
Full textNadler, Morton. Automated Stereophotogrammetry. Fort Belvoir, VA: Defense Technical Information Center, December 1987. http://dx.doi.org/10.21236/ada189617.
Full textCollart, F. Automated cloning methods. Office of Scientific and Technical Information (OSTI), August 2001. http://dx.doi.org/10.2172/786915.
Full textTaylor, Glenn A., and Leonard, B. Collard. Automated Groundwater Screening. Office of Scientific and Technical Information (OSTI), October 2005. http://dx.doi.org/10.2172/881528.
Full textKolman, David Gary. Automated Powder Dispenser. Office of Scientific and Technical Information (OSTI), June 2015. http://dx.doi.org/10.2172/1186045.
Full textShellman, Stephen M., and Michael A. Covington. Automated Sentiment Analysis. Fort Belvoir, VA: Defense Technical Information Center, June 2009. http://dx.doi.org/10.21236/ada532194.
Full textBlazek, R. J. Automated HMC assembly. Office of Scientific and Technical Information (OSTI), August 1993. http://dx.doi.org/10.2172/10186737.
Full textPeck, John C. Automated Guided Vehicles. Fort Belvoir, VA: Defense Technical Information Center, October 1990. http://dx.doi.org/10.21236/ada229477.
Full textUshakov, V. A. The dean's automated workplace. Science and Innovation Center Publishing House, December 2014. http://dx.doi.org/10.12731/ofernio.2014.20648.
Full textBaras, J. S., M. Ball, S. Gupta, P. Viswanathan, and P. Shah. Automated Network Fault Management. Fort Belvoir, VA: Defense Technical Information Center, January 1997. http://dx.doi.org/10.21236/ada441009.
Full text