Gotowa bibliografia na temat „Abstraction”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Abstraction”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Abstraction"
Bonet, Blai. "Abstraction Heuristics Extended with Counting Abstractions". Proceedings of the International Conference on Automated Planning and Scheduling 21 (22.03.2011): 311–14. http://dx.doi.org/10.1609/icaps.v21i1.13480.
Pełny tekst źródłaBackstrom, Christer, i Peter Jonsson. "Abstracting Abstraction in Search II: Complexity Analysis". Proceedings of the International Symposium on Combinatorial Search 3, nr 1 (20.08.2021): 10–17. http://dx.doi.org/10.1609/socs.v3i1.18240.
Pełny tekst źródłaLandim Filho, Raul. "A Questão dos Universais Segundo a Teoria Tomista da Abstração". Analytica - Revista de Filosofia 12, nr 2 (1.08.2013): 11–33. http://dx.doi.org/10.35920/arf.v12i2.540.
Pełny tekst źródłaOdilovich, Bazarov Oybek. "Abstraction And Language Model". American Journal of Social Science and Education Innovations 02, nr 08 (11.08.2020): 51–54. http://dx.doi.org/10.37547/tajssei/volume02issue08-08.
Pełny tekst źródłaGanascia, Jean-Gabriel. "Abstraction of levels of abstraction". Journal of Experimental & Theoretical Artificial Intelligence 27, nr 1 (26.08.2014): 23–35. http://dx.doi.org/10.1080/0952813x.2014.940685.
Pełny tekst źródłaKUNZ, THOMAS. "REVERSE ENGINEERING DISTRIBUTED APPLICATIONS: AN EVENT ABSTRACTION TOOL". International Journal of Software Engineering and Knowledge Engineering 04, nr 03 (wrzesień 1994): 303–23. http://dx.doi.org/10.1142/s0218194094000155.
Pełny tekst źródłaBleeker, Maaike. "Abstraction". Philosophy Today 63, nr 4 (2019): 845–58. http://dx.doi.org/10.5840/philtoday202013296.
Pełny tekst źródłaVolsik, Paul. "Abstraction". Word & Image 11, nr 2 (kwiecień 1995): 120–28. http://dx.doi.org/10.1080/02666286.1995.10435907.
Pełny tekst źródłaMen, Chunlin. "Abstraction". Victorian Literature and Culture 51, nr 3 (2023): 355–58. http://dx.doi.org/10.1017/s1060150323000153.
Pełny tekst źródłaFox, Ian A., i Susan Walker. "Abstraction and abstraction control in Scotland". Science of The Total Environment 294, nr 1-3 (lipiec 2002): 201–11. http://dx.doi.org/10.1016/s0048-9697(02)00068-2.
Pełny tekst źródłaRozprawy doktorskie na temat "Abstraction"
Huang, Shan Shan. "Structural abstraction". Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29632.
Pełny tekst źródłaCommittee Chair: Yannis Smaragdakis; Committee Member: Oege de Moor; Committee Member: Richard LeBlanc; Committee Member: Santosh Pande; Committee Member: Spencer Rugaber. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Payne, Jonathan. "Expansionist abstraction". Thesis, University of Sheffield, 2013. http://etheses.whiterose.ac.uk/3326/.
Pełny tekst źródłaStewart, Nicholas. "Abstraction and comedy". Thesis, Goldsmiths College (University of London), 2013. http://research.gold.ac.uk/9922/.
Pełny tekst źródłaRayside, Derek F. "Automating abstraction functions". Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/62439.
Pełny tekst źródłaCataloged from PDF version of thesis.
Includes bibliographical references (p. 109-119).
Data abstraction has been the dominant structuring paradigm for programs for decades. The essence of a data abstraction is the abstraction function, which relates the concrete program representation to its abstract meaning. However, abstraction functions are not generally considered to be a part of the executing program. We propose that making abstraction functions an executable part of the program can enable programmers to write clearer and more concise programs with fewer errors. In particular, we show that the object equality and hashing operations (which programmers are required to write), can often be expressed more clearly and more concisely in terms of the abstract state of the object. Getting these methods right has proven to be difficult for programmers at all skill levels, from novice through expert. In a case study of the standard Java libraries we show that rewriting the code with explicit declarative abstraction functions (and generating equality and hashing methods automatically) removed object-contract compliance faults previously found by Pacheco et al. To make abstraction functions part of the executing program we develop four techniques for the dynamic evaluation of abstraction functions written in a declarative first-order logic with relations and transitive closure. We observe that the abstraction functions programmers write in practice may often be viewed as navigation queries on the heap, and two of our techniques exploit this insight to synthesize executable code from declarative abstraction functions. The performance of our research prototype is within striking distance of hand-written code.
by Derek F. Rayside.
Ph.D.
Koniski, Grant. ""The Unprogrammed Abstraction"". University of Cincinnati / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1592135457002889.
Pełny tekst źródłaBarthélemy, Anne. "Abstraction et photographie /". [Rennes] : l'auteur, 1997. http://catalogue.bnf.fr/ark:/12148/cb370661876.
Pełny tekst źródłaGirgin, Sertan. "Abstraction In Reinforcement Learning". Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608257/index.pdf.
Pełny tekst źródłaSmirnov, Sergey. "Business process model abstraction". Phd thesis, Universität Potsdam, 2011. http://opus.kobv.de/ubp/volltexte/2012/6025/.
Pełny tekst źródłaGeschäftsprozessmodelle werden in einer Fülle organisatorischer Initiativen eingesetzt, wobei verschiedene Stakeholder individuelle Ansprüche an die Sicht auf den jeweiligen Prozess haben. Dies führt dazu, dass zu einem Geschäftsprozess eine Vielzahl unterschiedlicher Modelle existiert. In einer sich ständig verändernden Geschäftsumgebung ist es daher schwierig, diese Vielzahl von Modellen konsistent zu halten: Ändert sich sich ein Prozess, müssen alle Modelle, die ihn beschreiben, aktualisiert werden. Aufgrund der schieren Menge an Prozessmodellen und ihrer komplexen Beziehungen zueinander, erhöhen sich Aufwand und Kosten zur Pflege aller Modelle enorm. Vor diesem Hintergrund ermöglicht die Abstraktion von Geschäftsprozessmodellen, die Menge der Modelle zu reduzieren und damit ihre Verwaltung zu vereinfachen. Abstraktion von Geschäftsprozessmodellen bezeichnet eine Transformation eines Prozessmodells, so dass es für einen bestimmten Zweck besonders geeignet ist. Bei der Abstraktion von Geschäftsprozessen bleiben essentielle Eigenschaften eines Modells erhalten, während irrelevante Eigenschaften verworfen werden. Mehrere Studien stellen Prozessmodellabstraktion in den Fokus und konzentrieren sich auf konkrete Anwendungsfälle, für die sie geeignete Transformationen entwickelt haben. Diese Dissertation untersucht das Problem der Prozessmodellabstraktion und systematisiert die Lösung in einem Framework. Aktuelle Anforderungen der Industrie an die Abstraktion von Prozessmodellen wurden recherchiert und in einem Katalog von Anwendungsfällen zusammengefasst, von denen ein besonderer für die weiteren Untersuchungen ausgewählt wurde. In diesem Fall erwartet der Nutzer ein Modell niedrigeren Detailgrades, in welchem die Kontrollflussbeziehungen des Ursprungsmodells erhalten bleiben. Beginnend bei Modelltransformationen, die auf der Analyse der Prozessmodellstruktur aufbauen, entwickeln wir neuartige Abstraktionsoperationen zur Unterstützung dieses Anwendungsfalles. Darüber hinaus untersuchen wir Abstraktionsmethoden, welche die Semantik von Prozessmodellelementen berücksichtigen. Zum einen zeigen wir, wie Aktivitäten ermittelt werden können, die miteinander in semantischer Beziehung stehen - ein Problem, das bisher nur unzureichend betrachtet wurde. Die vorgeschlagenen Methoden werden mithilfe industrieller Prozessmodellsammlungen validiert und deren Umsetzung diskutiert. Zum anderen schlagen wir eine innovative Modelltransformation zur nicht-hierarchischen Abstraktion von Prozessmodellen vor. Dieser liegt die Ermittlung in Beziehung stehender Aktivitäten zugrunde. Demzufolge präsentiert diese Arbeit eine originäre Methode zur Prozessmodellabstraktion, die die Verwaltung von Geschäftsprozessmodellen vereinfacht und den Grundstein für innovative Softwarewerkzeuge legt.
Clark, Allan. "Abstraction-level functional programming". Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/24458.
Pełny tekst źródłaJohnson, Mary Vaughan. "Space, embodiment and abstraction". Thesis, Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/24102.
Pełny tekst źródłaKsiążki na temat "Abstraction"
Architecture, National University of Singapore Dept of. Abstractions: 1/2 : sensing, abstraction, expression. Singapore: Dept. of Architecture, School of Design and Environment, National University of Singapore, 2011.
Znajdź pełny tekst źródłaE, Benjamin Andrew, red. Abstraction. London: Academy Editions, 1995.
Znajdź pełny tekst źródłaRichard, Shiff, Hoberg Annegret i Art Gallery of New South Wales, red. Abstraction: Paths to abstraction, 1867-1917. Sydney: Art Gallery of New South Wales, 2010.
Znajdź pełny tekst źródła1924-, Danto Arthur Coleman, i Anderson Gallery, red. Repicturing abstraction. [Richmond, Va.]: Anderson Gallery, Virginia Commonwealth University, 1995.
Znajdź pełny tekst źródłaNorbert, Pfaffenbichler, Droschl Sandro i Künstlerhaus Wien, red. Abstraction now. Graz: Edition Camera Austria, 2004.
Znajdź pełny tekst źródłaCharles, Giuliano, Montserrat College of Art. Gallery., Arno Maris Gallery i Boston College Art Gallery, red. Subjective abstraction. Beverly, Mass: The Art Gallery, Montserrat College of Art, 1990.
Znajdź pełny tekst źródłaHesdi. Musical abstraction. [Jakarta]: Hexart Pub., 2010.
Znajdź pełny tekst źródłaBelmonte, Matthew. Full abstraction. Ithaca, N.Y: Pathos Press, 1992.
Znajdź pełny tekst źródła1960-, Mercer Kobena, red. Discrepant abstraction. London: Institute of International Visual Arts, 2006.
Znajdź pełny tekst źródłaVelkov, Vlado, i Beeson John. Public abstraction. Arnsberg: Kunstverein Arnsberg, 2015.
Znajdź pełny tekst źródłaCzęści książek na temat "Abstraction"
Dams, Dennis, i Orna Grumberg. "Abstraction and Abstraction Refinement". W Handbook of Model Checking, 385–419. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-10575-8_13.
Pełny tekst źródłaHetland, Magnus Lie. "Abstraction". W Beginning Python, 101–27. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-0028-5_6.
Pełny tekst źródłaMardan, Azat. "Abstraction". W Pro Express.js, 155–60. Berkeley, CA: Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0037-7_10.
Pełny tekst źródłaAlagar, V. S., i K. Periyasamy. "Abstraction". W Specification of Software Systems, 31–38. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7_4.
Pełny tekst źródłaThalheim, Bernhard. "Abstraction". W Encyclopedia of Database Systems, 1–3. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4899-7993-3_4-2.
Pełny tekst źródłaHazzan, Orit, i Yael Dubinsky. "Abstraction". W Agile Anywhere, 53–55. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10157-6_11.
Pełny tekst źródłaFiedler, Johannes. "Abstraction". W Urbanisation, unlimited, 1–13. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-03587-1_1.
Pełny tekst źródłaThalheim, Bernhard. "Abstraction". W Encyclopedia of Database Systems, 6–7. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_4.
Pełny tekst źródłavan Gigch, John P. "Abstraction". W System Design Modeling and Metamodeling, 233–54. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4899-0676-2_11.
Pełny tekst źródłaTierny, Julien. "Abstraction". W Mathematics and Visualization, 35–66. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-71507-0_3.
Pełny tekst źródłaStreszczenia konferencji na temat "Abstraction"
Cui, Zhenhe, Yongmei Liu i Kailun Luo. "A Uniform Abstraction Framework for Generalized Planning". W Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/253.
Pełny tekst źródłaSaribatur, Zeynep G., i Johannes P. Wallner. "Existential Abstraction on Argumentation Frameworks via Clustering". W 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/52.
Pełny tekst źródłaKask, Kalev, Bobak Pezeshki, Filjor Broka, Alexander Ihler i Rina Dechter. "Scaling Up AND/OR Abstraction Sampling". W Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/589.
Pełny tekst źródłaHan, Dongge, i Sebastian Tschiatschek. "Option Transfer and SMDP Abstraction with Successor Features". W Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/421.
Pełny tekst źródłaCui, Zhenhe, Weidu Kuang i Yongmei Liu. "Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning". W Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/351.
Pełny tekst źródłaBrenner, Markus, i Birte Glimm. "Embracing Change by Abstraction Materialization Maintenance for Large ABoxes". W Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/244.
Pełny tekst źródłaZennaro, Fabio Massimo, Paolo Turrini i Theodoros Damoulas. "Quantifying Consistency and Information Loss for Causal Abstraction Learning". W Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/638.
Pełny tekst źródłaSnavely, Gary L., i Panos Y. Papalambros. "Abstraction As a Configuration Design Methodology". W ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0317.
Pełny tekst źródłaČermák, Jiří, Viliam Lisý i Branislav Bošanský. "Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games (Extended Abstract)". W Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/701.
Pełny tekst źródłaSaribatur, Zeynep G., Thomas Eiter i Peter Schüller. "Abstraction for Non-Ground Answer Set Programs (Extended Abstract)". W Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/807.
Pełny tekst źródłaRaporty organizacyjne na temat "Abstraction"
Obua, Steven. Abstraction Logic. Recursive Mind, listopad 2021. http://dx.doi.org/10.47757/abstraction.logic.2.
Pełny tekst źródłaObua, Steven. Abstraction Logic. Steven Obua (as Recursive Mind), październik 2021. http://dx.doi.org/10.47757/abstraction.logic.1.
Pełny tekst źródłaC. Leigh. Inventory Abstraction. Office of Scientific and Technical Information (OSTI), listopad 2000. http://dx.doi.org/10.2172/837101.
Pełny tekst źródłaG. Ragan. INVENTORY ABSTRACTION. Office of Scientific and Technical Information (OSTI), grudzień 2001. http://dx.doi.org/10.2172/861077.
Pełny tekst źródłaSugisaka, Masanori, i Jeffrey Johnson. Construct Abstraction for Automatic Information Abstraction from Digital Images. Fort Belvoir, VA: Defense Technical Information Center, maj 2006. http://dx.doi.org/10.21236/ada455945.
Pełny tekst źródłaQUITTMEYER R C. SEISMIC CONSEQUENCE ABSTRACTION. Office of Scientific and Technical Information (OSTI), sierpień 2005. http://dx.doi.org/10.2172/882869.
Pełny tekst źródłaM. Gross. Seismic Consequence Abstraction. Office of Scientific and Technical Information (OSTI), październik 2004. http://dx.doi.org/10.2172/837501.
Pełny tekst źródłaObua, Steven. Automating Abstraction Logic. Steven Obua (trading as Recursive Mind), marzec 2022. http://dx.doi.org/10.47757/aal.1.
Pełny tekst źródłaJ. Prouty. EBS Radionuclide Transport Abstraction. Office of Scientific and Technical Information (OSTI), lipiec 2006. http://dx.doi.org/10.2172/893806.
Pełny tekst źródłaJ.D. Schreiber. EBS Radionuclide Transport Abstraction. Office of Scientific and Technical Information (OSTI), sierpień 2005. http://dx.doi.org/10.2172/893809.
Pełny tekst źródła