bluuebunny/crossref_metadata_2025 huggingface dataset:
A study of effect of tarsal tunnel decompression on sensory improvement in diabetic foot: a prospective randomized control trial
Authors: S. Lakshmanan , M. S. Viswanathan , Anbazhagan R.
Published: October 2018

Background: In India approximately, 45000 legs are amputated every year and almost 75% of these amputations are carried out in neuropathic feet which are potentially preventable. Diabetic peripheral nerves are at risk of entrapment neuropathies focally, where these nerves are contained in a closed space. The aim of the study was to find out the effect of decompression of compressed posterior tibial nerve and its branches at tarsal tunnel in restoration of sensation in diabetic foot.Methods: A total of 70 diabetic patients with ulcer foot in one limb (test limb) and with no ulcer on the other limb (control limb) were selected for study. The test limb was subjected to tarsal tunnel release. Sensory recovery was evaluated in the ulcer limb and compared with normal limb in same patient and results were evaluated statistically for significance.Results: Present study shows that following tarsal tunnel decompression surgery on test limb, 65 patients (93%) had sensory gain and 5 patients (7%) had documented no sensory gain on test limb, with statistical significance. After de-compressive surgery on the test limb, 69 patients (98.6%) were documented to have resolving of Tinel sign in the test limb with sensory improvement, suggesting adequate decompression and 1 patient (1.4%) was documented to have persistent Tinel sign suggesting possibility of inadequate decompression with no recovery of sensation, with statistical significance.Conclusions: Present study reveals that decompression of tarsal tunnel in diabetic ulcer foot patients leads to definite improvement in sensation of foot which will prevent further ulcer formation and resultant complications ending in amputations.
Clinical presentation and management of locally advanced breast carcinoma
Authors: Gedam Manik C. , Shukla Keval , Ingale Leena Y.
Published: October 2018

Background: Locally advanced breast cancer (LABC) encompasses a heterogeneous collection of breast neoplasia with widely different clinical and biological characteristics. Multidisciplinary therapy has become the treatment of choice for these patients. The present study was undertaken to study the clinical presentation and effects of various modes of management of LABC.Methods: Total 45 patients presented with stage III and inflammatory carcinoma of breast were included in the study and treated with neoadjuvant chemotherapy, followed by surgery and radiotherapy. Clinical and pathological responses to different chemotherapy regimens were assessed according to World Health Organization criteria. Results: Majority of patients were in stage IIIA (55.6%) followed by stage IIIB (37.7%). Lump was most common symptom in all the cases followed by distortion of nipple (35.5%). After neoadjuvant chemotherapy, 70% of cases had clinical partial response and 25% of cases had clinical complete response and all except one case were converted from inoperable to operable cases. Histopathology was found to be infiltrating ductal carcinoma in 91.1% of cases. Flap necrosis (27.2%) and seroma (15.9%) was major complications of surgery while alopecia (88.8%), anemia (62.2%) were major complications of chemotherapy. Follow up data suggested that 77.7% patients doing well. One patient had expired after developing distant metastasis and 20% patients were lost to follow up.Conclusions: Treatment of LABC is multimodal and neoadjuvant chemotherapy converts inoperable cases to operable cases and improves longevity of life of the patient. The results of inflammatory carcinoma remain to be dismal in spite of multimodality treatment.
Predictive factors for intraoperative excessive bleeding in multinodular goitre with or without hyperthyroidism
Authors: Sagar Ramesh C. , Ravikumara Gudekote , Malipatil V. B.
Published: October 2018

Background: Multinodular goitre disease frequently results in and is the most common cause of hyperthyroidism. It also often results in an enlarged thyroid. It also known as toxic diffuse goiter, is an autoimmune disease that affects the thyroid. This study evaluates all the factors that cause intra-operative blood loss and how it affects the Grave’s disease.Methods: This study was conducted in Raichur Institute of Medical Sciences Raichur on 200 patients with multinodular goitre disease, who underwent thyroidectomy during the period between November 2010 to July 2015.Results: The majority of patients were females which constitute about 76.3% with a median age of 33 years. The median period between the onset of the disease and operation was 15 months. Weight of thyroid in grams was 40. Post-operative hospital stay was 4 hours. Univariate analysis revealed that the strongest correlation of AIOBL was noted with the weight of thyroid (p <0.001). Additionally, AIOBL was correlated positively with the period between disease onset and surgery (p <0.001) and negatively with preoperative free T4 (p <0.01). Occurrences of postoperative complications, such as recurrent laryngeal nerve palsy or hypoparathyroidism, and postoperative hospital stay were not correlated with AIOBL.Conclusions: For multinodular goitre, for excessive bleeding during surgery, a large goiter presented as a predictive factor, and transfusion of blood should be considered in cases in which goitre weighs more than 200 g.
Fracture penis: rare occurrence
Authors: Yadav Akhilesh Kumar , Dwivedi Sankalp , Bassi Sagar , Singh Sunil Kumar
Published: October 2018

