Готові списки джерел за темами / Slicer program

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій
Звіти організацій

Добірка наукової літератури з теми "Slicer program"

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Slicer program".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Slicer program"

Yadavally, Aashish, Yi Li, Shaohua Wang, and Tien N. Nguyen. "A Learning-Based Approach to Static Program Slicing." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024): 83–109. http://dx.doi.org/10.1145/3649814.

Повний текст джерела

Анотація:

Traditional program slicing techniques are crucial for early bug detection and manual/automated debugging of online code snippets. Nevertheless, their inability to handle incomplete code hinders their real-world applicability in such scenarios. To overcome these challenges, we present NS-Slicer, a novel learning-based approach that predicts static program slices for both complete and partial code Our tool leverages a pre-trained language model to exploit its understanding of fine-grained variable-statement dependencies within source code. With this knowledge, given a variable at a specific loc

Стилі APA, Harvard, Vancouver, ISO та ін.

Pérez, Sergio, Josep Silva, and Salvador Tamarit. "Automatic Testing of Program Slicers." Scientific Programming 2019 (February 25, 2019): 1–15. http://dx.doi.org/10.1155/2019/4108652.

Повний текст джерела

Анотація:

Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point (the slicing criterion). Computing minimal slices is undecidable in the general case, and obtaining the minimal slice of a given program is normally computationally prohibitive even for very small programs. Therefore, no matter what program slicer we use, in general, we cannot be sure that our slices are minimal. This is probably the fundamental reason why no benchmark collection of minimal program slices exists. In this work, we present a method t

Стилі APA, Harvard, Vancouver, ISO та ін.

Shankar, Shreya, Stephen Macke, Sarah Chasins, Andrew Head, and Aditya Parameswaran. "Bolt-on, Compact, and Rapid Program Slicing for Notebooks." Proceedings of the VLDB Endowment 15, no. 13 (2022): 4038–47. http://dx.doi.org/10.14778/3565838.3565855.

Повний текст джерела

Анотація:

Computational notebooks are commonly used for iterative workflows, such as in exploratory data analysis. This process lends itself to the accumulation of old code and hidden state, making it hard for users to reason about the lineage of, e.g., plots depicting insights or trained machine learning models. One way to reason about code used to generate various notebook data artifacts is to compute a program slice , but traditional static approaches to slicing can be both inaccurate (failing to contain relevant code for artifacts) and conservative (containing unnecessary code for an artifacts). We

Стилі APA, Harvard, Vancouver, ISO та ін.

Yadavally, Aashish, Yi Li, and Tien N. Nguyen. "Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning." Proceedings of the ACM on Software Engineering 1, FSE (2024): 271–92. http://dx.doi.org/10.1145/3643739.

Повний текст джерела

Анотація:

Program slicing, the process of extracting program statements that influence values at a designated location (known as the slicing criterion), is helpful in both manual and automated debugging. However, such slicing techniques prove ineffective in scenarios where executing specific inputs is prohibitively expensive, or even impossible, as with partial code. In this paper, we introduce ND-Slicer, a predictive slicing methodology that caters to specific executions based on a particular input, overcoming the need for actual execution. We enable such a process by leveraging execution-aware pre-tra

Стилі APA, Harvard, Vancouver, ISO та ін.

Nguyen, Loi Ngo Duc, Tahiatul Islam, Theron Wang, Sam Lenz, and Martin Kellogg. "Static Program Reduction via Type-Directed Slicing." Proceedings of the ACM on Software Engineering 2, ISSTA (2025): 2068–90. https://doi.org/10.1145/3728968.

Повний текст джерела

Анотація:

A traditional program slicer constructs a smaller variant of a target program that computes the same result with respect to some target variable—that is, program slicing preserves the original program’s run-time semantics . We propose type-directed slicing , which constructs a smaller program that guarantees that a typechecker will produce the same result on the sliced program when considering only a target program location—that is, a type-directed slicer preserves the target program’s compile-time semantics , from the view of a specific typechecker, with respect to some location. Type-directe

Стилі APA, Harvard, Vancouver, ISO та ін.

