Gotowe bibliografie tematyczne / AUTOMATED NUMBER

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „AUTOMATED NUMBER”

Autor: Grafiati

Data publikacji: 11 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „AUTOMATED NUMBER”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "AUTOMATED NUMBER"

Ito, Sho, Go Ueno i Masaki Yamamoto. "DeepCentering: fully automated crystal centering using deep learning for macromolecular crystallography". Journal of Synchrotron Radiation 26, nr 4 (3.06.2019): 1361–66. http://dx.doi.org/10.1107/s160057751900434x.

Pełny tekst źródła

Streszczenie:

High-throughput protein crystallography using a synchrotron light source is an important method used in drug discovery. Beamline components for automated experiments including automatic sample changers have been utilized to accelerate the measurement of a number of macromolecular crystals. However, unlike cryo-loop centering, crystal centering involving automated crystal detection is a difficult process to automate fully. Here, DeepCentering, a new automated crystal centering system, is presented. DeepCentering works using a convolutional neural network, which is a deep learning operation. This system achieves fully automated accurate crystal centering without using X-ray irradiation of crystals, and can be used for fully automated data collection in high-throughput macromolecular crystallography.

Style APA, Harvard, Vancouver, ISO itp.

Burckhardt, Irene. "Zu einer schnelleren und besseren individualisierten Diagnostik". BIOspektrum 25, nr 6 (październik 2019): 620–23. http://dx.doi.org/10.1007/s12268-019-0204-1.

Pełny tekst źródła

Streszczenie:

Abstract Total lab automation automates inoculation, incubation and analysis of human specimens. It enables the laboratory to shorten incubation times and significantly reduce the time to report. It improves the quality of microbiologic analysis by increasing the number of grown organisms. In the future it will enable automatic reading and fully automated identification and susceptibility testing of bacteria.

Style APA, Harvard, Vancouver, ISO itp.

Ahire, Pritam, Saiprasad Kadam i Ajay Jagtap. "Image Enhancement and Automated Number Plate Recognition". International Journal of Science and Healthcare Research 8, nr 2 (28.04.2023): 178–86. http://dx.doi.org/10.52403/ijshr.20230221.

Pełny tekst źródła

Streszczenie:

Automatic Number Plate Recognition (ANPR) and Vehicle Number plate detection (VNPD) systems. ANPR, is a technology that enables automatic detection, recognition, and identification of vehicle license plates, while VNPD is a subset of ANPR that focuses specifically on detecting and recognizing license plates.Several researchers have explored different approaches to ANPR and VNPD systems, as evidenced by the various papers listed. For instance, presented an e security system for vehicles number tracking at a parking lot, proposed a method of monitoring traffic signals, and violations using ANPR and GSM. In order to proceed, the conventional Grab Cut algorithm must first interactively give a candidate frame. for the target detection job to be done.To automate the identification of the licence plate by the Grab Cut algorithm, we update the candidate frame by incorporating the aspect ratio of the licence plate as the foreground extraction feature. Then, to fully implement picture noise reduction, we combined the Bernsen algorithm with the Wiener filter, which is extensively used in the fields of digital signal processing in order to increase the detection precision of conventional target identification techniques. Overall, the papers listed in the question demonstrate the wide-ranging applications of ANPR and VNPD technologies, from parking lot security to traffic signal control to driver assistance systems. These technologies have the potential to improve safety, efficiency, and security on the road, and researchers continue to explore new approaches to their development and implementation. Keywords: Detection of Number Plate, Convolutional Neural Network-(CNN), Object detection, character identification, Machine Learning-(ML).

Style APA, Harvard, Vancouver, ISO itp.

Aggarwal, Nancy, i Shilpa Sethi. "Automated Number Plate Recognition Using Template Matching". International Journal of Computer Sciences and Engineering 6, nr 12 (31.12.2018): 298–304. http://dx.doi.org/10.26438/ijcse/v6i12.298304.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kamble, Prathamesh, Rohit Pisal, Hrutik Khade, Vishal Sole i Prof S. R. Bhujbal. "Automated Vehicle Number Plate Detection and Recognition". International Journal for Research in Applied Science and Engineering Technology 11, nr 1 (31.01.2023): 1307–11. http://dx.doi.org/10.22214/ijraset.2023.48785.

Pełny tekst źródła

Streszczenie:

Abstract: In this project, a Digital Image Processing-based prototype is developed. Actions such as Image Acquisition, enhancement that is pre-processing, Segmentation of the license plate and then application of OCR (Optical Character Recognition) is applied to store the number on text form. The plate number is displayed as text on the terminal using the principle of OCR with help of Tesseract engine. It is seen that the security forces and authorities face problems whenever security forces chase a vehicle or they can’t catch a vehicle which broke traffic rules. Authorities find it very hectic on a busy day to log the vehicle numbers manually in a parking lot.

Style APA, Harvard, Vancouver, ISO itp.

goyal, Anisha, i Rekha Bhatia. "Automated Car Number Plate Detection System to detect far number plates". IOSR Journal of Computer Engineering 18, nr 04 (kwiecień 2016): 34–40. http://dx.doi.org/10.9790/0661-1804033440.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Volkova, K. M. "CONDUCTING A SYNTHESIS OF A DIGITAL AUTOMATON FOR AN AUTOMATED FIREFIGHTING SYSTEM". Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control & Radioelectronics 21, nr 1 (luty 2021): 49–58. http://dx.doi.org/10.14529/ctcr210105.

