Log in

Relevant bibliographies by topics / Dessin automatise / Journal articles

To see the other types of publications on this topic, follow the link: Dessin automatise.

Journal articles on the topic 'Dessin automatise'

Author: Grafiati

Published: 4 June 2021

Last updated: 17 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Dessin automatise.'

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

Shah, Ankit P., Prof Kalpesh N. Shah, and Prof Harsh B. Joshi. "Design Automation of Shell." Indian Journal of Applied Research 4, no. 4 (2011): 214–16. http://dx.doi.org/10.15373/2249555x/apr2014/65.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kesuma, Putri Repina, Tresna Dewi, RD Kusumanto, Pola Risma, and Yurni Oktarina. "Desain Fuzzy Logic Controller Untuk Pengendali Pergerakan Mobile Manipulator." Journal of Applied Smart Electrical Network and Systems 1, no. 01 (2020): 12–18. http://dx.doi.org/10.52158/jasens.v1i01.43.

Full text

Abstract:

Technology is developing more and more to facilitate human life. Technology enables automation in all areas of life, and robots are among the most frequently used machines in automation. Robots can help with human work in all fields, including agriculture. A mobile robot manipulator is a combination of a robot arm and a mobile robot so that this type of robot can combine the capabilities of the two robots. This paper discusses the design of a robot manipulator to be used in agriculture to replace farmers in the harvesting of agricultural products, such as tomatoes. This paper presents a mechan

APA, Harvard, Vancouver, ISO, and other styles

3

Taufik Hidayat, Taufik Hidayat, Djamaluddin Djamaluddin, and Alfian Nawir Alfian Nawir. "DESAIN PIT COMPARTMENT PADA HILL KONDE SOUTH MENGGUNAKAN MANUAL PIT DAN AUTOMATION PIT DESAIN DI PT. VALE INDONESIA Tbk." Jurnal Geomine 6, no. 3 (2018): 150. http://dx.doi.org/10.33536/jg.v6i3.247.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kumar, Arun V. Rejus, and A. Sagai Francis Britto. "Design and Fabrication of Automatic Flying Camera." International Journal of Psychosocial Rehabilitation 23, no. 4 (2019): 320–30. http://dx.doi.org/10.37200/ijpr/v23i4/pr190190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

A. Sivasubramanian, A. Sivasubramanian, M. Jagadish M.Jagadish, and C. Sivaram C.Sivaram. "Design and Modification of Semi Automatic Stacker." Indian Journal of Applied Research 4, no. 4 (2011): 174–78. http://dx.doi.org/10.15373/2249555x/apr2014/53.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Aryadi, Ricky, Supari Supari, and Harmini Harmini. "DESAIN GENERATOR OZONE DENGAN TEKNOLOGI PLASMA DBD (Die-lectric Barrier Discharge)." Elektrika 11, no. 1 (2019): 1. http://dx.doi.org/10.26623/elektrika.v11i1.1535.

Full text

Abstract:

<p class="Abstract">Industrial sterilization is a very important problem. Ozone is a powerful oxidizer that can function for sterilization and is environmentally friendly. Plasma DBD (Dielectric Barrier Discharge) is one of the effective technologies to obtain ozone. The ozone generator currently uses a lot of manual control operations. Manual control uses a mechanical system in the form of a potentiometer to calibrate the frequency and output of the ozone generator output, so that digitization and automation are needed to operate to replace human labor. The design of the digital ozone c

APA, Harvard, Vancouver, ISO, and other styles

7

