Search results for "Turing"

showing 10 items of 2644 documents

Irregular packing problems: a review of mathematical models

2020

Abstract Irregular packing problems (also known as nesting problems) belong to the more general class of cutting and packing problems and consist of allocating a set of irregular and regular pieces to larger rectangular or irregular containers, while minimizing the waste of material or space. These problems combine the combinatorial hardness of cutting and packing problems with the computational difficulty of enforcing the geometric non-overlap and containment constraints. Unsurprisingly, nesting problems have been addressed, both in the scientific literature and in real-world applications, by means of heuristic and metaheuristic techniques. However, more recently a variety of mathematical …

050210 logistics & transportationMathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceMathematical modelHeuristicComputer science05 social sciences0211 other engineering and technologies02 engineering and technologyManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringField (computer science)Set (abstract data type)Packing problemsModeling and Simulation0502 economics and businessNesting (computing)PLANEJAMENTO DA PRODUÇÃOMetaheuristic
researchProduct

Branch-and-price-and-cut for a service network design and hub location problem

2015

In the context of combined road-rail freight transport, we study the integrated tactical planning of hub locations and the design of a frequency service network. We consider a number of real-world constraints such as multiple transshipments of requests at hubs, transport time limits for requests, request splitting, and outsourcing possibilities. To our knowledge, the combination of problem features we deal with has not been described before. We present a path-based model and solve it with a branch-and-price-and-cut algorithm. Computational experiments show that large realistic instances from a major German rail freight company can be solved close to optimality within one hour on a standard …

050210 logistics & transportationService (systems architecture)021103 operations researchInformation Systems and ManagementGeneral Computer ScienceOperations researchComputer sciencebusiness.industryBranch and price05 social sciences0211 other engineering and technologiesContext (language use)02 engineering and technologyHub location problemManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringOutsourcingNetwork planning and designModeling and Simulation0502 economics and businessPath (graph theory)Service Network Design Hub Location Intermodal Transport Branch-and-Price-and-CutbusinessSimulationEuropean Journal of Operational Research
researchProduct

The directed profitable rural postman problem with incompatibility constraints

2017

[EN] In this paper, we study a variant of the directed rural postman problem (RPP) where profits are asso- ciated with arcs to be served, and incompatibility constraints may exist between nodes and profitable arcs leaving them. If convenient, some of the incompatibilities can be removed provided that penalties are paid. The problem looks for a tour starting and ending at the depot that maximizes the difference between collected profits and total cost as sum of traveling costs and paid penalties, while satisfying remaining incompatibilities. The problem finds application in the domain of road transportation service, and in particular in the context of horizontal collaboration among carriers …

050210 logistics & transportationService (systems architecture)Mathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer science05 social sciences0211 other engineering and technologiesContext (language use)Incompatibility constraints02 engineering and technologyManagement Science and Operations ResearchGeneralized independent set problem Incompatibility constraints Routing Rural postman problem Management Science and Operations Research Information Systems and ManagementIndustrial and Manufacturing EngineeringGeneralized independent set problemDomain (software engineering)Rural postman problemModeling and SimulationIndependent set0502 economics and businessRouting (electronic design automation)MATEMATICA APLICADARouting
researchProduct

The periodic rural postman problem with irregular services on mixed graphs

2019

Abstract In this paper, we deal with an extension of the rural postman problem in which some links of a mixed graph must be traversed a given number of times over a time horizon. These links represent entities that must be serviced a specified number of times in some subsets of days (or periods) of the time horizon. The aim is to design a set of minimum-cost tours, one for each day/period of the time horizon, that satisfy the service requirements. We refer to this problem as the periodic rural postman problem with irregular services (PRPP–IS). Some practical applications of the problem can be found in road maintenance operations and road network surveillance, for example. In order to solve …

050210 logistics & transportationService (systems architecture)Mathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer science05 social sciences0211 other engineering and technologiesMixed graphTime horizon02 engineering and technologyExtension (predicate logic)Management Science and Operations ResearchIndustrial and Manufacturing EngineeringSet (abstract data type)Modeling and Simulation0502 economics and businessPeriodic graph (geometry)Routing (electronic design automation)Branch and cutArc routingEuropean Journal of Operational Research
researchProduct

Simplified restructuring proceedings in Poland as an example of anti – crisis regulation due to the COVID-19 pandemic

2020

Summary The study discusses new legislative anti – crisis solutions adopted in Poland in connection with the COVID – 19 pandemic. The Polish legislator decided to introduce the so-called simplified restructuring procedure. This happened in the face of the expectations of both the jurisprudence of law and practice. On the one hand, the simplified restructuring procedure (the fifth independent type of restructuring procedure for an entrepreneur in Poland) allows for a quick, cheap and simplified conclusion of an arrangement with creditors outside the court, then approved by the court. On the other hand, the opening of such proceedings gives the debtor protection against enforcement at the cre…

050502 lawEuropean Union lawInsolvencyRestructuringCreditor05 social sciencesDebtor0506 political scienceBankruptcy050602 political science & public administrationBusinessEnforcementLawLegislator0505 lawLaw and economicsInternational and Comparative Law Review
researchProduct

Wpływ Brexitu na współpracę sądową w sprawach karnych w Unii Europejskiej

2020

Wystąpienie Zjednoczonego Królestwa z Unii Europejskiej stanowi jedno z głównych wyzwań dla dalszego funkcjonowania europejskiego obszaru wymiaru sprawiedliwości w sprawach karnych. W niniejszym artykule szczególna uwaga zostanie zwrócona na wybrane aspekty zapewnienia dalszej współpracy sądowej w sprawach karnych po Brexicie. Dotyczy to przede wszystkim możliwości dalszego udziału Zjednoczonego Królestwa w specyficznych organach wspomagających obrót prawny w ramach tej współpracy (tj. w ramach Eurojustu i Europolu) oraz stosowania instrumentów prawnych urzeczywistniających zasadę wzajemnego uznawania orzeczeń, ze szczególnym uwzględnieniem sztandarowego instrumentu prawnego, tj. europejski…

050502 lawMaterials Science (miscellaneous)Political science05 social sciences050602 political science & public administrationBusiness and International ManagementGeneral Agricultural and Biological SciencesGeneral Business Management and AccountingIndustrial and Manufacturing Engineering0505 law0506 political sciencePrzegląd Europejski
researchProduct

STANCE BUNDLES IN ENGLISH-TO-POLISH TRANSLATION: A CORPUS-INFORMED STUDY

2018

In this paper, we make an attempt to improve the textual fit of English-to-Polish translation of a peculiar type of multi-word units known in corpus linguistic literature as lexical bundles (Biber et al. 1999). Inspired by a study conducted by Grabar and Lefer (2015), we used the English-Polish parallel corpus Paralela (Pezik 2016) and the National Corpus of Polish (NKJP) to extract and explore the use - in terms of frequency distributions - of the Polish equivalents of selected English lexical bundles expressing attitudinal and epistemic stance. More precisely, we used the NKJP corpus to check whether the Polish equivalents are typical of contemporary Polish as found in native texts. The r…

060201 languages & linguisticsлексические связкитекстуальное соответствиепараллельный корпускорпусная лингвистика06 humanities and the artsEnglish languagePolishTranslation (geometry)Industrial and Manufacturing Engineeringlanguage.human_languageLinguisticsSurfaces Coatings and Filmslcsh:Philology. LinguisticsLexical bundleslcsh:P1-1091Corpus linguistics0602 languages and literaturelanguageперевод с английского на польскийPsychologyRussian journal of linguistics: Vestnik RUDN
researchProduct

Untargeted metabolomics to explore the oxidation processes during shelf life of pork patties treated with guarana seed extracts

2019

The changes of metabolites in pork patties with different antioxidants added (control without antioxidants, 200 mg kg(-1) butylated hydroxytoluene (BHT) and 250 mg kg(-1) guarana seed extracts (GSEs)) under modified atmosphere (80% O-2 and 20% CO2) for 18 days of refrigerated storage were evaluated. Untargeted metabolomic approach based on UHPLC-ESI-QTOF-MS analysis was applied. GSE phytochemical profile revealed a wide variety of compounds (caffeine, glycerol 1-propanoate, amino acids, alkaloids and glycerophospholipids), together with antioxidants (tyrosols, procyanidins and flavonoids). Important differences in BHT and GSE patties metabolomic profiles were found during storage. Most of t…

2. Zero hungerfood metabolomics010401 analytical chemistrySpermine04 agricultural and veterinary sciencesProtein degradationGlycerophospholipidsShelf life040401 food science01 natural sciencesAntioxidantsIndustrial and Manufacturing Engineering0104 chemical scienceschemistry.chemical_compoundPaulinia cupana0404 agricultural biotechnologylipid oxidationLipid oxidationchemistryPhytochemicalUHPLC-QTOFModified atmosphereButylated hydroxytolueneFood scienceFood ScienceInternational Journal of Food Science & Technology
researchProduct

Building a statistical surveillance dashboard for COVID-19 infection worldwide

2020

When a pandemic like the current novel coronavirus (COVID-19) breaks out, it is important that authorities, healthcare organizations and official decision makers, have in place an effective monitoring system to promptly analyze data, create new insights into problematic areas and generate actionable knowledge for fact-based decision making. The aim of this article is to describe an initial work focused on building a comprehensive statistical surveillance dashboard for the epidemic of COVID-19, which can be exploited also for future needs. We propose novel ways of exploring, analyzing and presenting data, using metrics that have not been used previously. We also show the steps necessary to b…

2019-20 coronavirus outbreakCoronavirus disease 2019 (COVID-19)Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2)Dashboard (business)0211 other engineering and technologies02 engineering and technology01 natural sciencesIndustrial and Manufacturing Engineering010104 statistics & probabilitymultiple attribute decision-makingprocess monitoringPandemicHealth carestatistical process control0101 mathematicsSafety Risk Reliability and Quality021103 operations researchbusiness.industrySettore SECS-S/02 - Statistica Per La Ricerca Sperimentale E Tecnologicastatistical decision makingPublic relationsStatistical thinkingstatistical thinkingBusinessDecision analysisDecision analysiQuality Engineering
researchProduct

Safety Protocols for Forensic Inspections in the Time of COVID-19: An Approach to Protect Practitioners

2022

The COVID-19 pandemic has impacted the entire world in ways that were unimaginable in 2019. It has changed how professionals work and interact with one another. To ensure the safety of experts and attorneys, forensic inspection procedures must evolve while still providing a reliable foundation for expert testimony. Traditional field inspections require attendees to be physically present and in generally close proximity. Inspecting artifacts may also require that individual components be serially examined by multiple experts, which increases the risk of transmitting the disease. The authors propose a new approach to forensic inspections aimed at protecting consultants from the biological ris…

2019-20 coronavirus outbreakCoronavirus disease 2019 (COVID-19)business.industrySevere acute respiratory syndrome coronavirus 2 (SARS-CoV-2)Energy Engineering and Power Technologymedicine.diseaseInspection Feeds COVID-19 Forensics Three-dimensional displays Safety ProtocolsIndustrial and Manufacturing EngineeringSettore ING-IND/33 - Sistemi Elettrici Per L'EnergiaControl and Systems EngineeringMedicineMedical emergencyElectrical and Electronic Engineeringbusiness
researchProduct