Fracture Penis is not usual. It is a tear in the tunica albuginea of the corpora cavernosa with or without involvement of corpus spongiosum and urethra. The usual cause is abrupt bending of the erect penis by blunt trauma, most commonly during sexual intercourse. A crackling sound, pain, detumescences, bruising, swelling, and bleeding per urethra are the common symptoms reported by the patients. Early surgical management is treatment of choice. Diagnosis of Penile Fracture refers to a rupture of the corpus cavernosum induced by blunt trauma to erect penis. Mainly diagnosed clinically from their stereotypical crackling sound from the erect penis at the moment of injury, rapidly followed by acute swelling, pain and penile deformity. Treatment recommendations include immediate exploration and repair. Surgical repair requires evacuation of hematoma, identification of tear, repair of the tear and ligation of any disrupted vasculature. Long term complications after repair include penile deviation, painful intercourse, painful erection and erectile dysfunction. The diagnosis of penile fracture is mostly clinical. Based on physical examination and typical crackling sound at the time of injury. Prompt surgical exploration and repair are advocated in almost all cases. Immediate surgery reduces long term complication which is post-traumatic penile curvature.
Mimicking T- shaped giant meckel's diverticulum: another rare anatomical variant complicating small bowel obstruction by adhesions
Authors: Mannan Ambreen , Alshumari Osama A. E.
Published: October 2018

We report case with Meckel's diverticulitis complicated by adhesive intestinal obstruction. An adolescent of 13-yr-old boy with history of recurrent right sided lower abdominal pain and vomiting for two days. According to his mother he had been suffering this type of pain intermittently for last three years which was treated conservatively. This time the pain was out of proportion therefore she reported in tertiary hospital. On examination patient was tender at right iliac fossa region with abdominal guarding. CT scan of abdomen revealed multiple fluid-filled, dilated proximal bowel loops. Meckel's diverticulum was not suspected until diagnostic laparoscopy was performed. Patient was converted to open laparotomy where the giant (13 cm sized), narrow base mimicking T-shaped Meckel’s diverticulum and inter bowel loop adhesions near terminal ileum were seen.  About 20 cm affected ileal segment with Meckel’s diverticulum resected and primary end to end anastomosis performed. The postoperative course remained uneventful. Histopathology report confirms the inflammation of Meckel’s diverticulum. Significance of this type of Meckel’s diverticulum is its T-shaped mimicking appearance with giant size body and narrow base and was manifested with recurrent sub occlusive intestinal obstruction in the period of three years. It is the second ever reported case in English journals.
Amit Jain’s new ‘rule of 3’ for diabetic foot: an excellent compilation
Authors: S. J. Haridarshan
Published: October 2018

We have seen over last decade various new concepts in the field of diabetic foot. Most of them aimed at simplifying the concepts in diabetic foot. The latest concept being the Amit Jain’s system of practice, a modern diabetic foot surgical approach, that was designed and created by Amit Jain, one of the pioneering Diabetic foot surgeon. This is the first new principle and practice in diabetic foot being proposed from Indian subcontinent that aimed at improvising and standardizing diabetic foot globally. Amit Jain’s rule of 3 is the new concept which is an excellent compilation of all the 3’s that can be seen in diabetic foot. This article throws a brief highlight on this new innovative rule.
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
Authors: Baar Thomas , Staroletov Sergey
Published: October 2018

KeYmaera is an interactive theorem prover and is used to verify safety properties of cyber-physical systems (CPSs). It implements a Dynamic Logic for Hybrid Programs (HPs), while a HP models a CPS very precisely. Verifying properties of a given system in KeYmaera can become a challenge for a user since the proof is authored in a classical sequent calculus framework and a successful proof requires from the user intimate knowledge of the available calculus rules. Another barrier for widespread application of KeYmaera is the purely textual representation of current proof goals, what requires from the user very good training, experience, and patience. In this paper, we present an alternative verification approach based on KeYmaera, which drastically improves usability and minimizes user interaction. The main idea is to let the user annotate invariants and contracts to states of the hybrid automaton. Thus, the user can employ the graphical representation of the modelled system and is not bound to the purely textual form of hybrid programs as in KeYmaera. Based on the user-provided contracts, one can generate proof obligations, which are much simpler than the original proof goal in KeYmaera. The article is published in the authors’ wording.
On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories
Authors: Vega Vice Jorge , Mikhailov Valery
Published: October 2018

Nowadays, the methods of program-targeted management for the development of various socio-economic systems of complex structure, such as agricultural areas, have become universal. Therefore, the current tasks at hand are the verification of already created development programs and the development of "proper" programs for the development of such systems, by analogy with the verification and development of proper computer programs through developed disciplines in theoretical programming. In this paper, in order to solve the problem of verification of development programs for agricultural territories, a structural scheme of the program is first constructed, through which the axiomatic theory is created, using Hoare’s algorithmic logic system. The main problem in the construction of the axiomatic theory is the development of the axioms of the theory reflecting the preconditions and effects of the implementation of meaningful actions indicated in the text of the development program. The verification of the development program corresponds to the probability of some Hoare triplet, according to the initial and target conditions of the program. For the task of elaboration of the right development programs, the mechanism for constructing a domain model using the PDDL family description languages is described. The description of a specific model is purely declarative in nature and consists of descriptions of predicates and actions of the chosen subject area. In this paper, it is shown how on the described model with the help of intelligent planners, including temporal planners such as OPTIC, solutions to the targets of development programs can be automatically built. Based on expert knowledge and activity standards, a model of an agricultural territory is constructed, a brief description of which is given in the work. The conducted experiments showed the effectiveness of the proposed approach for the development of proper development programs.
The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
Authors: Kondratyev Dmitry , Maryasov Ilya , Nepomniaschy Valery
Published: October 2018