Zhang, Yingzhou, Jose Emilio Labra Gayo, and Agustín Cernuda del Río. "A monadic program slicer." ACM SIGPLAN Notices 41, no. 5 (2006): 30–38. http://dx.doi.org/10.1145/1149982.1149986.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sward, Ricky E., and Leemon C. Baird. "Optimizing the SPARK program slicer." ACM SIGAda Ada Letters XXV, no. 4 (2005): 17–22. http://dx.doi.org/10.1145/1104011.1103849.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Fox, Chris, Sebastian Danicic, Mark Harman, and Robert M. Hierons. "CONSIT: a fully automated conditioned program slicer." Software: Practice and Experience 34, no. 1 (2003): 15–46. http://dx.doi.org/10.1002/spe.556.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Kholodilov, A. A., E. V. Faleeva, and M. V. Kholodilova. "Investigation of the Mathematical and Software Implementation of Triangulation Mesh Generation Algorithms in Relation to the Creation of a Slicer Program." Journal of Physics: Conference Series 2096, no. 1 (2021): 012177. http://dx.doi.org/10.1088/1742-6596/2096/1/012177.

Повний текст джерела

Анотація:

Abstract The article discusses an algorithmic method for increasing the strength characteristics of products produced by additive manufacturing technologies through thickening the internal grid structure of filling the model when transferring to the control code during the operation of the slicer program. It shows the internal filling using the Voronoi grid and the "Exhaustion Algorithm" for the implementation of the internal filling of the threedimensional model in the process of the slicer program.

Стилі APA, Harvard, Vancouver, ISO та ін.

Shim, Bo Seok, and Jong-Uk Hou. "Improving Estimation of Layer Thickness and Identification of Slicer for 3D Printing Forensics." Sensors 23, no. 19 (2023): 8250. http://dx.doi.org/10.3390/s23198250.

Повний текст джерела

Анотація:

This study emphasizes the significance of estimating the layer thickness and identifying slicer programs in the realm of 3D printing forensics. With the progress in 3D printing technology, precise estimation of the layer thickness has become crucial. However, previous research on layer thickness estimation has mainly treated the problem as a classification task, which is inadequate for continuous layer thickness parameters. Furthermore, previous studies have concentrated on hardware-based printer identification, but the identification of slicer programs through 3D objects is a vital aspect of

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Slicer program"

Louw, Francoise. "A program slicer for LF." Thesis, Stellenbosch : University of Stellenbosch, 2006. http://hdl.handle.net/10019.1/17378.

Повний текст джерела

Анотація:

Thesis (MSc)--University of Stellenbosch, 2006. ENGLISH ABSTRACT: Program slicing was originally described by Mark Weiser in 1984. He proposed this as a technique to aid in debugging because he conjectured that this is what programmers did naturally when debugging. Here program slicing is applied to an experimental concurrent language called LF. Existing techniques are adapted to accommodate the unique features of the language. AFRIKAANSE OPSOMMING: Programdeling is oorspronklik deur Mark Weiser beskryf in 1984. Hy het dit voorgestel as ’n tegniek om ontfouting te vergemaklik, want

Стилі APA, Harvard, Vancouver, ISO та ін.

Rohozhyna, N., Ivan Samoilenko, and Ksenia Meleshko. "Procedure of editing existing polygonal models by SolidWorks system." Thesis, National aviation university, 2021. https://er.nau.edu.ua/handle/NAU/52829.

Повний текст джерела

Анотація:

1. 2021 Best 3D Printer Slicer Software [Electronic resource]. - Access mode: https://all3dp.com/1/best-3d-slicer-software-3d-printer/ The ability to use 3D printing technology directly depends on the quality of the input geometric model. It is usually difficult to see small defects, missing triangles, convex and other deformations of the grid in slicers. There are online services stlfixers that fix network models. They quickly fill in defects, but are limited by the size and number of triangles of the model. In this case, slicers "do not see" the smallest holes in the grid or one / two tri

Стилі APA, Harvard, Vancouver, ISO та ін.

Madan, Anmol P. (Anmol Prem Prakash). "Thin slices of interest." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/36111.

Повний текст джерела

Анотація:

Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2005. Includes bibliographical references (p. 87-92). In this thesis we describe an automatic human interest detector that uses speech, physiology, body movement, location and proximity information. The speech features, consisting of activity, stress, empathy and engagement measures are used in three large experimental evaluations; measuring interest in short conversations, attraction in speed dating, and understanding the interactions within a focus group, all w