Kuamar, B. Shiva, B. Satya Satwik, and N. Anil Kumar A. V. Tarun Kumar. "Design and Implementation of Bluetooth Based Industrial Automation." International Journal of Trend in Scientific Research and Development Volume-3, Issue-3 (2019): 1130–32. http://dx.doi.org/10.31142/ijtsrd23180.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Melnyk, Anatoliy, та M. Majstrenko. "Оптимізаційне проектування спеціалізованих процесорів з використанням системи автоматичного синтезу та інструментальних засобів". Computer systems and network 1, № 1 (2016): 37–47. http://dx.doi.org/10.23939/csn2016.857.037.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Gupta, Vijay Kumar, Himanshu Singh, and Mohak Gupta. "Automatic Temperature Controlled Air Cooler: Design, Assembly and Testing." International Journal of Trend in Scientific Research and Development Volume-3, Issue-3 (2019): 1334–36. http://dx.doi.org/10.31142/ijtsrd23327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Bansal, Dr Pikesh, Abhinav Srivastava, and Aadil Zaya Bhuvnesh Sharma Anuj Upadhyay. "Design and Fabrication of Automatic Speed Controller for Automobile." International Journal of Trend in Scientific Research and Development Volume-3, Issue-4 (2019): 524–27. http://dx.doi.org/10.31142/ijtsrd23846.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Yatsuk, Vasyl, та Roman Matviiv. "Моделювання процесу автоматичного коригування похибок калібраторів напруги постійного струму". Computer systems and network 1, № 1 (2016): 119–25. http://dx.doi.org/10.23939/csn2016.857.119.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Htway, Aye Thandar, and Aye Wint Mon. "Design and Implementation of Smart Trolley for Automatic Billing System." International Journal of Trend in Scientific Research and Development Volume-2, Issue-5 (2018): 2306–9. http://dx.doi.org/10.31142/ijtsrd18347.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Aye, Hnin Hnin. "Design and Construction of Control System for Automatic Voltage Stabilizer." International Journal of Trend in Scientific Research and Development Volume-3, Issue-1 (2018): 381–86. http://dx.doi.org/10.31142/ijtsrd19004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Raghuwanshi, Hemant Singh. "Design and Analysis of a Multiple Cutting Hacksaw Automatic Machine." International Journal of Trend in Scientific Research and Development Volume-3, Issue-2 (2019): 979–83. http://dx.doi.org/10.31142/ijtsrd21543.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

KANEKO, Yoshihiro, Sayaka MIZUHARA, Koichi MIZUTANI, and Keinosuke NAGAI. "Artificial Lips for Automatic Trombone Blower(Biomimetics & Innovative Design)." Proceedings of the Asian Pacific Conference on Biomechanics : emerging science and technology in biomechanics 2004.1 (2004): 23–24. http://dx.doi.org/10.1299/jsmeapbio.2004.1.23.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Robillard, P. N. "Automating comments." ACM SIGPLAN Notices 24, no. 5 (1989): 66–70. http://dx.doi.org/10.1145/66068.66073.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Gujja, Musa Mohammed, and Umar Abubakar Wakta. "Design and Analysis of Automatic Car Park System with Capacity Control." International Journal of Engineering Research 4, no. 8 (2015): 404–8. http://dx.doi.org/10.17950/ijer/v4s8/801.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

A.B., Rajendra, Fiza Mariam, Chethana Y.P., and Loka Priya G. "Design and Implementation of an Automatic Forest Fire Extinguisher Using Sprinklers." Indian Journal of Science and Technology 12, no. 48 (2019): 1–4. http://dx.doi.org/10.17485/ijst/2019/v12i48/149384.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Knauer, Thorsten, Nicole Nikiforow, and Sebastian Wagener. "Bedeutung und Ausgestaltung von Robotic Process Automation (RPA) im Controlling." Controlling 32, no. 4 (2020): 68–75. http://dx.doi.org/10.15358/0935-0381-2020-4-68.

Full text

Abstract:

Im Rahmen dieser Studie wird mittels einer Befragung der Status quo des Einsatzes von Robotic Process Automation (RPA) und dessen Ausgestaltung im Controlling deutscher Unternehmen analysiert. Demnach wird RPA auch im Controlling zunehmend relevant, kommt aktuell mit einer Nutzungsrate von 8,31 % jedoch noch selten zum Einsatz. Gemäß der deskriptiven Auswertung zeigen sich bedeutsame Anwendungsfälle u. a. im Reporting und in der Kennzahlenermittlung. Die bestehenden Anwender sind dabei sowohl mit der Funktionserfüllung als auch der Geschwindigkeit der Aufgabenerfüllung sehr zufrieden.

APA, Harvard, Vancouver, ISO, and other styles

20

