Auswahl der wissenschaftlichen Literatur zum Thema „Branch-and-Check procedure“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Branch-and-Check procedure" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Branch-and-Check procedure"
Agusfen, Tubel, und Asepma Hygi Prihastuti. „ANALYSIS OF DAMAGED AND EXPIRED RETURN GOODS PROCEDURES FOR MERCHANDISE INVENTORY INTERNAL CONTROL SYSTEM AT PT INDOMARCO ADI PRIMA PEKANBARU BRANCH“. Utility : Journal of Economics Managemant and Accounting 1, Nr. 1 (30.06.2023): 37–58. http://dx.doi.org/10.56107/utility.v1i1.9.
Der volle Inhalt der QuelleChin, Jae Hoon. „A study on the legislative process of the Republic of Korea“. Korean Journal of Policy Studies 1 (31.12.1986): 181–89. http://dx.doi.org/10.52372/kjps01014.
Der volle Inhalt der QuelleTria, Francesca, Emanuele Caglioti, Vittorio Loreto und Andrea Pagnani. „A stochastic local search approach to language tree reconstruction“. Diachronica 27, Nr. 2 (11.10.2010): 341–58. http://dx.doi.org/10.1075/dia.27.2.09tri.
Der volle Inhalt der QuelleYuliansyah, Rahmat. „Analisis Sistem Akuntansi Pemberian Kredit Gadai dalam Mencegah terjadinya Kredit Macet terhadap UMKM pada PT. Pegadaian (Persero) Unit Pelayanan Syariah Cikijing“. Jurnal Akuntansi dan Manajemen 15, Nr. 02 (01.10.2018): 79–100. http://dx.doi.org/10.36406/jam.v15i02.178.
Der volle Inhalt der QuelleJalaludin, Jalaludin. „The Review of Opening Procedures of Sharia Based Saving in Sharia Financial Services Cooperation BMT Mitra Sadaya Branch of Purwakarta“. Journal of Economicate Studies 1, Nr. 2 (01.08.2018): 109–18. http://dx.doi.org/10.32506/joes.v1i2.180.
Der volle Inhalt der QuelleSorvillo, G., F. Olivieri, A. Rainone, E. Quercia, A. Violante, A. Mazza, M. Russo et al. „A VERY COMPLEX CLINICAL CASE OF ACUTE CORONARY SYNDROME COMPLICATED BY THROMBOSIS AND INTRACRANIAL HAEMORRHAGE“. European Heart Journal Supplements 26, Supplement_2 (April 2024): ii127. http://dx.doi.org/10.1093/eurheartjsupp/suae036.324.
Der volle Inhalt der QuelleD'Amico, Vera, Francesco Visini, Andrea Rovida, Warner Marzocchi und Carlo Meletti. „Scoring and ranking probabilistic seismic hazard models: an application based on macroseismic intensity data“. Natural Hazards and Earth System Sciences 24, Nr. 4 (24.04.2024): 1401–13. http://dx.doi.org/10.5194/nhess-24-1401-2024.
Der volle Inhalt der QuelleUgurlucan, Murat, Ahmet H. Arslan, Yahya Yildiz, Sibel Ay, Resmiye T. Besikci und Sertac Cicek. „Tetralogy of Fallot with unilateral absent pulmonary artery“. Cardiology in the Young 23, Nr. 3 (18.07.2012): 423–30. http://dx.doi.org/10.1017/s1047951112000911.
Der volle Inhalt der QuelleBABURIN, V. L., M. D. GORYACHKO, K. V. DEMIDOVA und M. A. MAKUSHIN. „CORE-PERIPHERAL MODEL OF INDUSTRIAL LOCALIZATION: WORLD AND RUSSIA“. Ser-5_2023_4 78, Nr. 4 (2023) (18.09.2023): 3–17. http://dx.doi.org/10.55959/10.55959/msu0579-9414.5.78.4.1.
Der volle Inhalt der QuelleInoue, Naoya, Shuji Morikawa, Takashi Ogane, Takehiro Hiramatsu und Toyoaki Murohara. „Clinical value of the fibrosis-4 index in predicting mortality in patients with right ventricular pacing“. PLOS ONE 19, Nr. 2 (05.02.2024): e0294221. http://dx.doi.org/10.1371/journal.pone.0294221.
Der volle Inhalt der QuelleDissertationen zum Thema "Branch-and-Check procedure"
Joubert, Guillaume. „Periodic train timetabling with mesoscopic tracks assignment“. Electronic Thesis or Diss., Compiègne, 2023. http://www.theses.fr/2023COMP2775.
Der volle Inhalt der QuelleAs the French railway Infrastructure Manager, SNCF Réseau produces train timetables on a yearly basis, by deciding a set of time intervals on tracks to allow safe trains circulation that fulfils a mobility demand from the Transport Organisation Authority (TOA): this is a periodic slot scheduling task. This PhD project aims at providing a decision-aid tool to the timetable planners, in a context where the mobility demand expressed by the TOA and the infrastructure state change from a year to another. We focus on a production phase said capacity structuring, where the problem is to decide whether from a known slots demand and infrastructure state, there is a periodic scheduling fulfilling this slots demand and satisfying the safety constraints arising from rail operations. We propose two methods to solve this problem. The first method is based on an Integer Linear Programming model inspired from the literature and that we decomposed to ease the solution search. The timetable determination is then made before the tracks assignment. A conflict evaluation function that does not require explicit tracks assignment knowledge is used to obtain conflict-free timetables for which a tracks assignment is reachable. In order to solve challenging instances, we propose a constructive heuristic and a tabu search framework to resolve conflicts moreefficiently. The second method relies on a Constraint Programming model that we use to optimise the turnover time of rolling stock at terminus stations. We developed filtering algorithms to improve algorithms that maintain the arc-consistency of precedence and disjunctive constraints of the problem, all having a periodic aspect. We propose lower bounds based on the minimal cost contribution of slots subsets to the objective function in order to improve the optimality proof of the solutions. Finally, we present branching strategies and a Branch-and-Check procedure to improve the resolution performance.These approaches are tested on different instances of the problem, based on two fictive infrastructures as well as on the Savoie area centred around Chambéry - Challes-les-Eaux station
Bücher zum Thema "Branch-and-Check procedure"
Miller, Nicholas R. Social Choice Theory and Legislative Institutions. Oxford University Press, 2016. http://dx.doi.org/10.1093/acrefore/9780190228637.013.1.
Der volle Inhalt der QuelleBuchteile zum Thema "Branch-and-Check procedure"
Bottesch, Ralph, Max W. Haslbeck, Alban Reynaud und René Thiemann. „Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL“. In Lecture Notes in Computer Science, 233–50. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6_14.
Der volle Inhalt der QuelleGams, Matjaz, und Matej Ozek. „Use of Data Mining Techniques for Process Analysis on Small Databases“. In Dynamic and Advanced Data Mining for Progressing Technological Development, 422–36. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-908-3.ch017.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Branch-and-Check procedure"
Sutoyo, H. R. D., M. C. Bellout, M. Hånes und R. Oliveira. „Ensemble-Based Proactive Optimization using a Reactive Strategy for ICV Control“. In SPE Norway Subsurface Conference. SPE, 2024. http://dx.doi.org/10.2118/218472-ms.
Der volle Inhalt der Quelle