Pełny tekst źródła

Streszczenie:

Every year the industry in the world is gaining momentum: the number of industrial enterprises is growing, and with it the number of accidents at them. Oil today is the most common product for the synthesis and production of products. Increasing the level of fire protection systems at oil refine¬ries remains one of the most important components of protecting people from technogenic hazards. The speed of innovation allows the application of artificial intelligence in the creation of automated fire protection systems. Research objective. This study is aimed at building a model of an automated integrated fire protection system (AISPPO).Through the synthesis of digital automata and minimizing the control functions of the digital model is created a system of automated integrated fire protection system. Materials and methods. To solve the problems of research used methods of constructing graphical algorithms of automated integrated fire protection system. This system is a new approach to solving the issue of safety of industrial facilities in the oil refining industry. Results. The proposed new model of the software implementation of a digital automaton in an automated integrated system of fire detection and monitoring of an oil refinery has made it possible to create a bank of calculated and analytical data on all potential types of failures in the structure of the enterprise in order to train personnel and make changes to existing methodological documents and instructions for personnel actions in a particular situation. Conclusion. The developed technology allows you to process the incoming signal contained in cyclograms into an intermediate form for the synthesis of digital automata using innovative tools.

Style APA, Harvard, Vancouver, ISO itp.

Bibel, W. "Automated Inferencing". Journal of Symbolic Computation 1, nr 3 (wrzesień 1985): 245–60. http://dx.doi.org/10.1016/s0747-7171(85)80034-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Joshi, Spandan, i Mehul Parikh. "Various License Plate Detection and Recognition Methods using Computer Vision and Machine Learning". ITM Web of Conferences 53 (2023): 02013. http://dx.doi.org/10.1051/itmconf/20235302013.

Pełny tekst źródła

Streszczenie:

With the increasing advancements in the technology, our lives have become significantly more convenient. We now have automated many things. One example of such things is the automated number plate recognition system. There are many ways to perform the ANPR (Automatic Number Plate Recognition). Performing ANPR in wild still remains a big challenge. This review focuses on some techniques that have tried to overcome this challenge.

Style APA, Harvard, Vancouver, ISO itp.

Prince, Rathore, Gupta Puja, Jain Sarthak i Shrivastava Yash. "A study of the automated vehicle number plate recognition system". i-manager’s Journal on Pattern Recognition 9, nr 2 (2022): 30. http://dx.doi.org/10.26634/jpr.9.2.19162.

Pełny tekst źródła

Streszczenie:

Automatic Number Plate Recognition (ANPR) uses number plates to identify vehicles. The goal of an automated vehicle identification system is to identify the vehicle based on the number plate. The system enforces the regulations, parking, etc. It can also be used at the entrance to protect a large area, such as a military zone or the region around important government buildings like the military base, Parliament, Supreme Court, etc. The smart technology recognizes and captures the image of the vehicle. The number plate area of the vehicle is extracted using image segmentation on the image. Optical character recognition is used for character recognition. The performance data may also be compared to database records to determine the car owner, enrollment location, residence, etc. The testing showed that the improved algorithm easily recognized the number plate of a vehicle on genuine photographs.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "AUTOMATED NUMBER"

Bradford, Alexander. "Automated Conjecturing Approach to the Discrete Riemann Hypothesis". VCU Scholars Compass, 2016. http://scholarscompass.vcu.edu/etd/4470.

Pełny tekst źródła

Streszczenie:

This paper is a study on some upper bounds of the Mertens function, which is often considered somewhat of a ``mysterious" function in mathematics and is closely related to the Riemann Hypothesis. We discuss some known bounds of the Mertens function, and also seek new bounds with the help of an automated conjecture-making program named CONJECTURING, which was created by C. Larson and N. Van Cleemput, and inspired by Fajtowicz's Dalmatian Heuristic. By utilizing this powerful program, we were able to form, validate, and disprove hypotheses regarding the Mertens function and how it is bounded.

Style APA, Harvard, Vancouver, ISO itp.

Yang, Xiaoli [Verfasser], i M. [Akademischer Betreuer] Weber. "Precise and Automated Tomographic Reconstruction with a Limited Number of Projections / Xiaoli Yang. Betreuer: M. Weber". Karlsruhe : KIT-Bibliothek, 2016. http://d-nb.info/1084112329/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Zhai, Xiaojun. "Automatic number plate recognition on FPGA". Thesis, University of Hertfordshire, 2013. http://hdl.handle.net/2299/14231.

Pełny tekst źródła

Streszczenie:

