Left is Better Than Right for Reducing Nondeterminism of NFAs

Author(s):  
Sang-Ki Ko ◽  
Yo-Sub Han

We study the NFA reductions by invariant equivalences and preorders. It is well-known that the NFA minimization problem is PSPACE-complete. Therefore, there have been many approaches to reduce the size of NFAs in low polynomial time by computing invariant equivalence or preorder relation and merging the states within same equivalence class. Here we consider the nondeterminism reduction of NFAs by invariant equivalences and preorders. We, in particular, show that computing equivalence and preorder relation from the left is more useful than the right for reducing the degree of nondeterminism in NFAs. We also present experimental evidence for showing that NFA reduction from the left achieves the better reduction of nondeterminism than reduction from the right.

2015 ◽  
Vol 25 ◽  
pp. 57 ◽  
Author(s):  
Adrian Brasoveanu ◽  
Jakub Dotlacil

The main question we investigate is whether meaning representations of the kind that are pervasive in formal semantics are built up incrementally and predictively when language is used in real time, in much the same way that the real-time construction of syntactic representations has been argued to be. The interaction of presupposition resolution with conjunctions vs. conditionals with a sentence-final antecedent promises to provide us with the right kind of evidence. Consider the following 'cataphoric' example and the contrast between "and" and "if": "Tina will have coffee with Alex again and / if she had coffee with him at the local cafe". We expect the second clause to be more difficult after "and" than after "if": the conjunction "and" signals that an antecedent that could resolve the "again" presupposition is unlikely to come after this point (the second conjunct is interpreted relative to the context provided by the first conjunct), while the conditional "if" leaves open the possibility that a suitable resolution for the "again" presupposition is forthcoming (the first clause is interpreted relative to the context provided by the second clause). We present experimental evidence supporting these predictions and discuss two approaches to analyze this kind of data.


Author(s):  
D. Cherns

The use of high resolution electron microscopy (HREM) to determine the atomic structure of grain boundaries and interfaces is a topic of great current interest. Grain boundary structure has been considered for many years as central to an understanding of the mechanical and transport properties of materials. Some more recent attention has focussed on the atomic structures of metalsemiconductor interfaces which are believed to control electrical properties of contacts. The atomic structures of interfaces in semiconductor or metal multilayers is an area of growing interest for understanding the unusual electrical or mechanical properties which these new materials possess. However, although the point-to-point resolutions of currently available HREMs, ∼2-3Å, appear sufficient to solve many of these problems, few atomic models of grain boundaries and interfaces have been derived. Moreover, with a new generation of 300-400kV instruments promising resolutions in the 1.6-2.0 Å range, and resolutions better than 1.5Å expected from specialist instruments, it is an appropriate time to consider the usefulness of HREM for interface studies.


2008 ◽  
Vol 21 (02) ◽  
pp. 140-146
Author(s):  
M. R. Edwards ◽  
S. P. James ◽  
W. S. Dernell ◽  
R. J. Scott ◽  
A. M. Bachand ◽  
...  

SummaryThe biomechanical characteristics of 1.2 mm diameter allogeneic cortical bone pins harvested from the canine tibia were evaluated and compared to 1.1 mm diameter stainless steel pins and 1.3 mm diameter polydioxanone (PDS) pins using impact testing and four-point bending. The biomechanical performance of allogeneic cortical bone pins using impact testing was uniform with no significant differences between sites, side, and gender. In four-point bending, cortical bone pins harvested from the left tibia (204.8 ± 77.4 N/mm) were significantly stiffer than the right tibia (123.7 ± 54.4 N/mm, P=0.0001). The site of bone pin harvest also had a significant effect on stiffness, but this was dependent on interactions with gender and side. Site C in male dogs had the highest mean stiffness in the left tibia (224.4 ± 40.4 N/mm), but lowest stiffness in the right tibia (84.9 ± 24.2 N/mm). Site A in female dogs had the highest mean stiffness in the left tibia (344.9 ± 117.4 N/mm), but lowest stiffness in the right tibia (60.8 ± 3.7 N/mm). The raw and adjusted bending properties of 1.2 mm cortical bone pins were significantly better than 1.3 mm PDS pins, but significantly worse than 1.1 mm stainless steel pins (P<0.0001). In conclusion, cortical bone pins may be suitable as an implant for fracture fixation based on initial biomechanical comparison to stainless steel and PDS pins used in clinical practice.


Synthese ◽  
2021 ◽  
Author(s):  
Ellen Fridland