During deductive verification of programs written in imperative languages, the generation and proof of verification conditions corresponding to loops can cause difficulties, because each one must be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant synthesis are heuristic ones. This impedes its application. An alternative is the symbolic method of loop invariant elimination suggested by V.A. Nepomniaschy in 2005. Its idea is to represent a loop body in a form of special replacement operation under certain constraints. This operation expresses loop effect in a symbolic form and allows to introduce an inference rule which uses no invariants in axiomatic semantics. This work represents the further development of this method. It extends the mixed axiomatic semantics method suggested for C-light program verification. This extension includes the verification method of iterations over changeable arrays possibly with loop exit in C-light programs. The method contains the inference rule for iterations without loop invariants. This rule was implemented in verification conditions generator which is a part of the automated system of C-light program verification. To prove verification conditions automatically in ACL2, two algorithms were developed and implemented. The first one automatically generates the replacement operation in ACL2 language, the second one automatically generates auxiliary lemmas which allow to prove the obtained verification conditions in ACL2 successfully in automatic mode. An example which illustrates the application of the mentioned methods is described.
On the Expressive Power of Some Extensions of Linear Temporal Logic
Authors: Gnatenko Anton , Zakharov Vladimir
Published: October 2018

One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions. The behaviour of such a reactive system displays itself in the correspondence between flows of control signals and compositions of basic actions performed by the system. We believe that the behaviour of this kind requires more suitable and expressive means for formal specifications than the conventionalLT L. In this paper, we define some new (as far as we know) extensionLP-LT Lof Linear Temporal Logic specifically intended for describing the properties of transducers computations. In this extension the temporal operators are parameterized by sets of words (languages) which represent distinguished flows of control signals that impact on a reactive system. Basic predicates in our variant of the temporal logic are also languages in the alphabet of basic actions of a transducer; they represent the expected response of the transducer to the specified environmental influences. In our earlier papers, we considered a model checking problem forLP-LT LandLP-CT Land showed that this problem has effective solutions. The aim of this paper is to estimate the expressive power ofLP-LT Lby comparing it with some well known logics widely used in the computer science for specification of reactive systems behaviour. We discovered that a restricted variant LP-1-LT Lof our logic is more expressive thanLTLand another restricted variantLP-n-LT Lhas the same expressive power as monadic second order logic S1S.
On Safety of Unary and Non-unary IFP-operators
Authors: Dudakov Sergey
Published: October 2018

In this paper, we investigate the safety of unary inflationary fixed point operators (IFPoperators). The safety is a computability in finitely many steps. IFP-operators exactly correspond to recursive SQL-queries hence this problem has a value for database theory. The problem appears from the fact that if recursive queries contain universe functions and relations, then its execution can fall into an infinite loop. Moreover, universal computational devices (Turing machines et al.) can be modelled by such queries. Hence the problem of the finite computability for such queries is undecidable. In our previous works we established some properties of a universe which imply the finite computability of all IFP-operators in the universe. Here, we investigate a connection between an arity of IFP-operators and their safety. We prove that some results for general IFP-operators don’t hold for unary ones. We construct a universe where all unary unnesed IFP-operators are safe. But in this universe there exist unsafe nested unary IFP-operators and unsafe unnested binary IFP-operators. This differs from general IFP-operators because in general case the safety of all unnesed IFP-operators implies the safety of all IFP-operators. Also there exist elementary equivalent universes where some unary unnesed IFPoperators become unsafe. For general IFP-operators it is also impossible.
Polyprograms and Polyprogram Bisimulation
Authors: Grechanik Sergei
Published: October 2018

A polyprogram is a generalization of a program which admits multiple definitions of a single function. Such objects arise in different transformation systems, such as the Burstall-Darlington framework or equality saturation. In this paper, we introduce the notion of a polyprogram in a non-strict first-order functional language. We define denotational semantics for polyprograms and describe some possible transformations of polyprograms, namely we present several main transformations in two different styles: in the style of the Burstall-Darlington framework and in the style of equality saturation. Transformations in the style of equality saturation are performed on polyprograms in decomposed form, where the difference between functions and expressions is blurred, and so is the difference between substitution and unfolding. Decomposed polyprograms are well suited for implementation and reasoning, although they are not very human-readable. We also introduce the notion of polyprogram bisimulation which enables a powerful transformation called merging by bisimulation, corresponding to proving equivalence of functions by induction or coinduction. Polyprogram bisimulation is a concept inspired by bisimulation of labelled transition systems, but yet it is quite different, because polyprogram bisimulation treats every definition as self-sufficient, that is a function is considered to be defined by any of its definitions, whereas in an LTS the behaviour of a state is defined by all transitions from this state. We present an algorithm for enumerating polyprogram bisimulations of a certain form. The algorithm consists of two phases: enumerating prebisimulations and converting them to proper bisimulations. This separation is required because polyprogram bisimulations take into account the possibility of parameter permutation. We prove correctness of this algorithm and formulate a certain weak form of its completeness. The article is published in the author’s wording.
Etude on Recursion Elimination
Authors: Shilov Nikolay
Published: October 2018