Intelligent Transportation Systems (ITSs) play an important role in modern traffic management, which can be divided into intelligent infrastructure systems and intelligent vehicle systems. Automatic Number Plate Recognition systems (ANPRs) are one of infrastructure systems that allow users to track, identify and monitor moving vehicles by automatically extracting their number plates. ANPR is a well proven technology that is widely used throughout the world by both public and commercial organisations. There are a wide variety of commercial uses for the technology that include automatic congestion charge systems, access control and tracing of stolen cars. The fundamental requirements of an ANPR system are image capture using an ANPR camera and processing of the captured image. The image processing part, which is a computationally intensive task, includes three stages: Number Plate Localisation (NPL), Character Segmentation (CS) and Optical Character Recognition (OCR). The common hardware choice for its implementation is often high performance workstations. However, the cost, compactness and power issues that come with these solutions motivate the search for other platforms. Recent improvements in low-power high-performance Field Programmable Gate Arrays (FPGAs) and Digital Signal Processors (DSPs) for image processing have motivated researchers to consider them as a low cost solution for accelerating such computationally intensive tasks. Current ANPR systems generally use a separate camera and a stand-alone computer for processing. By optimising the ANPR algorithms to take specific advantages of technical features and innovations available within new FPGAs, such as low power consumption, development time, and vast on-chip resources, it will be possible to replace the high performance roadside computers with small in-camera dedicated platforms. In spite of this, costs associated with the computational resources required for complex algorithms together with limited memory have hindered the development of embedded vision platforms. The work described in this thesis is concerned with the development of a range of image processing algorithms for NPL, CS and OCR and corresponding FPGA architectures. MATLAB implementations have been used as a proof of concept for the proposed algorithms prior to the hardware implementation. The proposed architectures are speed/area efficient architectures, which have been implemented and verified using the Mentor Graphics RC240 FPGA development board equipped with a 4M Gates Xilinx Virtex-4 LX40. The proposed NPL architecture can localise a number plate in 4.7 ms whilst achieving a 97.8% localisation rate and consuming only 33% of the available area of the Virtex-4 FPGA. The proposed CS architecture can segment the characters within a NP image in 0.2-1.4 ms with 97.7% successful segmentation rate and consumes only 11% of the Virtex-4 FPGA on-chip resources. The proposed OCR architecture can recognise a character in 0.7 ms with 97.3% successful recognition rate and consumes only 23% of the Virtex-4 FPGA available area. In addition to the three main stages, two pre-processing stages which consist of image binarisation, rotation and resizing are also proposed to link these stages together. These stages consume 9% of the available FPGA on-chip resources. The overall results achieved show that the entire ANPR system can be implemented on a single FPGA that can be placed within an ANPR camera housing to create a stand-alone unit. As the benefits of this are drastically improve energy efficiency and removing the need for the installation and cabling costs associated with bulky PCs situated in expensive, cooled, waterproof roadside cabinets.

Style APA, Harvard, Vancouver, ISO itp.

Xu, Shuiai. "Automatic location of number plates at night time". Thesis, Högskolan i Gävle, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-16482.

Pełny tekst źródła

Streszczenie:

In transport information area, in order to improve control system, identifying vehicle plates is very important. For that reason we are focusing on recognizing the vehicle plate from an image. To distinguish one car from others, one should remove all area except the vehicle plate. Due to the extra difficulties, like limited light, distances, moving etc., it can be hard to detect the final vehicle plate. In this work, we have solved the location of vehicle plate at night time, by separating the objects from the background by using morphological processing and analyzing the characteristics of vehicle plates by using removal of noise and mathematical calculations. According to some characteristics of cars and vehicle plates we developed an algorithm to detect the number of final vehicle plate. This algorithm works fine, and the detected result is accurate.

Style APA, Harvard, Vancouver, ISO itp.

Kondler, Radim. "Automatický tarifikační systém telefonních hovorů". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2016. http://www.nusl.cz/ntk/nusl-242032.

Pełny tekst źródła

Streszczenie:

The thesis deals with the numbering plan, PBX, tariffs, draft disable tariff system and its possible extensions. Within numbering plans work deals with shapes of national and international figures, describes different types of these numbers, description of the structure and definition of fields, including the length of these fields. Within countries and regions of the Czech Republic are given individual prefix for both fixed and mobile networks. There are mentioned special shapes that are different in length compared to standard types. All these types of shapes are listed according to ITU-T. Within the exchanges are given generation switches, PBXs use within the telephone network and a description of the selected functions. Furthermore, there are kinds of pricing and options of valuation call. The work contains a description of automated acconting system, according to the principle of work of the program and a description of the individual steps and functions that thanks to the cooperation process individually each calls, convert numbers to international form, assigns the call tariff and appreciate the call according to the tariff. Finally, there are described possible extensions of this automated acconting system.

Style APA, Harvard, Vancouver, ISO itp.

Johnson, Abioseh Saeley. "Automatic number-plate recognition : an application of computer vision technology to automatic vehicle identification". Thesis, University of Bristol, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.300053.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Cisse, Baki. "Automates cellulaires pour la modélisation et le contrôle en épidémiologie". Thesis, Perpignan, 2015. http://www.theses.fr/2015PERP0011.

Pełny tekst źródła

Streszczenie:

Ce travail de thèse traite de la modélisation et du contrôle des maladies infectieuses à l’aide des automates cellulaires. Nous nous sommes d’abord focalisés sur l’étude d’un modèle de type SEIR. Nous avons pu monter d’une part qu’un voisinage fixe pouvait entrainer une sous-évaluation de l’incidence et de la prévalence et d’autre part que sa structure a un impact direct sur la structure de la distribution de la maladie. Nous nous sommes intéressés également la propagation des maladies vectorielles à travers un modèle de type SIRS-SI multi-hôtes dans un environnement hétérogène.Les hôtes y étaient caractérisés par leur niveau de compétence et l’environnement par la variation du taux de reproduction et de mortalité. Son application à la maladie de Chagas, nous a permis de montrer que l’hétérogénéité de l’habitat et la diversité des hôtes contribuaient à faire baisser l’infection. Cependant l’un des principaux résultats de notre travail à été la formulation du nombre de reproduction spatiale grâce à deux matrices qui représentent les coefficients d’interactions entre les différentes cellules du réseau
This PhD thesis considers the general problem of epidemiological modelling and control using cellular automata approach.We first focused on the study of the SEIR model. On the one hand, we have shown that the traditionnal neighborhood contribute to underestimate the incidence and prevalence of infection disease. On the other hand, it appeared that the spatial distribution of the cells in the lattice have a real impact on the disease spreading. The second study concerns the transmission of the vector-borne disease in heterogeneous landscape with host community. We considered a SIRS-SI with various level of competence at witch the environnment heterogeneity has been characterized by the variation of the birth flow and the death rate. We simulated the Chagas disease spreading and shown that the heterogeneity of habitat and host diversity contribute to decrease the infection. One of the most important results of our work, was the proposition of the spatial reproduction number expression based on two matrices that represent the interaction factors between the cells in the lattice

