Relevant bibliographies by topics / Stock verification

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers
  5. Reports

Academic literature on the topic 'Stock verification'

Author: Grafiati
Published: 4 June 2021
Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Stock verification.'

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 "Stock verification"

1

Moorthy, A. Lakshmana. "Stock Verification of Electronic Publications: Rejoinder." DESIDOC Bulletin of Information Technology 20, no. 6 (2000): 7–8. http://dx.doi.org/10.14429/dbit.20.6.3529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dhiman, A. K. "Stock Verification: Some Problems of Electronic Publications." DESIDOC Bulletin of Information Technology 20, no. 6 (2000): 3–5. http://dx.doi.org/10.14429/dbit.20.6.3528.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Du, Yuyue, Hong Zheng, and Shuxia Yu. "Analysis and Verification of Dynamic Stock Trading Systems." Information Technology Journal 7, no. 3 (2008): 466–73. http://dx.doi.org/10.3923/itj.2008.466.473.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rajendiran, P., and Indu Bhushan. "Automated Library Stock Verification with Barcode and LibSys." DESIDOC Bulletin of Information Technology 26, no. 5 (2006): 17–22. http://dx.doi.org/10.14429/dbit.26.3.3692.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gertsekovich, David A., and Roman V. Babushkin. "Dynamic Portfolio Analysis of World Stock Indexes." World of Economics and Management 19, no. 4 (2019): 14–30. http://dx.doi.org/10.25205/2542-0429-2019-19-4-14-30.

Full text
Abstract:
The article provides quantitive evaluation of the world stock markets with the «Return-Risk» Model, which is based on the fundamental principles of the porfolio theory. The analysis undertaken is aimed at revealing the most attractive world stock markets in regard to shaping of the future investment policy in the short term as well as determining the countries which securities (stocks, bonds, financial derivatives, etc.) should be included into the extended diversified investment portfolio. In other words, the world stock markets under study are not only considered as the status displays of th
APA, Harvard, Vancouver, ISO, and other styles
6

Thea, Eka Sholeha, and Hari Sulistyo. "Pengaruh Rasio Likuiditas, Solvabilitas, Profitabilitas Terhadap Harga Saham Subsektor Perkebunan Yang Terdaftar Di Bursa Efek Indonesia." Journal of Economic, Bussines and Accounting (COSTING) 4, no. 2 (2021): 540–46. http://dx.doi.org/10.31539/costing.v4i2.1697.

Full text
Abstract:
Share Price is a reflection of the successful management of the company. A high share price will provide benefits, namely in the form of capital gains and a better image for the company so that it will attract investors to invest in the company. This study aims to determine whether there is an influence between liquidity, solvency and profitability on stock prices either partially or simultaneously. The research sample taken was 11 companies from a total of 19 plantation subsector companies that were listed on the Indonesia Stock Exchange in 2016-2018 with the sampling technique used was purpo
APA, Harvard, Vancouver, ISO, and other styles
7

Arbaningrum, Rosa, and Asep Muslihat. "Pengaruh Suku Bunga, PER, dan PBV Terhadap Harga Saham Perusahaan Sub Sektor Konstruksi Bangunan." Journal of Economic, Bussines and Accounting (COSTING) 4, no. 2 (2021): 706–11. http://dx.doi.org/10.31539/costing.v4i2.1733.

Full text
Abstract:
The study aims to determine how much influence of interest rate, PER, and PBV have on stock prices. The method used is descriptive verification with a quantitative approaches. Data were analyzed using multiple linear regression analysis. Based on the results of a descriptive analysis of the highest interest rate occurred in 2014-2015 while the lowest interest rate in the 2017. There are 5 building construction sub-sector companies that have PER industry average, while 4 other companies have PER above industry average. Furthermore, there are 4 companies that have the value of PBV below the indu
APA, Harvard, Vancouver, ISO, and other styles
8

Frank, Kenneth T. "Predicting Recruitment Variation from Year Class Specific Vertebral Counts: An Analysis of the Potential and a Plan for Verification." Canadian Journal of Fisheries and Aquatic Sciences 48, no. 8 (1991): 1350–57. http://dx.doi.org/10.1139/f91-161.