AbstractThis paper provides an account of the strategic control involved in skilled action. When I discuss strategic control, I have in mind the practical goals, plans, and strategies that skilled agents use in order to specify, structure, and organize their skilled actions, which they have learned through practice. The idea is that skilled agents are better than novices not only at implementing the intentions that they have but also at forming the right intentions. More specifically, skilled agents are able formulate and modify, adjust and adapt their practical intentions in ways that are appropriate, effective, and flexible given their overall goals. Further, to specify the kind of action plans that are involved in strategic control, I’ll rely on empirical evidence concerning mental practice and mental imagery from sports psychology as well as evidence highlighting the systematic differences in the cognitive representations of skills between experts and non-experts. I’ll claim that, together, this evidence suggests that the intentions that structure skilled actions are practical and not theoretical, that is, that they are perceptual and motor and not abstract, amodal, or linguistic. Importantly, despite their grounded nature, these plans are still personal-level, deliberate, rational states. That is, the practical intentions used to specify and structure skilled actions are best conceived of as higher-order, motor-modal structures, which can be manipulated and used by the agent for the purpose of reasoning, deliberation, decision-making and, of course, the actual online structuring and organizing of action.


1978 ◽  
Vol 48 (4) ◽  
pp. 622-627 ◽  
Author(s):  
Richard L. Sogg ◽  
Sarah S. Donaldson ◽  
Craig H. Yorke

✓ A 9-year-old schoolgirl received 6007 rads to the suprasellar region for craniopharyngioma. Five years later, a malignant astrocytoma developed in the right temporal lobe. We cite clinical and experimental evidence to support our suspicion that the glioma may have been induced by radiation.


2011 ◽  
Vol 35 (4) ◽  
pp. 87-125 ◽  
Author(s):  
Peter D. Feaver

President George W. Bush's Iraq surge decision in late 2006 is an interesting case for civil-military relations theory, in particular, the debate between professional supremacists and civilian supremacists over how much to defer to the military on decisions during war. The professional supremacists argue that the primary problem for civil-military relations during war is ensuring the military an adequate voice and keeping civilians from micromanaging and mismanaging matters. Civilian supremacists, in contrast, argue that the primary problem is ensuring that well-informed civilian strategic guidance is authoritatively directing key decisions, even when the military disagrees with that direction. A close reading of the available evidence—both in published accounts and in new, not-for-attribution interviews with the key players—shows that the surge decision vindicates neither camp. If President Bush had followed the professional supremacists, there would have been no surge because his key military commanders were recommending against that option. If Bush had followed the civilian supremacists to the letter, however, there might have been a revolt of the generals, causing the domestic political props under the surge to collapse. Instead, Bush's hybrid approach worked better than either ideal type would have.


2015 ◽  
Vol 114 (6) ◽  
pp. 3351-3358 ◽  
Author(s):  
Stefania de Vito ◽  
Marine Lunven ◽  
Clémence Bourlon ◽  
Christophe Duret ◽  
Patrick Cavanagh ◽  
...  

When we look at bars flashed against a moving background, we see them displaced in the direction of the upcoming motion (flash-grab illusion). It is still debated whether these motion-induced position shifts are low-level, reflexive consequences of stimulus motion or high-level compensation engaged only when the stimulus is tracked with attention. To investigate whether attention is a causal factor for this striking illusory position shift, we evaluated the flash-grab illusion in six patients with damaged attentional networks in the right hemisphere and signs of left visual neglect and six age-matched controls. With stimuli in the top, right, and bottom visual fields, neglect patients experienced the same amount of illusion as controls. However, patients showed no significant shift when the test was presented in their left hemifield, despite having equally precise judgments. Thus, paradoxically, neglect patients perceived the position of the flash more veridically in their neglected hemifield. These results suggest that impaired attentional processes can reduce the interaction between a moving background and a superimposed stationary flash, and indicate that attention is a critical factor in generating the illusory motion-induced shifts of location.


2019 ◽  
Author(s):  
Valere Huypens

