Results 41 to 50 of about 521,418 (127)
Convolutional-Code-Specific CRC Code Design
, 2015 Cyclic redundancy check (CRC) codes check if a codeword is correctly received. This paper presents an algorithm to design CRC codes that are optimized for the code-specific error behavior of a specified feedforward convolutional code.
Daneshrad, Babak +2 more
core +1 more source
Bridging the Divide: Literature, Dao and the Case for Subjective Access in the Thought of Su Shi
Humanities, 2014 In the 11th century in China, there was an unusual moment in which a number of philosophers, later associated with the Daoxue—or Neo-Confucian—school, confronted what they perceived as a long-standing sense of disjunction between inner, subjective ...
Curie Virág
doaj +1 more source
Bonsai: Synthesis-Based Reasoning for Type Systems
, 2017 We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is found.
Bodik, Rastislav, Chandra, Kartik
core +1 more source
Flip Graphs of Degree-Bounded (Pseudo-)Triangulations
, 2012 We study flip graphs of triangulations whose maximum vertex degree is bounded by a constant $k$. In particular, we consider triangulations of sets of $n$ points in convex position in the plane and prove that their flip graph is connected if and only if ...
André Schulz +16 more
core +2 more sources
Interpretation of the human in “Confession” of Augustine the Blessed
Волинський благовісник, 2018 The article reveals the interpretation of man made by Augustine the Blessed in his autobiographical work “Confession”, which is a narrative about the experience of the cultural and religious formation of the human person, it contains a deep analysis of ...
Oksana Karlina
doaj +1 more source
Macro-microscopic Calculation of Five-dimensional Potential Energy Surface for 234U Fission
Yuanzineng kexue jishu, 2022 A key question about the fission process of a heavy nucleus is to probe the nuclear potential energy landscape and its evolution from the single groundstate compound nucleus over the top of the fission barrier and further to the scission point, finally ...
ZHU Xin;WANG Zhiming;LUO Changkai;NI Lei;ZHONG Chunlai;FAN Tieshuan
doaj
Information, 2014 Here, we introduce a new class of computer which does not use any circuit or logic gate. In fact, no program needs to be written: it learns by itself and writes its own program to solve a problem.
Subrata Ghosh +5 more
doaj +1 more source
МЕТОДОЛОГІЧНІ ОСНОВИ ФОРМУВАННЯ ІДЕОЛОГІЇ ІНФОРМАЦІЙНОГО СУСПІЛЬСТВА
Вісник НЮУ імені Ярослава Мудрого: Серія: Філософія, філософія права, політологія, соціологія, 2017 The article shows that the investigated problem is highly relevant in the modern era, which requires formation of ideology of information society, which should play a constructive catalytic role, to move from violence to motivation and purchase of ...
М. О. Кириченко,
doaj +1 more source
Optimal power harness routing for small-scale satellites [PDF]
, 2011 This paper presents an approach to optimal power harness design based on a modified ant colony optimisation algorithm. The optimisation of the harness routing topology is formulated as a constrained multi-objective optimisation problem in which the main ...
Komninou, Eirini +2 more
core
Active End-Effector Pose Selection for Tactile Object Recognition through Monte Carlo Tree Search
, 2017 This paper considers the problem of active object recognition using touch only. The focus is on adaptively selecting a sequence of wrist poses that achieves accurate recognition by enclosure grasps. It seeks to minimize the number of touches and maximize
Atanasov, Nikolay +2 more
core +1 more source