Style APA, Harvard, Vancouver, ISO itp.

Fahmy, Maged Mohamed Mahoud. "Application of computer vision to automatic vehicle identification". Thesis, University of Newcastle Upon Tyne, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.244940.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

TANG, LI. "Automatic Extraction of Number of Lanes from Aerial Images for Transportation Applications". FIU Digital Commons, 2015. http://digitalcommons.fiu.edu/etd/2200.

Pełny tekst źródła

Streszczenie:

Number of lanes is a basic roadway attribute that is widely used in many transportation applications. Traditionally, number of lanes is collected and updated through field surveys, which is expensive especially for large coverage areas with a high volume of road segments. One alternative is through manual data extraction from high-resolution aerial images. However, this is feasible only for smaller areas. For large areas that may involve tens of thousands of aerial images and millions of road segments, an automatic extraction is a more feasible approach. This dissertation aims to improve the existing process of extracting number of lanes from aerial images automatically by making improvements in three specific areas: (1) performance of lane model, (2) automatic acquisition of external knowledge, and (3) automatic lane location identification and reliability estimation. In this dissertation, a framework was developed to automatically recognize and extract number of lanes from geo-rectified aerial images. In order to address the external knowledge acquisition problem in this framework, a mapping technique was developed to automatically estimate the approximate pixel locations of road segments and the travel direction of the target roads in aerial images. A lane model was developed based on the typical appearance features of travel lanes in color aerial images. It provides more resistance to “noise” such as presence of vehicle occlusions and sidewalks. Multi-class classification test results based on the K-nearest neighbor, logistic regression, and Support Vector Machine (SVM) classification algorithms showed that the new model provides a high level of prediction accuracy. Two optimization algorithms based on fixed and flexible lane widths, respectively, were then developed to extract number of lanes from the lane model output. The flexible lane-width approach was recommended because it solved the problems of error-tolerant pixel mapping and reliability estimation. The approach was tested using a lane model with two SVM classifiers, i.e., the Polynomial kernel and the Radial Basis Function (RBF) kernel. The results showed that the framework yielded good performance in a general test scenario with mixed types of road segments and another test scenario with heavy plant occlusions.

Style APA, Harvard, Vancouver, ISO itp.

Robinson, Alan. "Validating traffic models using large-scale automatic number plate recognition (ANPR) data". Diss., University of Pretoria, 2017. http://hdl.handle.net/2263/66238.

Pełny tekst źródła

Streszczenie:

Traditional manual survey methods for collecting reliable origin-destination data to develop large strategic transport model is notoriously expensive and the sample sizes are often relatively small. Arguably, the least reliable data required for the development of strategic traffic models is the origin-destination data. Recent technological advances, such as probe data from on-board devices, have been successful in providing data for some needs such as journey times and routing options. However, varying degrees of success have been achieved in obtaining reliable origin-destination (OD) data from these new technologies. Automatic Number Plate Recognition (ANPR) is one if the newer technologies that could be used to collect large-scale data sets over the large study areas that strategic traffic models cover. The aim of this study is to examine ANPR data collected from the Gauteng Freeway Improvement Project's (GFIP) Open Road Tolling (ORT) gantries in terms of its accuracy and uses in the development and improvement of strategic traffic models. Of particular interest is the use of the ANPR data to contribute towards the improvement of the distribution of trips in the OD matrices. This is achieved by developing methodologies to derive comparable gantry to gantry traffic volumes from the ANPR data and the GFIP traffic model. The above comparisons enabled the undertaking of a post opening project evaluation of the GFIP traffic model's 2015 forecasts using as many characteristics of the traffic flows and patterns that can be derived from the ANPR data. Characteristics such as traffic volumes and journey times are directly comparable with standard traffic model outputs. Tracking vehicles between gantries enabled the calculation of the number of trips that travel between gantry pairs giving rise to gantry-to-gantry (G2G) trips, which can be represented in a G2G count matrix. This G2G count matrix has probably the most beneficial data that can be derived from the ANPR systems as it contains an "accurate" element of the trip distribution on the road network. A methodology was developed to derive equivalent trip matrices from a traffic model's select-link trip matrices where the links are those where the gantry (ANPR camera) is located. The sums of the trips in the derived sub-matrices match the G2G counts. This enabled the comparison between the modelled trip distribution represented by the select link to select link (SL2SL) volumes and the actual ANPR G2G counts. This is in fact a comparison of a portion of the model's distribution to actual, comprehensive data. This study demonstrates that ANPR data has the potential to improve strategic traffic models. The automation of the processes to derive the SL2SL assigned volumes from the models and combining it with existing matrix estimation techniques will enhance the trip distribution in the output trip matrix. The current practice of using individual traffic counts in matrix estimation has the adverse tendency to affect the trip distribution. Hence, the recommendation to use traffic counts in matrix estimation to traffic counts with caution.
Dissertation (MEng)--University of Pretoria, 2017.
Civil Engineering
MEng
Unrestricted

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "AUTOMATED NUMBER"