<div>Current constant speed IPO's, usually, use Sampled-data IPO's and constant speed lines use the </div><div>wrong initialized software DDA-ipo's, which make these IPO's unusable. The Bresenham- and </div><div>midpoint IPO's are non-constant speed reference pulse IPO's with bounded inaccuracy.</div><div>By adding an ultra-fast 3-lines algorithm "PRM-cs" to the actual midpoint or Bresenham algorithms, </div><div>we convert these midpoint-ipo's to very fast, constant speed, reference pulse IPO's. </div><div>This applies to 2D-lines, 3D-lines, 2D-curves and 2D-NURBS.</div><div>The PRM-cs measures, in real-time, the length of the discrete curve and the PRM-cs is completely new. </div><div>We define the best IPO, the major axis principle and the LSD-priority. </div><div>The major axis principle holds for the actual 3D-line IPO's. These IPO's are, generally, inaccurate, </div><div>but they can be updated to constant speed 3D-line IPO's, when the production manager agrees.</div><div>The Digital Geometric Geometry (DAG) defines the discrete lines globally, but this global </div><div>definition of a discrete 3D-line, gives discrete 3D-lines whose accuracy is much less than the </div><div>accuracy of the best discrete 3D-lines (e.g. 37% worse).</div><div>We describe the three causes of the inaccurate (imperfect) discrete 3D-lines. </div><div>All existing pulse-rate or PRM-ipo's use a wrong initialization, which deteriorates the accuracy. </div><div>We determine the right initialization for the new PRM-cs and the updated PRM-ipo. </div><div>We propose the benchmark-ipo "listSIM-ipo". This constant speed IPO can, also, be used in real-</div><div>time for every 2D- and 3D-curve. </div><div>The 3rd-degree Trident NURB shows that the constant speed reference pulse method is much </div><div>better than the existing sampled-data methods.</div>


EUGENIA ◽  
2012 ◽  
Vol 21 (3) ◽  
Author(s):  
Stanley A.F. Walingkas ◽  
Meity Rantung

ABSTRACT This study aims to determine the effect of plant growth regulators and micro elements to cherelle wilt in cacao plants as well as finding the right business in tackling cherelle wilt in cacao plants. The research was carried out in the garden village folk Eris Eris Minahasa district for 8 months from January to August 2009. Spraying micro-nutrient elements is necessary to reduce cherelle wilt because the various treatments for the first observation is not significantly different, but the observations into two to seven observations to indicate a significant difference between treatments (percentage cherelle wilt on treatment without nutrient elements higher than sprayed). While spraying the treatment factor of plant growth regulators (NAA) is not necessary because the first observation and the two had no significant effect on the percentage of cherelle wilt affected only the third observation and further observations to a fourth, fifth, sixth and seventh again no effect. So is the treatment for fruit length and diameter showed that administration of the micro nutrients necessary for sprayed with micro nutrients result 22.10 cm higher than that is not sprayed is 19.43 cm. As for the diameter of the fruit is affected by plant growth regulators. Treatment is better than 200 ppm 100 ppm and 0 ppm (control). Keywords: NAA, cocoa, mikombi     ABSTRAK   Penelitian ini bertujuan mengetahui pengaruh pemberian zat pengatur tumbuh dan unsur mikro terhadap cherelle wilt pada tanaman kakao serta menemukan usaha yang tepat dalam menanggulangi cherelle wilt pada tanaman kakao. Penelitian ini dilaksanakan di kebun rakyat Desa Eris Kecamatan Eris Kabupaten Minahasa selama 8 bulan sejak Januari – Agustus 2009. Penyemprotan unsur hara mikro perlu dilakukan untuk mengurangi cherelle wilt sebab pada berbagai perlakuan untuk pengamatan pertama tidak berbeda nyata namun pada pengamatan ke dua sampai pengamatan ke tujuh menunjukkan adanya perbedaan nyata antar perlakuan (prosentase cherelle wilt pada perlakuan tanpa unsure hara lebih tinggi dari yang disemprot). Sementara faktor penyemprotan dengan perlakuan zat pengatur tumbuh (NAA) tidak perlu dilakukan sebab pengamatan pertama dan ke dua tidak berpengaruh nyata pada persentase cherelle wilt hanya berpengaruh pada pengamatan ke tiga dan selanjutnya pengamatan ke empat, ke lima, ke enam dan ke tujuh kembali tidak berpengaruh. Begitu juga perlakuan untuk panjang dan diameter buah menunjukkan bahwa pemberian unsur hara mikro perlu dilakukan sebab yang disemprot dengan unsur hara mikro hasilnya 22,10 cm lebih tinggi dari yang tidak disemprot yaitu 19,43 cm. Sementara untuk diameter buah dipengaruhi oleh zat pengatur tumbuh. Perlakuan 200 ppm lebih baik dari 100 ppm dan 0 ppm (kontrol). Eugenia Volume 18 No. 2  Agustus 2012 Kata kunci : NAA, kakao, mikombi


Sign in / Sign up

Export Citation Format

Share Document