256 research outputs found
Interfacing Coq + SSReflect with GAP
No full textPresentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue OpenMath requests to a local or remote GAP instances and represent server responses as Coq terms.Peer reviewe
Jak wyrwać się z nostalgii [dot. P. Włodek: Kres niewinności. Obraz i upamiętnienie ery Eisenhowera w amerykańskich filmach i serialach – pomiędzy reprezentacją, nostalgią a krytycznym retro]
No full textThe article discussesa book by Patrycja Włodek entitled Kres niewinności. Obraz i upamiętnienie ery Eisenhowera w amerykańskich filmach i serialach – pomiędzy reprezentacją, nostalgią a krytycznym retro [The End of Innocence: The image and remembrance of the Eisenhower era in American feature films and television series – between representation, nostalgia, and critical retro style]. The author of the article positions her publication amongst other film studies research devoted to “nostalgic cinema” and enters into dialogue with concepts put forward by Włodek. The polemical pendants and glosses centre on searching for currents, titles, and readings both supporting Włodek’s considerations and transcending her interpretive framework relating to retro nostalgic (cinema of the 1980s) and retro classic (the most recent films and television series).The article discussesa book by Patrycja Włodek entitled Kres niewinności. Obraz i upamiętnienie ery Eisenhowera w amerykańskich filmach i serialach – pomiędzy reprezentacją, nostalgią a krytycznym retro [The End of Innocence: The image and remembrance of the Eisenhower era in American feature films and television series – between representation, nostalgia, and critical retro style]. The author of the article positions her publication amongst other film studies research devoted to “nostalgic cinema” and enters into dialogue with concepts put forward by Włodek. The polemical pendants and glosses centre on searching for currents, titles, and readings both supporting Włodek’s considerations and transcending her interpretive framework relating to retro nostalgic (cinema of the 1980s) and retro classic (the most recent films and television series)
PROSEDUR BONGKAR MUAT CRUDE PALM OIL (CPO) PADA PT PELABUHAN INDONESIA II (PERSERO) CABANG PALEMBANG
No full textThe Procedure Loading and Unloading Of Crude Palm Oil (CPO) at PT
Pelabuhan Indonesia II (Persero) branch Palembang
Ery Ari Astuti, 2014 (xv + 52 pages)
[email protected]
In improving good service, then the company is expected to achieve high
productivity to meet the standards set by the company, so it need a procedure for
loading and unloading process to simplify and streamline the process of loading
and unloading at the port. PT Pelabuhan Indonesia II (Persero) branch Palembang
unit Usaha Terminal is a company engaged in the field of port services that
manage the loading and unloading of conventional goods. In making this final
report uses several methods to obtain data, such as interviews and library research.
Based on research by the author, there are still obstacles in the process of loading
and unloading is still the existence of loading and unloading equipment that is
damaged and the lack of completeness of loading and unloading equipment, such
as the absence of engine heater (blower), pump equipment damaged and leaking
pipes . With the loading and unloading equipment that is damaged should PT
Pelabuhan Indonesia II (Persero) branch Palembang can repair the damage to the
tool used for the loading and unloading process, for boats that do not have a heater
(blower) shipping company should be able to add a heater (blower ) into the ship,
so that the unloading process can run well and not be detrimental to all parties
concerned (shipping companies, stevedoring companies and owners of goods).
Keywords: The procedure loading and unloading, crude palm oil (CPO
Enacting the Last Mile: Experiences of Smart Contracts in Courier Deliveries
No full textSmart contract systems could change the nature of last-mile deliv- ery for the better through enhanced precision, coordination and accountability. However, technological complexity poses a chal- lenge for end-users participating in the design process, making it hard to explore their experiences and incorporate their perspectives. We describe a case study where technological prototypes create smart contract experiences for professional couriers and receptionists, allowing them to speculate about emerging possibilities, whilst remaining grounded in their current practices. Participants enacted a series of deliveries, choreographed by smart contracts, and their responses were explored in post-experience, one-to-one interviews. Working with professionals to explore the potential impact of smart contract technologies, revealed the systemic webs of value underlying their existing work practices. This has implications for design of such technologies, in which increased automation, efciency and accountability must be delicately balanced with the benefts of sustaining personal values, relationships and agency.Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Human Information Communication Desig
Synergistic effect of erythromycin on polymorphonuclear cell antibacterial activity against erythromycin-resistant phenotypes of Streptococcus pyogenes.[*A.M.Cuffini is the corresponding author]
No full textInternational audienceTo evaluate the synergistic activity of erythromycin and human polymorphonuclear cells (PMNs) on the binomial erythromycin-resistant (ERY) /host, the phagocytic and bactericidal activities of PMNs against ERY streptococcal strains (cMLS, M, and iMLS A, B and C phenotypes) were assessed in the presence of the macrolide. The results showed that when erythromycin, PMNs and streptococci [both erythromycin-sensitive (ERY) and ERY] were simultaneously present in the culture medium, PMN phagocytic activity was similar to that of drug-free controls. In contrast, the results emphasised a significant high increase in intracellular killing by PMNs in the presence of erythromycin not only for ERY streptococci but also for ERY with high (cMLS, iMLS A and iMLS B phenotypes) and moderate (M and iMLS C phenotypes) erythromycin resistance compared with controls without drug. From literature data it emerged that, even if intracellularly concentrated, erythromycin is relatively inactive because of its instability. The results indicate that the enhanced intra-PMN streptococcal killing detected is mainly attributable to PMN bactericidal systems that synergise with intracellular erythromycin in eradicating ERY strains (both with high and moderate resistance). These data confirm that the antibiotic resistance detected in vitro does not always imply a failure of antimicrobial treatment
Jan Targoyn: introligator poznański ery Odrodzenia
No full textAim: the present article discusses the operation of the workshop of master bookbinder Jan Targoyn – one of the most important, though still not properly recognised, Poznań-based bookbinder of the Renaissance era. Methods: using new approaches to bookbinding studies, the author discusses 40 book bindings produced by the workshop in question. Additionally, the bookbinding tools used by the workshop are also briefly scrutinised. Conclusions: as a result of a close study of the historical material available, the operation of the Targoyn workshop indicated in the literature of the subject and spanning the years 1534–1544, should be expanded by at least one more decade, i.e. until the half of the 1560s. The bulk of the bindings attributed to Targoyn is based on the material and decorative solutions typical for and widespread in other bookbinderies in Poznań at the time that draw inspiration and ready-made patterns from Renaissance German bookbinding techniques. Similarly, the tools used by Targoyn throughout his professional career were of the same provenance. The latter, used for decorative bookbinding, also enter into the ornamentation repertoire typical for the then Poznań-based bookbinders. Moreover, a large part of them have their numerous, frequently even identical, counterparts that indistinguishably resembled toolkits of tracing wheels and finishing tools (fer a dorers) used in the Targoyn’s workshop.L’article traite de l’activité de l’atelier de Jan Targoyn - l’une des figures les plus importantes, bien que toujours presque inconnue, de la reliure de Poznań à l’époque de la Renaissance. L’auteur a effectué une analyse tégumentologique de plus de 40 reliures réalisées par l’atelier indiqué, ainsi que des outils de reliure qu’il utilisait. À la lumière du matériel patrimonial connu jusqu’à présent, l’activité de l’atelier Targoyn, signalée dans la littérature sur le sujet, couvrant les années 1534 - 1544, doit être étendue d’au moins une décennie - jusqu’à la seconde moitié de la sixième décennie du XVIe siècle. La plupart des reliures attribuées à Targoyn reposent sur des solutions matérielles et décoratives schématiques répandues parmi les représentants de l’environnement de Poznań de l’époque, qui puisaient leurs modèles dans la reliure de la Renaissance allemande. Il en va de même pour les outils que Targoyn a utilisés tout au long de son activité. Ils s’inscrivent également dans le répertoire décoratif typique des relieurs de Poznań. De plus, un grand nombre d’entre eux ont de nombreux équivalents, souvent jumeaux, qui ressemblent presque à s’y méprendre à l’ensemble de couteaux et de poinçons utilisés par l’atelier en question.Cel: artykuł omawia działalność warsztatu Jana Targoyna – jednej z ważniejszych, choć wciąż niemal nieznanej postaci poznańskiego introligatorstwa ery Odrodzenia. Metody badawcze: autor dokonał analizy tegumentologicznej 40 opraw książkowych wykonanych przez wskazaną pracownię, jak również narzędzi introligatorskich, których używała. Wnioski: w świetle dotąd poznanego materiału zabytkowego sygnalizowaną w literaturze przedmiotu aktywność warsztatu Targoyna, obejmującą lata 1534–1544, należy rozszerzyć co najmniej o przeszło jedno dziesięciolecie – do połowy szóstej dekady XVI wieku. Większość opraw atrybuowanych Targoynowi opiera się na schematycznych rozwiązaniach materiałowych i dekoracyjnych rozpowszechnionych wśród przedstawicieli ówczesnego środowiska poznańskiego, czerpiących wzorce z renesansowego introligatorstwa niemieckiego. Podobnie rzecz ma się z narzędziami, z których Targoyn korzystał na przestrzeni całej swojej działalności. Także one wpisują się w typowy dla poznańskich introligatorów repertuar zdobniczy. Co więcej, znaczna część z nich ma liczne, nierzadko bliźniaczo podobne odpowiedniki, niemal do złudzenia przypominające zestaw radełek i tłoków, którym posługiwał się omawiany warsztat
Koniec ery kodeksów?
No full textThe author of the article asks the question whether there is still space for codes in the form in which they were created in the nineteenth century. The conditions for the creation of codes have changed. Lawyers do not require codes in order to completely regulate a given field of social life. The occurrence of decodification is very strong. Lack of cooperation between legal science and the courts makes it difficult to create new codes. However, in the author’s opinion, codes can still play an important and symbolic role. The most important function of codes is to create the axiological foundations of a given branch of law.Autor stawia pytanie, czy współcześnie jest jeszcze miejsce na kodeksy w takiej formie, w jakiej były one tworzone w XIX wieku. Przede wszystkim zmieniły się warunki, w jakich po-wstawały ówczesne kodeksy, oraz postulaty wobec nich stawiane. Nie oczekuje się już obecnie, że akty te będą całkowicie i wyłącznie regulować daną dziedzinę życia społecznego. Nasiliło się zjawisko dekodyfikacji, polegające na regulowaniu materii właściwych kodeksom w innych usta-wach, co rodzi problemy na tle ich wzajemnych relacji. Utrudnieniem dla procesu kodyfikacji jest także brak współpracy pomiędzy nauką prawa i sądami, które do tej pory wspólnie wypracowywały rozwiązania, wpisywane następnie do treści kodeksów. Zdaniem autora kodeksy mogą jednak nadal odgrywać ważną rolę i pełnić funkcję w pewnej mierze symboliczną. Najważniejszym zadaniem ko-deksów jest bowiem tworzenie aksjologicznych podstaw danej dziedziny prawa, przede wszystkim formułowanie katalogu zasad decydujących o jej autonomii
Chaotic Itinerancy
No full textChaotic itinerancy is universal dynamics in high-dimensional dy- namical systems, showing itinerant motion among varieties of low- dimensional ordered states through high-dimensional chaos. Discov- ery, basic features, characterization, examples, and significance of chaotic itinerancy are surveye
Real-time and selective recognition of erythromycin by self-assembly of calix[4]arene on QCM sensor
No full textThis paper describes the synthesis of an amino morpholine-based the new schiff base calix[4]arene (compound 5), it's coating on Quartz Crystal Microbalance (QCM) crystal as a self-assembled monolayer (SAM), and real-time detection of erythromycin (ERY) in aqueous media. The characterization of the QCM sensor has been succeeded with atomic force microscopy and contact angle measurements. Initial experiments revealed that the frequency response decreased quickly as expected and reached equilibrium within 5 min which means that there was a good interaction between the compound 5 coated QCM sensor surface and ERY molecules. The QCM sensor showed a linear response towards ERY solutions in different concentrations ranging from 10 to 200 mu M, with the sensitivity (S) and limit of detection (LOD) being 0.66 Hz/NM and 4.80 NM, respectively. Furthermore, the adsorption behavior and mechanism of ERY onto the QCM sensor were applied for this sensing system and the adsorption data exhibited a good correlation with the Langmuir adsorption isotherm in terms of R-2 and Delta m(max). The QCM sensor was shown outstanding selective performance to ERY among some biologic molecules such as amino add, drug, hormone, vitamin. Thus, real-time, sensitive, selective and effective recognition of ERY was performed by a calixarene derivative coated QCM sensor. (C) 2019 Elsevier B.V. All rights reserved.Research Foundation of Konya Technical UniversityThe author would like to thank Prof. Mustafa TABAKCI for providing laboratory facilities. I am grateful for the financial support from the Research Foundation of Konya Technical University
Jak wyrwać się z nostalgii. Patrycja Włodek: „Kres niewinności. Obraz i upamiętnienie ery Eisenhowera w amerykańskich filmach i serialach – pomiędzy reprezentacją, nostalgią a krytycznym retro.” Kraków: Wydawnictwo Naukowe Uniwersytetu Pedagogicznego, 2018, ss. 516
No full textThe article discussesa book by Patrycja Włodek entitled Kres niewinności.
Obraz i upamiętnienie ery Eisenhowera w amerykańskich filmach i serialach – pomiędzy
reprezentacją, nostalgią a krytycznym retro [The End of Innocence: The image
and remembrance of the Eisenhower era in American feature films and television
series – between representation, nostalgia, and critical retro style]. The author of the
article positions her publication amongst other film studies research devoted to
“nostalgic cinema” and enters into dialogue with concepts put forward by Włodek. The
polemical pendants and glosses centre on searching for currents, titles, and readings
both supporting Włodek’s considerations and transcending her interpretive framework relating to retro nostalgic (cinema of the 1980s) and retro classic (the most recent films
and television series)
- …