Full text
Abstract:
Recruitment prediction has been an elusive and seemingly unobtainable goal with no entirely satisfactory general approach yet available. I propose the use of meristic variation, traditionally applied to problems associated with stock discrimination studies, as a new method to predict recruitment variation. The approach is evaluated using literature data on year class strength (YCS) and year class specific average vertebral counts (VS), two apparently interrelated variables that are affected by environmental factors operating during the early life history. Three marine stocks at the southern li
APA, Harvard, Vancouver, ISO, and other styles
9

KOZŁOWSKA, MARZENA, ANDRZEJ KASPRZAK, and RYSZARD KUTNER. "FRACTIONAL MARKET MODEL AND ITS VERIFICATION ON THE WARSAW STOCK EXCHANGE." International Journal of Modern Physics C 19, no. 03 (2008): 453–69. http://dx.doi.org/10.1142/s012918310801225x.

Full text
Abstract:
We analyzed the rising and relaxation of the cusp-like local peaks superposed with oscillations which were well defined by the Warsaw Stock Exchange index WIG in a daily time horizon. We found that the falling paths of all index peaks were described by a generalized exponential function or the Mittag-Leffler (ML) one superposed with various types of oscillations. However, the rising paths (except the first one of WIG which rises exponentially and the most important last one which rises again according to the ML function) can be better described by bullish anti-bubbles or inverted bubbles.2–4 T
APA, Harvard, Vancouver, ISO, and other styles
10

Madhusoodanan, P. R., and Hareesh V. Kumar. "An Empirical Verification of Cointegration and Causality in Indian Stock Markets." South Asia Economic Journal 9, no. 1 (2008): 159–72. http://dx.doi.org/10.1177/139156140700900107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Stock verification"

1

Mpendu-Mningiswa, Nwabisa. "Verification of the calculated cumulative factors of the USB with the implicit cumulative factors used by listed industrial JSE companies." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53712.

Full text
Abstract:
Study project (MBA)--University of Stellenbosch, 2003.<br>ENGLISH ABSTRACT: The objective of this study is to verify the cumulative factors developed by the Graduate School of Business of the University of Stellenbosch when calculating prices per share (price) over the period 1970 to 2000, earnings per share (EPS), cash flows per share (CFS) and net asset values per share(NA V). All four are done in a time series format. This study project forms part ofa larger research project of the Graduate School of Business ofthe University of Stellenbosch (USB). The data was extracted from the dat
APA, Harvard, Vancouver, ISO, and other styles
2

Kochems, Jonathan Antonius. "Verification of asynchronous concurrency and the shaped stack constraint." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5.

Full text
Abstract:
In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching. It is further augmented with support for actor concurrency, i.e. asynchronous message passing and dynamic process creation. With decidable model-checking in mind, we identify actor communicating systems (ACS) as a suitable target model for an abstract interpretation of Erlang. ACS model a dynamic network of
APA, Harvard, Vancouver, ISO, and other styles
3

Digerås, Daniel. "Integration between Optima and Farkle and verification with a use case about file storage stack integration in a quality of service manager in OSE." Thesis, Linköpings universitet, Institutionen för teknik och naturvetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93081.

Full text
Abstract:
iFEST is an EU project aimed at streamlining product development by creating a standalized tool-chain. This work aims to look at how a debug and test tools can integrate with each other. The goal is to provide input for the iFEST project on how such integration should be done. The two products Optima products and Farkle developed by Enea is used for the integration. Similar integration projects are evaluated to find a possible solution to a good design. A basic design forthe integration is made based on Eclipse, previous work and analysis of the tools Optima and Farkle. The design is implement
APA, Harvard, Vancouver, ISO, and other styles
4

Chen, Chen-Wei, and 陳楨緯. "Verification of four-factor model on Taiwan stock market." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/24707619635004003712.

