Results 81 to 90 of about 772,646 (193)
Attention for Distraction: Modernity, Modernism and Perception
Text Matters, 2017 Particularly in the latter half of the nineteenth century sensorial experiences changed at breakneck speed. Social and technological developments of modernity like the industrial revolution, rapid urban expansion, the advance of capitalism and the ...
Ernst van Alphen
doaj +1 more source
The Strength of Abstraction with Predicative Comprehension
, 2015 Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's
Walsh, Sean
core +1 more source
Graph Abstraction and Abstract Graph Transformation [PDF]
, 2007 Many important systems like concurrent heap-manipulating programs, communication networks, or distributed algorithms are hard to verify due to their inherent dynamics and unboundedness.
Bauer, J. +3 more
core +1 more source
Typesafe Abstractions for Tensor Operations
, 2017 We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural
Chen, Tongfei
core +1 more source
Improving Abstraction in Text Summarization
, 2018 ive text summarization aims to shorten long text documents into a human readable form that contains the most important facts from the original document.
Kryściński, Wojciech +3 more
core +1 more source
Lazy Abstraction-Based Controller Synthesis
, 2019 We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications.
A Borri +21 more
core +1 more source
Neighbourhood Abstraction in GROOVE - Tool Paper [PDF]
, 2010 In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques.
Rensink, Arend, Zambon, Eduardo
core +1 more source
Abstract abstracts and other abstractions [PDF]
The Journal of Wildlife Management, 2016 Paul R. Krausman +2 more
openaire +1 more source
KELAM DİLİNİN KURGUSAL NİTELİĞİ-Din-Kelam İlişkisi ve Kelamda Kavramsal Soyutlamanın Zorunluluğu-
İslami İlimler Dergisi, 2009 A comparision between the religion and kalam from the viewpoint of nature and aim procures to form an opinion about the apperance of kalam and its function which it realized throughout its own history.
Galip Türcan
doaj
L’art abstrait du xxe siècle, autour de l’arabesque
Perspective, 2010 Markus Brüderlin
doaj +1 more source