Misra, Dr Yogesh. "Design of Atmelplc and Its Application as Automation of Coal Handling Plant." Journal of Advanced Research in Dynamical and Control Systems 12, no. 5 (2020): 572–79. http://dx.doi.org/10.5373/jardcs/v12i5/20201976.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Rahayani, Rizki Dian, and Arif Gunawan. "Proposed Design of an Automatic Feeder and Aerator Systems for Shrimps Farming." International Journal of Materials, Mechanics and Manufacturing 6, no. 4 (2018): 277–80. http://dx.doi.org/10.18178/ijmmm.2018.6.4.391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Madhavan, Ravichandhran, Mikaël Mayer, Sumit Gulwani, and Viktor Kuncak. "Automating grammar comparison." ACM SIGPLAN Notices 50, no. 10 (2015): 183–200. http://dx.doi.org/10.1145/2858965.2814304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Hauswirth, Matthias, Amer Diwan, Peter F. Sweeney, and Michael C. Mozer. "Automating vertical profiling." ACM SIGPLAN Notices 40, no. 10 (2005): 281–96. http://dx.doi.org/10.1145/1103845.1094834.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Hee, Kai-Cheong, and Chiung Ching Ho. "Design of Application Layer Services for Security Automation via a Web Service Approach." Journal of Advances in Computer Networks 2, no. 1 (2014): 76–84. http://dx.doi.org/10.7763/jacn.2014.v2.86.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rippinger, Julien. "La projection intégrée au Sketchpad III : origine en devenir d’un terrain critique de l’infographie." SHS Web of Conferences 82 (2020): 01004. http://dx.doi.org/10.1051/shsconf/20208201004.

Full text

Abstract:

Le dessin d’architecture traditionnel repose sur la technique de projection : des lignes invisibles ou abstraites traversent un plan sur lequel leurs traces deviennent la représentation d’un objet. L’infographie associe les techniques d’informatisation et de communication avec la représentation graphique et devient une source de transformation de la technique de projection. L’analyse des programmes pionniers Sketchpad et Sketchpad III développés au MIT Lincoln Laboratory en 1963 expose cette transformation du rôle de la projection. La problématique spécifique de la représentation d’objets à tr

APA, Harvard, Vancouver, ISO, and other styles

26

Sugiartha, IG Eka, Bambang Pujo Semedi, Puspa Wardhani, and IGAA Putri Sri Rejeki. "COMPARISON RESULTS OF ANALYTICAL PROFILE INDEX AND DISC DIFFUSION ANTIMICROBIAL SUSCEPTIBILITY TEST TO TECHNICAL DEDICATED REASONABLE 300B METHOD." INDONESIAN JOURNAL OF CLINICAL PATHOLOGY AND MEDICAL LABORATORY 23, no. 2 (2018): 131. http://dx.doi.org/10.24293/ijcpml.v23i2.1134.

Full text

Abstract:

Angka kematian infeksi aliran darah cukup tinggi, berkisar 20–50%. Patogen penyebab dapat dibuktikan dengan pemeriksaan kulturdarah yang dilanjutkan dengan uji kepekaan antibiotika. Metode pemeriksaan dapat dilakukan secara manual atau automatis baiksemiautomatis ataupun automatis penuh. Metode manual relatif tidak memerlukan biaya yang besar dibandingkan metode automatisasi.Penelitian ini merupakan analisis observasional dengan desain potong lintang. Metode identifikasi manual memakai metode API danuji kepekaan antibiotika metode difusi cakram antibiotika Kirby Bauer. Kedua metode ini dibandi

APA, Harvard, Vancouver, ISO, and other styles

27

Abe, Yuta, Takeki Ogitsu, and Hiroshi Mizoguchi. "Design and Evaluation of Parking Position Detection with Human Cooperation for Automatic Parking." Journal of the Institute of Industrial Applications Engineers 4, no. 2 (2016): 100–105. http://dx.doi.org/10.12792/jiiae.4.100.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Cook, B. M. "Design automation." Computer-Aided Design 21, no. 8 (1989): 535. http://dx.doi.org/10.1016/0010-4485(89)90064-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Timmerberg, Robert. "Den Notfall in allen Achsen ausgebremst." Konstruktion 72, no. 10 (2020): 24–27. http://dx.doi.org/10.37544/0720-5953-2020-10-24.

Full text

Abstract:

In Handling und Automation steigen die Ansprüche an Geschwindigkeit und Genauigkeit ebenso wie solche an die Sicherheit. Wo mechatronische Positionier- und Bewegungssysteme so präzise arbeiten, dass Abweichungen für das menschliche Auge nicht mehr zu erkennen sind, müssen passende Sicherheitselemente arbeiten, damit im Fall einer Störung keine kostspieligen Schäden entstehen. Das schwäbische Unternehmen Rampf Machine Systems, dessen Lösungen unter anderem in der Medizintechnik, Optikproduktion oder auch bei Laserapplikationen zum Einsatz kommen, hat sich für den Fall der Fälle bestens gewappne

APA, Harvard, Vancouver, ISO, and other styles

30

Taufik, Taufik, and Wahyuni Putri. "Perancangan Prototype Early Warning System pada Kontrol On/Off Belt Conveyor Menggunakan PLC Siemens S7-300." Jurnal Optimasi Sistem Industri 14, no. 1 (2016): 116. http://dx.doi.org/10.25077/josi.v14.n1.p116-137.2015.

Full text

Abstract:

Nowdays, automation system become important aspect in manufacturing process because could make integration manufacturing process on it more effective and more efficient. PLC or Programmable Logic Controller is one kind of automation system. Many industries use PLC as automation control device in manufacturing process to control all kind of process. For example at transportation process of coals in generator industry. Coals could be burned because main elements of coals are carbon, hydrogen, and oxygen. Base on this prototype early warning system design, we get the result if sensor thermocouple

APA, Harvard, Vancouver, ISO, and other styles

31

P, Loganathan. "Design and Implementation of Thyristor based Automatic on Load Tap Changer Using ANN-IOT." Journal of Advanced Research in Dynamical and Control Systems 12, SP7 (2020): 1802–7. http://dx.doi.org/10.5373/jardcs/v12sp7/20202292.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Gawronski, Bertram, and Frederica R. Conrey. "Der Implizite Assoziationstest als Maß automatisch aktivierter Assoziationen: Reichweite und Grenzen." Psychologische Rundschau 55, no. 3 (2004): 118–26. http://dx.doi.org/10.1026/0033-3042.55.3.118.

Full text

Abstract:

Zusammenfassung. Der Implizite Assoziationstest (IAT) ist wahrscheinlich das bekannteste und am weitesten verbreitete Verfahren zur Messung automatisch aktivierter Assoziationen. Trotz der vorliegenden Evidenz für dessen Validität gibt es allerdings nach wie vor Kritik am IAT, die vor allem auf der ungeklärten Frage nach den zugrundeliegenden psychologischen Prozessen beruht. Der folgende Artikel gibt einen Überblick über die vorhandene Forschung zum IAT, um auf diese Weise sowohl die Reichweite als auch die Grenzen des Verfahrens aufzuzeigen. Thematisiert werden dabei Zusammenhänge zu explizi

APA, Harvard, Vancouver, ISO, and other styles

33

Fahadi, Muhammad Aden, Yuwaldi Away, and Ira Devi Sara. "Design and Analysis of Home Automation Systems Based on MAC Address." Jurnal Inotera 5, no. 1 (2020): 63–72. http://dx.doi.org/10.31572/inotera.vol5.iss1.2020.id103.

Full text

Abstract:

Home Automation merupakan salah satu kemajuan teknologi dan komunikasi dengan otomasi kontrol terhadap perangkat listrik dirumah. Dengan metode ini, perangkat-perangkat elektronik rumah dapat di kontrol menggunakan sistem kendali jarak jauh tanpa harus menyentuh peralatan rumah itu sendiri. Seiring dengan perkembangan sistem operasi pada perangkat mobile melahirkan inovasi dan kreatifitas yang sejalan dengan kebutuhan penggunanya, yakni dari sekedar alat komunikasi hingga pusat informasi. Salah satu inovasi dalam bidang kehidupan sehari-hari penggunanya adalah Home Automation yang memungkinkan

APA, Harvard, Vancouver, ISO, and other styles

34

Surya, Firman, Elfitri Santi, Armel Yentifa, Rini Frima, and Dedy Djefris. "Desain Aplikasi Sistem Informasi Akuntansi untuk Usaha Bengkel Studi Kasus pada AA Cempaka Auto Service." Akuntansi dan Manajemen 15, no. 1 (2020): 33–41. http://dx.doi.org/10.30630/jam.v15i1.55.