Transformation-based program verification was a very important topic in early years of theory of programming. Great computer scientists contributed to these studies: John McCarthy, Amir Pnueli, Donald Knuth ... Many fascinating examples were examined and resulted in recursion elimination techniques known as tail-recursion and co-recursion. In the paper, we examine just a single example (but new we hope) of recursion elimination via program manipulations and problem analysis. The recursion pattern of the example matches descending dynamic programming but is neither tail-recursion nor corecursion pattern. Also, the example may be considered from different perspectives: as a transformation of a descending dynamic programming to ascending one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive and iterative programs (that can later serve as a casestudy for automatic theorem proving), or just as a fascinating algorithmic puzzle for fun and exercising in algorithm design, analysis, and verification. The article is published in the author’s wording.
Universal Hypergraphic Automata Representation by Autonomous Input Symbols
Authors: Khvorostukhina Ekaterina , Molchanov Vladimir
Published: October 2018

Hypergraphic automata are automata with state sets and input symbol sets being hypergraphs which are invariant under actions of transition and output functions. Universally attracting objects of a category of hypergraphic automata are automata Atm(H1,H2). Here,H1is a state hypergraph,H2is classified as an output symbol hypergraph, andS= EndH1× Hom(H1,H2) is an input symbol semigroup. Such automata are called universal hypergraphic automata. The input symbol semigroupSof such an automaton Atm(H1,H2) is an algebra of mappings for such an automaton. Semigroup properties are interconnected with properties of the algebraic structure of the automaton. Thus, we can study universal hypergraphic automata with the help of their input symbol semigroups. In this paper, we investigated a representation problem of universal hypergraphic automata in their input symbol semigroup. The main result of the current study describes a universal hypergraphic automaton as a multiple-set algebraic structure canonically constructed from autonomous input automaton symbols. Such a structure is one of the major tools for proving relatively elementary definability of considered universal hypergraphic automata in a class of semigroups in order to analyze interrelation of elementary characteristics of universal hypergraphic automata and their input symbol semigroups. The main result of the paper is the solution of this problem for universal hypergraphic automata for effective hypergraphs withp-definable edges. It is an important class of automata because such an algebraic structure variety includes automata with state sets and output symbol sets represented by projective or affine planes, along with automata with state sets and output symbol sets divided into equivalence classes. The article is published in the authors' wording.
Disordered Oscillations in a Neural Network of Three Oscillators with a Delayed Broadcast Connection
Authors: Glyzin Sergey , Marushkina Elena
Published: October 2018

A model of neural association of three pulsed neurons with a delayed broadcast connection is considered. It is assumed that the parameters of the problem are chosen near the critical point of stability loss by the homogeneous equilibrium state of the system. Because of the broadcast connection the equation corresponding to one of the oscillators can be detached in the system. The two remaining impulse neurons interact with each other and, in addition, there is a periodic external action, determined by the broadcast neuron. Under these conditions, the normal form of this system is constructed for the values of parameters close to the critical ones on a stable invariant integral manifold. This normal form is reduced to a four-dimensional system with two variables responsible for the oscillation amplitudes, and the other two, defined as the difference between the phase variables of these oscillators with the phase variable of the broadcast oscillator. The obtained normal form has an invariant manifold on which the amplitude and phase variables of the oscillators coincide. The dynamics of the problem on this manifold is described. An important result was obtained on the basis of numerical analysis of the normal form. It turned out that periodic and chaotic oscillatory solutions can occur when the coupling between the oscillators is weakened. Moreover, a cascade of bifurcations associated with the same type of phase rearrangements was discovered, where a self-symmetric stable cycle alternately loses symmetry with the appearance of two symmetrical cycles. A cascade of bifurcations of doubling occurs with each of these cycles with the appearance of symmetric chaotic regimes. With further reduction of the coupling parameter, these symmetric chaotic regimes are combined into a self-symmetric one, which is then rebuilt into a self-symmetric cycle of a more complex form compared to the cycle obtained at the previous step. Then the whole process is repeated. Lyapunov exponents were calculated to study chaotic attractors of the system.
WHEN MATTER IN THE CLASSROOM MATTERS: ENCOUNTERS WITH RACE IN PEDAGOGICAL CONVERSATIONS
Authors: Kummen Kathleen
Published: October 2018

This article considers how mattering and meaning are mutually constituted in the production of knowledge (Barad, 2007). Drawing on a research project with first year early childhood education (ECE) students in a university setting, I argue that material-feminism, as understood through the work of Barad (2007, 2008), offers a lens through which pedagogical practices can be re-conceptualized as more than anthropocentric endeavours. The research project explores the processes that occurred when a group of ECE students and I engaged with and in pedagogical narrations over one academic term as we attempted to make visible and disrupt the hegemonic images we held of both children and childhood. In the doing of pedagogical narrations, artefacts were produced that were not merely representations of our collaborative thinking. Rather, the artefacts that emerged-in between the material, the discursive and the participants, were themselves agentic; they invited us to shift our gaze and our conversation, and thereby new meanings and realities were produced. I provide one example that discusses how the presence of the artefacts invited “race” into a conversation of childhood in a way that reverberated in our thinking, feeling, and being. The article concludes by considering the pedagogical implications for learning, for both children and those learning to work with children, when matter comes to matter in the classroom.
Endothelio- and cardioprotective effects of vitamin в6 and folic acid in modelling methionine-induced hyperhomocysteinemia
Authors: Provotorov Vladimir Ya. , Korokin Mikhail Viktorovich , Pokrovskii Mikhail Vladimirovich , Povetkin Sergej V. , Lazareva Galina A. , Stepchenko Aleksandr A. , Bystrova Natalya A.
Published: October 2018

