To see the other types of publications on this topic, follow the link: Horní propust.
Journal articles on the topic 'Horní propust'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Horní propust.'
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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
1
Peters, Ted. "Artificial Intelligence versus Agape Love: Spirituality in a Posthuman Age." Forum Philosophicum 24, no. 2 (December 20, 2019): 259–78. http://dx.doi.org/10.35765/forphil.2019.2402.12.
Full textAbstract:
As Artificial Intelligence researchers attempt to emulate human intelligence and transhumanists work toward superintelligence, philosophers and theologians confront a dilemma: we must either, on the one horn, (1) abandon the view that the defining feature of humanity is rationality and propose an account of spirituality that dissociates it from reason; or, on the other horn, (2) find a way to invalidate the growing faith in a posthuman future shaped by the enhancements of Intelligence Amplification (IA) or the progress of Artificial Intelligence (AI). I grasp both horns of the dilemma and offer three recommendations. First, it is love understood as agape, not rational intelligence, which tells us how to live a godly life. Love tells us how to be truly human. Second, the transhumanist vision of a posthuman superintelligence is not only unrealistic, it portends the kind of tragedy we expect from a false messiah. Third, if as a byproduct of AI and IA research combined with H+ zeal the wellbeing of the human species and our planet is enhanced, we should be grateful.
2
Zattara, Eduardo E., Hannah A. Busey, David M. Linz, Yoshinori Tomoyasu, and Armin P. Moczek. "Neofunctionalization of embryonic head patterning genes facilitates the positioning of novel traits on the dorsal head of adult beetles." Proceedings of the Royal Society B: Biological Sciences 283, no. 1834 (July 13, 2016): 20160824. http://dx.doi.org/10.1098/rspb.2016.0824.
Full textAbstract:
The origin and integration of novel traits are fundamental processes during the developmental evolution of complex organisms. Yet how novel traits integrate into pre-existing contexts remains poorly understood. Beetle horns represent a spectacular evolutionary novelty integrated within the context of the adult dorsal head, a highly conserved trait complex present since the origin of insects. We investigated whether otd1/2 and six3 , members of a highly conserved gene network that instructs the formation of the anterior end of most bilaterians, also play roles in patterning more recently evolved traits. Using ablation-based fate-mapping, comparative larval RNA interference (RNAi) and transcript sequencing, we found that otd1/2 , but not six3 , play a fundamental role in the post-embryonic formation of the adult dorsal head and head horns of Onthophagus beetles. By contrast, neither gene appears to pattern the adult head of Tribolium flour beetles even though all are expressed in the dorsal head epidermis of both Onthophagus and Tribolium . We propose that, at least in beetles, the roles of otd genes during post-embryonic development are decoupled from their embryonic functions, and that potentially non-functional post-embryonic expression in the dorsal head facilitated their co-option into a novel horn-patterning network during Onthophagus evolution.
3
Corbett, Joel, Stephen Walsh, Sandeep Bhuta, and Arman Sabet. "105 Snake eyes in the thoracic spine." Journal of Neurology, Neurosurgery & Psychiatry 89, no. 6 (May 24, 2018): A41.3—A42. http://dx.doi.org/10.1136/jnnp-2018-anzan.104.
Full textAbstract:
IntroductionBilateral anterior horn cell hyperintensity on spinal imaging (‘snake eyes’ sign) is seen in pathologies including cervical spondylosis, spinal cord infarction and Hirayama’s disease. Below is the first report of lower limb monomelic amyotrophy (MMA) with thoracic spine snake eyes sign. We present a case report of lower limb MMA with bilateral anterior horn hyperintensity, and literature review of cases with this clinico-radiologic presentation.CaseA 47 year old man presented with an 11 year history of asymmetric, progressive, proximal right lower limb weakness and wasting following traumatic back injury. Eight years into the disease course left leg changes developed. There was no upper limb, bulbar nor respiratory involvement. Examination revealed widespread lower limb wasting, normal tone, marked proximal weakness, brisk reflexes and non-sustained clonus bilaterally. Upper limb and cranial nerve examinations were normal. MRI demonstrated T11–12 bilateral anterior horn cell hyper-intensity. Electromyography demonstrated denervation/re-innervation changes in the right vastus lateralis and to a lesser extent tibialis anterior. Muscle biopsy showed chronic denervation atrophy. Anti-ganglioside GM1 IgM was elevated. Further autoimmune testing, infectious screen, cerebrospinal fluid and neuromuscular disease gene analysis were negative. Steroid and intravenous immunoglobulin therapy were ineffective.Case series describing lower motor neuron diseases (LMND) including MMA have not previously reported snake eyes sign in association with lower limb disease.1 Two recent publications describing thirty-two cases of LMND with cervical spine snake eyes sign report that all cases were associated with a relatively benign course and many were misdiagnosed as motor neuron disease (MND).2 3 The authors propose this as a previously unidentified mimic of motor neuron disease.ConclusionThis is the first reported case of thoracic snake eyes sign with corresponding lower limb MMA. Lower motor neuron diseases with bilateral anterior horn cell hyper-intensity may represent a unique clinical form of MND with relatively slower progression.References. Nalini A, Gourie-Devi, Thennarasu K, et al. Monomelic Amyotrophy: Clinical profile and natural history of 279 cases seen over 35 years (1976–2010). Amyotrophic Lateral Sclerosis and Frontotemporal Degeneration2014;15:457–465.. Saski S. Sporadic lower motor neuron disease with a snake eyes appearance on the cervical anterior horns by MRI. Clinical Neurology and Neurosurgery2015;136:122–131.. Lebouteux M, Franques J, Guillevin R, et al. Revisiting the Spectrum of Lower Motor Neuron Diseases with Snake Eyes Appearance on Magnetic Resonance Imaging. European Journal of Neurology2014;21:1233–1241.
4
Zhuang, Z., and M. Pagnucco. "Entrenchment-Based Horn Contraction." Journal of Artificial Intelligence Research 51 (September 30, 2014): 227–54. http://dx.doi.org/10.1613/jair.4430.
Full textAbstract:
The AGM framework is the benchmark approach in belief change. Since the framework assumes an underlying logic containing classical Propositional Logic, it can not be applied to systems with a logic weaker than Propositional Logic. To remedy this limitation, several researchers have studied AGM-style contraction and revision under the Horn fragment of Propositional Logic (i.e., Horn logic). In this paper, we contribute to this line of research by investigating the Horn version of the AGM entrenchment-based contraction. The study is challenging as the construction of entrenchment-based contraction refers to arbitrary disjunctions which are not expressible under Horn logic. In order to adapt the construction to Horn logic, we make use of a Horn approximation technique called Horn strengthening. We provide a representation theorem for the newly constructed contraction which we refer to as entrenchment-based Horn contraction. Ideally, contractions defined under Horn logic (i.e., Horn contractions) should be as rational as AGM contraction. We propose the notion of Horn equivalence which intuitively captures the equivalence between Horn contraction and AGM contraction. We show that, under this notion, entrenchment-based Horn contraction is equivalent to a restricted form of entrenchment-based contraction.
5
Campos, Carolina Rosa, and Tatiana de Cássia Nakano. "Avaliação da inteligência de crianças deficientes visuais: proposta de instrumento." Psicologia: Ciência e Profissão 34, no. 2 (June 2014): 406–19. http://dx.doi.org/10.1590/1982-3703000272013.
Full textAbstract:
Diante da lacuna existente na avaliação cognitiva de populações especiais, esta pesquisa teve como objetivo construir três subtestes (Verbal, Memória e Lógico-espacial) para avaliação da inteligência de crianças deficientes visuais, baseados no modelo de Cattel-Horn-Carroll (CHC). Estudo piloto foi desenvolvido visando verificar a adequação dos subtestes em 14 crianças deficientes visuais de 7 a 12 anos (M=10,28 anos; DP=1,58), sendo seis meninas e oito meninos, dez com baixa visão, oito com deficiência congênita e duas com adquirida, e quatro com cegueira, duas com adquirida e duas com congênita. Avaliamos as medidas de acertos e tempo de execução no Verbal, acertos, quantidade de pares abertos e tempo para o Memória e acertos e tempo para o pensamento Lógico-espacial. Os resultados apontaram adequação dos subtestes à população, notando-se melhor desempenho das crianças com deficiência congênita e melhor desempenho das crianças com baixa visão. Estudos com amostras maiores poderão investigar as propriedades psicométricas dos subtestes.
6
Liang, Xiao, Jiu Hui Wu, Zhuo Zhou, and Zhe Chen. "Quantitative analysis of low frequency acoustic characteristics for reverse horn by bottleneck effect analogy method." Modern Physics Letters B 33, no. 16 (June 6, 2019): 1950177. http://dx.doi.org/10.1142/s021798491950177x.
Full textAbstract:
Reverse horn as one of the Acoustic Black Hole (ABH) structures can be used to effectively reduce low frequency acoustic waves by focusing the sound energy. The sound waves in relatively low frequency range are focused on the tip of reverse horn, and most sound energy cannot flow out from the reverse horn’s tip. In this paper, we propose a quantitative analysis method by the bottleneck effect analogy to research the low frequency acoustic characteristics of reverse horn. Our theoretical results show that the low frequency sound wave can be focused on the tip of reverse horn, and the transmission coefficient of low frequency is proportional to the 3 power law of the reverse horn tip’s diameter. The experimental results verified our theoretical results. And the sound insulation property is studied by experiments. It is noteworthy that the insulation coefficient of two levels reverse horn whose second level tip’s diameter [Formula: see text] mm, is more than 0.92, and can increase further with the decrease of the second level horn tip’s diameter. It provides an effective and simple method for quantitatively analyzing the low frequency acoustic characteristics of the reverse horn. The proposed reverse horn has great potential applications for low frequency sound insulation control.
7
Gogic, G., C. H. Papadimitriou, and M. Sideri. "Incremental Recompilation of Knowledge." Journal of Artificial Intelligence Research 8 (January 1, 1998): 23–37. http://dx.doi.org/10.1613/jair.380.
Full textAbstract:
Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of ``knowledge compilation,'' supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many frameworks and schemes proposed in the literature for theory update and revision are plagued by serious complexity-theoretic impediments, even in the Horn case, as was pointed out by Eiter and Gottlob (1992), and is further demonstrated in the present paper. More fundamentally, these schemes are not inductive, in that they may lose in a single update any positive properties of the represented sets of formulas (small size, Horn structure, etc.). In this paper we propose a new scheme, incremental recompilation, which combines Horn approximation and model-based updates; this scheme is inductive and very efficient, free of the problems facing its constituents. A set of formulas is represented by an upper and lower Horn approximation. To update, we replace the upper Horn formula by the Horn envelope of its minimum-change update, and similarly the lower one by the Horn core of its update; the key fact which enables this scheme is that Horn envelopes and cores are easy to compute when the underlying formula is the result of a minimum-change update of a Horn formula by a clause. We conjecture that efficient algorithms are possible for more complex updates.
8
Carlsen, Eva Meier, and Rune Rasmussen. "Bursting deep dorsal horn neurons: the pharmacological target for the antispastic effects of zolmitriptan?" Journal of Neurophysiology 117, no. 5 (May 1, 2017): 1841–43. http://dx.doi.org/10.1152/jn.00880.2016.
Full textAbstract:
In a recent publication, Thaweerattanasinp et al. ( J Neurophysiol 116: 1644–1653, 2016) investigated spinal cord injury and firing properties of deep dorsal horn neurons during NMDA or zolmitriptan application by employing electrophysiology in an in vitro spinal cord preparation. Deep dorsal horn neurons were classified into bursting, simple, or tonic firing groups,with bursting neurons showing NMDA and zolmitriptan sensitivity. We discuss the findings in a methodological framework and propose future experiments of importance for translating the results into physiological settings.
9
HEFFERN, DANIEL, ANTONIO SANTOS-SILVA, and FRANCISCO E. L. NASCIMENTO. "American Cerambycidae (Coleoptera): Four new species, new records and taxonomic notes." Zootaxa 4933, no. 3 (February 22, 2021): 361–78. http://dx.doi.org/10.11646/zootaxa.4933.3.4.
Full textAbstract:
Four new species are described: Caribbomerus jaliscanus sp. nov. (Cerambycinae, Graciliini), from Mexico; Championa zarazagai sp. nov. and Championa chihuahuaensis sp. nov. (Cerambycinae, incertae sedis), both from Mexico; and Scopadus selkingi sp. nov. (Lamiinae, Acanthomerosternoplini), from Panama. We also propose keys for the following genera: Neocompsa Martins, 1965; Placoclytus Chemsak & Linsley, 1974; Nyssicus Pascoe, 1859; Championa Bates, 1880, and Scopadus Pascoe, 1857. Additionally, the differences between Hypexilis Horn, 1885 and Caribbomerus Vitali, 2003 are provided, Caribbomerus howdeni (Napp & Martins, 1984) is synonymized with Hypexilis pallida Horn, 1885, and new records are registered.
10
Conserva, Dilma Prata, and Marco Antonio Margarido Costa. "O ensino de inglês permeado pela proposta de sala de aula invertida." ETD - Educação Temática Digital 22, no. 1 (February 5, 2020): 234–52. http://dx.doi.org/10.20396/etd.v22i1.8653788.
Full textAbstract:
As contínuas mudanças sociais e epistemológicas ocasionadas pela globalização têm resultado em uma pluralidade de conceitos para denominar a sociedade pós-moderna – invadida pelos avanços tecnológicos e científicos com uma rapidez incontrolável. Por conseguinte, essa realidade reflete no contexto educacional que urge por mudanças, agregações e transformações nas práticas docentes, e o ensino de inglês não se exclui dessa realidade. As metodologias ativas, mais especificamente o modelo de flipped classroom, têm cooperado para que essas inovações ocorram. O presente relato versa sobre as contribuições das metodologias ativas e as experiências da sala de aula invertida como uma modalidade do ensino híbrido, destacando a sua aplicação no ensino de inglês. Apresenta as experiências desenvolvidas em uma escola de idiomas com alunos do nível pré-intermediário na cidade de Patos-PB. De modo central, objetivou-se nesta pesquisa identificar as contribuições trazidas pela proposta de sala de aula invertida, para a aprendizagem da língua inglesa e conhecer os possíveis desafios para a implementação dessa metodologia. A ancoragem teórica que fundamenta o entendimento das contribuições das tecnologias digitais e da proposta de sala de aula invertida encontra esteio nas obras de Bergamn e Sams (2016), Valente (2017), Monte Mór (2010), Horn e Staker (2015), entre outros.
11
Tubbs, R. Shane, Matthew D. Smyth, John C. Wellons, Jeffrey P. Blount, and W. Jerry Oakes. "Human Horns: A Historical Review and Clinical Correlation." Neurosurgery 52, no. 6 (June 1, 2003): 1443–48. http://dx.doi.org/10.1227/01.neu.0000064810.08577.49.
Full textAbstract:
Abstract OBJECTIVE Accounts of bony human horns originating from the cranium are found peppered throughout the early medical literature. This study reviews the extant literature regarding these entities to elucidate their authenticity. METHODS We reviewed both historical and current literature as well as osteological material from our anatomy laboratories for accounts or observations of bony outgrowths of the calvaria in humans. RESULTS Human horns seem to be mentioned more frequently in the historical literature and are documented primarily with drawings. Moreover, from early accounts, it is often difficult to distinguish true large bony outgrowths from scalp excrescences. Only two cadaveric specimens from our laboratory were noted to have small anomalous bony protuberances, one on the occiput and one on the frontal bone. CONCLUSION With the lack of either photographic or extreme dry specimen evidence of such human horns, we would propose that benign calvarial tumors, such as osteomas, may have initiated speculation that such entities, i.e., horns, exist in humans but that scalp lesions, exaggeration, legend, and religious beliefs have historically propagated these entities to a mythical status. In addition, early surgical intervention and changes in nomenclature may have also decreased the frequency of such sightings. Finally, many early descriptions have not been repeated in recent history, even in third-world countries lacking advanced medical care.
12
DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Full textAbstract:
AbstractWe address the problem of verifying the satisfiability of Constrained Horn Clauses (CHCs) based on theories of inductively defined data structures, such as lists and trees. We propose a transformation technique whose objective is the removal of these data structures from CHCs, hence reducing their satisfiability to a satisfiability problem for CHCs on integers and booleans. We propose a transformation algorithm and identify a class of clauses where it always succeeds. We also consider an extension of that algorithm, which combines clause transformation with reasoning on integer constraints. Via an experimental evaluation we show that our technique greatly improves the effectiveness of applying the Z3 solver to CHCs. We also show that our verification technique based on CHC transformation followed by CHC solving, is competitive with respect to CHC solvers extended with induction.
13
Koosed, Jennifer L. "Moses: The Face of Fear." Biblical Interpretation 22, no. 4-5 (August 23, 2014): 414–29. http://dx.doi.org/10.1163/15685152-02245p03.
Full textAbstract:
Moses is the only prophet in the tradition to see God “face-to-face,” and this intimate contact transforms his very body – when he comes down from the mountain, his face is altered, and he must veil (Exod. 34:29–35). Both the altered face and the veiled face have strange interpretive histories. What may have begun in Hebrew as rays of light streaming from Moses’ visage become in Greek and Latin horns sticking out of his head; thus a history of interpretation begins which first avers the horns as symbols of power and divinity but later shifts to associate the horns with animals and demons. The veil may have also begun as a powerful symbol of prophecy, but its meaning also shifts, and it later becomes associated with passivity and femininity. These multivalent images reveal deeper realities and resonances. Moses is something other than, something beyond, the human and its gendered bifurcation. He is at the nexus where the human, the animal, and the divine meet and converge. And between the glowing face/horns and the veil lies fear, the fear of the Israelites when they behold their leader, and the fear of the Bible’s readers when they are faced with Moses’ ambiguities. Using affect theory, especially Sara Ahmed’s critical work on emotion, this paper will explore the meanings of Moses’ face, covered and uncovered, as it moves through time and community.
14
Sánchez, Jose Juan González, Jordina Rincon-Torroella, Alberto Prats-Galino, Matteo de Notaris, Joan Berenguer, Enrique Ferrer Rodríguez, and Arnau Benet. "New endoscopic route to the temporal horn of the lateral ventricle: surgical simulation and morphometric assessment." Journal of Neurosurgery 121, no. 3 (September 2014): 751–59. http://dx.doi.org/10.3171/2014.5.jns132309.
Full textAbstract:
Object The temporal horn of the lateral ventricle is a complex structure affected by specific pathological conditions. Current approaches to the temporal horn involve a certain amount of corticotomy and white matter disruption. Surgeons therefore set aside anterior temporal lobectomy as a last resource and avoid it in the dominant hemisphere. The authors propose a minimally invasive endoscopic intraventricular approach to the temporal horn and describe a standardized analysis and technical assessment of the feasibility of this approach. Methods To determine the best trajectory, angulation, and entry point to the temporal horn of the lateral ventricle, the authors evaluated 50 cranial MRI studies (100 temporal lobes) from healthy patients. They studied and systematized the neurosurgical endoscopic anatomy. They also simulated the proposed approach in 9 cadaveric specimens (18 approaches). Results Mean scalp entry point coordinates (± SD) were 2.7 ± 0.28 cm lateral to the inion and 5.6 ± 0.41 cm superior to the inion. The mean total distance from the uncal recess to the scalp (± SD) was 10.64 ± 0.6 cm. The mean total intraparenchymal distance crossed by the endoscope was 3.76 ± 0.36 cm. The approach was successfully completed in all studied specimens. Conclusions In this study, the endoscopic intraventricular approach to the temporal horn is standardized. The morphometric analysis makes this approach anatomically feasible and replicable. This approach provides minimally invasive endoscopic access to the uncal recess, amygdala, hippocampus, fornix, and paraventricular temporal lobe structures. The following essential strategies enabled access to and maneuverability inside the temporal horn: tailored preoperative planning of the trajectory and use of anatomical and radiological references, constant irrigation, and an angled endoscopic lens. Safety assessment and novel instruments and techniques may be proposed to advance this very promising route to pathological changes in the temporal lobe.
15
Yang, Yang, Zhanliang Wang, Shaomeng Wang, Qing Zhou, Fei Shen, Haibo Jiang, Zhe Wu, Baoqing Zeng, Zhongyi Guo, and Yubin Gong. "Designing a Water-Immersed Rectangular Horn Antenna for Generating Underwater OAM Waves." Electronics 8, no. 11 (October 26, 2019): 1224. http://dx.doi.org/10.3390/electronics8111224.
Full textAbstract:
In order to extend the applications of vortex waves, we propose a water-immersed rectangular horn antenna array for generating underwater vortex waves carrying the orbital angular momentum (OAM). Firstly, a single dielectric-loaded rectangular horn antenna with the central frequency of 2.6 GHz was designed for generating underwater electromagnetic (EM) waves. Due to the supplementing dielectric-loaded waveguide in this single antenna, the problems with difficult sealing and fixation of the feed probe could be solved effectively. The simulation results show that it has a good impedance characteristics (S11 < −10 dB) and reasonable losses (less than 3.5 dB total for two antennas and a coaxial line) from 2.5 GHz to 2.7 GHz. Experiments on the single antenna were also carried out, which agree well with the simulations. Based on the designed single antenna, the water-immersed rectangular horn antenna array was proposed, and the phase gradient from 0~2π was fed to the horn antennas for generating underwater OAM waves. The simulation results demonstrate high fidelity of the generated OAM waves from the intensity and phase distributions. The purity of the generated OAM modes was also investigated and further verifies the high fidelity of the generated OAM waves. The generated high-quality OAM waves meet the requirements for underwater applications of OAM, such as underwater communication and underwater imaging.
16
Rajan, Del, and Matt Visser. "Quantum Blockchain Using Entanglement in Time." Quantum Reports 1, no. 1 (April 17, 2019): 3–11. http://dx.doi.org/10.3390/quantum1010002.
Full textAbstract:
We propose a conceptual design for a quantum blockchain. Our method involves encoding the blockchain into a temporal GHZ (Greenberger–Horne–Zeilinger) state of photons that do not simultaneously coexist. It is shown that the entanglement in time, as opposed to an entanglement in space, provides the crucial quantum advantage. All the subcomponents of this system have already been shown to be experimentally realized. Furthermore, our encoding procedure can be interpreted as nonclassically influencing the past.
17
Marín-Pena, Oliver, Olufemi R. Ayeni, Marc Tey-Pons, Jesús Mas-Martinez, Pedro Dantas, and Vikas Khanduja. "The case of ‘A Rhino Horn’: case report and proposal for modification to the Hetsroni and Kelly classification." Journal of Hip Preservation Surgery 8, Supplement_1 (June 1, 2021): i51—i59. http://dx.doi.org/10.1093/jhps/hnab020.
Full textAbstract:
Abstract Subspine impingement syndrome by definition involves a prominent antero-inferior iliac spine (AIIS) which can lead to impingement on the femoral neck thereby causing symptoms. We present the case of a 22-year-old semi-professional athlete who presented with a Type III AIIS morphology leading to subspine impingement syndrome and was managed via a mini open anterior approach. Radiological examination revealed a fairly prominent left AIIS resembling the ‘horn of a rhino’ extending to the trochanteric region anteriorly. A mini-anterior surgical approach was utilized for the resection of the ‘rhino horn’ and the rectus femoris was reattached. The patient remained asymptomatic at the one-year follow-up and had resumed weightlifting. Following this case, we propose a new classification of the type III AIIS morphology in view of the clinical presentation. The AIIS type III-Standard represents an extension from the acetabular rim to less than 1 cm (type III-S) and type III-Large, with an extension from the acetabular rim beyond 1 cm (type III-L). The type III-L will further be divided into two groups based on its relation to the ilium, type III-Lr (‘rib shape’) and type III-Lrh (‘rhino horn’).
18
Guan, Zhen Yu, Jie Li, and Huan Yang. "Sparse Line-Optical Flow Field Computing Method Based on Lines Matching." Applied Mechanics and Materials 496-500 (January 2014): 2099–107. http://dx.doi.org/10.4028/www.scientific.net/amm.496-500.2099.
Full textAbstract:
This paper brings out a new sparse line-optical flow field computing method. Firstly, we establish a lines matching algorithm based on Kalman Filter (KF). In this algorithm, we map lines in an image into Hough space, after that we employ KF to predict the position in the following frame in order to match lines in image sequence. Secondly, we present the concept of sparse line-optical flow field of images and propose the calculation method of it. By using the camera perspective projection model and the optical flow Identity, we can get the sparse line-optical flow field. Simulations is made in the following step, and results show that the lines matching algorithm works well and the accuracy of the calculation method proposed in this paper is as good as that of the classic Horn algorithm, while the calculating time-cost of it is only 1/30 Horn algorithms.
19
JIN, ZHAO, YAN-QIANG JI, SHI-LEI SU, BIN SI, HONG-FU WANG, SHOU ZHANG, and AI-DONG ZHU. "NONDESTRUCTIVE ENTANGLEMENT ANALYSIS AND GENERATION WITH ATOMS IN LOW-Q CAVITIES ASSISTED BY COHERENT LIGHT." International Journal of Quantum Information 11, no. 06 (September 2013): 1350055. http://dx.doi.org/10.1142/s021974991350055x.
Full textAbstract:
We propose a scheme to implement a nondestructive Greenberger–Horne–Zeilinger (GHZ) state analyzer with atoms in low-Q cavities by taking the coherent light as quantum channel. It can also be applied to generate multi-atom entanglement state with high fidelity and entanglement degree. The analysis for the effect of atomic spontaneous emission on the fidelity and homodyne detection (HD) shows that the present scheme is not only robust in the condition of a bad cavity, but also feasible with the current technology due to the relaxed experimental condition.
20
GANGE, GRAEME, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY. "Horn clauses as an intermediate representation for program analysis and transformation." Theory and Practice of Logic Programming 15, no. 4-5 (July 2015): 526–42. http://dx.doi.org/10.1017/s1471068415000204.
Full textAbstract:
AbstractMany recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces determinism and single-modedness, and show that it makes a convenient program representation for analysis and transformation.
21
Duncan, Derek. "In the Wake: Postcolonial Migrations from the Horn of Africa." Forum for Modern Language Studies 56, no. 1 (December 23, 2019): 96–109. http://dx.doi.org/10.1093/fmls/cqz055.
Full textAbstract:
Abstract Abu Bakr Khaal’s African Titanics (written in Arabic) and Jonny Steinberg’s A Man of Good Hope (written in English) track diasporic movements from the former Italian colonies of Eritrea and Somalia. Focusing on mobility as well as memory, both books trace complicated and unpredictable patterns of forced displacement and precarious settlement. African Titanics charts the journey from Eritrea to the shores of the Mediterranean and the sea crossing to Europe, while A Man of Good Hope follows the movement overland from Somalia to South Africa. Both texts delineate communities networked across national borders and propose an alternative geography formed by cultural commonality rather than geopolitical division. The essay draws on Christina Sharpe’s concept of the ‘wake’ as a means of understanding how migrant subjectivity and community are formed through the multiple forms of racialized violence experienced in transnational mobility.
22
ZHENG, AN-SHOU, YONG-JIN CHENG, JI-BING LIU, and TIE-PING LI. "REALIZATION OF THE GREENBERG–HORNE–ZEILINGER (GHZ) STATE AND SWAP GATE WITH SUPERCONDUCTING QUANTUM-INTERFERENCE DEVICES IN A CAVITY VIA ADIABATIC PASSAGE." Modern Physics Letters B 22, no. 15 (June 20, 2008): 1507–13. http://dx.doi.org/10.1142/s0217984908016224.
Full textAbstract:
We propose an alternative scheme to prepare the Greenberg–Horne–Zeilinger (GHZ) state and realize a SWAP gate by using Superconducting Quantum-interference devices (SQUIDs) coupled to a cavity. The present scheme, based on the adiabatic evolution of dark state, constitutes a decoherence-free method in the sense that spontaneous emission and cavity damping are avoided. Besides, the standard GHZ state can be directly obtained without measurement or any auxiliary SQUIDs and the construction of the SWAP gate does not require a composition of elementary gates from a universal set. Thus the procedure is simplified and decoherence is greatly suppressed.
23
Sekga, Comfort, and Mhlambululi Mafu. "Quantum state sharing of an arbitrary m-particle state using Einstein–Podolsky–Rosen pairs and application in quantum voting." Modern Physics Letters A 36, no. 21 (July 10, 2021): 2150151. http://dx.doi.org/10.1142/s0217732321501510.
Full textAbstract:
In this paper, we propose a scheme where Alice shares an arbitrary m-particle unknown state with her agents, Bob and Charlie. Alice starts by distributing 2m Einstein–Podolsky–Rosen pairs with her agents and performs m joint three-particle Greenberger–Horne–Zeilinger state measurements on her particles. Bob, who acts as the controller, performs a product measurement [Formula: see text] on his m qubit states while Charlie retrieves the original state by performing unitary operations on his m particles. Subsequently, we demonstrate our proposed scheme’s feasibility by applying it in electronic voting by sharing an arbitrary single-particle state.
24
FARKA, FRANTIŠEK, EKATERINA KOMENDANTSKYA, and KEVIN HAMMOND. "Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 484–501. http://dx.doi.org/10.1017/s1471068418000212.
Full textAbstract:
AbstractFirst-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we show that proof-relevant first-order resolution can play an important role in automating type inference and term synthesis for dependently typed languages. We propose a calculus that translates type inference and term synthesis problems in a dependently typed language to a logic program and a goal in the proof-relevant first-order Horn clause logic. The computed answer substitution and proof term then provide a solution to the given type inference and term synthesis problem. We prove the decidability and soundness of our method.
25
Dunin-Kęplicz, Barbara, Anh Nguyen, and Andrzej Szałas. "A layered rule-based architecture for approximate knowledge fusion?" Computer Science and Information Systems 7, no. 3 (2010): 617–42. http://dx.doi.org/10.2298/csis100209015d.
Full textAbstract:
In this paper we present a framework for fusing approximate knowledge obtained from various distributed, heterogenous knowledge sources. This issue is substantial in modeling multi-agent systems, where a group of loosely coupled heterogeneous agents cooperate in achieving a common goal. In paper [5] we have focused on defining general mechanism for knowledge fusion. Next, the techniques ensuring tractability of fusing knowledge expressed as a Horn subset of propositional dynamic logic were developed in [13,16]. Propositional logics may seem too weak to be useful in real-world applications. On the other hand, propositional languages may be viewed as sublanguages of first-order logics which serve as a natural tool to define concepts in the spirit of description logics [2]. These notions may be further used to define various ontologies, like e.g. those applicable in the Semantic Web. Taking this step, we propose a framework, in which our Horn subset of dynamic logic is combined with deductive database technology. This synthesis is formally implemented in the framework of HSPDL architecture. The resulting knowledge fusion rules are naturally applicable to real-world data.
26
Del Rio, Cédric, Romain Thomas, and Dario De Franceschi. "Fruits of Icacinaceae Miers from the Palaeocene of the Paris Basin (Oise, France)." Earth and Environmental Science Transactions of the Royal Society of Edinburgh 108, no. 4 (December 2017): 459–69. http://dx.doi.org/10.1017/s1755691018000221.
Full textAbstract:
ABSTRACTIcacinaceae Miers are a family of trees, shrubs, and lianas with a current pantropical distribution. The family is well known in the fossil record, especially from the Palaeogene of Europe and North America, with the modern genus Iodes being particularly well represented. Here, we describe five new species of Iodes based on fossil endocarps with horn-like protrusions from the late Palaeocene Rivecourt deposits (Oise, France). Moreover, we propose a new combination for Iodes israelii Soudry & Gregor, as Icacinicarytes israelii (Soudry & Gregor) Del Rio, Thomas & De Franceschi, because it lacks the diagnostic morphological and anatomical characters of the genus Iodes. The significance of papillae, which has been emphasised in the literature, is discussed in light of new data, and a more standardised system of terminology is proposed. Given that, among modern members of Iodes, horn-like protrusions are only known from Asian species; the fossils described here suggest an affinity between the late Palaeocene flora of Europe and the modern flora of Asia. Finally, this study represents the first detailed investigation of Icacinaceae from the Paris Basin, where palaeocarpology remains understudied.
27
Jo, Yeong-Kwan, Yeong-Wook Gil, Do-Sik Shim, Young-Sik Pyun, and Sang-Hu Park. "Control of Local Hardness Gradient of Metal Surface by Inclined Surface Treatment Using Ultrasonic Nanocrystal Surface Modification." International Journal of Precision Engineering and Manufacturing-Green Technology 8, no. 2 (January 13, 2021): 533–46. http://dx.doi.org/10.1007/s40684-020-00303-6.
Full textAbstract:
AbstractWe propose an effective method to control the local hardness and morphology of a metal surface by tilting the incident angle of a horn during ultrasonic nanocrystal surface modification (UNSM). In this study, surface treatment using UNSM was performed on an S45C specimen and a parameter study was conducted for optimization. The process parameters were the feeding rate, static load, striking force, and processing angle (Ф). In particular, the Ф was analyzed by tilting the horn by 0°, 10°, 20°, 30°, 40°, and 45° to understand its effect on surface hardness and changes in the morphology. From fundamental experiments, some important phenomena were observed, such as grain-microstructure changes along the processing and thickness directions. Furthermore, to verify the practical usefulness of this study, a flat and a hemispherical specimen of S45C material were treated using UNSM with various values of Ф. A significant change in hardness (an increase from 2–45%) and a gradual hardness gradient on the tested specimens could be easily realized by the proposed method. Therefore, we believe that the method is effective for controlling the mechanical hardness of a metal surface.
28
Wang, Yahong, and Changshui Yu. "Minimum remote state preparation of an arbitrary two-level one-atom state via cavity QED." International Journal of Quantum Information 13, no. 02 (March 2015): 1550009. http://dx.doi.org/10.1142/s0219749915500094.
Full textAbstract:
In this paper, we propose three schemes for remotely state preparation (RSP) an arbitrary two-level one-atom state via cavity quantum electro dynamics (QED) with minimal resources consumption. In the first case, a Greenberger–Horne–Zeilinger (GHZ) state is used as quantum channel; in the second case, the sender needs to construct an quantum channel with both of the assistant of cavity QED and the knowledge about the state to be remotely prepared. In each scheme, only 1 cbit and 1 ebit are needed with the aid of cavity QED. In the third case, we combine the first two protocols and give a theoretical proposal for controlled RSP with only 2 cbits and 1 ebit resources consumption.
29
XIONG, WEI, and LIU YE. "SCHEME FOR GENERATION OF GREENBERGER-HORNE-ZEILINGER STATES OF REMOTE ATOMS TRAPPED IN SEPARATE OPTICAL CAVITIES." International Journal of Quantum Information 09, no. 04 (June 2011): 1123–31. http://dx.doi.org/10.1142/s0219749911007575.
Full textAbstract:
We propose a scheme for generating maximally entangled states for three atoms trapped in three distant cavities connected by two identical single-mode fibers. During the operation, neither the atomic system nor the fibers are excited, which is important in view of decoherence. Under certain conditions, the probability of the excited cavities can be negligible. Taking advantage of adiabatic passage, the GHZ state can be generated deterministically, and the fidelity of entanglement is insensitive to fluctuation of experimental parameters. Compared to the previous schemes, the significant advantage of the proposed scheme is that each cavity can interact with the other two directly, which can avoid the effect of indirect interaction brought about using only local quantum operator and nonlocal resources.
30
Darras, Kevin, Bjørn Kolbrek, Andreas Knorr, and Volker Meyer. "Assembling cheap, high-performance microphones for recording terrestrial wildlife: the Sonitor system." F1000Research 7 (December 28, 2018): 1984. http://dx.doi.org/10.12688/f1000research.17511.1.
Full textAbstract:
Passive acoustic monitoring of wildlife requires microphones. Several cheap, high-performance open-source solutions currently exist for recording sounds, but all of them are still reliant on commercial microphones. Commercial microphones are relatively expensive, specialized on particular taxa, and often have opaque technical specifications. We designed Sonitor, an open-source microphone system to address all needs of ecologists that sample terrestrial wildlife acoustically. We evaluated the cost of our system and measured trade-offs that are seldom acknowledged but which universally limit microphones' functions: weatherproofing versus sound attenuation, windproofing versus transmission loss after rain, signal loss in long cables, and analog sound amplification and directivity with acoustic horns. We propose three microphone configurations suiting different budgets, sound qualities, and flexibility requirements, which all cover the entire sound frequency spectrum of sonant terrestrial wildlife at a fraction of the cost of commercial microphones.
31
DONG, LI, JUN-XI WANG, XIAO-MING XIU, HAI-KUAN DONG, DAN LI, and YA-JUN GAO. "A GENERATION SCHEME OF THE DISTRIBUTED FOUR-PHOTON CLUSTER-TYPE POLARIZATION-ENTANGLED STATES EXPLOITING THE INTEGRATION OF ENTANGLEMENT GATES AND THE CONTROLLED PHASE GATE." International Journal of Quantum Information 11, no. 07 (October 2013): 1350064. http://dx.doi.org/10.1142/s0219749913500640.
Full textAbstract:
We propose a scheme for preparing the distributed four-photon cluster-type polarization-entangled states associated with the integration of the controlled phase gate and two kinds of entanglement gates. Employing weak cross-Kerr nonlinear interactions and Homodyne measurement, two individual photons entangle together based on the bus function of coherent states. Assisted by optical elements mainly including polarization beam splitters, the entanglement of the signal photons is converted from the spatial mode to the polarization mode. The application of classical feed forward provides the high-efficiency to the preparation of Einstein–Podolsky–Rosen (EPR) states, Greenberger–Horne–Zeilinger (GHZ) states, and four-photon cluster-type polarization-entangled states. With regard to the four-photon cluster-type state, it can be generated in two distributed nodes with less experimental requirements, integrating the features of three logical gates.
32
Brandt, Sebastian, Elem Güzel Kalaycı, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. "Querying Log Data with Metric Temporal Logic." Journal of Artificial Intelligence Research 62 (August 31, 2018): 829–77. http://dx.doi.org/10.1613/jair.1.11229.
Full textAbstract:
We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case full MTL is known to be undecidable. We also prove that nonrecursive datalogMTL is PSPACE-complete for combined complexity and in AC0 for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex temporal concepts from typical user queries and thereby facilitate access to temporal log data. Our experiments with Siemens turbine data and MesoWest weather data show that datalogMTL ontology-mediated queries are efficient and scale on large datasets.
33
Chiu, Po-Jui, Wei-Chung Cheng, Dong-Chen Tsai, and Zuo-Min Tsai. "Robust and fast near-field antenna measurement technique." International Journal of Microwave and Wireless Technologies 8, no. 4-5 (April 29, 2016): 777–84. http://dx.doi.org/10.1017/s1759078716000581.
Full textAbstract:
Traditional near-field antenna measurements use the sampling theorem to reconstruct the antenna pattern perfectly. However, a large number of measurement points are required for this approach. To address this problem, in this study, we propose a technique to accelerate the near-field antenna measurement, which is achieved by sparse E-field sampling in the region where the E-field changes smoothly and dense sampling in the region where the field changes rapidly. Further, our approach ensures robustness of measurement; the E-field information need not be known before carrying out measurements. Our experimental results demonstrate that our technique can reduce the number of measuring points by at least 64.9% when measuring two different patterns (15-GHz horn antenna with θ = 0° and 10°).
34
Graham, Zackary A., Eva Garde, Mads Peter Heide-Jørgensen, and Alexandre V. Palaoro. "The longer the better: evidence that narwhal tusks are sexually selected." Biology Letters 16, no. 3 (March 2020): 20190950. http://dx.doi.org/10.1098/rsbl.2019.0950.
Full textAbstract:
Once thought to be the magical horn of a unicorn, narwhal tusks are one of the most charismatic structures in biology. Despite years of speculation, little is known about the tusk's function, because narwhals spend most of their lives hidden underneath the Arctic ice. Some hypotheses propose that the tusk has sexual functions as a weapon or as a signal. By contrast, other hypotheses propose that the tusk functions as an environmental sensor. Since assessing the tusks function in nature is difficult, we can use the morphological relationships of tusk size with body size to understand this mysterious trait. To do so, we collected morphology data on 245 adult male narwhals over the course of 35 years. Based on the disproportional growth and large variation in tusk length we found, we provide the best evidence to date that narwhal tusks are indeed sexually selected. By combining our results on tusk scaling with known material properties of the tusk, we suggest that the narwhal tusk is a sexually selected signal that is used during male–male contests.
35
ZANIOLO, CARLO, MOHAN YANG, ARIYAM DAS, ALEXANDER SHKAPSKY, TYSON CONDIE, and MATTEO INTERLANDI. "Fixpoint semantics and optimization of recursive Datalog programs with aggregates." Theory and Practice of Logic Programming 17, no. 5-6 (August 23, 2017): 1048–65. http://dx.doi.org/10.1017/s1471068417000436.
Full textAbstract:
AbstractA very desirable Datalog extension investigated by many researchers in the last 30 years consists in allowing the use of the basic SQL aggregates min, max, count and sum in recursive rules. In this paper, we propose a simple comprehensive solution that extends the declarative least-fixpoint semantics of Horn Clauses, along with the optimization techniques used in the bottom-up implementation approach adopted by many Datalog systems. We start by identifying a large class of programs of great practical interest in which the use of min or max in recursive rules does not compromise the declarative fixpoint semantics of the programs using those rules. Then, we revisit the monotonic versions of count and sum aggregates proposed by Mazuran et al. (2013b, The VLDB Journal 22, 4, 471–493) and named, respectively, mcount and msum. Since mcount, and also msum on positive numbers, are monotonic in the lattice of set-containment, they preserve the fixpoint semantics of Horn Clauses. However, in many applications of practical interest, their use can lead to inefficiencies, that can be eliminated by combining them with max, whereby mcount and msum become the standard count and sum. Therefore, the semantics and optimization techniques of Datalog are extended to recursive programs with min, max, count and sum, making possible the advanced applications of superior performance and scalability demonstrated by BigDatalog (Shkapsky et al. 2016. In SIGMOD. ACM, 1135–1149) and Datalog-MC (Yang et al. 2017. The VLDB Journal 26, 2, 229–248).
36
Silva, Andrezza Braga Soares, Maria Michele Araujo de Sousa Cavalcante, Ana Caroline Carvalho Santos, Sergio Paulo Lima Guerra, Luana Oliveira Lopes, Dayseanne Oliveira Bezerra, Aila Alves Rocha Vieira, and Airton Mendes Conde Júnior. "Anatomy and arterial vascularization of female genital system of margay (Leopardus weidii)." Jornal Interdisciplinar de Biociências 1, no. 1 (December 7, 2015): 9. http://dx.doi.org/10.26694/2448-0002.vl1iss1pp9-12.
Full textAbstract:
The margay (Leopardus wiedii) belongs to Carnivora order and present’s nocturnal habits. There are few studies using this specie, whereas it is between feline species vulnerable to extinction. Thus, we propose a descriptive study about female genital system and behavior of the arteries responsible for the blood supply to these organs in margay. It used one exemplary victim of poaching that to death. The animal was stored in freezer. Subsequent to defrost at room temperature, it proceeded with the solution injection Leoprene Latex ‘650’ colored in red for better identification of vessels before the adjacent strutures. The specimen was fixed using an aqueous 10% formaldehyde with subsequent immersion in the same fixative solution. The genital system were dissected and the organs and arterial branches were identified and photodocumented. The female genital system of margay consists of a pair of ovaries, uterus with a pair of uterine horns, vagina and vulva. The arterial distribution of female system have a common vessel to iliac artery which branches and leads to internal pudendal artery sends a branch along the pudendal nerve pathway, urogenital artery. This, we performed divided into two branches, cranial and caudal. The cranial branch irrigates laterally cervix and uterine horns and caudal branch, vagina and vulva. The ovarian arteries, peers, originate from abdominal aorta only vascularization the ovaries. The female genital system and vascularization of the genitals organs of margay resembles of domestic carnivores including cats and some wild felines like the ocelot and find differences with the same description held in other domestic and wild species. https://doi.galoa.com.br/doi/10.17648/jibi-2448-0002-1-1-4163
37
Cudd, Ann E. "COMMITMENT AS MOTIVATION: AMARTYA SEN’S THEORY OF AGENCY AND THE EXPLANATION OF BEHAVIOUR." Economics and Philosophy 30, no. 1 (March 2014): 35–56. http://dx.doi.org/10.1017/s0266267114000030.
Full textAbstract:
This paper presents Sen's theory of agency, focusing on the role of commitment in this theory as both problematic and potentially illuminating. His account of some commitments as goal-displacing gives rise to a dilemma given the standard philosophical theory of agency.Eithercommitment-motivated actions are externally motivated, in which case they are not expressions of agency,orsuch actions are internally motivated, in which case the commitment is not goal-displacing. I resolve this dilemma and accommodate his view of commitment as motivation by developing a broader descriptive theory of agency, which recognizes both agent goal-directed and goal-displacing commitments. I propose a type of goal-displacing commitment, which I call ‘tacit commitment’, that can be seen to fit between the horns. Tacit commitments regulate behaviour without being made conscious and explicit. This resolution suggests a means of bridging the normative/descriptive gap in social-scientific explanation.
38
Wu, He-Jin, Zhao Jin, and Ai-Dong Zhu. "Optimized decoherence suppression of tripartite entanglement in finite temperature environments using weak measurement and quantum measurement reversal." International Journal of Quantum Information 17, no. 01 (February 2019): 1950001. http://dx.doi.org/10.1142/s0219749919500011.
Full textAbstract:
In practical application, since quantum entanglement is inevitably destroyed by thermal noise resulted from environment, protecting entanglement from decoherence in thermal bath environment becomes a critically important issue in the field of quantum information. In this work, we propose a scheme to protect the tripartite Greenberger–Horne–Zeilinger (GHZ) entanglement state subjected to the generalized amplitude damping (GAD) channel based on the quantum technique of weak measurement (WM) and quantum measurement reversal (QMR). By optimizing the strengths of WM and QMR, the decoherence caused by the channel can be effectively suppressed. The results show that after performing the optimal pre- and post-channel weak measurement, the negativity of the GHZ state can be effectively improved with a certain probability, and the phenomenon of sudden death can be delayed to a certain degree. This scheme can be applied to the decoherence suppression of GAD channel at finite temperature.
39
Den Hartog, Deanne N., Annebel H. B. De Hoogh, and Frank D. Belschak. "Toot Your Own Horn? Leader Narcissism and the Effectiveness of Employee Self-Promotion." Journal of Management 46, no. 2 (June 27, 2018): 261–86. http://dx.doi.org/10.1177/0149206318785240.
Full textAbstract:
Self-promotion is a form of impression management aiming to present to others a positive image of oneself by emphasizing one’s strengths, contributions, or accomplishments. In the workplace, self-promotion is often targeted at leaders, with employees trying to show a positive image and impress their leader. Self-promotion does not always impress observers though, and we propose that leaders high on narcissism are more likely to be impressed by employee self-promotion than those low on narcissism for two reasons. First, narcissists endorse and engage in self-promotion themselves, and the similarity-attraction principle suggests that people more easily develop affective regard for and show more positive behavior towards those who are more like them, resulting in having a better relationship with them. Second, because narcissists are instrumental and exploitative, they are particularly sensitive to self-promotors’ message that they are an important and influential group member who potentially forms a useful asset to the leader. In turn, we expect high leader-member exchange (LMX) and perceived importance to be positively related to leader evaluations of employee performance. We tested this model twice, once using two scenario experiments and once in a multisource field study among 311 leader-follower dyads. Overall, the results suggest that, as expected, the relationship between self-promotion and both perceived LMX and perceived importance of the employee depends on leader narcissism.
40
Alonso-Ovalle, Luis, and Aron Hirsch. "Keep 'only' strong." Semantics and Linguistic Theory 28 (October 30, 2018): 251. http://dx.doi.org/10.3765/salt.v28i0.4439.
Full textAbstract:
As defined in Horn 1969, only (p) presupposes p. von Fintel & Iatridou (2007) note, however, that only (have to p) may presuppose that p is possible, rather than necessary, and propose revising the analysis of only to weaken its contribution. Building on Ippolito 2007, we show that this revision predicts interpretations which are too weak in data involving plurals and negation. A paradox thus arises: Horn’s only is too strong in some cases, but required in others. To resolve the paradox, we maintain Horn’s only, but introduce an external source of weakening that is not always available: in von Fintel and Iatridou’s modal environment, the argument of only is weakened by a covert operator (AT LEAST, Crnic ̆ 2011; Schwarz 2004) that is blocked in the problematic cases involving plurals and negation.
41
CHANG, H. H., and M. H. KAUFMAN. "Transient Bradycardia in a Mouse Model for the Oromandibulofacial Limb Hypogenesis Syndrome Following Chorionic Villus Sampling." Journal of Hand Surgery 22, no. 2 (April 1997): 243–49. http://dx.doi.org/10.1016/s0266-7681(97)80073-3.
Full textAbstract:
Amniotic sac puncture carried out on day 13 mouse embryos induces a high incidence of craniofacial and limb abnormalities that resemble the anomalies seen in the oromandibulofacial limb hypogenesis syndrome occasionally encountered following chorionic villus sampling carried out during early human pregnancy. It has been hypothesized that this syndrome probably has a vascular basis, possibly due to hypotension and hypoperfusion of tissues secondary to placental trauma, though no detailed aetiology has so far been described. We have determined embryonic heart rates in control embryos, in embryos at intervals following anaesthesia, and following amniotic sac puncture. An increased duration of bradycardia is seen following this procedure which is not observed in anaesthetic-only controls and in embryos in the contralateral (non-operated) uterine horns. We discuss why the incidence of oromandibulofacial limb hypogenesis syndrome is low following chorionic villus sampling, and propose a possible aetiology for the limb abnormalities seen in this condition.
42
Darras, Kevin, Bjørn Kolbrek, Andreas Knorr, Volker Meyer, and Mike Zippert. "Assembling cheap, high-performance microphones for recording terrestrial wildlife: the Sonitor system." F1000Research 7 (November 5, 2019): 1984. http://dx.doi.org/10.12688/f1000research.17511.2.
Full textAbstract:
Passive acoustic monitoring of wildlife requires sound recording systems. Several cheap, high-performance open-source solutions currently exist for recording soundscapes, but all of them are still reliant on commercial microphones. Commercial microphones are relatively expensive, specialized for particular taxa, and often have incomplete technical specifications. We designed Sonitor, an open-source microphone system to address all needs of ecologists that sample terrestrial wildlife acoustically. We evaluated the cost and durability of our system and measured trade-offs that are seldom acknowledged but which universally limit microphones' functions: weatherproofing versus sound attenuation, windproofing versus transmission loss after rain, signal loss in long cables, and analog sound amplification versus directivity with acoustic horns. We propose five microphone configurations suiting different budgets (from 8 to 33 EUR per unit), and fulfilling different sound quality and flexibility requirements. The Sonitor system consists of sturdy acoustic sensors that cover the entire sound frequency spectrum of sonant terrestrial wildlife at a fraction of the cost of commercial microphones.
43
Tao, Rui, Xiao-Tao Mo, Zheng-Yuan Xue, and Jian Zhou. "Practical one-step synthesis of multipartite entangled states on superconducting circuits." International Journal of Quantum Information 17, no. 07 (October 2019): 1950051. http://dx.doi.org/10.1142/s0219749919500515.
Full textAbstract:
Quantum entanglement is an important resource for quantum information processing tasks. However, realistic multipartite entangled state production is very difficult. In this paper, we propose an efficient single-step scheme for generating many body Greenberger–Horne–Zeilinger (GHZ) states on superconducting circuits by using a superconducting transmission-line resonator (TLR) interact with [Formula: see text] superconducting transmon qubits. The distinct merit of our proposal is that it does not require the qubit-resonator coupling strengths to be the same, which is usually impractical experimentally, and thus is one of the main reasons for entanglement generation infidelity in previous single-step schemes. The removing of the uniform interaction requirement is achieved by modulating the qubits splitting frequencies with ac microwave fields, which results in tunable individual qubit-resonator coupling strength, and thus effective uniform qubit–qubit interaction Hamiltonian can be obtained. Since microwave control is conventional nowadays, our proposal can be directly tested experimentally, which makes previous multipartite entangled states generation schemes more efficient.
44
Darras, Kevin, Bjørn Kolbrek, Andreas Knorr, Volker Meyer, Mike Zippert, and Arne Wenzel. "Assembling cheap, high-performance microphones for recording terrestrial wildlife: the Sonitor system." F1000Research 7 (February 19, 2021): 1984. http://dx.doi.org/10.12688/f1000research.17511.3.
Full textAbstract:
Passive acoustic monitoring of wildlife requires sound recording systems. Several cheap, high-performance, or open-source solutions currently exist for recording soundscapes, but all rely on commercial microphones. Commercial microphones are relatively expensive, specialized for particular taxa, and often have incomplete technical specifications. We designed Sonitor, an open-source microphone system to address all needs of ecologists that sample terrestrial wildlife acoustically. We evaluated the cost and durability of our system and measured trade-offs that are seldom acknowledged but which universally limit microphones' functions: weatherproofing versus sound attenuation, windproofing versus transmission loss after rain, signal loss in long cables, and analog sound amplification versus directivity with acoustic horns. We propose five microphone configurations suiting different budgets (from 8 to 33 EUR per unit), and fulfilling different sound quality and flexibility requirements. The Sonitor system consists of sturdy acoustic sensors that cover the entire sound frequency spectrum of sonant terrestrial wildlife at a fraction of the cost of commercial microphones.
45
Mahaney, Kelly B., and Saleem I. Abdulrauf. "Anatomic Relationship of the Optic Radiations to the Atrium of the Lateral Ventricle: Description of a Novel Entry Point to the Trigone." Operative Neurosurgery 63, suppl_4 (October 1, 2008): ONS195—ONS203. http://dx.doi.org/10.1227/01.neu.0000313121.58694.4a.
Full textAbstract:
Abstract Objective: The aim of this study was to delineate the anatomic relationship of the optic radiations to the atrium of the lateral ventricle using the Klingler method of white matter fiber dissection. These findings were applied to define a surgical approach to the trigone that avoids injury to the optic radiations. Methods: Sixteen cadaveric hemispheres were prepared by several cycles of freezing and thawing. With the use of wooden spatulas, the specimens were dissected in a stepwise fashion. Each hemisphere was dissected first from a lateromedial direction and then from a mediolateral approach, and careful attention was given to the course and direction of the optic radiation fibers at all points from Meyer’s loop to their termination at the cuneus and the lingual gyrus. Results: In all 16 dissected hemispheres, the following observations were made: 1) the entire lateral wall of the lateral ventricle—from the temporal horn to the trigone to the occipital horn—is covered by the optic radiations; and 2) the medial wall of the lateral ventricle in the area of the trigone is entirely free of the optic radiations. Conclusion: The results of this study confirm that the medial parieto-occipital interhemispheric approach to the ventricular trigone will avoid injury to the optic radiations and the calcarine cortex. The authors describe the most direct trajectory to the ventricular trigone using this approach and propose a point of entry that transects the cingulate gyrus at a point 5 mm superior and 5 mm posterior to the falcotentorial junction.
46
Guo, Dehuang, Jennifer Ling, Mong-Heng Wang, Jin-Xiong She, Jianguo Gu, and Cong-Yi Wang. "Physical Interaction and Functional Coupling between ACDP4 and the Intracellular Ion Chaperone COX11, an Implication of the Role of ACDP4 in Essential Metal Ion Transport and Homeostasis." Molecular Pain 1 (January 1, 2005): 1744–8069. http://dx.doi.org/10.1186/1744-8069-1-15.
Full textAbstract:
Divalent metal ions such as copper, manganese, and cobalt are essential for cell development, differentiation, function and survival. These essential metal ions are delivered into intracellular domains as cofactors for enzymes involved in neuropeptide and neurotransmitter synthesis, superoxide metabolism, and other biological functions in a target specific fashion. Altering the homeostasis of these essential metal ions is known to connect to a number of human diseases including Alzheimer disease, amyotrophic lateral sclerosis, and pain. It remains unclear how these essential metal ions are delivered to intracellular targets in mammalian cells. Here we report that rat spinal cord dorsal horn neurons express ACDP4, a member of Ancient Conserved Domain Protein family. By screening a pretransformed human fetal brain cDNA library in a yeast two-hybrid system, we have identified that ACDP4 specifically interacts with COX11, an intracellular metal ion chaperone. Ectopic expression of ACDP4 in HEK293 cells resulted in enhanced toxicity to metal ions including copper, manganese, and cobalt. The metal ion toxicity became more pronounced when ACDP4 and COX11 were co-expressed ectopically in HEK293 cells, suggesting a functional coupling between them. Our results indicate a role of ACDP4 in metal ion homeostasis and toxicity. This is the first report revealing a functional aspect of this ancient conserved domain protein family. We propose that ACDP is a family of transporter protein or chaperone proteins for delivering essential metal ions in different mammalian tissues. The expression of ACDP4 on spinal cord dorsal horn neurons may have implications in sensory neuron functions under physiological and pathological conditions.
47
Vettikalladi, Hamsakutty, Waleed Tariq Sethi, and Majeed A. Alkanhal. "High Gain and High Efficient Stacked Antenna Array with Integrated Horn for 60 GHz Communication Systems." International Journal of Antennas and Propagation 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/418056.
Full textAbstract:
In order to achieve wide bandwidth and high gain, we propose a stacked antenna structure having a microstrip aperture coupled feeding technique with a mounted Horn integrated on it. With optimized parameters, the single antenna element at a center frequency of 60 GHz, exhibits a wide impedance bandwidth of about 10.58% (58.9–65.25 GHz) with a gain and efficiency of 11.78 dB and 88%, respectively. For improving the gain, we designed a 2 × 2 and 4 × 4 arrays with a corporate feed network. The side lobe levels were minimized and the back radiations were reduced by making use of a reflector atλ/4distance from the corporate feed network. The2×2array structure resulted in improved gain of 15.3 dB with efficiency of 83%, while the4×4array structure provided further gain improvement of 18.07 dB with 68.3% efficiency. The proposed design is modelled in CST Microwave Studio. The results are verified using HFSS, which are found to be in good agreement.
48
Bahuleyan, Biji, Sunil Manjila, Shenandoah Robinson, and Alan R. Cohen. "Minimally invasive endoscopic transventricular hemispherotomy for medically intractable epilepsy: a new approach and cadaveric demonstration." Journal of Neurosurgery: Pediatrics 6, no. 6 (December 2010): 536–40. http://dx.doi.org/10.3171/2010.9.peds10267.
Full textAbstract:
Object Surgery for medically intractable epilepsy secondary to unihemispheric pathology has evolved from more aggressive hemispherectomy to less aggressive variations of hemispherotomy. The authors propose a novel minimally invasive endoscopic hemispherotomy that should give results comparable to conventional open craniotomy and microsurgery. Methods Endoscopic transventricular hemispherotomy was performed in 5 silicon-injected cadaveric heads in the authors' minimally invasive neurosurgery laboratory. The lateral ventricle was accessed endoscopically through a frontal and occipital bur hole. White matter disconnections were performed to unroof the temporal horn and to disconnect the frontobasal region, corpus callosum, and fornix. Results Using an endoscopic transventricular approach, all white matter disconnections were successfully performed in all 5 cadavers. Conclusions The authors have demonstrated the feasibility of endoscopic transventricular hemispherotomy in a cadaveric model. The technique is simple and could be useful in a subgroup of patients with parenchymal volume loss and ventriculomegaly.
49
Al-Zahre, Nisrine, and Nora Boneh. "Pronominal Non-Core Datives in Syrian Arabic." Brill’s Journal of Afroasiatic Languages and Linguistics 8, no. 1 (2016): 3–36. http://dx.doi.org/10.1163/18776930-00801002.
Full textAbstract:
In this paper we describe the pragmatic, lexical and syntactic properties of the Syrian Arabic Coreferential Dative Construction (CDC), featuring a dative element bearing agreement features which are identical to those of the subject in the clause, the Coreferential Dative (CD), and an obligatory expression of attenuative vague measure, described by us in Al-Zahre & Boneh (2010). We first show that the CD, which has no truth conditional meaning, contributes to the creation of a Conventional Implicature (Horn 2004, Potts 2005). Second, we propose a way to compositionally integrate the CD into the derivation of these constructions by arguing that the visible pronominal features are non-referential but rather the morphological reflex of checked uninterpretable phi-features on a defective applicative head. To couch the analysis in a wider context, we show how it can extend to other categories of non-core dative in Syrian Arabic.
50
LISI, FRANCESCA A. "Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming." Theory and Practice of Logic Programming 8, no. 3 (May 2008): 271–300. http://dx.doi.org/10.1017/s1471068407003195.
Full textAbstract:
AbstractBuilding rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim, an ad-hoc markup language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as$\mathcal{AL}$-log that integrates the description logic$\mathcal{ALC}$and the function-free Horn clausal languageDatalog. In this paper, we consider the problem of automating the acquisition of these rules for the Semantic Web. We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of$\mathcal{AL}$-log. The framework is valid whatever the scope of induction (description versus prediction) is. Yet, for illustrative purposes, we also discuss an instantiation of the framework which aims at description and turns out to be useful in Ontology Refinement.