Full text

Abstract:

This study aims to design an accounting information system application in AA Cempaka Auto Service workshop. Case study used as research approach. The application design process begins with studying the forms and reports that are required by the workshop business i.e purchasing form, sales form, general journal form, vehicle service record, debt payment and receivables. Required reports consist of transaction journal records, general ledger, balance sheet, income statement, balance sheet, inventory position, and vehicle service record. Application development stage using Microsoft Access 2007 s

APA, Harvard, Vancouver, ISO, and other styles

35

LIU, ZHENG-YANG. "AUTOMATING SOFTWARE EVOLUTION." International Journal of Software Engineering and Knowledge Engineering 05, no. 01 (1995): 73–87. http://dx.doi.org/10.1142/s0218194095000058.

Full text

Abstract:

This paper presents a pragmatic knowledge-based approach to evolving and reengineering legacy business software systems. We describe a CASE tool for assisting legacy system evolution by automating the tedious and knowledge-intensive conversion process and show how we developed and maintained the tool and how it is used with payoff. This work demonstrates that timely technology upgrades of legacy systems are only possible with carefully engineered knowledge-based tools. Viewing software as an artifact with structure, behavior, and function, we can represent most program conversion knowledge exp

APA, Harvard, Vancouver, ISO, and other styles

36

Barman, Shaon, Sarah Chasins, Rastislav Bodik, and Sumit Gulwani. "Ringer: web automation by demonstration." ACM SIGPLAN Notices 51, no. 10 (2016): 748–64. http://dx.doi.org/10.1145/3022671.2984020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Zhang, Yuchen, and Yanhong A. Lin. "Automating derivation of incremental programs." ACM SIGPLAN Notices 34, no. 1 (1999): 350. http://dx.doi.org/10.1145/291251.289480.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Wentura, Dirk, and Julie Nüsing. "Situationsmodelle in der Textverarbeitung: Werden emotional entlastende Informationen automatisch aktiviert?" Experimental Psychology 46, no. 3 (1999): 193–203. http://dx.doi.org/10.1026//0949-3964.46.3.193.

Full text

Abstract:

Zusammenfassung. In einem Experiment (N = 80) wurde geprüft, inwieweit die Rahmentheorie der “Situationsmodelle” auf emotionale, bewältigungsbezogene Prozesse übertragen werden kann. Dazu wurden selbstreferentiell formulierte Texte über Alltagssituationen präsentiert, die potentiell negativ endeten (z. B. Mißerfolge in Leistungssituationen; Verluste o.ä.). In die erste Hälfte der Texte wurde jeweils ein Satz aufgenommen, dessen Information als emotionale Entlastung dienen konnte. Die Hypothese war, daß im Fall eines negativen Ausgangs der Geschichte diese Information wegen ihrer entlastenden W

APA, Harvard, Vancouver, ISO, and other styles

39

Hendryani, Atika, Vita Nurdinawati, and Nashrul Dharma. "Design of Manifold with Pressure Controller for Automatic Exchange of Oxygen Gas Cylinders in Hospital." TEKNIK 42, no. 1 (2021): 45–51. http://dx.doi.org/10.14710/teknik.v42i1.33127.

Full text

Abstract:

The regulation and supply of oxygen as one of the medical gases in the hospital is important to ensure the availability of these gases for the survival of patients. The regulation of oxygen gas in hospitals usually uses a piping system with manifolds. The manifold will monitor the oxygen gas pressure on each tube. Manifold systems that are widely used in general can only monitor pressure but cannot perform an automatic exchange on gas cylinders if the pressure is under the permissible conditions. The manifold system design developed is equipped with pressure monitoring for automatic exchange o

APA, Harvard, Vancouver, ISO, and other styles

40

Resch, Claudia. "Linguistisch annotierte historische Texte stilistisch auswerten." Jahrbuch für Germanistische Sprachgeschichte 10, no. 1 (2019): 368–85. http://dx.doi.org/10.1515/jbgsg-2019-0020.

Full text

Abstract:

Abstract Ausgehend von der These, dass korpuslinguistische Methoden dazu geeignet sind, musterhaft vorkommende Reguläritäten in Texten zu erkennen, wird in dieser Untersuchung geprüft, welchen Beitrag digitale Werkzeuge in der historischen Stilistik leisten können. Als konkretes Testset dient das linguistisch annotierte Austrian Baroque Corpus, in dessen digital aufbereiteten Texten mit dem Tool Sketch Engine generalisiert nach spezifischen stilbildenden Elementen in Wortverbindungen gesucht wird. Die automatisch generierten Ergebnisse – syntaktische Muster wie Vergleiche, Wortpaare und Wieder

APA, Harvard, Vancouver, ISO, and other styles

41

Gruttmann, Friedrich, and Werner Wagner. "Ein neues FE-Modell zur Berechnung von geschichteten Platten mit kontinuierlichen interlaminaren Schubspannungen/A new FE–model for the computation of layered plates with continuous interlaminar transverse shear stresses." Bauingenieur 91, no. 05 (2016): 179–87. http://dx.doi.org/10.37544/0005-6650-2016-05-39.

Full text

Abstract:

In dieser Arbeit werden geschichtete Platten unter statischer Belastung betrachtet. Es wird ein Mehrfeldfunktional vorgeschlagen, dessen zugehörige Euler–Lagrange–Gleichungen neben dem Kräfte– und Momentengleichgewicht der Schnittgrößen lokale Gleichgewichtsbeziehungen in Spannungen liefert. Innerhalb eines finiten Plattenelements mit vier Knoten werden die Verwölbungen mit schichtweisen kubischen Ansatzfunktionen interpoliert. Dies hat zur Folge, dass die interlaminaren Schubspannungen automatisch kontinuierlich und die Spannungsrandbedingungen exakt erfüllt sind. Elimination der Wölb– und La

APA, Harvard, Vancouver, ISO, and other styles

42

Chen, Deming, Jason Cong, and Peichen Pan. "FPGA Design Automation: A Survey." Foundations and Trends® in Electronic Design Automation 1, no. 3 (2006): 195–334. http://dx.doi.org/10.1561/1000000003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Zhang, Danfeng, and Daniel Kifer. "LightDP: towards automating differential privacy proofs." ACM SIGPLAN Notices 52, no. 1 (2017): 888–901. http://dx.doi.org/10.1145/3093333.3009884.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Ureche, Vlad, Aggelos Biboudis, Yannis Smaragdakis, and Martin Odersky. "Automating ad hoc data representation transformations." ACM SIGPLAN Notices 50, no. 10 (2015): 801–20. http://dx.doi.org/10.1145/2858965.2814271.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Gulwani, Sumit. "Automating Repetitive Tasks for the Masses." ACM SIGPLAN Notices 50, no. 1 (2015): 1–2. http://dx.doi.org/10.1145/2775051.2682621.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Ricketts, Daniel, Valentin Robert, Dongseok Jang, Zachary Tatlock, and Sorin Lerner. "Automating formal proofs for reactive systems." ACM SIGPLAN Notices 49, no. 6 (2014): 452–62. http://dx.doi.org/10.1145/2666356.2594338.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

A, Aswathi, Gokula vanishree E, Pavithra S, Sridevi A, and Veena B. "DESIGN AND IMPLEMENTATION OF GESTURE, VOICE AND (IOT) INTERNET OF THINGS BASED HOME AUTOMATION FOR PHYSICALLY CHALLENGED." International Journal of Current Engineering and Scientific Research 6, no. 6 (2019): 82–89. http://dx.doi.org/10.21276/ijcesr.2019.6.6.16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

White, J., and D. C. Schmidt. "Automating deployment planning with an aspect weaver." IET Software 3, no. 3 (2009): 167. http://dx.doi.org/10.1049/iet-sen.2007.0123.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Dranidis, D., H. Zhu, and S. Masticola. "Editorial: Automation of Software Test (AST '09)." IET Software 5, no. 2 (2011): 111. http://dx.doi.org/10.1049/iet-sen.2011.9016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Ngwe, Thida Win, Soe Winn, and Su Mon Myint. "Design and Control of Automatic Power Factor Correction APFC for Power Factor Improvement in Oakshippin Primary Substation." International Journal of Trend in Scientific Research and Development Volume-2, Issue-5 (2018): 2368–72. http://dx.doi.org/10.31142/ijtsrd18320.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!