The endotelio- and cardioprotective effects of vitamin B6 (2 mg/kg) and folic acid (0.2 mg/kg) upon modeling of methionine-induced hyperhomocysteinemia via methionine intragastric administration at a dose of 3 g/kg were studied. It was shown that the combined use of vitamin B6 and folic acid allows on the background of a significant reduction in homocysteine concentrations normalizing the endothelial dysfunction coefficient and the parameters of maximum left ventricular pressure in response to intravenous administration of adrenaline. The research was partially supported by the grant of the President of the Russian Federation №MD-4711.2015.7.
Endothelium and cardioprotective effects of hmg-co-a-reductase in combination with L-arginine in endothelial dysfunction modeling
Authors: Denisyuk Tatiana Alekseevna , Lazareva Galina A. , Provotorov Vladimir Ya. , Pokrovskaya Tatyana G.
Published: October 2018

Using the combined application of L-arginine with HMG-Co-A reductase inhibitors simvastatin, atorvastatin, rosuvastatin and nanoparticulated rosuvastatin on the background of modeling of sepsis-induced disease through the introduction of strain 603 Staphylococcus aureus shows endotelio- and cardioprotective effects, manifesting itself in preventing the proliferation of endothelial dysfunction coefficient (CED), adrenoreactivity, maintenance of myocardial reserve and the normalization of biochemical markers values (Total NO, eNOS expression, C-reactive protein, IL-6, TNF). In this case, the combined therapy was so effective that the values obtained thereunder did not differ from those obtained from control animals.
Development and validation of methods of quantitative determination of the new antidiabetic drug in the blood plasma of rats by high performance liquid chromatography with mass spectrometric detection
Authors: Buzov Andrey A. , Kulikov Alexandr , Avtina Tatyana Valeryevna , Pokrovskii Mikhail Vladimirovich , Osipova Ol'ga A.
Published: October 2018

We developed a method of quantification of the new antidiabetic drug 3-(1h-benzimidazole-2-yl)-1,2,2-trimethyl-cyclopentane-carbonic acid (c7070) in the blood plasma of rats by high-performance liquid chromatography with mass-spectrometric detection. The analytical range of the method was 0.02-3876.0 μg in 1 ml of blood plasma. The research was partially supported by the grant of the President of the Russian Federation № MD-4711.2015.7 and МК-6135.2016.4.
Test-system for estimation of activity of GSK-3 inhibitors as antihypoxants and differentiation of endothelial progenitors in vitro
Authors: Burda Youri E. , Nadezhdin Sergey V. , Zubareva Ekaterina V. , Pokrovskii Mikhail Vladimirovich , Faitelson Alexander V. , Burda Svetlana , Shirina Maria S.
Published: October 2018

A model test-system was developed for validation in vitro of antihypoxic and endothelio-differentiating activity of newly created glycogen synthase kinase-3 inhibitors in comparison with the reference drug β4-thymosin.
Endothelioprotective property of the combination of the thioctic acid and rosuvastatin shown in the endothelial dysfunction models
Authors: Molchanova Olga Viktorovna , Pokrovskaya Tatyana G. , Povetkin Sergej V. , Reznikov Konstantin M.
Published: October 2018

During the experiment, the modeling of endothelial dysfunction of male rats was performed by intraperitoneal administration of L-NAME at a dose of 25 mg/kg for 7 days, and the same of female rats was performed by bilateral ovarioectomy and further intraperitoneal administration of L-NAME at a dose of 25 mg/kg for 7. The deficiency of nitric oxide as a result of the NO-synthase blockade was accompanied by the impairment of the endotheliumdependent and independent vasodilatation estimated in the pharmacological tests, which was expressed in the increasing coefficient of endothelial dysfunction. As a result of the research it was discovered that the combined application of thioctic acid at a dose of 50 mg/kg/day with antioxidant features and rosuvastatin at a dose of 0.85 mg/kg/day, which is a lipid-lowering drug, has endothelioprotective effect on the models of L-NAME-induced and hypoestrogen-LNAME-induced deficiency of nitric oxide, which is expressed in prevalence of endotheliumdependent relaxations of vessels and decreasing coefficient of endothelial dysfunction, as well as prevention of increase in nitric oxide production.
Academic Civitas Perception to 5 Days School Implementation for Senior High School and Equivalent
Authors: . Triyono , Novita Sari P , Lestari S
Published: October 2018

.
Accounting of Biological Assets in Indonesian Plantation Companies
Authors: Baroroh N , Yanto H , Fajarrini I , Agustina L
Published: October 2018

.
Carbon Emission Disclosure and Profitability – Evidence from Manufacture Companies in Indonesia
Authors: . Salbiah , Mukhibad H
Published: October 2018

.
Remuneration, Motivation, and Performance: Employee Perspectives
Authors: Mahmud A , Hidayah R , Widhiastuti R
Published: October 2018

.
Analysis of Availability of Tourism Infrastructure: Comparative Study in Joglosemar Area
Authors: . Fafurida , Ineke P , Nur Winda F
Published: October 2018

.
The Efficiency Analysis of Food Crop Commodities
Authors: Setiawan A B , . Fafurida
Published: October 2018

.
Government Expenditure and Poverty in Indonesia
Authors: Sasana H , Kusuma P
Published: October 2018