Full text
Abstract:
碩士<br>雲林科技大學<br>財務金融系碩士班<br>99<br>Abstract We use the Four-Factor Model to analyze the abnormal returns of listed companies in Taiwan. The sample period of this study is from January 2000 to December 2010. The study attempts to verify the significance of Taiwan stocks by use the Four-Factors, Market Premium, Size Effect, Book-to-Market Value, and Momentum. The empirical results are as follow. First of all, the relationship between Market Premium and abnormal returns is positive. In addition, the Small Size Effect happens to traditional industries, and the Big Size Effect happens to electro
APA, Harvard, Vancouver, ISO, and other styles
5

Dai, Yu-Jhan, and 戴鈺展. "Automatic Verification of Stock Recommendations in Investment Social Webs." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/3g7y8u.

Full text
Abstract:
碩士<br>國立臺灣科技大學<br>電機工程系<br>104<br>Veracity is the last V words attributed to the nature of big data in addition to volume, velocity and variety; veracity may be the most critical factor weighing the value of data at hand. For example, there are numerous stock pick recommendation postings commonly seen in investment-oriented social webs. Bloggers or professionals alike make sell or short recommendations, most time even mingled with view-conflicting postings. However, there are few, if any, follow-ups to check their validity not only in practice, but also in research literature.This study aim
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Chih-Wen, and 楊智文. "The Verification and the Analysis of VaR Models on Taiwan Stock Market." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/08707670980983525228.

Full text
Abstract:
碩士<br>雲林科技大學<br>財務金融系碩士班<br>97<br>Value at Risk (VaR) is a hot topic in financial field. However, literatures report that the empirical distributions of return in most of financial assets have fat-tail phenomenon, and it will affect the forecast ability of model. This research utilizes five types of risk models, Variance-Covariance Method, Monte Carlo Simulation Method, Historical Simulation Method, Bootstrap Method, and Bootstrap-Stationary Method, to calculate the Value at Risk, respectively. In addition, by using Back Testing, fitness of each risk model is examined, to compare conservation,
APA, Harvard, Vancouver, ISO, and other styles
7

Peng, Kang-Jhe, and 彭康哲. "Combining Program Trading and Stock Selection Model to Design and Implement an Analyzing Platform. Using American Stock Data for initial Verification." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/3mj6ug.

Full text
Abstract:
碩士<br>國立中央大學<br>資訊管理學系<br>104<br>Stock investment is a high risk, high reward investment behavior. It is the main method of investments. There are many study focused on fundamental analysis and technical analysis in stock market. They hope to find the investment model which is more stable and make more excess returns. In actual trading situation, investment decisions of investors will be influenced by many factors. This situation make investment to be worthless and much unstable. Therefore, many investors are turn to using program trading. Program trading use program languages to define th
APA, Harvard, Vancouver, ISO, and other styles
8

Huang, Tien-Wei, and 黃天蔚. "Combining Stock Selection Model and Program Trading to Design and Implement an Analyzing Platform. Using Taiwan Stock Data for initial Verification." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/69qybk.

Full text
Abstract:
碩士<br>國立中央大學<br>資訊管理學系<br>104<br>Since the development of the stock market, predict changes in the stock price has became most concerned issue. However, stock market is very complex system, many experts have proposed various theories which can used to predict stock price such as fundamental analysis and technical analysis. Although the development of quantitative analysis platform for fundamental analysis or technical analysis has come of age. But there are still have many defects. For example, investment decision support system which developed by CMoney is very useful to do stock market analy
APA, Harvard, Vancouver, ISO, and other styles
9

Chien, Ming-Hung, and 錢明鴻. "Simplified Assessment Methodology and Verification of Applicability for Wheel/Rail Profile of Rolling Stock." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/ugmq96.

Full text
Abstract:
博士<br>國立臺灣科技大學<br>機械工程系<br>106<br>This study proposes a simplified methodology to assess the initial design of the wheel/rail contact profile for the railway system. This method does not require complicated simulation models or measurements, but simply applies wheel/rail contact geometry synthesis to explore all possible contact positions between the wheel and the rail on either side of the track. In addition, the dynamic motion of the wheelset obtained from the obtained wheel/rail contact points is analyzed. Based on the synthesis results, moving and fixed centrodes of the wheelset motion are
APA, Harvard, Vancouver, ISO, and other styles
10