Стилі APA, Harvard, Vancouver, ISO та ін.

Wright, Sean. "Face gear contact analysis program development using the thin slice method." The Ohio State University, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=osu1202771739.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Talei, Franzesi Giovanni. "Toward optogenetic control of neural synchrony : experimental results from the hippocampal slice model of gamma oscillations and computational modeling." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/63030.

Повний текст джерела

Анотація:

Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2009. Cataloged from PDF version of thesis. Includes bibliographical references (p. 52-58). Ever since Hans Berger recorded the first human EEGs in humans and observed large, rhythmic 8 Hz field oscillations, neuroscientists have been intrigued by the pervasive presence of synchronized, regular patterns of the activity in the brain. A number of frequency bands, spanning from 0.1 to several hundred hertz have been described, and associated with particular funct

Стилі APA, Harvard, Vancouver, ISO та ін.

Záškodný, Jiří. "Model víceotáčkového motoru a simulace v programu ANSYS Maxwell." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-377332.

Повний текст джерела

Анотація:

This master thesis deals with calculations and simulations of multi-speed induction motors. In the first part, basic principle of these machines is described. Next, there are given three examples of pole-changing stator windings and their properties are analyzed (winding factors, magnetomotive force). Main part includes simulations and measuring of the specific motor, which is produced by company Siemens Mohelnice. This is the motor with 2/1 pole-changing in Y/YY connection. First, influence of skewed rotor slots on current and torque is analyzed. Next, parametres of motor from simulations are

Стилі APA, Harvard, Vancouver, ISO та ін.

Chen, Chih-Jung, and 陳志榮. "A Static Program Slicer for OpenMP Parallel For Construct with Combination Representation." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/89340142275303898513.

Повний текст джерела

Анотація:

碩士 國立中正大學 資訊工程所 98 Program slicing is a program-reduction technique extract statements influence other statements. This well-known technique is widely leveraged to help program analyses and debugging. In recent years, with the growth of multi-core systems, parallel programming is getting more and more important. Unfortunately, the precise and efficient slicing algorithms known for sequential programs cannot be applied to parallel programs. The existing program slicing techniques for parallel programs generate specific program slices or represent the slices with some special graphs

Стилі APA, Harvard, Vancouver, ISO та ін.

Coelho, Márcio. "GamaBoogie : a contract-based slicer for Boogie programs." Master's thesis, 2011. http://hdl.handle.net/1822/28362.

Повний текст джерела

Анотація:

Dissertação de mestrado em Engenharia de Informática In the context of the Informatics Engineering MSc. degree (MEI), second year, this document describes and discusses a master thesis project in the area of source code analysis using slicing and program verification techniques. Design-by-Contract is an approach that allows a programmer to specify the expected behaviour of a component by the means of preconditions, postconditions and invariants. These annotations (or contracts) can be seen as a form of enriched software documentation and they are used to verify that the program is cor

Стилі APA, Harvard, Vancouver, ISO та ін.

Mishra, Subhendu. "Computing Slices for Interprocedural Programs." Thesis, 2013. http://ethesis.nitrkl.ac.in/4771/1/109CS0077.pdf.

Повний текст джерела

Анотація:

Program slicing has been a hot topic for research nowadays because of its use in program debugging, code simplification and code analysis. As the maintenance of softwares take up to 60% of programming effort and cost, its reduction has become vital. Certain blocks of code can cause unnecessary complexity which doesn’t even contribute to the actual computations in the program. This project is concerned with construction of System Dependence Graph (SDG) for an input source code. SDG is an intermediate graphical representation to represent the dependencies among different programming constructs.

Стилі APA, Harvard, Vancouver, ISO та ін.

HUANG, CHONG-GIU, and 黃重球. "An investigation of attribute method for finding program slices." Thesis, 1989. http://ndltd.ncl.edu.tw/handle/41158531300585414241.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Книги з теми "Slicer program"