.
What Determinants of Academic Fraud Behavior? From Fraud Triangle to Fraud Pentagon Perspective
Authors: . Muhsin , . Kardoyo , Nurkhin A
Published: October 2018

.
The Analysis of Monetary Transmission by Interest Rate Channel in Influencing the Inflation: VECM Approach
Authors: Zulfa F , Aji Suseno D
Published: October 2018

.
The Causality of Economic Growth and Development of Telecommunications Infrastructure in ASEAN
Authors: . Purwanti , Maya Nihayah D
Published: October 2018

.
Social Capital and Unseen Inequalities: The Case of Tourism Cluster Dialogue Forum (FRK- Forum Rembuk Klaster)
Authors: Karolina Br. Sebayang L , Utami S
Published: October 2018

.
Improvement Strategy of Principal’s Managerial Performance through Adaptability and Organizational Commitment
Authors: Tri Satyawati S , EkoSiswoyo R
Published: October 2018

.
The Influences of Industry Internship, Career Guidance, and Working World Information to the Students Work Readiness of Grade XI SMK Palebon Semarang in Academic Year 2017/2018
Authors: Purnama N , Suryani N , . Sapuroh
Published: October 2018

.
The Influence of Learning Motivation, Learning Ways, and Variation of Teaching Styles Towards Learning Activeness in the Subject of Public Administration at Grade X Students of Automatic Expertise Program and Office Governance of Vocational High School NU 01 Kendal in the Academic Year of 2017/2018
Authors: . Sapuroh , Suryani N , Rozi F , Purnama N
Published: October 2018

.
Encouraging Knowledge Sharing Behavior to Boost the Business Performance of Creative Industry (Study in Indonesia SMES’s Context)
Authors: Ariani Wulansari N , Ranihusna D , . Palupiningdyah
Published: October 2018

.
Impact of Foreign Investment and Natural Resources Sharing Funds Against Environmental Degradation in Indonesia
Authors: . Priyagus
Published: October 2018

.
Tourism Development Towards Economic Sustainability of Local Communities in Parangtritis Tourism Area
Authors: Hulu M , Baiquni M , Fandeli C , Wirasanti N
Published: October 2018

.
Remittance, Economic Growth and Household Consumption in Indonesia
Authors: Eko Sujianto A , . Mashudi
Published: October 2018

.
Shopping With Friend: Buy Now Think Later?
Authors: Dwijayati Patrikha F
Published: October 2018

.
What’s Wrong with SISDALSKRIPSI? An Evaluation of the Thesis Control System at UNNES
Authors: . Kardoyo , Nurkhin A , . Muhsin , Pramusinto H
Published: October 2018

.
Diversification Strategies in Developing SMEs Engaging with Local Dairy Milk Products
Authors: Setiaji K , Firdam Setiadi Y
Published: October 2018

.
Policy on Poverty Reduction of Farmers Through Social Capital (Case Study of Farmers in Poor Village Purworejo)
Authors: Rinawati A , . Rusdarti , Soesilowati E
Published: October 2018

.
Considering the Influence of Digital Promotion Performed By Go-Jek Indonesia and C2C Marketplaces on Buyers’ Purchasing Decision
Authors: . Tusyanah , Maftukhah I , Dyah Rahmawati F , Fadlilah A
Published: October 2018

.
Analysis Criteria and Indicator Estimation Smart City in South Tangerang City, Banten Province (An Analysis through Smart Economy)
Authors: Lubis I , Yani Nasution A , Safii M
Published: October 2018

.
Financial Behaviour and Financial Literacy on Traders in Border Areas of Indonesia
Authors: Ayu Fridayani J , Damas Sadewo Y
Published: October 2018

.
Family Ownership and Firm Performance in Indonesia
Authors: . Juanda , . Jalaluddin
Published: October 2018

.
Disparities Analysis of Employment - A Dynamic Shift Share Approached
Authors: Rita Indrawati L , Retno Sugiharti R
Published: October 2018

.
The Effect of Mobile Learning Benefits Perception in Supporting Entrepreneurship Apprenticeships Program on Students Entrepreneurship Intention
Authors: . Hendrajaya
Published: October 2018

.
Development of Blended Learning Model Based on Constructivism of Conservation Value
Authors: Farliana N , . Widiyanto , Budi Mulyono K
Published: October 2018

.
Influence of Regional Financial Responsibility, Degree of Fiscal Desentralization and Level Financing Level to Allocation of Capital Government Regency / Central Java City
Authors: . Irwanto , Hendra Titisari K , Chomsatu Y
Published: October 2018

.
Factors Influencing Turnover Intention in a Malaysian Manufacturing Company
Authors: Ezaili Alias N , Hazieqah Rohmanan N , Ismail S , Koe W-L , Othman R
Published: October 2018

.
A Suggested Model for Studying Technopreneurial Intention in Malaysia
Authors: Koe W-L , Ezaili Alias N , Ismail S , Halim Mahphoth M
Published: October 2018

.
The Influence of Financial Attitude, Financial Socialization, and Financial Experience to Financial Management Behavior with Financial Literacy as the Mediation Variable
Authors: Ameliawati M , Setiyani R
Published: October 2018

.
The Role of Tobacco Agriculture and Manufacturing in Temanggung Regency: An Input-Output Perspective
Authors: Firmansyah F , Otavilia S , Habibah Yusfi R
Published: October 2018

