Résultats de recherche de titre
Articles 1 à 20 sur 83803
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms…
for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.Understanding Mental Health Apps: An Applied Psychosocial Perspective (Palgrave Studies in Cyberpsychology)
Par Lewis Goodings, Darren Ellis, Ian Tucker. 2024
This is the first book to look exclusively from at the use of MHapps from an applied psychosocial perspective. Much of…
the academic literature on MHapps in psychology focuses on the clinical efficacy of using apps (e.g., depression reduction as result of using a certain app) and will typically report on the use of randomised controlled trials (or a similar method) to illustrate the use of apps as a tool for improving a psychological condition. Therefore, the main benefit of this book is that it recognises the impact of apps from a social perspective and will aim to show how everyday forms of distress are embedded in the use of these apps and the broader set of relations that constitute people’s everyday lives. The content of this book will identify how an applied social perspective can offer insight into the power of apps to shape our sense of ourselves and of others. This book will be of use to educators and students in psychology, sociology, health studies, media studies andcultural studies.Advances in Electrical Systems and Innovative Renewable Energy Techniques: The Proceedings of the International Conference on Electrical Systems and Automation (Volume 1) (Advances in Science, Technology & Innovation)
Par Mohamed Bendaoud, Amine El Fathi, Farhad Ilahi Bakhsh, Siano Pierluigi. 2024
This edited book on “Advances in Electrical Systems and Innovative Renewable Energy Techniques” is an outcome of the selected papers…
presented at the International Conference on Electrical Systems & Automation, (ICESA 2023) held from 29 to 30, May 2023 at the Faculty of Sciences and technologies, Al Hoceïma, Morocco.This edited book is divided into 2 volumes. This volume will be divided into 3 parts, each devoted to distinct yet interconnected aspects of the subject matter.The first part focuses on various advancements in renewable energy techniques. It explores topics ranging from biomass combustion characteristics and hydrogen production using photovoltaics to the assessment of wave energy potential and the performance evaluation of solar collectors. These research papers not only shed light on the current state-of-the-art technologies but also offer valuable insights into their implementation, efficiency, and potential impact on the energy landscape.The second part focuses on interdisciplinary approaches between electrical and renewable energy systems and includes research chapters on photovoltaic (PV) energy, wind energy, and microgrid systems.For PV systems, several topics and issues are addressed such as modeling of PV systems using single diode model and double diode model; analytical and numerical methods for extraction of PV parameters; extraction of maximum power from PV system using integral SMC strategy, sun-pointing orientation, SuDoKu, and ANN algorithms; and fault detection and classification based on metaheuristic technique, and feedforward neural network.For the wind system, its modeling is first discussed, and then the control of the wind system using direct power, PI, fuzzy logic, sliding mode, and time delay strategies is analyzed.In the third part, the chapters focus on efficient energy management, optimization of microgrids, and the use of advancedtechnologies to improve energy performance. Researchers present innovative solutions to address the challenges of energy efficiency, grid responsiveness, and the integration of new energy sources.Surgery of Craniosynostosis and Related Midface Deformities: An Atlas and Step-by-Step Guide
Par Michael Rasse. 2024
This atlas offers a comprehensive overview of osteotomies performed on the calvaria and midface for both syndromic and non-syndromic craniosynostosis.It…
presents a systematic approach, beginning with calvarial osteotomies. The author introduces a general type of osteotomy that can be applied for total vault remodeling in cases of total synostosis. These osteotomies can also be modified and used in single or combined synostoses. To shape the calvaria, the book describes the use of metal plates as a scaphold. These plates can be prebent on 3-D models and used to fix the segments after osteotomies. Following that, resorbable osteosynthesis is performed, and the metal plates are subsequently removed. This unique approach, combined with standardized osteotomies, ensures highly predictable results that are not currently described in textbooks. The book includes clinical examples for each type of synostosis and various combinations, including two-stage procedures and combinations with distraction techniques. These examples provide surgeons with a solid foundation for addressing different cases. In the chapter on midface osteotomies, the book explains the access and technique for performing the LeFort-III osteotomy using cadaver and clinical figures. It covers all types of LeFort-I to III osteotomies and their combinations through clinical cases. The book illustrates the osteotomies, osteosynthesis, distraction techniques, and combinations using clinical examples. Additionally, the book demonstrates the method of computer planning, the fabrication of osteotomy guides, and the use of preformed plates to define the position of the segments.The book's primary objective is to serve as a surgical guide that transcends the boundaries of medical specialties. Given that this type of surgery is often performed by different specialists across institutions and countries, the book aims to facilitate cooperation and provide a practical application tool for surgeons beyond offering a clinical overview.Punk, Ageing and Time (Palgrave Studies in the History of Subcultures and Popular Music)
Par Laura Way, Matt Grimes. 2024
To date there has been no plotting of punk scholarship which speaks to ‘time’, yet there are some clear bodies…
of work pertaining to particular issues relevant to it, including ageing and/or the life course and punk, memory and/or nostalgia and punk, ‘punk history’, and archiving and punk. Punk, Ageing and Time is therefore a timely (pun intended) book. What this edited collection does for the first time is bring together contemporary investigations and discussions specifically around punk and ageing and/or time, covering areas such as: punk and ageing; the relationship between temporality and particular concepts relevant to punk (such as authenticity, DIY, identity, resistance, spatiality, style); and punk memory, remembering and/or forgetting. Multidisciplinary in nature, this book considers areas which have received very little to no academic attention previously.The book is arguably the first comprehensive collection of essays on Michael Polanyi’s social, political philosophy. The essays combine philosophical…
and historical approaches to show Polanyi’s social thought in the context of his epistemology and philosophy of science as well as the 20th century intellectual history. This volume appeals to specialists in Michael Polanyi’s philosophy, political philosophers who are interested in the 20th century political thought, mainly conservative-liberal political tradition. Furthermore it appeals to scholars focusing on the intersections between epistemology and political philosophy.Converting the Missionaries: The Wheeler Family and the Ojibwe
Par Nancy Bunge. 2024
This book tells the uncommon story of a missionary family in the Midwestern United States, and their interactions with the…
indigenous Ojibwe. When Leonard and Harriet Wheeler arrived at La Pointe, Wisconsin in July of 1841, hoping to help the Ojibwe understand and accept the value of Christian civility, they did not expect such a profound transformation of their own lives. The Wheelers’ empathy for the Ojibwe not only grew during their twenty-five years of mission work in Northern Wisconsin, much of it spent trying to protect the Ojibwe from predatory whites, it also influenced the lives of their children.Human Minds and Cultures
Par Sanjit Chakraborty. 2024
This book puts forward a harmonious analysis of similarities and differences between two concepts—human minds and cultures—and strives for a…
multicultural spectrum of philosophical explorations that could assist them in pondering the striking pursuit of envisaging human minds and cultures as an essential appraisal of philosophy and the social sciences. The book hinges on a theoretical understanding of the indispensable liaison between the dichotomy of minds and objectivity residing in semantic-ontological conjectures. The ethnographic sense of cultures confines the scope of cultural scientism, an evolutionary paradigm on the functionalist turn, where one could enthral the cultural phenomenon from the contentment of the conflict of scientific quandaries. Hence, cultural relativism concedes that cultures have some descriptive contents, like customs, beliefs, moral codes, other minds, etc., that are followed by an individual or a group of people. However, the notion of societalsemiotics embarks on the ‘semiotic conception of culture’ that deploys modernity and values centred on ethical conjectures. Human Minds and Cultures conspicuously attune the cultural edifice of moral minds and cope with the enduring prospects of ethics, genders, laws, and socio-political affairs. Essential reading for anyone with a sparkling interest in human minds and cultures.Mathematical Methods for Engineering Applications: ICMASE 2023, Madrid, Spain, July 12–14 (Springer Proceedings in Mathematics & Statistics #439)
Par Víctor Gayoso Martínez, Fatih Yilmaz, Araceli Queiruga-Dios, Deolinda M. L. D. Rasteiro, Jesús Martín-Vaquero, Ion Mierluş-Mazilu. 2024
These proceedings gather selected, peer-reviewed papers presented at the IV International Conference on Mathematics and its Applications in Science and…
Engineering – ICMASE 2023, held on July 12–14, 2023 by the University Center of Technology and Digital Arts (U-tad) in Madrid, Spain.Papers in this volume cover new developments in applications of mathematics in science and engineering, with an emphasis on mathematical and computational modeling of real-world problems. Topics range from the use of differential equations to model mechanical structures to the employ of number theory in the development of information security and cryptography. Educational issues specific to the acquisition of mathematical competencies by engineering and science students at all university levels are also touched on.Researchers, practitioners, and university students can significantly benefit from this volume, especially those seeking advanced methods for applying mathematics to various contexts and fields.This book constitutes revised selected papers from the thoroughly refereed proceedings of the 7th International Conference on Space Information Network,…
SINC 2023, held in Wuhan, China, during October 12–13, 2023. The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 73 submissions. The papers present the latest research in the fields of space information networks.Zondervan Dictionary of Biblical Imagery
Par John A. Beck. 2011
Learning the meaning and significance of biblical images will revolutionize your grasp of the Bible as a whole. Scripture is…
packed with symbolic imagery and metaphors: looms, donkeys, water cisterns, grapes, sackcloth—all carry symbolic or emotional weight that sharpens the broader picture of the passage.The biblical authors used their reality to enhance the impact of their message on the audience around them, and the language they used is rich with meaning. The words might be familiar today, but the cultural connotations of things like manna, millstones, or myrrh might be missed by contemporary Christians and might cause us to lose the fullest significance of the Bible passage.The Zondervan Dictionary of Biblical Imagery surveys the use and connotations of familiar images in the Bible to illustrate the intricate and subtle ways they're put to work in the text. The types of entries include:Cultural artifacts from the biblical world (such as arrow or sandal)Components of natural history (such as fox or fig tree)Named places (such as Mount Sinai or Nazareth)Components of Israel's physical geography (such as mountain or wilderness)Each entry describes an image's characteristics, appearance, intended use, and cultural connotations, as well as the rhetorical impact of its use in the Bible. As you read, you'll begin to understand things like why Jesus called for us to become the salt of the earth, why dew was a controversial topic in Bible times, and why a roof might be mentioned to draw attention to a violation of expected norms.With accessible, well-illustrated entries and numerous black & white visuals, The Zondervan Dictionary of Biblical Imagery is an inspiring portal into the biblical world for any student of the Bible.Nelson's Foundational Bible Dictionary with the New King James Version Bible
Par Katherine Harris. 2014
The Bible was written for people to read, ponder, and understand. The message of God's love for humans transcends time, culture,…
and language. Nevertheless, readers of the Bible are often left with questions. The names sound strange to our ears, the geography is often unfamiliar, and we ask, "Who was this person? Is he mentioned somewhere else in the Bible?" "When did this happen?" "Where did it happen?" "Is this a real city?" Nelson's Foundational Bible Dictionary seeks to answer questions like these and many more. Features include: Every person mentioned in the Bible with biblical references and biographical information All animals and minerals mentioned in the Bible with definitions Modern equivalents of ancient geographical names Key theological terms with their various meanings and interpretations Common household items and occupations with cultural and historical information about life in ancient timesIn addition to the full Dictionary materials, the eBook version of Nelson’s Foundational Bible Dictionary also contains an appendix of the full text of the New King James Version Bible. All verse references in the Dictionary are linked to that verse in the Bible so that you can easily navigate between the Dictionary and Bible text.Ever wonder if you&’ve stumbled one too many times for God to use someone like you? Could you benefit from…
an encounter with God&’s unending, unbending, unswerving love and devotion? If your answer is yes, it&’s time for you to see how God&’s grace transformed Jacob&’s life. And if you feel undeserving of God&’s grace, this book will serve as a refresher course on God&’s perfect plan to use imperfect people to do great things.God Never Gives Up on You is for the strugglers among us and the fumbler within us. For those of us who are part saint, part scoundrel; we mean well, but we don&’t always do well. We have breakthroughs and breakdowns, often in the same hour. We need no reminder of our failures. But where can we find examples of God&’s steadfast grace?No one is more suited to help assure you of God&’s grace than Jacob. He was less a prodigy and more a prodigal. Strong on savvy. Weak on conscience. Jacob took advantage of his famished brother and pulled the wool over the eyes of his dying father, yet God never turned his back on Jacob. And he won&’t turn his back on you. If you are ready to start counting on God&’s grace and believe he never gives up on you, this book is for you.Zondervan Illustrated Bible Dictionary
Par J. D. Douglas, Merrill C. Tenney. 2011
A visually stimulating journey for anyone interested in learning more about the world of the Bible.The Zondervan Illustrated Bible Dictionary offers…
a wealth of insight into the historical, chronological, archaeological, geographical, social, theological, and biographical aspects of the Bible. Through the articles, sidebars, charts, maps, and full-color images included in this volume, the text of the Old and New Testaments will come alive for you as never before. As a condensation of the Zondervan Pictorial Encyclopedia of the Bible, the information contained within this reference work is solid and biblically sound. The material is based completely on the NIV and cross-referenced to the King James Version.Features include:Over 7,200 entries with up-to-date scholarship, archaeological findings, and more75 full-color maps created with new mapping technologiesOver 500 full-color photographs, charts, and illustrationsUnderstanding the Bible can be difficult. The Zondervan Illustrated Bible Dictionary will help you make sense of the Bible's context, people, places, and objects so you can better understand and apply the scripture. Ideal for pastors, Sunday school teachers, students, and general Bible readers.Nelson's Illustrated Bible Dictionary: New and Enhanced Edition
Par Ronald F. Youngblood. 2014
The most comprehensive and up-to-date Bible dictionary available. With a fresh new look and updated photographs, this new and enhanced edition…
is a wealth of bible study information for any level of study. It includes more than 7,000 entries, plus more than 500 full-color photographs, maps, and pronunciation guides.Features include:Cross-references to all major translationsMore than 7,000 up-to-date entriesMore than 500 full-color photographs and mapsEnlarged type size for easier readingVisual Survey of the Bible from The Open BibleTime After Time (Time After Time #1)
Par Judi Curtin. 2016
Molly and Beth are best friends and love spending time together. But when their two families move in together, maybe…
they are a little too close for comfort! Out shopping one day they need to avoid the most embarrassing encounter ever with Molly’s mum, and hide in a shop they had never noticed before. When they leave by the side door, they realise immediately that something is not right! Transported back to the past, where mobile phones don’t work and the world feels very different, they realise that they have a chance to see the world through their parents’ eyes. Before finding their way home, can they see what their own pasts looked like?Human-Centered Services Computing for Smart Cities: IEICE Monograph
Par Yohei Murakami, Kosaku Kimura. 2024
This open-access book compiles seven monographs from researchers at the forefront of services computing and artificial intelligence for smart cities.…
This is structured into three thematic parts: service composition, big data analysis, and service integration for smart cities.The first part describes service compositions for smart cities, where interaction between services and the physical world, including humans, is paramount, unlike services on the Web and clouds. The second part addresses the challenges of big data analytics in smart cities, with a focus on privacy-preserving methodologies. The third part reports human-centered service integration for applications in smart cities.On the Relation between the EU Charter of Fundamental Rights and National Fundamental Rights: A Comparative Analysis in the European Multilevel Court System
Par Alexander Heger, Moritz Malkmus. 2024
The sometimes complex and controversial relation between the fundamental rights of the European Union, as enshrined in the EU Charter…
of Fundamental Rights (CFR), and national fundamental rights in the context of constitutional review is reflected in a series of landmark decisions in the multilateral cooperation of European courts, which have reshaped the fundamental rights architecture in the multilevel system in recent decades. This book aims to contribute to a systematic and comprehensive analysis of the EU and constitutional law issues involved, thus serving as a reference point for scholars and practitioners dealing with this emerging topic in depth. Following this approach, it sheds light on the broader Union legal context of these developments, examines the role of the CFR for Constitutional Courts, the relationship between constitutional and ordinary courts, and assesses the key decisions concerning the application of the CFR as a standard of constitutional review. It also draws some initial conclusions on the development of the European fundamental rights architecture, its prospects and possible implications for the Union’s legal order. The book contains several contributions by European legal experts from academia and the judiciary, who examine the different methods of constitutional application of the CFR from a comparative law perspective. These contributions deal with the following aspects: first, the role of the CFR for the respective Constitutional Court with regard to the application of EU law as well as national law falling within the scope of the CFR; second, the relationship between the respective Constitutional Court and the ordinary courts with regard to the application of the CFR; third, the relevant facts and legal reasoning of the most important Constitutional Court decisions on the application of the CFR as a relevant standard of constitutional review; fourth, the relevant case law of the CJEU on the relationship between Union and national fundamental rights, as well as its broader implications for the multilateral cooperation of European courts. The individual chapters examine, inter alia, the following decisions: Verfassungsgerichtshof (Austria), March 14, 2012, U 466/11 et al.; Corte Constituzionale (Italy), January 23, 2019, Sentenza 20/2019; Bundesverfassungsgericht (Germany), November 6, 2019, 1 BvR 276/17; Tribunal Constitucional (Portugal), June 3, 2022, Acórdão 268/2022; Tribunal Constitucional (Spain), June 29, 2022, Sentencia Decision 89/2022.Advances in Design, Simulation and Manufacturing: Proceedings of the International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2018, June 12-15, 2018, Sumy, Ukraine (Lecture Notes in Mechanical Engineering)
Par Vitalii Ivanov, Yiming Rong, Justyna Trojanowska, Joachim Venus, Oleksandr Liaposhchenko, Jozef Zajac, Ivan Pavlenko, Milan Edl, Dragan Perakovic. 2019
This book reports on topics at the interface between manufacturing, mechanical and chemical engineering. It gives a special emphasis to…
CAD/CAE systems, information management systems, advanced numerical simulation methods and computational modeling techniques, and their use in product design, industrial process optimization and in the study of the properties of solids, structures and fluids. Control theory, ICT for engineering education as well as ecological design and food technologies are also among the topics discussed in the book. Based on the International Conference on Design, Simulation, Manufacturing: The Innovation Exchange (DSMIE-2018), held on June 12-15, 2018, in Sumy, Ukraine, the book provides academics and professionals with a timely overview and extensive information on trends and technologies behind current and future developments of Industry 4.0, innovative design and renewable energy generation.Linguistic Entrepreneurship in Sino-African Student Mobility
Par Wen Xu. 2024
This book explores African international students’ lived experience within Chinese higher education, including their language ideologies, investment in Chinese language…
learning and the (re)shaping of identities and aspirations. Whilst high English proficiency has been sought by globally mobile students to play the ‘class game’ and gain entrée to the circle of elites, considerably less attention has been paid to how shifting global structures and China’s semi-peripheral position shape its language learners’ investment and identity construction. Drawing upon a series of interviews, the book deciphers African students’ logics of linguistic exchanges within the geopolitical and geo-economic context of China-African relations. The students invested heavily into Chinese language learning and use, while displaying perfectionism, linguistic entrepreneurship and linguistic insecurity. As the value of their Chinese linguistic capital increases, they reassessed their sense of themselves and produced different social identities, which includes the idea of ‘the world is my oyster’, contributing to Africa’s sustainable development and the disposition to ‘tell China’s story well’. This work transgresses monolingual dominance (i.e. English) in the existing body of international student mobility and second language acquisition (SLA) research, as great importance is assigned to Chinese as linguistic capital in South-South student migration. The book is of interest to researchers in international higher education, international student mobilities, sociolinguistics, applied linguistics, languages education, and Chinese language teaching and learning.