Ann, Bishop. Slides: Planning and producing slide programs. Eastman Kodak Co., 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Solomon, Christine. The WordPerfect 6 print and presentation kit: How to create brochures, ads, flyers, newsletters, reports, and slides. Addison-Wesley, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Solomon, Christine. The WordPerfect for Windows print and presentation kit: How to create brochures, ads, flyers, newsletters, reports, and slides. Addison Wesley, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Stack, Brendan. A slice of cake on every plate: The complete positive & supportive program. Brendan Stack, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Linaweaver, Brad. Sliders: The episode guide : the classic episodes. TV Books, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Davis, J. A. 74AS-EVM-16: Processor design using microprogramming and bit-slice techniques : stack processor design : laboratory manual no. 2. Texas Instruments, 1987.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Davis, J. A. 74AS-EVM-16: Processor design using microprogramming and bit-slice techniques : stack processor design : laboratory manual no. 2. Texas Instruments, 1987.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Earnest, William. Save our slides: PowerPoint design that works. Kendall Hunt Publishing Company, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Forsyth, Patrick. The PowerPoint detox: Reinvent your slides and add power to your presentation. Kogan Page, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

National Gallery of Art (U.S.). Dept. of Education Resources, ed. Pottery from the Index of American Design: National Gallery of Art color slide program. Dept. of Education Resources, Education Division, National Gallery of Art, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Частини книг з теми "Slicer program"

Chalupa, Marek, Jakub Novák, and Jan Strejček. "Symbiotic 8: Parallel and Targeted Test Generation." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_20.

Повний текст джерела

Анотація:

AbstractThe setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation for property. Similarly as in Symbiotic 7, we generate tests by running our fork of symbolic executor Klee on the analyzed program. Symbiotic 8, however, runs several instances of Klee in parallel. We run one instance of Klee on the original program and, simultaneously, we create one (intentionally unsound) program slice for every program-terminating instruction in the program and run Klee on these slices. Apart from this principal change, we also improved other components of the tool, mainly the

Стилі APA, Harvard, Vancouver, ISO та ін.

Galindo, Carlos, Sergio Perez, and Josep Silva. "A Program Slicer for Java (Tool Paper)." In Software Engineering and Formal Methods. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17108-6_9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Chalupa, Marek, Tomáš Jašek, Lukáš Tomovič, et al. "Symbiotic 7: Integration of Predator and More." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_31.

Повний текст джерела

Анотація:

Abstract Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating programs. This new slicing is applied in termination analysis, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well.

Стилі APA, Harvard, Vancouver, ISO та ін.

Jayaraman, Ganeshan, Venkatesh Prasad Ranganath, and John Hatcliff. "Kaveri: Delivering the Indus Java Program Slicer to Eclipse." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31984-9_20.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Darke, Priyanka, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, and Supratik Chakraborty. "VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_41.

Повний текст джерела

Анотація:

AbstractWe present VeriAbsL, a reachability verifier that performs verification in three stages. First, it slices the input code using a combination of two slicers, then it verifies the slices using predicted strategies, and at last, it composes the result of verifying the individual slices. We introduce a novel shallow slicing technique that uses variable reference information of the program, and data and control dependencies of the entry function to generate slices. We also introduce a novel strategy prediction technique that uses machine learning to predict a strategy. It uses boolean featu

Стилі APA, Harvard, Vancouver, ISO та ін.

Darke, Priyanka, Sakshi Agrawal, and R. Venkatesh. "VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)." 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_32.

Повний текст джерела

Анотація:

AbstractVeriAbs is a strategy selection-based reachability verifier for C programs. The selection of a suitable strategy is from a pre-defined set of strategies and by taking into account the syntax and semantics of the code to be verified. This year we present VeriAbs version 1.4.1 in which a novel preprocessor to strategy selection is introduced. The preprocessor checks for the feasibility of performing a lightweight slicing of the input code using function call graph and variable reference information. By this if the program is found to besliceable, sub-programs or slices are generated, and

Стилі APA, Harvard, Vancouver, ISO та ін.

Bertram, Noah, Tean Lai, and Justin Hsu. "Verifying Cake-Cutting, Faster." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_6.

Повний текст джерела

Анотація:

AbstractEnvy-free cake-cutting protocols procedurally divide an infinitely divisible good among a set of agents so that no agent prefers another’s allocation to their own. These protocols are highly complex and difficult to prove correct. Recently, Bertram, Levinson, and Hsu introduced a language called Slice for describing and verifying cake-cutting protocols. Slice programs can be translated to formulas encoding envy-freeness, which are solved by SMT. While Slice works well on smaller protocols, it has difficulty scaling to more complex cake-cutting protocols.We improve Slice in two ways. Fi