.
The Effect of Procedural Justice on Managerial Performance Through Budget Participation at Pt. Perkebunan Nusantara (PERSERO) in North Sumatera
Authors: Wardani Harahap L
Published: October 2018

.
Sustainable Development of Poverty Impacts in Industrial Region with Local Competency Approach in Central Java Province
Authors: Antero Da Costa L , Susilo Parmansyah P S
Published: October 2018

.
The Projection Model As an Early Warning of Food Price Commodity Fluctuation
Authors: Pujiati A , Oktavilia S , Damayanti N
Published: October 2018

.
Analysis of Sugar-Free Claimed Beverages and Its Potential CustomersAnalysis of Sugar-Free Claimed Beverages and Its Potential Customers
Authors: Sunarisa J
Published: October 2018

.
Sweetened Packaged Beverage Purchase Intention and Behavior based on Subjective Norm, Perceived Risk, and Perceived Value
Authors: Khofanda M , Fajarindra Belgiawan P
Published: October 2018

.
Poverty Curse Hypothesis of Resource-Rich Regions, a Development Paradox in Indonesia
Authors: Adi Wibowo S , Susilo Parmansyah P S
Published: October 2018

.
The Effect of Trust and Brand Image to Repurchase Intention in Online Shopping
Authors: Riki Wijayajaya H , Tri Astuti S R
Published: October 2018

.
The Influence of Innovation Attributes and Level of Trust on Mobile Banking Adoption
Authors: Dian Purwati E , Soewarno N , . Isnalita
Published: October 2018

.
Improvement of Student Critical Thinking About Using Discussion Learning
Authors: Maryani L , Wahyudin M , Aryanto Sopiansah V
Published: October 2018

.
Factors that Affect the Economic Participation of Female Labor with Married Status in Central Java (Analysis of Sakernas Data 2017)
Authors: Caroline K
Published: October 2018

.
Prototype Development of Interactive Multimedia Manual and Electronic Recordkeeping Simulator for E-Archive Learning
Authors: Novi Ashari T , Pramusinto H
Published: October 2018

.
Analysis of Financial and Non Financial Factors to Revaluation of Fixed Asset
Authors: Ayu Surgawi L , Solikhah B
Published: October 2018

.
The Implementation of Interactive Media for Learning in Blended Learning on Business Ethics
Authors: Santoso A , Lestari S , Susilowati N , . Tusyanah
Published: October 2018

.
Study of Management Diversity Based on Biographical Characteristics in Higher Education
Authors: Rustiana A , Rahmaningtyas W
Published: October 2018

.
Analysis of the Shifts of Potential and Leading Sectors in Kaimana Regency Economy in the Period of 2010–2015
Authors: Rahayu Y P , Maspaitella M R , Tewernusa K I
Published: October 2018

.
An Empirical Study of Service Quality and Customer Satisfaction of Malaysian Air Passenger
Authors: Halim Mahphoth M , Koe W-L , Krishnan R , Erfani Abd Ghani A , Ismail S
Published: October 2018

.
Crowdfunding Among Event Entrepreneurs: A Conceptual Paper
Authors: Hafizi Zamri M , Mohamad Basir F A , Anak Agam D , Daim Darson M
Published: October 2018

.
The Effect of Investment and Export on Manufacturing Industry in Indonesia
Authors: Ramadhani T A , Aulia Rachman M , . Firmansyah , Sugiyanto F X
Published: October 2018

.
Employee Performance Measurement Development Based on Green HRM Indicators
Authors: Ariani Wulansari N , Setyo Witiastuti R , Ridloah S
Published: October 2018

.
Impact of Destination Image, Service Quality, and Location on Visitor Satisfaction through Visitor Decision on Global Waterboom in Pati Central Java
Authors: Jessica Manurung R , . Wahyono
Published: October 2018

.
New Characteristics of Rural Women’s Economic Participation in Shaanxi, China
Authors: Yang M , Rae A , Young M
Published: October 2018

.
Intellectual Capital Influence on Financial Performance and Company Value
Authors: Ardiansari A , Nugrahaini M , Wiratno Putri V
Published: October 2018

.
A Constructive Model of MSMEs’ Entrepreneurial Success Based on Green Management System and Psychological Capital in Semarang City
Authors: Wiratno Putri V , Ridloah S , Rafinda A
Published: October 2018

.
The Roles of Local Government in Preventing Woman Trafficking in Laws No 21 of 2007 Perspective That Concer to Crime of Human Trafficking in District of Bone
Authors: Paikah Nur
Published: October 2018

This research aims to analyze the process the role of government of human trafficking. Research was conducted at Bone Regency. Methods used the case study method by using a qualitative approach. The results showed human trafficking is one of the crimes against humanity, because this act has violated human rights, and the majority are victims of women and children. Referring to the Law that, every human being, especially women and children, has the right to live peacefully and properly as they should. Therefore, the right of life of every human being cannot be reduced by anyone and under any circumstances including not allowed to be traded, especially women and children. This is where the role of the government, especially the local government of Bone Regency, seeks to guarantee the protection of positive rights for them for their lives. In this case the local government of Bone Regency provides protection and prevention of human trafficking, especially women and children as a form of respect, recognition and protection of human rights is stated explicitly in Article 58 of Law Number 21 of 2007 concerning Crime of Trafficking in Persons.
Comportamento dos conversores comutados sob tensão nula com o indutor ressonante não linear
Authors: Prado Ricardo Nederson do
Published: October 2018