Chen, Yi Jyun, and 陳怡君. "Related Party Transaction、Stock Ownership of Directors and Operating Performance-Efficient Transactions Hypothesis Verification." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/51758922833737240780.

Full text
Abstract:
碩士<br>國立雲林科技大學<br>會計系研究所<br>95<br>It’s a long term for a subject of debate about that regulator use related party transactions to manipulate earnings and transfer interests or that related party transactions efficiently fulfill underlying economic needs of the company to improve the efficiency of operation performance. In the past, there hasn’t been any consistent empirical result. For this reason，this study assume，whether related party transactions are detrimental or helpful to corporate operating performance，and whether they are correlated with these other corporate governance mechanisms. Th
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Stock verification"

1

Rodes, Benjamin D., Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight, Michele Co, and Jack W. Davidson. "Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation." In Runtime Verification. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fournet, Cédric, Tony Hoare, Sriram K. Rajamani, and Jakob Rehof. "Stuck-Free Conformance." In Computer Aided Verification. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27813-9_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chen, Taolue, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, and Jun Yan. "Android Stack Machine." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96142-2_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Seth, Anil. "Global Reachability in Bounded Phase Multi-stack Pushdown Systems." In Computer Aided Verification. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14295-6_53.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chiari, Michele, Dino Mandrioli, and Matteo Pradella. "Model-Checking Structured Context-Free Languages." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_18.

Full text
Abstract:
AbstractThe problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL. Recently, the logic OPTL was introduced, based on the class of Operator Precedence Languages (OPL), more powerful than Nested Words. We define the new OPL-based logic POTL, and provide a model checking procedure for it. POTL improves on NWTL by enabling the formulation of requirements involving pre/post-conditions, stack inspection, and others in the presence of exception-like constructs. It improves on OPTL by being FO-complete, and by expressing more easily stack inspection and function-local properties. We developed a model checking tool for POTL, which we experimentally evaluate on some interesting use-cases.
APA, Harvard, Vancouver, ISO, and other styles
6

Uezato, Yuya, and Yasuhiko Minamide. "Pushdown Systems with Stack Manipulation." In Automated Technology for Verification and Analysis. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Akshay, S., Paul Gastin, and Karthik R. Prakash. "Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_30.

Full text
Abstract:
AbstractGiven the versatility of timed automata a huge body of work has evolved that considers extensions of timed automata. One extension that has received a lot of interest is timed automata with a, possibly unbounded, stack, also called pushdown timed automata (PDTA). While different algorithms have been given for reachability in different variants of this model, most of these results are purely theoretical and do not give rise to efficient implementations. One main reason for this is that none of these algorithms (and the implementations that exist) use the so-called zone-based abstraction, but rely either on the region-abstraction or other approaches, which are significantly harder to implement.In this paper, we show that a naive extension, using simulations, of the zone based reachability algorithm for the control state reachability problem of timed automata is not sound in the presence of a stack. To understand this better we give an inductive rule based view of the zone reachability algorithm for timed automata. This alternate view allows us to analyze and adapt the rules to also work for pushdown timed automata. We obtain the first zone-based algorithm for PDTA which is terminating, sound and complete. We implement our algorithm in the tool TChecker and perform experiments to show its efficacy, thus leading the way for more practical approaches to the verification of timed pushdown systems.
APA, Harvard, Vancouver, ISO, and other styles
8

Tofan, Bogdan, Gerhard Schellhorn, and Wolfgang Reif. "Formal Verification of a Lock-Free Stack with Hazard Pointers." In Theoretical Aspects of Computing – ICTAC 2011. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23283-1_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Drygajlo, Andrzej, Weifeng Li, and Kewei Zhu. "Verification of Aging Faces Using Local Ternary Patterns and Q-Stack Classifier." In Biometric ID Management and Multimodal Communication. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04391-8_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Nishida, Yuki, Hiromasa Saito, Ran Chen, et al. "Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_14.