Стилі APA, Harvard, Vancouver, ISO та ін.

Akhundov, Murad, Federico Mora, Nick Feng, Vincent Hui, and Marsha Chechik. "Verification by Gambling on Program Slices." In Automated Technology for Verification and Analysis. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88885-5_18.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Apinis, Kalmer, and Vesal Vojdani. "Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_27.

Повний текст джерела

Анотація:

AbstractWe show how to generate a constraint system of symbolic expressions as part of an inter-procedural constraint-system–based program analysis such that any chosen slice of the intended analysis may be computed through the evaluation of the symbolic constraints. Thus, our method ensures that the computed expressions provide genuine explanations for the chosen analysis slice. The resulting system is then annotated with program location information, translated into closed-form expressions, and simplified to yield a human-readable justification for the analyzer’s verdict. Justifications are

Стилі APA, Harvard, Vancouver, ISO та ін.

Baier, Christel, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber. "Causality-Based Game Solving." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_42.

Повний текст джерела

Анотація:

AbstractWe present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of problems arising, e.g., in program synthesis. Our technique for solving these games is based on the notion of subgoals, which are slices of the game that the reachability player necessarily needs to pass through in order to reach the goal. We use Craig interpolation to identify these necessary sets of moves and recursively slice the game along these subgoals. Our approach allows us to infer winning strategies th

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Slicer program"

Sward, Ricky E., and Leemon C. Baird. "Optimizing the SPARK program slicer." In the 2005 annual ACM SIGAda international conference. ACM Press, 2005. http://dx.doi.org/10.1145/1103846.1103849.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Danicic, Fox, Harman, and Hierons. "ConSIT: a conditioned program slicer." In Proceedings International Conference on Software Maintenance. IEEE Comput. Soc. Press, 2000. http://dx.doi.org/10.1109/icsm.2000.883049.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sihler, Florian, and Matthias Tichy. "flowR: A Static Program Slicer for R." In ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2024. http://dx.doi.org/10.1145/3691620.3695359.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Islam, Syed, and David Binkley. "PORBS: A parallel observation-based slicer." In 2016 IEEE 24th International Conference on Program Comprehension (ICPC). IEEE, 2016. http://dx.doi.org/10.1109/icpc.2016.7503745.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Shapiro, Ben Rydal, and Francis A. Pearman. "Using the interaction geography slicer to visualize New York City Stop & Frisk." In 2017 IEEE VIS Arts Program (VISAP). IEEE, 2017. http://dx.doi.org/10.1109/visap.2017.8282370.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Gore, Ross, and Paul F. Reynolds. "Program slice distribution functions." In 2009 Winter Simulation Conference - (WSC 2009). IEEE, 2009. http://dx.doi.org/10.1109/wsc.2009.5429652.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Kerr, John D., and Gary L. Jones. "Time‐slice verses statistical slice (stat‐slice): A comparison of their use for 3‐D seismic interpretation." In SEG Technical Program Expanded Abstracts 1995. Society of Exploration Geophysicists, 1995. http://dx.doi.org/10.1190/1.1887463.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Surendran, Anupama, and Philip Samuel. "Partial Slices in Program Testing." In 2012 35th Annual IEEE Software Engineering Workshop (SEW). IEEE, 2012. http://dx.doi.org/10.1109/sew.2012.15.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Holicki, Max, Cornelis Wapenaar, and Guy Drijkoningen. "Time-slice wavefield decomposition." In SEG Technical Program Expanded Abstracts 2016. Society of Exploration Geophysicists, 2016. http://dx.doi.org/10.1190/segam2016-13944671.1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Karrenbach, Martin, and G. H. F. Gardner. "Three‐dimensional time slice migration." In SEG Technical Program Expanded Abstracts 1988. Society of Exploration Geophysicists, 1988. http://dx.doi.org/10.1190/1.1892459.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Slicer program"

Bardos, Gyongyi, and Seth Littleton. Independent Assessment Program [Slides]. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1783486.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