author, Kohlas Jürg 1939, red. Generic Inference: A Unifying Theory for Automated Reasoning. Hoboken, New Jersey: Wiley, 2011.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. Congress. Senate. Committee on Banking, Housing, and Urban Affairs. The expanding ATM market and increased surcharge fees: Hearing before the Committee on Banking, Housing, and Urban Affairs, United States Senate, One Hundred Fifth Congress, first session on the results of a General Accounting Office report regarding the number of automated teller machines and the fees faced by consumers, June 11, 1997. Washington: U.S. G.P.O., 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Berthe, Valerie, i Michel Rigo, red. Combinatorics, Automata and Number Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511777653.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Combinatorics, automata, and number theory. Cambridge: Cambridge University Press, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Liu, Songqiao. The automatic decomposition of DDC synthesized numbers. Ann Arbor, Mich: University Microfilms International, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Maddocks, Hugh C. Generic markup of electronic index manuscripts. [Philadelphia, PA]: American Society of Indexers, 1988.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

J, Harrison. Theorem proving with the real numbers. London: Springer, 1998.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

George C. Marshall Space Flight Center., red. Anthropomorphic teleoperation: Controlling remote manipulators with the DataGlove : Center director's discretionary fund final report (project number 89-06). [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1992.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

P, Banks Stephen. On the existence and the number of fixed points of dynamical systems defined by cellular automata. Sheffield: University of Sheffield, Dept. of Automatic Control and Systems Engineering, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "AUTOMATED NUMBER"

Audemard, Gilles, i Laurent Henocque. "The eXtended Least Number Heuristic". W Automated Reasoning, 427–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5_35.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Shah, Saurabh, Nikita Rathod, Paramjeet Kaur Saini, Vivek Patel, Heet Rajput i Prerak Sheth. "Automated Indian Vehicle Number Plate Detection". W Advances in Intelligent Systems and Computing, 453–61. Singapore: Springer Singapore, 2018. http://dx.doi.org/10.1007/978-981-13-0589-4_42.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bozga, Marius, Lucas Bueri i Radu Iosif. "Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems". W Automated Reasoning, 691–711. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_40.

Pełny tekst źródła

Streszczenie:

AbstractWe consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded number of components and interactions, written using a multiplicative conjunction, reminiscent of Bunched Implications [37] and Separation Logic [39]. We study the complexity of the satisfiability and entailment problems for the configuration logic under consideration. Additionally, we consider the robustness property of degree boundedness (is every component involved in a bounded number of interactions?), an ingredient for decidability of entailments.

Style APA, Harvard, Vancouver, ISO itp.

Howe, Douglas J. "Implementing number theory: An experiment with Nuprl". W 8th International Conference on Automated Deduction, 404–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16780-3_108.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tour, Thierry Boy. "Minimizing the number of clauses by renaming". W 10th International Conference on Automated Deduction, 558–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52885-7_114.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mangla, Chaitanya, Sean B. Holden i Lawrence C. Paulson. "Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers". W Automated Reasoning, 559–77. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_33.

Pełny tekst źródła

Streszczenie:

AbstractA strategy schedule allocates time to proof strategies that are used in sequence in a theorem prover. We employ Bayesian statistics to propose alternative sequences for the strategy schedule in each proof attempt. Tested on the TPTP problem library, our method yields a time saving of more than 50%. By extending this method to optimize the fixed time allocations to each strategy, we obtain a notable increase in the number of theorems proved.

Style APA, Harvard, Vancouver, ISO itp.

Kremer, Gereon, Andrew Reynolds, Clark Barrett i Cesare Tinelli. "Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)". W Automated Reasoning, 95–105. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_7.

Pełny tekst źródła

Streszczenie:

AbstractThe SMT solver solves quantifier-free nonlinear real arithmetic problems by combining the cylindrical algebraic coverings method with incremental linearization in an abstraction-refinement loop. The result is a complete algebraic decision procedure that leverages efficient heuristics for refining candidate models. Furthermore, it can be used with quantifiers, integer variables, and in combination with other theories. We describe the overall framework, individual solving techniques, and a number of implementation details. We demonstrate its effectiveness with an evaluation on the SMT-LIB benchmarks.

Style APA, Harvard, Vancouver, ISO itp.

Crama, Yves, Alwin G. Oerlemans i Frits C. R. Spieksma. "Minimizing the number of tool switches on a flexible machine". W Production Planning in Automated Manufacturing, 191–223. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-642-80270-6_9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hu, Xuelei, i Lei Xu. "A Comparative Study of Several Cluster Number Selection Criteria". W Intelligent Data Engineering and Automated Learning, 195–202. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45080-1_27.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Sheng, Ying, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett i Cesare Tinelli. "Reasoning About Vectors Using an SMT Theory of Sequences". W Automated Reasoning, 125–43. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_9.

Pełny tekst źródła

Streszczenie:

AbstractDynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such programs. The theory of arrays is widely supported but is not ideal, because the number of elements is fixed (determined by its index sort) and cannot be adjusted, which is a problem, given that the length of vectors often plays an important role when reasoning about vector programs. In this paper, we propose reasoning about vectors using a theory of sequences. We introduce the theory, propose a basic calculus adapted from one for the theory of strings, and extend it to efficiently handle common vector operations. We prove that our calculus is sound and show how to construct a model when it terminates with a saturated configuration. Finally, we describe an implementation of the calculus in cvc5 and demonstrate its efficacy by evaluating it on verification conditions for smart contracts and benchmarks derived from existing array benchmarks.

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "AUTOMATED NUMBER"