Full text
Abstract:
AbstractA smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them.This tool paper describes our type-based static verification tool Helmholtz for Michelson, which is a statically typed stack-based language for writing smart contracts that are executed on the blockchain platform Tezos. Helmholtz is designed on top of our extension of Michelson’s type system with refinement types. Helmholtz takes a Michelson program annotated with a user-defined specification written in the form of a refinement type as input; it then typechecks the program against the specification based on the refinement type system, discharging the generated verification conditions with the SMT solver Z3. We briefly introduce our refinement type system for the core calculus Mini-Michelson of Michelson, which incorporates the characteristic features such as compound datatypes (e.g., lists and pairs), higher-order functions, and invocation of another contract. Helmholtz successfully verifies several practical Michelson programs, including one that transfers money to an account and that checks a digital signature.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Stock verification"

1

Joshi, Kinnary, Kalind Karia, Jaykumar Patel, and Sanjana Desai. "Library Stock Verification System using Artificial Neural Networks." In 2018 International Conference on Smart City and Emerging Technology (ICSCET). IEEE, 2018. http://dx.doi.org/10.1109/icscet.2018.8537289.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gercekovich, David. "Us Stock Market Sliding Verification Of Profit-Risk Model." In Trends and Innovations in Economic Studies, Science on Baikal Session. European Publisher, 2020. http://dx.doi.org/10.15405/epsbs.2020.12.34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Liu, Yanping, Zhe Chen, and Yang Zhao. "Verification Analysis of China Stock Risk Features Base on ARCH Models." In 2009 Second International Conference on Future Information Technology and Management Engineering (FITME). IEEE, 2009. http://dx.doi.org/10.1109/fitme.2009.26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Yedla, Sandeep Kumar, V. M. Manikandan, and Panchami V. "Real-time Scene Change Detection with Object Detection for Automated Stock Verification." In 2020 5th International Conference on Devices, Circuits and Systems (ICDCS). IEEE, 2020. http://dx.doi.org/10.1109/icdcs48716.2020.243571.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yu, Qing, Xianzhong Chen, and Qingwen Hou. "Verification of Near Field SAR Image Formation Based on RMA in Blast Furnace Stock Lines." In 2018 37th Chinese Control Conference (CCC). IEEE, 2018. http://dx.doi.org/10.23919/chicc.2018.8483734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Sambandan, K., and K. K. Wang. "Five-Axis Swept Volumes for Graphic NC Simulation and Verification." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0030.

Full text
Abstract:
Abstract This paper explains in detail a simulator that has been developed for graphic verification of five-axis Numerical Control (NC) machining. Exact parametric representations for the surfaces generated by common NC milling cutters during five-axis motions have been derived using the theory of envelopes as the mathematical basis. Parts of these surfaces form the boundary of the total swept volume generated. For each cutting motion, the swept volume of the cutter is determined and then subtracted from the stock. The Boolean subtraction is done in the image space at the pixel level, using a
APA, Harvard, Vancouver, ISO, and other styles
7

Butlers, Aldis, and Andis Lazdins. "Carbon stock in litter and organic soil in drained and naturally wet forest lands in Latvia." In Research for Rural Development 2020. Latvia University of Life Sciences and Technologies, 2020. http://dx.doi.org/10.22616/rrd.26.2020.007.

Full text
Abstract:
The aim of the study is to evaluate carbon stock in litter and organic forest soils in Latvia as well as to characterize accumulation of carbon in litter in afforested lands. The study is providing empirically valid information about soil and litter carbon changes for the National greenhouse gas (GHG) inventory by using data from National forest inventory (NFI), forest soil monitoring demonstration project BioSoil and other studies. The study proves significance of organic forest soil carbon pool in Latvia and demonstrates necessity to extend NFI incorporated forest soil monitoring program to
APA, Harvard, Vancouver, ISO, and other styles
8

Abdel-Malek, K., Walter Seaman, and Harn-Jou Yeh. "An Exact Method for NC Verification of up to 5-Axis Machining." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/dac-8560.

