Relevant bibliographies by topics / Slicer program

Contents

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

Academic literature on the topic 'Slicer program'

Author: Grafiati
Published: 30 May 2022
Last updated: 31 July 2025

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 'Slicer program.'

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 "Slicer program"

1

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.

Full text
Abstract:
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, and other styles
2

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.

Full text
Abstract:
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, and other styles
3

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.

Full text
Abstract:
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, and other styles
4

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.

Full text
Abstract:
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, and other styles
5

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.

Full text
Abstract:
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, and other styles
6

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.

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

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.

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

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.

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

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.

Full text
Abstract:
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, and other styles
10

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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "Slicer program"

1

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

Full text
Abstract:
Thesis (MSc)--University of Stellenbosch, 2006.<br>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.<br>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, and other styles
2

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.

Full text
Abstract:
1. 2021 Best 3D Printer Slicer Software [Electronic resource]. - Access mode: https://all3dp.com/1/best-3d-slicer-software-3d-printer/<br>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, and other styles
3

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

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2005.<br>Includes bibliographical references (p. 87-92).<br>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, and other styles
4

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.

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

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.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2009.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 52-58).<br>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, and other styles
6

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.

Full text
Abstract:
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, and other styles
7

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.

Full text
Abstract:
碩士<br>國立中正大學<br>資訊工程所<br>98<br>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, and other styles
8

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

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>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, and other styles
9

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

Full text
Abstract:
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, and other styles
10

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

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

Books on the topic "Slicer program"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Slicer program"

1

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.

Full text
Abstract:
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, and other styles
2

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.

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

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.

Full text
Abstract:
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, and other styles
4

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.

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

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.

Full text
Abstract:
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, and other styles
6

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.

Full text
Abstract:
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, and other styles
7

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.

Full text
Abstract:
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, and other styles
8

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.

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

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.

Full text
Abstract:
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, and other styles
10

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.

Full text
Abstract:
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, and other styles

Conference papers on the topic "Slicer program"

1

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

Reports on the topic "Slicer program"

1

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

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

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

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

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

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

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

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

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.

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

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.

Full text
Abstract:
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, and other styles
7

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.

Full text
Abstract:
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, and other styles
8

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.

Full text
Abstract:
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, and other styles
9

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.

Full text
Abstract:
"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, and other styles
10

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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Slicer program' for particular source types:
Journal articles Dissertations / Theses Books
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