Wang, Hui, Xudong Bao, Limin Luo i Guoqiang Lv. "Automated serial number recognition system". W Electronic Imaging 2003, redaktorzy Martin A. Hunt i Jeffery R. Price. SPIE, 2003. http://dx.doi.org/10.1117/12.474021.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Nilsback, Maria-Elena, i Andrew Zisserman. "Automated Flower Classification over a Large Number of Classes". W Image Processing (ICVGIP). IEEE, 2008. http://dx.doi.org/10.1109/icvgip.2008.47.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Shrivastava, Sachin, Sanjeev Kumar Singh, Kapil Shrivastava i Vishnu Sharma. "CNN based Automated Vehicle Registration Number Plate Recognition System". W 2020 2nd International Conference on Advances in Computing, Communication Control and Networking (ICACCCN). IEEE, 2020. http://dx.doi.org/10.1109/icacccn51052.2020.9362737.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Li, Xue Jun, i Yi Gao. "Digitisation of Conventional Water Meters using Automated Number Recognition". W TENCON 2021 - 2021 IEEE Region 10 Conference (TENCON). IEEE, 2021. http://dx.doi.org/10.1109/tencon54134.2021.9707425.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ranjan, Sarthak, Shrusti Sanket, Shivam Singh, Shivam Tyagi, Mandeep Kaur, Nitin Rakesh i Parma Nand. "OCR based Automated Number Plate Text Detection and Extraction". W 2022 9th International Conference on Computing for Sustainable Global Development (INDIACom). IEEE, 2022. http://dx.doi.org/10.23919/indiacom54597.2022.9763248.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Takahashi, Yoshizo, i Shigetaka Sasaki. "Parallel automated wire-routing with a number of competing processors". W the 4th international conference. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/77726.255170.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kurdi, Moustafa M., Imad A. Elzein, Jalal Issa i Ibrahim Sayed Ahmad. "Lebanese automated number plate reading based on neural network recognition". W 2017 13th International Computer Engineering Conference (ICENCO). IEEE, 2017. http://dx.doi.org/10.1109/icenco.2017.8289767.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Henderson, Jessie M., Elena R. Henderson, Aviraj Sinha, Mitchell A. Thornton i D. Michael Miller. "Automated quantum oracle synthesis with a minimal number of qubits". W Quantum Information Science, Sensing, and Computation XV, redaktorzy Michael L. Fanto, Michael Hayduk, Eric Donkor i Carlos M. Torres. SPIE, 2023. http://dx.doi.org/10.1117/12.2663240.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Falessi, Davide, Massimiliano Di Penta, Gerardo Canfora i Giovanni Cantone. "Estimating the number of remaining links in traceability recovery (journal-first abstract)". W ASE '18: 33rd ACM/IEEE International Conference on Automated Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3238147.3241982.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bhardwaj, Dinesh, i Harjinder Kaur. "Comparison of ML algorithms for identification of Automated Number Plate Recognition". W 2014 3rd International Conference on Reliability, Infocom Technologies and Optimization (ICRITO) (Trends and Future Directions). IEEE, 2014. http://dx.doi.org/10.1109/icrito.2014.7014770.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "AUTOMATED NUMBER"

Portsmouth, J. H. Functional requirements for the Automated Transportation Management System: TTP number: RL 439002. Office of Scientific and Technical Information (OSTI), grudzień 1992. http://dx.doi.org/10.2172/10144075.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Vavrin, John L., Ghassan K. Al-Chaar, Eric L. Kreiger, Michael P. Case, Brandy N. Diggs, Richard J. Liesen, Justine Yu i in. Automated Construction of Expeditionary Structures (ACES) : Energy Modeling. Engineer Research and Development Center (U.S.), luty 2021. http://dx.doi.org/10.21079/11681/39641.

Pełny tekst źródła

Streszczenie:

The need to conduct complex operations over time results in U.S. forces remaining in deployed locations for long periods. In such cases, more sustainable facilities are required to better accommodate and protect forward deployed forces. Current efforts to develop safer, more sustainable operating facilities for contingency bases involve construction activities that redesign the types and characteris-tics of the structures constructed, reduce the resources required to build, and reduce resources needed to operate and maintain the com-pleted facilities. The Automated Construction of Expeditionary Structures (ACES) project was undertaken to develop the capability to “print” custom-designed expeditionary structures on demand, in the field, using locally available materials with the minimum number of personnel. This work investigated large-scale automated “additive construction” (i.e., 3D printing with concrete) for construction applications. This document, which documents ACES energy and modeling, is one of four technical reports, each of which details a major area of the ACES research project, its research processes, and associated results, including: System Requirements, Construction, and Performance; Energy and Modeling; Materials and Testing; Architectural and Structural Analysis.

Style APA, Harvard, Vancouver, ISO itp.

Diggs, Brandy N., Richard J. Liesen, Michael P. Case, Sameer Hamoush i Ahmed C. Megri. Automated Construction of Expeditionary Structures (ACES) : Energy Modeling. Engineer Research and Development Center (U.S.), luty 2021. http://dx.doi.org/10.21079/11681/39759.

Pełny tekst źródła