With, Mary Anne. Quarterly Postdoc Program Data [Slides]. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1770089.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Kelly, Kathleen. Atalanta Program Computer Science Overview [Slides]. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1807803.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Bowen, Douglas. Nuclear Criticality Safety Program @ ORNL [Slides]. Office of Scientific and Technical Information (OSTI), 2022. http://dx.doi.org/10.2172/1900524.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Rawlinson, Stuart. Optimal and Nominal Nuclear-Testing Programs - Backup Slides. Office of Scientific and Technical Information (OSTI), 2023. http://dx.doi.org/10.2172/1989132.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Beaulieu, Stace E., Karen Stocks, and Leslie M. Smith. FAIR Data Training for Deep Ocean Early Career Researchers: Syllabus and slide presentations. Woods Hole Oceanographic Institution, 2024. http://dx.doi.org/10.1575/1912/67631.

Повний текст джерела

Анотація:

It is essential for our next generation of leaders in deep ocean observing to gain knowledge and skills in research data management, including how to make data FAIR - Findable, Accessible, Interoperable, and Reusable. This educational package was developed as a virtual workshop series for Deep Ocean Early career Researchers (DOERs) with content tailored for the Deep Ocean Observing Strategy (DOOS), an international network of deep ocean observing, mapping, exploration, and modeling programs endorsed as a UN Ocean Decade Programme. Modules step through the research data lifecycle, starting with

Стилі APA, Harvard, Vancouver, ISO та ін.

Dewing, K., and T. Hadlari. Geo-mapping for Energy and Minerals program activities in the lower Paleozoic Franklinian succession in the Canadian Arctic Islands. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/326085.

Повний текст джерела

Анотація:

The Geo-mapping for Energy and Minerals program addressed four questions related to the lower Paleozoic succession of the Arctic Islands that were identified as key deficiencies in regional geological knowledge: 1) geochemical and geological data were not fully digital or available; 2) there were gaps in information on petroleum systems; 3) there was no geological map for the northwestern part of Victoria Island; and 4) the geological history of the Pearya composite terrane on northern Ellesmere Island was unclear. These gaps were addressed by 1) the publication of 17 open files that make geol

Стилі APA, Harvard, Vancouver, ISO та ін.

Teo, Chua Tee, and Khiok Seng Quek. Pedagogical change for training teachers: Adapted flipped classroom approach. National Institute of Education, Nanyang Technological University, Singapore, 2020. https://doi.org/10.32658/10497/23256.

Повний текст джерела

Анотація:

This pilot quasi-experimental project examines the effectiveness of an adapted flipped classroom approach for the teaching of 2 teacher education courses over a semester of 13 weeks. Both the experimental and control groups would be matched at programme level. The control group would be two comparable classes not using the flipped classroom approach but using the didactic or traditional approach of teaching. The flipped classroom approach is also known as the Thayer Method or the inverted classroom or reverse teaching. It involves interactive student-centred engagement pedagogy with individual

Стилі APA, Harvard, Vancouver, ISO та ін.

Gregory, Elizabeth. Field Epidemiology Training Program (FETP) — Frontline 3.0: Using a One Health Approach. National Center for Health Statistics (U.S.), 2025. https://doi.org/10.15620/cdc/175829.

Повний текст джерела

Анотація:

"From the letter by Dr. Benjamin Park: “On behalf of the U.S. Centers for Disease Control and Prevention (CDC), it is our privilege to present the third version of the Field Epidemiology Training Program (FETP)—Frontline 3.0. This document reflects our shared commitment to strengthening public health systems worldwide by building the capacity of frontline health workers to rapidly detect, respond to, and contain health threats, now with an increased emphasis on a One Health approach. One Health is a collaborative, multisectoral, and transdisciplinary approach—working at the local, regional, na

Стилі APA, Harvard, Vancouver, ISO та ін.

Nevarez Garibaldi, Roberto. Comparison between Linear and Staggered Pile Configurations For Slope Stabilization. Deep Foundations Institute, 2025. https://doi.org/10.37308/cpf-2023-land-rr.

Повний текст джерела

Анотація:

The paper addresses slope stabilization through use of deep foundation elements (for simplicity, we refer to them generically as “piles” throughout this paper) and particularly focuses on the efficiency of linear versus staggered arrangements of piles along a slope. The study investigates the impact of pile arrangement on shear resistance, assuming constant soil properties, pile size, and reinforcement. The research employs Slope/W and Group software for slope stability analysis and reinforcement design; however, the analysis procedure detailed in this paper can be applied to other applicable

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!