A substituição do indutor ressonante linear por outro não linear, de maneira que o valor da indutância decresça com o aumento da corrente de carga, foi proposto para superar as dificuldades encontradas nos convemores comutados sob tensão nula Este artigo apresenta um visão geral do comportamento dos convemores comutados sob tensão nula com o indutor ressonante não linear. Neste artigo serão analisados os convemores Buck, Ponte Completa e Meia Ponte, comutados sob tensão nula, com o indutor ressonante não linear e comparados com o linear. Resultados experimentais de alguns protótipos de convemores, uma análise teórica e resultados de simulação, serão apresentados para ilustrar o comportamento, dos convemores comutados sob tensão nula, na presença do indutor ressonante não linear.
Análise, projeto e implementação da célula de comutação ZVS-PWM aplicada ao conversor DC-AC
Authors: Seixas Falcondes J. M. , Martins Denizar C. , Barbi Ivo
Published: October 2018

O objetivo deste trabalho é apresentar a análise e o projeto de um conversor DC-AC usando uma Célula de Comutação ZVS (Zero Voltage Switched). Inicialmente é analisada a aplicação da célula no conversor buck e apresentadas as etapas de operação e as principais equações de tensão e corrente nos elementos ressonantes. Em seguida, o conversor é adaptado para operação no modo regenerativo e uma ponte inversora operando em 60Hz é conectada na saída do conversor DC-DC, de alta frequência. Os resultados de simulação mostram a comutação ZVS e a ausência de qualquer sobretensão ou sobrecorrente nas chaves, com modulação por largura de pulso (PWM) de frequência constante. Um exemplo de projeto e os resultados experimentais são apresentados para um protótipo de 275V, 1KW e 40KHz.
Estudo experimental comparativo das perdas entre seis diferentes conversores do tipo boost com 1,6 kW, usando IGBT's
Authors: Canesin Carlos A , Barbi Ivo
Published: October 2018

Este trabalho apresenta uma análise comparativa das perdas experimentais entre um novo -conversar ZCS-PWM boost e cinco diferentes topologias para o conversor boost, operando com potência nominal de 1.6kW e frequência de chaveamento de ZOkHz, usando IGBT1s. As vantagens da nova técnica de comutação não dissipativa do tipo corrente nula (ZCS-zero current switching) e modulação convencional do tipo PWM (Pulse width modulation), empregando IGBT's, são apresentadas. Esta nova técnica ZCS pode reduzir a potência média total dissipada nos elementos semicondutores, praticamente pela metade, quando comparada com o método convencional de comutação dissipativa. Este novo conversor ZCS-PWM boost é recomendado para aplicações em elevadas potências, usando IGBT1s, e para correção do fator de potência de fontes de alimentação. O principio de operação, resultados experimentais e a análise comparativa do novo conversor ZCS-PWM boost são apresentados.
Uma família de conversores para reciclagem de potência durante o teste de burn-in de UPS's
Authors: Ayres Carlos Augusto , Barbi Ivo
Published: October 2018

Este artigo apresenta uma família de conversores para realizar a reciclagem de potência durante o teste de "burn-in" de UPS's (Uninterruptible Power Supplies) com tensão de saída senoidal e sincronizada com a rede elétrica. A característica principal da estrutura proposta é sua habilidade de drenar da UPS e injetar na rede correntes com baixa distorção harmônica total (THD) e fator de potência quase unitário sem a necessidade de nenhum tipo de malha de controle para garantir correntes de entrada e de saída senoidais. Estes conversores operam em frequência constante, em malha aberta e foram utilizados circuitos integrados PWM (Modulação por Largura de Pulso) convencionais, normalmente empregados em fontes chaveadas. Descrição de funcionamento, análise matemática e um exemplo de projeto com os respectivos resultados experimentais são apresentados no artigo.
Controladores digitais de corrente para máquinas de indução
Authors: Oliveira Alexandre C. , Lima Antonio Marcus N. , Jacobina Cursino B.
Published: October 2018

Esse trabalho apresenta a análise, projeto e implementaçáo prática da malha de corrente para um máquina de induçáo. Três diferentes estratégias de controle são investigadas: o controlador preditivo e os controladores PI síncrono e estacionário. Os diferentes controladores são avaliados sob condições equivalentes de operação para estabelecer seu desempenho relativo. As estratégias de controle de corrente propostas são implementadas em um sistema de acionamento de máquina de induçáo baseado em microcomputador. Alguns resultados experimentais selecionados, obtidos com os controladores propostos, são apresentados.
Análise, projeto e aplicações do conversor zeta com alto fator de potência
Authors: PÉRES ADRIANO , Martins Denizar Cruz , Barbi Ivo
Published: October 2018

Este artigo apresenta a análise do conversor ZETA operando no modo de condução descontínua de corrente (DCM) para a correção do fator de potência. O conversor ZETA tem como principal atrativo o fato de ser uma estrutura naturalmente isolável, permitindo a regulagão da tensão de saída com um único estágio de processamento de energia. Além da correção do Fator de Potência pode-se obter, do conversor Zeta, corrente de alta fidelidade na indutância de saída, para aplicações como carregador de baterias. São apresentados o princípio de funcionamento, a análise matemática, o procedimento de projeto e os resultados obtidos a partir de um protótipo de laboratório.