Streszczenie:

Style APA, Harvard, Vancouver, ISO itp.

Cutler, Dylan. Machine Learning for Automated Metadata Assignment in Buildings: Cooperative Research and Development Final Report, CRADA Number CRD-18-00767. Office of Scientific and Technical Information (OSTI), marzec 2022. http://dx.doi.org/10.2172/1861065.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Cook, Jeff. Solar Automated Permit Processing Software for Distributed PV: Cooperative Research and Development Final Report, CRADA Number CRD-19-00825. Office of Scientific and Technical Information (OSTI), maj 2022. http://dx.doi.org/10.2172/1868049.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Al-Chaar, Ghassan K., Peter B. Stynoski, Todd S. Rushing, Lynette A. Barna, Jedadiah F. Burroughs, John L. Vavrin i Michael P. Case. Automated Construction of Expeditionary Structures (ACES) : Materials and Testing. Engineer Research and Development Center (U.S.), luty 2021. http://dx.doi.org/10.21079/11681/39721.

Pełny tekst źródła

Streszczenie:

Complex military operations often result in U.S. forces remaining at deployed locations for long periods. In such cases, more sustaina-ble facilities are required to better accommodate and protect forward-deployed forces. Current efforts to develop safer, more sustaina-ble operating facilities for contingency bases involve construction activities that require a redesign of the types and characteristics of the structures constructed, that reduce the resources required to build, and that decrease the resources needed to operate and maintain the completed facilities. The Automated Construction of Expeditionary Structures (ACES) project was undertaken to develop the capa-bility to “print” custom-designed expeditionary structures on demand, in the field, using locally available materials with the minimum number of personnel. This work investigated large-scale automated “additive construction” (i.e., 3D printing with concrete) for con-struction applications. This report, which documents ACES materials and testing, is one of four technical reports, each of which details a major area of the ACES research project, its research processes, and its associated results. There major areas include System Require-ments, Construction, and Performance; Energy and Modeling; Materials and Testing; Architectural and Structural Analysis.

Style APA, Harvard, Vancouver, ISO itp.

Tarasenko, Rostyslav O., Svitlana M. Amelina i Albert A. Azaryan. Features of the use of cloud-based translation systems in the process of forming information competence of translators. [б. в.], wrzesień 2019. http://dx.doi.org/10.31812/123456789/3256.

Pełny tekst źródła

Streszczenie:

The current trends in the translator training are shown, which reflect the orientation towards the use of cloud-based automated translation systems. The possibilities of studying cloud-based translation systems in the educational process of training the translator are considered. The role of mastering modern translation tools for forming information competence of translators, particularly technological component, was described. The definition of the list and type of basic translation tools that should be mastered in the studying process was discussed. These tools should include automated translation systems and terminological management systems. It is advisable to provide for the study of both desktop and cloud-based systems. The inclusion in the content of the training translators the study of cloud-based systems of automated translation after desktop systems is proposed. A number of advantages of cloud-based translation systems for the use in the process of training the translators is defined and substantiated. A comparative analysis of the functional of cloud-based automated translation systems (Wordfast Anywhere, XTM Cloud, and MemSource) with the aim of including them in the content of the training program for translators has been carried out.

Style APA, Harvard, Vancouver, ISO itp.

Pearson, Ken, i Channing Arndt. Implementing Systematic Sensitivity Analysis Using GEMPACK. GTAP Technical Paper, listopad 2000. http://dx.doi.org/10.21642/gtap.tp03.

Pełny tekst źródła

Streszczenie:

In economic simulation, results often hinge crucially on values of key exogenous inputs (the values of the parameters of the model and the shocks applied). Computational burden has, in the past, hindered systematic investigation of the impacts of variations in these key exogenous inputs. In this document, practical methods for conducting systematic sensitivity analysis for any model implemented using the GEMPACK suite of software are documented. The procedures described here are based on GTAP Technical Paper number 2 which sets out the theory behind the Gaussian quadrature methods on which the automated procedure is based. The procedures allow modellers to obtain estimates of the means and standard deviations of any endogenous variables of their model. The model only needs to be solved a relatively modest number of times (usually only 2N times if N exogenous inputs are varying); this is considerably fewer than the number of solves required by Monte Carlo methods. The procedure documented here fully automates solving the model as often as is necessary; once the user sets it up and starts it running, no further intervention is required. The document spells out the assumptions which must be made about the distribution of the exogenous inputs for the methods described to be valid. Five examples of systematic sensitivity computations are presented and the accompanying software allows modellers to work through these examples while reading the document. This should leave readers fully prepared to analyse the sensitivity of results for any model implemented in GEMPACK.

Style APA, Harvard, Vancouver, ISO itp.

Treadwell, Jonathan R., James T. Reston, Benjamin Rouse, Joann Fontanarosa, Neha Patel i Nikhil K. Mull. Automated-Entry Patient-Generated Health Data for Chronic Conditions: The Evidence on Health Outcomes. Agency for Healthcare Research and Quality (AHRQ), marzec 2021. http://dx.doi.org/10.23970/ahrqepctb38.

Pełny tekst źródła

Streszczenie:

Background. Automated-entry consumer devices that collect and transmit patient-generated health data (PGHD) are being evaluated as potential tools to aid in the management of chronic diseases. The need exists to evaluate the evidence regarding consumer PGHD technologies, particularly for devices that have not gone through Food and Drug Administration evaluation. Purpose. To summarize the research related to automated-entry consumer health technologies that provide PGHD for the prevention or management of 11 chronic diseases. Methods. The project scope was determined through discussions with Key Informants. We searched MEDLINE and EMBASE (via EMBASE.com), In-Process MEDLINE and PubMed unique content (via PubMed.gov), and the Cochrane Database of Systematic Reviews for systematic reviews or controlled trials. We also searched ClinicalTrials.gov for ongoing studies. We assessed risk of bias and extracted data on health outcomes, surrogate outcomes, usability, sustainability, cost-effectiveness outcomes (quantifying the tradeoffs between health effects and cost), process outcomes, and other characteristics related to PGHD technologies. For isolated effects on health outcomes, we classified the results in one of four categories: (1) likely no effect, (2) unclear, (3) possible positive effect, or (4) likely positive effect. When we categorized the data as “unclear” based solely on health outcomes, we then examined and classified surrogate outcomes for that particular clinical condition. Findings. We identified 114 unique studies that met inclusion criteria. The largest number of studies addressed patients with hypertension (51 studies) and obesity (43 studies). Eighty-four trials used a single PGHD device, 23 used 2 PGHD devices, and the other 7 used 3 or more PGHD devices. Pedometers, blood pressure (BP) monitors, and scales were commonly used in the same studies. Overall, we found a “possible positive effect” of PGHD interventions on health outcomes for coronary artery disease, heart failure, and asthma. For obesity, we rated the health outcomes as unclear, and the surrogate outcomes (body mass index/weight) as likely no effect. For hypertension, we rated the health outcomes as unclear, and the surrogate outcomes (systolic BP/diastolic BP) as possible positive effect. For cardiac arrhythmias or conduction abnormalities we rated the health outcomes as unclear and the surrogate outcome (time to arrhythmia detection) as likely positive effect. The findings were “unclear” regarding PGHD interventions for diabetes prevention, sleep apnea, stroke, Parkinson’s disease, and chronic obstructive pulmonary disease. Most studies did not report harms related to PGHD interventions; the relatively few harms reported were minor and transient, with event rates usually comparable to harms in the control groups. Few studies reported cost-effectiveness analyses, and only for PGHD interventions for hypertension, coronary artery disease, and chronic obstructive pulmonary disease; the findings were variable across different chronic conditions and devices. Patient adherence to PGHD interventions was highly variable across studies, but patient acceptance/satisfaction and usability was generally fair to good. However, device engineers independently evaluated consumer wearable and handheld BP monitors and considered the user experience to be poor, while their assessment of smartphone-based electrocardiogram monitors found the user experience to be good. Student volunteers involved in device usability testing of the Weight Watchers Online app found it well-designed and relatively easy to use. Implications. Multiple randomized controlled trials (RCTs) have evaluated some PGHD technologies (e.g., pedometers, scales, BP monitors), particularly for obesity and hypertension, but health outcomes were generally underreported. We found evidence suggesting a possible positive effect of PGHD interventions on health outcomes for four chronic conditions. Lack of reporting of health outcomes and insufficient statistical power to assess these outcomes were the main reasons for “unclear” ratings. The majority of studies on PGHD technologies still focus on non-health-related outcomes. Future RCTs should focus on measurement of health outcomes. Furthermore, future RCTs should be designed to isolate the effect of the PGHD intervention from other components in a multicomponent intervention.

Style APA, Harvard, Vancouver, ISO itp.

DiGrande, Laura, Sue Pedrazzani, Elizabeth Kinyara, Melanie Hymes, Shawn Karns, Donna Rhodes i Alanna Moshfegh. Field Interviewer– Administered Dietary Recalls in Participants’ Homes: A Feasibility Study Using the US Department of Agriculture’s Automated Multiple-Pass Method. RTI Press, maj 2021. http://dx.doi.org/10.3768/rtipress.2021.mr.0045.2105.

Pełny tekst źródła

Streszczenie:

Objective: The purpose of this study was to assess the feasibility of administering the Automated Multiple-Pass Method (AMPM), a widely used tool for collecting 24-hour dietary recalls, in participants’ homes by field interviewers. Design: The design included computer-assisted personal interviews led by either a nutritionist (standard) or field interviewer. Portion estimators tested were a set of three-dimensional food models (standard), a two-dimensional food model booklet, or a tablet with digital images rendered via augmented reality. Setting: Residences in central North Carolina. Participants: English-speaking adults. Pregnant women and individuals who were fasting were excluded. Results: Among 133 interviews, most took place in living rooms (52%) or kitchens (22%). Mean interview time was 40 minutes (range 13–90), with no difference by interviewer type or portion estimator, although timing for nutritionist-led interviews declined significantly over the study period. Forty-five percent of participants referenced items from their homes to facilitate recall and portion estimation. Data entry and post-interview coding was evaluated and determined to be consistent with requirements for the National Health and Nutrition Examination Survey. Values for the number of food items consumed, food groups, energy intake (average of 3,011 kcal for men and 2,105 kcal for women), and key nutrients were determined to be plausible and within reasonably expected ranges regardless of interviewer type or portion estimator used. Conclusions: AMPM dietary recall interviews conducted in the home are feasible and may be preferable to clinical administration because of comfort and the opportunity for participants to access home items for recall. AMPMs administered by field interviewers using the food model booklet produced credible nutrition data that was comparable to AMPMs administered by nutritionists. Training field interviewers in dietary recall and conducting home interviews may be sensible choices for nutrition studies when response rates and cost are concerns.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!