Search results for "Oriente"

showing 10 items of 684 documents

Prácticas musicales en la antigua Mesopotamia

2021

Introduzione alla storia della musica nell'antica Mesopotamia.

Mesopotamian musicHistory of musicSettore L-OR/03 - AssiriologiaSettore L-OR/01 - Storia Del Vicino Oriente Antico
researchProduct

Additive manufacturing Processing and characterization of Fe-Si soft magnetic alloys

2021

Iron silicon (Fe-Si) alloys, also named silicon steels, are the most widely used owing to their excellent soft magnetic properties and economic costs. As electronic devices become diversified and automated, it is urgent to develop high-performance soft magnetic alloys with good reliability. For functional soft magnetic alloys, the SLM technique shown the potential to manufacture soft magnetic components directly from raw materials, such as the rotor and stator of the motor. In order to explore and develop new routes for manufacturing Fe-Si alloys, the investigation into the microstructures and properties of SLMed Fe-Si alloys from pre-alloyed powders was presented in this work. The most imp…

Microstructural evolution.Soft magnetic properties.Evolution microstructuraleSelective laser meltingSoft magnetic alloysPropriétés magnétiques douces[SPI.OTHER] Engineering Sciences [physics]/OtherPropriétés mécaniquesMechanical propertiesAlliages magnétiques douxFusion sélective par laserPropriétés magnétiques orientéesOriented magnetic properties.
researchProduct

Associated Regional Chronologies for the Ancient Near East – The Middle Euphrates Region, ARCANE vol. 4

2015

The Middle Euphrates region extends between Jezirah and Northern Levant; it follows the course of the Euphrates from the south flanks of the Taurus mountains in Turkey almost to the modern border with Iraq. The settlement area drawn out between steppes in the east and in the west owes its particular character to just that life line with its rich soil but also to the trade routes meeting at the Euphrates Bend and connecting Anatolia to Mesopotamia, and the Syrian east to the Levant. Especially for the 3rd millennium, finds and findings from the area under consideration show great cultural variety and demonstrate the different influences by the neighbouring regions that meet here at the Euphr…

Middle Euphrates Early Bronze Age Chronology SyriaSettore L-OR/05 - Archeologia E Storia Dell'Arte Del Vicino Oriente Antico
researchProduct

Foreword

2015

preface to the volume Middle Euphrates

Middle Euphrates Early Bronze Age ChronologySettore L-OR/05 - Archeologia E Storia Dell'Arte Del Vicino Oriente Antico
researchProduct

Conclusions to the volume: Middle Euphrates

2015

conclusions to the volume Middle Euphrates

Middle Euphrates Early Bronze Age chronology North SyriaSettore L-OR/05 - Archeologia E Storia Dell'Arte Del Vicino Oriente Antico
researchProduct

Il rapporto con l’altro nei paesi del medio Oriente: i migranti

2008

Il capitolo parla della disciplina giuridica relativa al trattamento dei rifugiati in Medio Oriente

MigrantiMedio OrienteRifugiatiDiritti Umani.
researchProduct

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

2017

International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…

Model checkingComputer scienceDistributed computingAutomotive industryContext (language use)02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]0202 electrical engineering electronic engineering information engineeringProtocol (object-oriented programming)computer.programming_languageMQTTbusiness.industryVolume (computing)020206 networking & telecommunications020207 software engineering[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationPromela[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA][INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]businessMessage queuecomputerComputer network
researchProduct

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationKnowledge representation and reasoningcomputer.internet_protocolComputer science0211 other engineering and technologies[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologycomputer.software_genre01 natural sciencesACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsFormal specificationACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking0202 electrical engineering electronic engineering information engineeringTemporal logicEnterprise information systemFormal verification021103 operations researchDatabase010405 organic chemistrybusiness.industryApplied Mathematics020207 software engineeringService-oriented architectureSystems modeling[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation0104 chemical sciencesComputer Science ApplicationsACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checkingBusiness Process Execution LanguageModeling and Simulation020201 artificial intelligence & image processingWeb serviceSoftware engineeringbusinesscomputer
researchProduct

Association between Inflammatory Markers and Clinical and Metabolic Risk Factors for Cardiovascular Diseases

2009

Association between Inflammatory Markers and Clinical and Metabolic Risk Factors for Cardiovascular Diseases The inflammatory reaction plays an important role in the development of atherosclerosis. The clinical significance of the main inflammatory markers — C-reactive protein (CRP), interleukin 6 (IL6), tumour necrosis factor alpha (TNF-α), plasminogen activator inhibitor 1 (PAI1), etc. — has not been fully established. CRP, IL6, TNF-α, and PAI1 were assessed in 100 patients in terms of certain clinical indicators (sex, obesity indicators, blood pressure, and heart rate), total cholesterol (TC), low-density lipoprotein-cholesterol (LDL-C), high-density lipoprotein-cholesterol (HDL-C), trig…

MultidisciplinaryGeneral interesttnf-αAssociation (object-oriented programming)ScienceMetabolic riskQInflammationBioinformaticsil6lipidsinflammationmedicinemedicine.symptomcrpProceedings of the Latvian Academy of Sciences. Section B, Natural Sciences
researchProduct

2014

Division of labor is a defining characteristic of social insects and fundamental to their ecological success. Many of the numerous tasks essential for the survival of the colony must be performed at a specific location. Consequently, spatial organization is an integral aspect of division of labor. The mechanisms organizing the spatial distribution of workers, separating inside and outside workers without central control, is an essential, but so far neglected aspect of division of labor. In this study, we investigate the behavioral mechanisms governing the spatial distribution of individual workers and its physiological underpinning in the ant Myrmica rubra. By investigating worker personali…

MultidisciplinarybiologyAssociation (object-oriented programming)media_common.quotation_subjectMyrmica rubrabiology.organism_classificationBioinformaticsBehavioral syndromeSocial systemPersonalityCaste determinationSpatial organizationDivision of labourCognitive psychologymedia_commonPLOS ONE
researchProduct