Full text
Abstract:
Abstract The motion of a cutter tool is modeled as a surface undergoing a sweep operation along another geometric entity. A numerically controlled machining verification method is developed based on a formulation for delineating the volume generated by the motion of a cutting tool on the workpiece (stock). Varieties and subvarieties that are subsets of some Eucledian space defined by the zeros of a finite number of analytic functions are computed and are characterized as closed form equations of surface patches of this volume. A topological space describing the swept volume will be built as a
APA, Harvard, Vancouver, ISO, and other styles
9

Petrzelka, Joseph E., and Matthew C. Frank. "Emergent Structure Detection for Multi-Axis Machining." In ASME 2010 International Manufacturing Science and Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/msec2010-34329.

Full text
Abstract:
This paper examines the phenomenon of emergent structures that occur in the transient stock material during multi-axis rough machining from a plurality of fixed orientations. Taking the form of thin webs and strings, emergent structures are stock material conditions that can lead to catastrophic failure during machining, even when tool path verification is successful. We begin by discussing the motivation for use of fixed orientations in multi-axis machining using multiple automated setups via rotary axes, which enables fast processing and ‘first part correct’ machining. Next, we demonstrate h
APA, Harvard, Vancouver, ISO, and other styles
10

Stefanakos, Christos N., Orestis Schinas, and Grim Eidnes. "Application of Fuzzy Time Series Techniques in Wind and Wave Data Forecasting." In ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/omae2014-24612.

Full text
Abstract:
This work explores the applicability of widely known fuzzy time series forecasting techniques for the prediction of wind and wave data. These techniques have extensively been used with great success to the forecasting of stock prices. In the present work, long-term time series of wind speed, significant wave height, and peak period are examined and used for the verification of the forecasting performance of the fuzzy models. To examine the forecasting accuracy, the root mean squared error (RMSE) is used as an evaluation criterion to compare the forecasting performance of the listing models. As
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Stock verification"

1

Flaherty, Julia, Jeremy Rishel, Sarah Suffield, and John Barnett. Assessment of the 3420 Building Filtered Exhaust Stack Sampling Probe Location: Stack Verification Following Fan and Air Blender Additions. Office of Scientific and Technical Information (OSTI), 2020. http://dx.doi.org/10.2172/1734886.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Harpenau, Evan M. Type A verification report for the high flux beam reactor stack and grounds, Brookhaven National Laboratory, Upton, New York. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1060172.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

L. M. Dittmer. Remaining Sites Verification Package for 132-H-1, 116-H Reactor Stack Burial Site, Waste Site Reclassification Form 2006-053. Office of Scientific and Technical Information (OSTI), 2007. http://dx.doi.org/10.2172/944158.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

J. M. Capron. Remaining Sites Verification Package for the 100-F-46, 119-F Stack Sampling French Drain, Waste Site Reclassification Form 2008-021. Office of Scientific and Technical Information (OSTI), 2008. http://dx.doi.org/10.2172/944168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Evan Harpenau. TYPE A VERIFICATION REPORT FOR THE HIGH FLUX BEAM REACTOR STACK AND GROUNDS, BROOKHAVEN NATIONAL LABORATORY, UPTON, NEW YORK DCN 5098-SR-08-0. Office of Scientific and Technical Information (OSTI), 2011. http://dx.doi.org/10.2172/1034270.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Venäläinen, Ari, Sanna Luhtala, Mikko Laapas, et al. Sää- ja ilmastotiedot sekä uudet palvelut auttavat metsäbiotaloutta sopeutumaan ilmastonmuutokseen. Finnish Meteorological Institute, 2021. http://dx.doi.org/10.35614/isbn.9789523361317.

Full text
Abstract:
Climate change will increase weather induced risks to forests, and thus effective adaptation measures are needed. In Säätyö project funded by the Ministry of Agriculture and Forestry, we have summarized the data that facilitate adaptation measures, developed weather and climate services that benefit forestry, and mapped what kind of new weather and climate services are needed in forestry. In addition, we have recorded key further development needs to promote adaptation. The Säätyö project developed a service product describing the harvesting conditions of trees based on the soil moisture asses
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Stock verification' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography